All Questions
Tagged with ag.algebraic-geometry derived-categories
402
questions
1
vote
0
answers
121
views
How does the Torelli theorem behave with respect to cyclic covering?
Let $Y\xrightarrow{2:1}\mathbb{P}^3$ be the double cover, branched over a quartic K3 surface $S$, known as quartic double solid. Assume $S$ is generic, we know that there is a Torelli theorem for $Y$ ...
7
votes
0
answers
315
views
Bondal-Orlov' theorem for noncommutative projective schemes
My question is very simple.
Is Bondal-Orlov's theorem known for noncommutative projective schemes in the sense of Artin and Zhang?
The commutative version is the following :
Let $X, Y$ be smooth ...
4
votes
0
answers
175
views
Relation between exotic sheaves in Achar's notes and in Bezrukavnikov-Mirkovic
I am trying to calculate explicitly a certain simple exotic sheaf (a simple object of the heart of the exotic t-structure on the Springer resolution, which is defined in Theorem 1.5.1 of Bezrukavnikov-...
5
votes
1
answer
232
views
On the bounded derived category of sheaves with coherent cohomology
Let $(X,\mathcal{O}_X)$ be a locally ringed space such that $\mathcal{O}_X$ is locally notherian, and let $\operatorname{Coh}(\mathcal{O}_X)$ be the category of coherent $\mathcal{O}_X$-modules. The ...
5
votes
1
answer
178
views
A pushout diagram of derived categories coming from an open cover of schemes
Suppose $X=U\cup V$ is the standard open cover of $X=\mathbb{P}^1$ by two affine lines. The descent theorems say that the diagram (with all arrows restriction maps)
$\require{AMScd}$
\begin{CD}
D(X) @&...
3
votes
0
answers
110
views
What is the correct definition of intermediate Jacobian for this singular threefold?
I am considering blow up of $\mathcal{C}\subset(\mathbb{P}^1)^3$, $X=\operatorname{Bl}_{\mathcal{C}}(\mathbb{P}^1)^3$, where $\mathcal{C}$ is a curve given by $$\{s^2u=0\}\subset\mathbb{P}^1_{s:t}\...
2
votes
1
answer
146
views
Pullback morphism of a hyperplane inclusion is zero in the derived category
Let $L \subset \mathbb{C}^n$ be a hyperplane and let $i:L \to \mathbb{C}^n$ be the inclusion. Since $i$ is proper, we have induced maps $i^*: H^k_c(\mathbb{C}^n) \to H^k_c(L)$, and these maps are zero ...
6
votes
1
answer
565
views
Canonical comparison between $\infty$ and ordinary derived categories
This question is a follow-up to a previous question I asked.
If $\mathcal{D}(\mathsf{A})$ is the derived $\infty$-category of an (ordinary) abelian category $\mathsf{A},$ then the homotopy category $h\...
3
votes
1
answer
158
views
Pushforward of exceptional vector bundle is spherical for local P^2
I've been reading through a bit of the literature on stability conditions, and one of the models that has come up is the 'local projective plane'. Explicitly, this is the total space of the canonical ...
3
votes
0
answers
88
views
Projective resolution of a quiver with relations
How do we compute the projective resolution of a representation of a quiver with relations.
For example consider the Beilinson quiver $B_4$
$.
with the relations $\{\alpha_j^k\alpha_i^{k-1}=\alpha_i^...
2
votes
1
answer
190
views
Find stratification to decompose constructible sheaf to constant parts (example from Wikipedia)
I have a question about techniques used in determining the stratification over which a constructible sheaf falls into even constant pieces demonstrated on this example from Wikipedia.
Let $f:X = \text{...
3
votes
1
answer
176
views
Image, upto direct summands, of derived push-forward of resolution of singularities
Let $\mathcal C$ be a full subcategory (closed under isomorphism also) of an additive category $\mathcal A$. Then, $\text{add}(\mathcal C)$ is the full subcategory of $\mathcal A$ consisting of all ...
4
votes
1
answer
190
views
Some questions on derived pull-back and push-forward functors of proper birational morphism of Noetherian quasi-separated schemes
Let $f: X \to Y$ be a proper birational morphism of Noetherian quasi-separated schemes. We have the derived pull-back $Lf^*: D(QCoh(Y))\to D(QCoh(X))$ (https://stacks.math.columbia.edu/tag/06YI) and ...
15
votes
1
answer
667
views
Why do we say IndCoh(X) is analogous to the set of distributions on X?
$\DeclareMathOperator\IndCoh{IndCoh}\DeclareMathOperator\QCoh{QCoh}$I've seen it written (for example, in Gaitsgory–Rozenblyum) that for a scheme $X$, the category $\IndCoh(X)$ is to be thought of as ...
2
votes
1
answer
196
views
Perfect complexes of plane nodal cubic curve
Let $C\subset\mathbb{P}^2$ be a plane nodal cubic curve with a unique singular point $O$ at the origin. Then I consider its normalization, denoted by $\widetilde{C}$ and let $\pi:\widetilde{C}\...
2
votes
0
answers
154
views
When is $D^+(QC(X))$ not the same as $D_{qc}(X)^+$ for schemes?
Let $QC(X)$ be the abelian category of quasicoherent sheaves on a scheme $X$. There is a functor
$$D^+(QC(X)) \to D_{qc}(X)^+$$
which is an isomorphism if $X$ is Noetherian or quasi-compact with ...
3
votes
0
answers
270
views
Algebraic Fukaya categories and mirror symmetry
Dominic Joyce and collaborators have outlined a programme to construct algebraic Fukaya categories on an algebraic symplectic manifold (“Fukaya categories” of complex Lagrangians in complex symplectic ...
2
votes
1
answer
189
views
How to conclude the quasi-projective case of the derived McKay correspondence from the projective case?
I am currently trying to understand the paper "Mukai implies McKay" from Bridgeland, King and Reid (cf. here). Let me sum up the setting we find ourselves in:
Let $M$ be a smooth quasi-...
4
votes
2
answers
269
views
Does there exist a faithful exact embedding of $D^b(\dim(N)) \to D^b(\dim(N-1))$
$\DeclareMathOperator\Hom{Hom}$I am trying to show that if $X,Y$ are nice schemes with $\dim(X) > \dim(Y)$ there is no faithful FM transform $\Phi_{K}: D^b(X) \to D^b(Y)$.
Does someone have a proof ...
4
votes
0
answers
258
views
Has anyone studied the derived category of Higgs sheaves?
Let $X$ be a complex manifold and $\Omega^1_X$ be the sheaf of holomorphic $1$-forms on $X$. A Higgs bundle on $X$ is a holomorphic vector bundle $E$ together with a morphism of $\mathcal{O}_X$-...
2
votes
1
answer
175
views
liftability of isomorphism of curves in $P^3$
It is well known that the isomorphism between smooth curves $C$ and $C'$ in $\mathbb{P}^2$ can be lifted to an automorphism of $\mathbb{P}^2$ if degree of $C$ and $C'\geq 4$. Now I am considering an ...
5
votes
1
answer
384
views
What is the k-linear structure on the derived infinity category of quasi-coherent sheaves?
Let $f : X \overset{f}{\rightarrow} Y \overset{g}{\rightarrow} \mathrm{Spec} (k)$ be morphisms of schemes (feel free to add any hypothesis necessary). Let $\mathrm{QCoh}(Y)$ denote the derived (stable)...
3
votes
0
answers
169
views
Relations between some categories of étale sheaves
I asked this question on math.stackexchange but nobody answers, so I try here even if I'm not sure my question is a research level one..
Let $X$ be a scheme over a number field $k$. Feel free to add ...
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). ...
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 ...
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-...
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 ...
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
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 = \...
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 ...
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. ...
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&...
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(...
6
votes
0
answers
282
views
Is there a sheaf of categories $\text{QCoh}_X(1)$ analogous to $\mathcal{O}_X(1)$?
Given a scheme $X$ and sum of divisors $D$, you can take the line bundle
$$\mathcal{O}_X(D)\ =\ \{\text{functions }f\text{ with [conditions on zeroes/poles]}\}\ \subseteq\ j_*\mathcal{O}_\eta\ =\ \...
2
votes
0
answers
168
views
$D^b_\text{Coh}(X)$ for a smooth, proper Deligne-Mumford stack
Let $X$ be a smooth, proper DM stack over a field $k$. I see in Hall-Rydyh's paper "Perfect Complexes on Algebraic Stacks" (https://arxiv.org/abs/1405.1887) a discussion of compact ...
2
votes
1
answer
163
views
Explicit functor from Kuznetsov component to derived category of K3 for rational cubic fourfolds
Let $X \subset \mathbb{P}^5$ be a Pfaffian cubic fourfold (or one of the other known rational cubic fourfolds). It is known by Kuznetsov's Homological Projective Duality that $\mathcal{K}u(X) \simeq D^...
8
votes
0
answers
331
views
Beilinson's theorem for fixed stratifications
Beilinson's theorem states that for a variety $X$ and a field $k$ the realization functor
$$\text{real}: D^b\text{Perv}(X,k)\to D_c^b(X,k)$$ is an equivalence of categories.
If we only consider ...
2
votes
0
answers
274
views
A gap in a proof of Orlov’s result on the group of autoequivalences of the derived category of an abelian variety
Let $X$ be an abelian variety over an algebraically closed field of charactristic $0$. In this paper, Orlov showed that there is a short exact sequence $$0\to \mathbb Z \oplus X \times \hat X \to\...
6
votes
1
answer
362
views
Derived categories of smooth proper varieties?
We know several amazing techniques about the derived category $Perf (X)$ of a smooth projective variety such as the whole theory of Fourier-Mukai transforms. On the other hand, from a dg-categorical ...
4
votes
1
answer
237
views
Gluing isomorphism in derived categories along filtered colimit
Let $X$ be a locally finite type algebraic stack $X$ (but feel free to pretend it's a scheme) with a presentation as the filtered colimit of finite type open substacks $U_i$. By descent, at the level ...
2
votes
1
answer
133
views
A Fourier-Mukai kernel locally given by a graph of a birational map and compatibility with extension
Let $X$ and $Y$ be smooth projective complex varieties. Suppose we have a Fourier-Mukai equivalence
$$
\Phi_\mathcal P :Perf X \to Perf Y
$$
with kernel $\mathcal P$. Moreover, suppose $\mathcal P$ ...
3
votes
1
answer
245
views
"Essential injectivity" of Balmer spectra
Let $(\mathcal T, \otimes)$ be a tensor tringulated (tt-)category. Balmer defined a functor from the category of tt-categories to the category of locally ringed spaces, called the Balmer spectra or tt-...
2
votes
0
answers
126
views
dg-Künneth formula for qcqs schemes
Let $X$ and $Y$ be qcqs schemes over a field $k$ (or I am happy to assume any nice condition up to smooth (quasi-)projective varieties if that makes the folloiwng question true). Let us define $Perf(X)...
4
votes
1
answer
299
views
Derived pushforward of a projection
Given two smooth projective varieties, $X,Y$, consider their derived categories $D^b(X), D^b(Y)$. Let $\mathcal{F}$ a complex of coherent sheaves in $D^b(X \times Y)$, why the derived pushforward of ...
3
votes
1
answer
377
views
Should we expect Kuznetsov component to be independent of exceptional collection
As explained in the comments of this answer, given a smooth Fano 3-fold of index 1 and genus $g \geq 6$, we have two semiorthogonal decompositions $$\langle \text{Ku}(X), \mathcal{E}, \mathcal{O}_X\...
3
votes
0
answers
166
views
Orlov's theorem on fully faithful functors between derived categories
According to an important result of Orlov, a $k$-linear exact fully faithful functor $\Phi\colon D^b(X)\rightarrow D^b(Y)$ for smooth projective varieties $X$ and $Y$ is isomorphic to a Fourier-Mukai ...
-1
votes
1
answer
171
views
When morphism of complexes is homotopic to 0?
Let $f\colon A^\bullet\to I^\bullet$ be a morphism of bounded below complexes in an abelian category. Assume all $I^i$ are injective objects. Assume also that $f$ induces the zero map on cohomology.
...
4
votes
0
answers
289
views
Are $\mathcal{O}_X$-modules "more actual" then quasicoherent sheaves in some sense?
In the Stacks project and in a book of Brian Conrad the "main" derived category of a scheme is the one of $\mathcal{O}_X$-modules. I would like to understand whether $D(\mathcal{O}_X)$ is ...
9
votes
1
answer
903
views
Is the functor from the unbounded derived category of coherent sheaves into the derived category of quasi-coherent sheaves fully faithful?
Let $X$ be a Noetherian scheme. Is the obvious functor $D(\operatorname{Coh}(X))\to D(\operatorname{QCoh}(X))$ fully faithful?
If this is true then $D(\operatorname{Coh}(X))$ is equivalent to the full ...
3
votes
0
answers
381
views
Mapping cone is a functor
It is a well-known general fact that in a triangulated category, the cone $Z$ of a morphism $X \longrightarrow Y$ (that means there exists a distinguished triangle $X \longrightarrow Y \longrightarrow ...