Questions tagged [derived-categories]
For questions about the derived categories of various abelian categories and questions regarding the derived category construction itself.
783
questions
10
votes
2
answers
984
views
Why are the source-target rules of composition always strictly defined?
General categorical definitions always have two variants, a strict one, in which associativity and unity hold as equalities, and a weak one, in which they hold up to equivalence. However, every ...
1
vote
1
answer
341
views
Tensor product and semisimplicity of perverse sheaves
Let $X/\mathbb{C}$ be a smooth algebraic variety. Let $D_c^b(X,\bar{\mathbb{Q}}_{\ell})$ be the category defined in 2.2.18, p.74 of "Faisceaux pervers" (by Beilinson, Bernstein and Deligne). ...
- 545
1
vote
0
answers
99
views
Computing Grothendieck group of (unnodal) Enriques surface
Let $X$ be an unnodal Enriques surface together with an isotropic 10-sequence $\{ f_1, \dots, f_{10}\} \subset \operatorname{Num}(X)$, and let $F_i^\pm \in \operatorname{NS}(X)$ denote the two ...
- 275
10
votes
0
answers
485
views
Reconstruction of commutative differential graded algebras
Let $k$ be an algebraically closed field of characteristic $0$.
Let $A,B$ be commutative differential graded algebras (cdga) over $k$ such that $H^{i}(A)=H^{i}(B) =0 \ (i>0)$.
Here, differentials ...
- 869
3
votes
1
answer
321
views
resolution property and perfect stacks
Recall that for a scheme $X$, it has the resolution property if every coherent sheaf $E$ on $X$, is the quotient of a finite locally free $\mathcal{O}_X$-module.
On the other hand, Ben-Zvi-Nadler-...
- 3,452
1
vote
1
answer
214
views
Derived McKay correspondence between a weighted projective plane and a Hirzebruch surface
Let $k$ be an algebraically closed field of $\text{ch}(k) =0$.
Let $\mathbb{P}(1,1,2)$ be the weighted projective plane of weight $(1,1,2)$ as a stack.
Let $\mathbf{P}(1,1,2)$ be the weighted ...
- 13
1
vote
0
answers
140
views
Intermediate Jacobian for small resolution of a singular Fano threefold?
I am mainly interested in the nodal Gushel-Mukai threefold. Let $X$ be a Gushel-Mukai threefold with one node, then by page 21 of the paper https://arxiv.org/pdf/1004.4724.pdf there is a short exact ...
- 1,962
1
vote
1
answer
173
views
Reference for localization distinguished triangles in the derived category of $\ell$-adic sheaves
Let us consider a variety $X$ over a field $k$ which is a finite field or an algebraic closure thereof. Let $\ell$ be a prime number different from the characteristic of $k$, and let $\Lambda = \...
- 717
1
vote
0
answers
215
views
Characterization of morphisms of finite Tor-dimension by the hypertor functor
I am trying to have a concrete understanding of morphisms of finite Tor-dimension between arbitrary schemes.
In Hartshorne’s book Residues and Duality,a morphism of schemes $f:X\rightarrow Y$ is said ...
- 569
5
votes
0
answers
524
views
Hypercohomology spectral sequence from the derived category point of view
Let $F\colon \mathsf{A}\to\mathsf{B}$ be an additive functor between abelian categories and let $M$ be a complex on $\mathsf{A}$. There's a "hypercohomology spectral sequence"
$$E_1^{i,j}=\...
- 1,139
1
vote
1
answer
211
views
Confusion about relative Poincaré duality in the context of $\ell$-adic cohomology
I have recently learned about relative Poincaré duality in the book Weil conjectures, perverse sheaves and $\ell$-adic Fourier transform by Kiehl and Weissauer (2001). The reference is section II.7. ...
- 717
2
votes
0
answers
115
views
Formulation of cap product in group-equivariant sheaf cohomology + applications?
Originally asked on Math SE but it was suggested I move it here.
Suppose one has a distinguished cocycle in the group-equivariant sheaf cohomology $\Phi \in H^n(X, G, \mathcal{F})$ for a "nice&...
- 73
7
votes
1
answer
297
views
structure in triangulated category similar to t-structure
It’s well known that the heart of a t-structure is an abelian category. My question is that can we find some structure on a triangulated category which can “produce” an exact category in analogy with ...
- 73
2
votes
0
answers
74
views
What is happening on the second step of left mutation?
Let $X$ be a smooth Gushel-Mukai fourfold, whose semi-orthogonal decomposition is given by
$$D^b(X)=\langle\mathcal{K}u(X),\mathcal{O}_X,\mathcal{U}^{\vee}_X,\mathcal{O}_X(H),\mathcal{U}^{\vee}(H)\...
- 1,962
2
votes
0
answers
153
views
Non-triviality of a morphism
Let $X$ be a smooth Gushel–Mukai fourfold and $Y$ a smooth hyperplane section, which is a Gushel–Mukai threefold. I consider semi-orthogonal decomposition of $X$ and $Y$:
$$D^b(X)=\langle\mathcal{O}_X(...
- 1,962