Questions tagged [derived-algebraic-geometry]
The derived-algebraic-geometry tag has no usage guidance.
240
questions
3
votes
0
answers
113
views
Is a derived scheme determined by classical + formal points?
Say we have a derived scheme over an algebraically closed field $X/k$, viewed as a functor $X : \operatorname{Aff}_k^{\operatorname{op}} \to \infty\operatorname{-Grpd}$ and we know its formal ...
2
votes
0
answers
142
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
15
votes
1
answer
582
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 ...
3
votes
1
answer
114
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 ...
7
votes
1
answer
269
views
Kapustin-Witten branes and the derived moduli stack of Higgs bundles
A lot has been discussed on overflow regarding geometric Langlands and the physics of Kapustin and Witten's groundbreaking paper https://arxiv.org/abs/hep-th/0604151. I would like to add my two cents ...
2
votes
0
answers
166
views
Does "derived" make anything constant in non-flat families?
This is an extremely basic (and surely amateurish) question that might be about derived geometry.
In usual algebraic geometry, if we have a flat projective morphism $f:X \to S$ with $S$ integral, and ...
2
votes
0
answers
78
views
Formal neighborhood of isolated singularity via DAG
I work over a field of characteristic $0$, denoted $k$. Let $f:\mathbf{A}^{d+1}\rightarrow\mathbf{A}^{1}$ have an isolated singularity at $0$, and let $\widehat{Z}$ denote the formal neighborhood of $...
3
votes
0
answers
233
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
0
answers
152
views
Dualizing sheaf for classifying stack and duality
For an algebraic group $G$ there should be an equivalence $\operatorname{Rep}(G) \simeq \operatorname{IndCoh}(BG)$. I'm trying to understand what the dualizing sheaf (or complex) of $BG$ is. Here's ...
5
votes
1
answer
339
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)...
1
vote
0
answers
97
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 ...
2
votes
1
answer
293
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
221
views
Examples when algebraic 1-stack = derived enhancement?
Are there any examples where a usual algebraic 1-stack $X$ and the corresponding derived stack enhancement $\mathbb{R}X$ coincide?
Let me take an example from notes of Bertrand Toen, page 41 of https:/...
3
votes
0
answers
195
views
Formal loop space in algebraic geometry
Does anyone have a reference or an explanation about the relationship between the formal loop space defined for affine schemes via $LX\left(R\right) = X\left(R\left(\left(t\right)\right)\right)$ (or ...
9
votes
0
answers
388
views
What's a holonomic D-module from the point of view of de Rham spaces?
Let $X$ be a smooth algebraic variety over $\mathbb{C}$. We can consider its de Rham space $X_\text{dR}$ as the sheaf on $(\textsf{Sch}/\mathbb{C})_\text{ét}$ defined by $X_\text{dR}(S):= X(S_\text{...
2
votes
0
answers
332
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 ...
10
votes
0
answers
365
views
What is the original source for the Goerss-Hopkins-Miller-Lurie theorem on tmf?
The central basic theorem of topological modular forms states that the structure sheaf of $\widehat{\mathcal{M}}_{ell}$ lifts to a sheaf of complex-oriented $E_{\infty}$-rings whose formal groups are ...
3
votes
0
answers
426
views
Infinite dimensional dg-manifolds
In Def 2.5.1 in " Derived Quot schemes" by Ciocan-Fontanine and Kapranov, we can find the notion of dg-manifolds.
In detail, let $X$ be a dg-scheme over $k$ ($k$ : an algebraic closed field ...
3
votes
1
answer
362
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
224
views
Confusion about definition of crystals
In the notes by Lurie there seems to be two possible definition for crystals which both makes sense for arbitrary functors $X : \mathrm{CRing}_k \to \mathrm{Set}$. ($k$ here is a field. We probably ...
4
votes
0
answers
179
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 ...
6
votes
0
answers
140
views
$\infty$-categorical enhancement of $\mathsf{D}_\mathsf{B}(\mathsf{A})$
In this question, it is asked why we like to consider $\mathsf{D}_\textrm{qc}(X)$ rather than $\mathsf{D}(\mathsf{QCoh}(X)).$ Professor Cisinski answers rather convincingly that the $\infty$-...
2
votes
0
answers
120
views
Moduli stack of doubly periodic complexes?
Let $\mathcal{A}$ be an abelian category.
In HAG II Toen and Vessozi built a higher derived stack $X$ whose category of perfect complexes is $\text{Perf}(X)\simeq D^b(\mathcal{A})$. So $X$ is a good ...
1
vote
0
answers
261
views
Fourier-Mukai transform is the derived functor
In Mukai's paper Duality between $D(X)$ and $D(\hat{X})$ with its application to Picard sheaves, Nagoya Math Journal, 1981, there is one sentence that puzzles me.
Let $X$ be an abelian variety over an ...
0
votes
0
answers
155
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]
$$
...
4
votes
1
answer
369
views
Two notions of singular support?
Arinkin-Gaitsgory have defined the notion of singular support for any quasismooth $Y$
$$\text{SS}(\mathcal{F})\ \subseteq\ \text{Sing}(Y)$$
and $\mathcal{F}$ any ind-coherent sheaf, where $\text{Sing}(...
3
votes
1
answer
409
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^{...
2
votes
1
answer
111
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 ...
2
votes
0
answers
318
views
Higher-order HKR theorems?
Recall that Hochschild-Kostant-Rosenberg -type theorems identify certain smoothness conditions guaranteeing an isomorphism between the cotangent complex and (a shift of) the Hochschild homology of an ...
3
votes
0
answers
159
views
(Commutative) Algebras in $\mathsf{dgCat}_k$
Suppose $k$ is a fixed commutative ring, and let $\mathsf{dgCat}_k$ denote the category of $k$-linear dg-categories. We will equip $\mathsf{dgCat}_k$ with the Morita model structure (see theorem 2.27 ...
3
votes
1
answer
166
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 \...
7
votes
1
answer
382
views
Basic example of derived descent
I've been trying to understand the Adams spectral sequence, and I've gotten myself confused about how derived descent is supposed to work, so I would like to understand a simple example.
Given a ...
2
votes
1
answer
358
views
The stack of equivariant local system is quasi-smooth
Let $G$ be a (connected ?) algebraic group and $X$ a smooth, projective, and connected algebraic curve, both over an algebraically closed field $k$ of characteristic $0$.
My questions are then as ...
4
votes
1
answer
435
views
Hard Lefschetz theorem in intersection cohomology
In [1,2] the authors proved the Hard Lefschetz theorem in intersection cohomology:
Let $Z$ be a complex projective variety of pure complex dimension $d$, with $\xi\in H^2(Z,\mathbb{Q})$ the first ...
2
votes
0
answers
178
views
Is the homotopy limit of derived schemes along affine maps a derived scheme?
The title question is true in the setting of ordinary limits and ordinary schemes; that is, given an inverse limit of schemes along affine maps, the limit still lives in the category of schemes.
I'd ...
7
votes
1
answer
561
views
If we replace the spectrally ringed space in the definition of a spectral scheme with an arbitrary infinity-topos, what objects do we get?
I'll phrase this in terms of spectral AG, but I'm curious about the same question in the classical context.
We define a nonconnective spectral Deligne-Mumford stack to be a spectrally-ringed topos ...
2
votes
1
answer
158
views
Monoidal colimit-preserving functor from spaces to $A$-modules
I am reading Lurie's Elliptic Cohomology II and it claims (Section 4.1.3) that for an $\mathbb{E}_\infty$-ring $A$ "there is an essentially unique symmetric monoidal functor $\mathcal{S} \to \...
3
votes
0
answers
83
views
Derived prestacks regarded as functors into spectra
If $k$ is a field (probably of characteristic zero), the usual definition of a derived prestack is a functor $ X \colon {\operatorname{CDGA}}_{k}^{\le 0} \to \operatorname{Spaces} $ from (graded) ...
4
votes
0
answers
328
views
What does the cotangent complex tell you when it takes animated inputs?
These two links: What is the cotangent complex good for? and Intuition about the cotangent complex? are quite helpful in giving intution for the cotangent complex in terms of deformations but I don't ...
9
votes
1
answer
708
views
In the not necessarily abelian cat setting, is there a Grothendieck spectral sequence for computing the homotopy of a composition of derived functors?
Recall the Grothendieck spectral sequence which computes the homology groups of a composition of left derived functors $F$ and $G$ on abelian categories:
\begin{align*}
E_{p,q}^{2}(A)=L_{p}G\circ L_{q}...
6
votes
0
answers
192
views
Truncated Sphere Spectra and their Modules
I'm trying to use truncations $\tau_{\leq n}S$ of the sphere spectrum to ``interpolate'' between $\DeclareMathOperator{\H}{H} \H\mathbb{Z}$ and $S$, and I am struggling to find references for ...
1
vote
0
answers
177
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}(\...
4
votes
0
answers
217
views
Cotangent complex of a formal thickening
Let $R$ be an (animated) commutative ring, with cotangent complex $L_R$ and let $\mathcal{C}(R) = \mathcal{D}(R)_{\Sigma^{-1}L_R/}$ be the category of nice square zero extensions of $R$. A typical ...
3
votes
0
answers
359
views
Applications derived algebraic geometry in Morse theory
Have derived algebraic geometry been used to understand the topology of complex varieties? For example are there any applications in Morse theory?
The reason I am asking this is two fold. First one is ...
2
votes
0
answers
214
views
Formally étale maps of animated $k$-algebras
In Lurie's DAG, he defines what it means for a natural transformation $T:\mathcal{F}\to\mathcal{F}'$ of functors $\mathcal{F},\mathcal{F}':\mathcal{SCR}\to\mathcal{S}$ to be formally étale. Namely, it ...
3
votes
0
answers
185
views
Derived Chow varieties
I recently encountered the "Hidden Smoothness Principle" envisioned by Deligne, Drinfeld, Beilinson, Kontsevich that singularities occurring in certain moduli spaces is the consequence of ...
6
votes
1
answer
358
views
2-shifted Poisson bracket on Lie algebra cohomology
Let $\frak{g}$ be a semisimple Lie algebra, and let $({-},{-})$ be an invariant inner product on $\frak{g}$. The Chevalley–Eilenberg complex $C^*(\frak{g})$ has a natural Poisson bracket of degree $-2$...
8
votes
1
answer
463
views
D-modules as ind-coherent sheaves over positive characteristics?
There is an interpretation of D-modules over "sufficiently nice" prestacks $X$ (read: various finiteness conditions apply, perhaps even smoothness) by Gaitsgory and Rozenbylum (see chapter I....
5
votes
1
answer
234
views
Interpolating between the flat and smooth affine lines in spectral algebraic geometry
Consider the following construction (which came up recently in a question about "spectral exterior algebras"):
Pick a ring spectrum $R$ and consider the $\infty$-category $\mathsf{Mod}_R$ ...
3
votes
0
answers
186
views
Base-change theorems for stable $\infty$-categories
Omitting some technicalities, the base-change theorem for quasicoherent sheaves says that if we have the following diagram of (derived) schemes
$\require{AMScd}$
\begin{CD}
X \times_S Y @>\pi_2>&...