All Questions
33 questions
31
votes
1
answer
1k
views
Which properties of a variety are detected by its derived category of coherent sheaves?
Context: I'm giving an informal seminar/reading group collection of talks on derived categories, following on from earlier talks giving the abstract definition. I am starting to talk about $\mathcal{...
24
votes
0
answers
730
views
What is the status of a result of Kontsevich and Rosenberg?
In their influential paper Noncommutative Smooth Spaces (https://arxiv.org/abs/math/9812158), Kontsevich and Rosenberg define the notion of a noncommutative projective space. In Section 3.3 they ...
- 331
20
votes
1
answer
859
views
List of known Fourier Mukai partners?
I'm familiar with some examples of pairs of derived equivalent varieties, for example an abelian variety and its dual, a K3 surface and certain moduli schemes on it, or the Pfaffian-Grassmannian ...
- 3,017
15
votes
1
answer
789
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 ...
15
votes
1
answer
1k
views
Can "ampleness" be detected inside the derived category?
Let $X$ be an algebraic variety (separated quasi-compact scheme of finite type) over a field $k$.
One of the possible definitions of an ample line bundle goes as follows:
Def 1: A line bundle $\...
- 7,799
12
votes
0
answers
324
views
Comparing derived categories of quasi-coherent sheaves in the lisse-etale and the big etale toplogy on an algebraic stack
I am trying to understand the proof of Proposition 1.4.2. in "A study of derived algebraic geometry Volume 1" by Gaitsgory-Rozenblyum. http://www.math.harvard.edu/~gaitsgde/GL/QCohBook.pdf, page 8.
...
- 595
11
votes
1
answer
2k
views
Derived base change in étale cohomology
Given a commutative square of ringed topoi
$$\begin{array}{ccc}X'\!\! & \overset{f'}\to & Y'\!\! \\ \!\!\!\!\!{\small g'}\downarrow & & \downarrow{\small g}\!\!\!\! \\ X & \...
- 28.8k
10
votes
1
answer
883
views
$\infty$-categorical understanding of Bridgeland stability?
On triangulated categories we have a notion of Bridgeland stability conditions.
Is there any known notion of "derived stability conditions" on a stable $\infty$-category $C$ such that they become ...
- 103
9
votes
0
answers
507
views
Categorification of definitions in the context of the derived category of quasi-coherent sheaves
Let $SpecA=X$ be an affine noetherian scheme. Let $QCoh(X)$ denote the derived (stable $\infty$-)category of quasi-coherent sheaves on $X$. There are the following special full subcategories spanned ...
- 7,799
7
votes
1
answer
629
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\...
- 1,349
6
votes
2
answers
2k
views
What is a good reference (preferably thorough) for the Derived Category of a scheme/orbifold/stack?
I've sort of circled around the idea of derived categories a few times, read a few introductory papers ("Derived Categories for the working mathematician", e.g.), and feel now that this is something ...
- 6,290
6
votes
0
answers
201
views
Smoothness of a variety implies homological smoothness of DbCoh
I have been told that $D^bCoh(X)$ is homologically smooth if $X$ is a smooth variety, and I am trying to construct a proof. My background is not in algebra, so I apologize for elementary questions.
It ...
6
votes
0
answers
517
views
relative spectrum in derived algebraic geometry
I am trying to understand how much it is possible to extend the notion of spectrum of a qcoh sheaf of algebras to stacks.
More precisely, given a scheme $S$ and a stack $F$ of cohomological cdga's ...
- 121
6
votes
0
answers
608
views
On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes
Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...
- 3,101
5
votes
1
answer
445
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)...
- 53
5
votes
1
answer
711
views
Closed symmetric monoidal structure on the derived category of modules whose unit is a dualizing complex?
Let $A$ be non-positively graded commutative DG-algebra almost of finite type over a field $k$ of characteristic $0$. Most of these assumptions (affine, commutative, characteristic, bound) are only to ...
- 7,799
5
votes
1
answer
438
views
Twisted derived Morita theory of schemes
It has been proved by Toën and Lunts-Schnürer that the dg category $\mathrm{L}_{qcoh}(X\times Y)$ of quasi-coherent sheaves over the product of two quasi-compact, quasi separated (and flat over a ...
- 155
5
votes
0
answers
587
views
When is the cotangent complex perfect?
Let $X\rightarrow S$ be a proper flat morphism of schemes.
When is the cotangent complex $L_{X/S}$ perfect ?
It is well known, that for local complete intersections the cotangent complex is perfect, ...
- 51
5
votes
0
answers
316
views
Derived stack 2-perfect complexes and derived equivalences
Let $X$ be a scheme of finite type over $\mathbb{C}$. Toën and Vaquié construct the derived stack of perfect complexes on $X$, which I will denote $\mathcal{DP}er(X)$. They prove that this derived ...
- 7,320
4
votes
0
answers
503
views
Derived category of a fiber product
Let $X = Y \times_Z W$, where $X,Y,Z,W$ are Noetherian schemes, and consider the pullback diagram associated to $X, Y, Z, W$. We have a diagram
$$
\require{AMScd}
\begin{CD}
D(Z) @>>> D(Y)\\
@...
- 1,325
4
votes
0
answers
248
views
Derived equivalent varieties with differing integral Mukai-Hodge structures?
For a smooth projective complex variety $X$ of dimension $n$, let $H^i(X)$ denote its integral Hodge structure of weight $i$. Define $\tilde{ H^0}(X) = \bigoplus H^{2i}(X)\otimes \Bbb Z(i)$ and $\...
- 3,017
3
votes
1
answer
417
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\...
- 317
3
votes
1
answer
183
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 ...
- 317
3
votes
1
answer
335
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,472
3
votes
1
answer
176
views
Left adjoint for nested admissible categories
This question is motivated by the construction of the Kuznetsov component on a prime Fano threefold $X$ of index 1 (say genus $g \geq 6$, $g \neq 7, 9$):
$$
D^b(X) = \langle Ku(X), E, \mathcal{O}_X \...
- 317
3
votes
1
answer
285
views
Is there a notion of injective, projective, flat, dimension for a differential graded algebra?
Given a differential graded algebra $(A_\bullet,d)$, is there a well-defined notion of a K-injective, K-projective, K-flat dimension of a differential graded module, or even of the category of ...
- 1,716
3
votes
1
answer
422
views
Derived $\ell$-completion of $\mathbf{Q}_\ell$ sheaf?
I came across some notation that I’m having trouble understanding in Hansen-Scholze’s preprint ‘Relative Perversity.’ In the last paragraph of Proposition 3.4 there is the notation
$A\widehat{\otimes^{...
- 1,217
3
votes
0
answers
310
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 ...
- 163
2
votes
1
answer
131
views
Right adjoint of subcollection of semi-orthogonal decomposition
Suppose $X$ is a prime Fano threefold of index 1 such that $H = -K_X$ is ample. There is a full classification of the derived category of such threefolds depending on the genus of $X$; in the case ...
- 317
1
vote
1
answer
398
views
Is the pushforward of a closed immersion of spectral Deligne-Mumford stacks conservative?
Let $ X \hookrightarrow Y$ be a closed immersion of (connective) spectral Deligne-Mumford stacks, is $ i_* : Qcoh(X) \rightarrow Qcoh(Y)$ conservative? Somehow I couldn't find the statement in SAG...
- 595
1
vote
0
answers
62
views
Geometric stability conditions on calabi-yau's fibred over Fano always identical to geometric stability conditions on Fano
I apologize in advance for the long title. This question is motivated primarily by [2], with the explicit example of $\mathbb{P}^2$ and $\omega_{\mathbb{P}^2}$ computed in [3] and [1], respectively.
...
- 317
1
vote
0
answers
110
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 ...
- 317
0
votes
0
answers
170
views
Cone of morphism induced by Serre duality
For a smooth projective variety $X$, Serre duality gives an exact autoequivalence on the derived category :
$$
S_X : D^\flat(X) \to D^\flat(X), \hspace{3em} S_X(-) = - \otimes \omega_X[\dim X]
$$
...
- 317