All Questions
Tagged with derived-algebraic-geometry derived-categories
49 questions
3
votes
0
answers
144
views
The assignment of derived infinity category of étale sheaf is an infinity functor?
Consider the ordinary category of schemes $Sch$, for $X\in Sch$, consider the abelian category of étale sheaf with coefficient $\wedge$ as $Mod(X_{ét},\wedge)$, then we can form the derived infinity ...
- 618
1
vote
0
answers
128
views
full strong exceptional collection
I am wondering whether, if a triangulated category $\mathcal{D}$ has a full strong exceptional collection (infinite), it is triangle-equivalent to the bounded derived category of finitely generated ...
- 359
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
4
votes
1
answer
351
views
Classical schemes as derived schemes are discrete valued
$\newcommand\Spc{\mathrm{Spc}}\newcommand\SCRing{\mathrm{SCRing}}\DeclareMathOperator\Map{Map}\DeclareMathOperator\GL{GL}\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\Hom{Hom}\...
- 618
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
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 ...
- 39.3k
15
votes
1
answer
788
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 ...
- 898
3
votes
1
answer
137
views
Derived flat bundles
I am looking for a notion of derived flat bundles over a surface $X$. Flat vector bundles may be thought of in terms of surface representations $\pi_1(X)\rightarrow\text{GL}(V)$. Is there a notion of ...
- 335
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 ...
- 30.3k
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 ...
- 12.9k
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 ...
- 2,856
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)...
- 15.9k
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
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-...
- 9,229
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^{...
CommunityBot
- 1
2
votes
0
answers
441
views
About an argument in absolute prismatic cohomology
In Bhatt-Lurie Absolute prismatic cohomology, proof of Corollary 4.1.15, it asserts that extension of scalars along the quotient map is conservative and preserves small limits:
I think the ...
- 1,906
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\...
- 39.3k
4
votes
0
answers
202
views
Cohomological methods in intersection theory and derived categories
Are there any enumerative questions akin to: “What is the number of planes containing a given line tangent to a given cubic surface in $\mathbb{P}^3$” that we can answer using derived categories? I've ...
- 12.9k
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
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 ...
- 39.3k
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
1
vote
0
answers
209
views
Computing the cotangent complex of morphisms of perfect complexes
In Lurie's Spectral Algebraic Geometry the cotangent complex of $\textbf{Perf}$ is computed as $ \Sigma^{-1}( \mathscr{F} \otimes \mathscr{F}^\vee)$ for some universal $\mathscr{F} \in \text{Qcoh}(\...
- 595
8
votes
0
answers
751
views
What's the definition of a microlocal sheaf?
I'm slowly becoming familiar with what microsupport of a sheaf is, but none of the references I've seen give a definition of what a microlocal sheaf should be in general.
In this paper of ...
- 191
5
votes
1
answer
465
views
Questions about $\text{Perf}(A)$ of dg algebra $A$
[ALEXEY ELAGIN AND VALERY A. LUNTS, p.4.] Recall that triangulated category $\text{Perf}(A)$ is defined as the full thick triangulated subcategory of $D(A)$ generated by the dg $A$-module $A$.
[...
- 1,482
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
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 ...
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
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 & \...
- 4,492
5
votes
1
answer
450
views
Does formation of the derived $\infty$-category preserve pushouts?
Let $B\leftarrow A\to C$ be a diagram of commutative rings, and let $\mathcal{D}(A)$ be the derived $\infty$-category of $A$-modules (as in Lurie's "Higher Algebra"). Then is there an ...
- 13.5k
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
8
votes
1
answer
820
views
Derived Category of the derived critical locus, is it the category of Matrix Factorizations?
Let $W \in \mathbb{C}[x_1, \dots, x_n]=R$ be a polynomial with an isolated critical point at the origin. A Matrix Factorizations for $W$ consists a $\mathbb{Z}/2\mathbb{Z}$-graded finite free $R$-...
CommunityBot
- 1
2
votes
0
answers
135
views
When is $C\text-\mathsf{dg\text-mod}$ determined by the connective base changes?
I'm using cohomological gradings.
For $C\in k\text-\mathsf{cdga}$ (where $k$ can be taken of characteristic 0), a morphism $C\to A$ to a connective dg-algebra $A\in k\text-\mathsf{cdga}_{\leq0}$ ...
- 283
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...
- 915
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 ...
- 338
5
votes
1
answer
262
views
Derived Morita equivalence of associative algebras
An associative algebra $A$ is said to be Morita equivalent to another one $B$ if there is an equivalence $$\mathsf{Mod}_A\simeq \mathsf{Mod}_B$$ between its corresponding abelian categories of modules....
- 26.5k
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
10
votes
1
answer
792
views
Why does passage to DG categories cure non-locality of derived categories?
In the famous book 'Residues and duality', the author notes that one of the principal difficulties in constructing the exceptional inverse image functor $f^{!}$ is that the derived category of ...
- 13.6k
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
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 $\...
CommunityBot
- 1
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
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 ...
- 66
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
3
votes
0
answers
111
views
Is there a relation between Projection formula and Verdier duality
For suitable settings, $f\colon X\to Y$, $F,G$ we have projection formula and Verdier duality:
Projection formula: $Rf_!(F\otimes^\mathbb{L}f^{-1}G)\cong Rf_!F\otimes^{\mathbb{L}}G$
Verdier Duality:...
CommunityBot
- 1
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 ...
- 2,327
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 $\...
- 16.9k
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
8
votes
0
answers
337
views
flatness and derived completion
Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion.
If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat.
If $A$ is not noetherian, ...
- 3,472
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{...
CommunityBot
- 1
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 ...
CommunityBot
- 1