Questions tagged [derived-algebraic-geometry]
The derived-algebraic-geometry tag has no usage guidance.
276 questions
1
vote
0
answers
202
views
Is the cotangent complex sensitive to truncation?
$\DeclareMathOperator\Sym{Sym}\DeclareMathOperator\Spec{Spec}$If $V$ is a dg vector space (in positive degrees), we can view it as a derived scheme $V = \Sym V^*$. It has (co)tangent complex $V$ (and $...
- 5,711
2
votes
0
answers
245
views
Structure sheaf of derived intersection
Everything is over a field $k$ of characteristic $0$.
Let $X$ and $Y$ two closed dg subschemes over a dg scheme $Z$. I am trying to understand the structure sheaf of the derived intersection of $X$ ...
- 1,325
4
votes
0
answers
195
views
Example of pseudocoherent complex which is not locally quasi-isomorphic to a strict pseudocoherent one
I ask this question here even if I posted it also on math.stackexchange (recieving no answer so far) because I have read some analogous question but for perfect complexes on this site, even though ...
- 351
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$.
[...
- 603
4
votes
0
answers
282
views
The dual abelian scheme in derived algebraic geometry
$\def\Pic{\mathcal{Pic}}\def\Gm{\mathbb{G}_m}\def\Hom{\mathop{Hom}}\def\HOM{\mathcal{Hom}}$
If $A/S$ is an abelian scheme, the fppf sheaf $\Pic^0_{A/S}$ is representable by an abelian scheme $\hat{A}$....
- 1,196
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
15
votes
0
answers
284
views
Solution spaces of algebraic differential equations and derived geometry
We consider potentially non-linear differential equations on the formal one dimensional disc $\Delta$. Such equations are given by expressions $$P(z,f,f',f'',...)=0,$$ where $P$ is an element of the ...
user108998
5
votes
1
answer
321
views
Is there a definition of reduced $E_\infty$ ring?
[Edit: I have completely changed the question in response to the replies given]
I am curious if there is well defined notion of reduced $E_\infty$-ring.
Let $CAlg$ denote the $\infty$-category of $E_\...
- 448
3
votes
0
answers
246
views
Derived category and L-function
For abelian varieties over $\mathbb{Q}$ $\mathscr{A}$ and $\mathscr{A}'$, if derived categories $D(\mathscr{A})$ and $D(\mathscr{A}')$ are equivalent then L-functions are same $L(s,\mathscr{A})=L(s,\...
- 519
9
votes
2
answers
380
views
How to characterize $E_n$ morphisms from $\mathrm{Mod}(A)$ to $\mathrm{Mod}(B)$?
Suppose $A$ and $B$ are $E_{\infty}$ rings, then $\mathrm{Mod}(A)$ and $\mathrm{Mod}(B)$ are $E_{\infty}$ monoidal categories (left modules over those rings). We can ask about $E_n$ colimit-preserving ...
- 2,356
3
votes
0
answers
416
views
Derived geometry and theoretical physics
Is there any link between derived geometry and theoretical physics?
for example with particle physics or quantum mechanics?
Specifically something that included the obstruction bundle.
If possible I ...
- 272
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
44
votes
5
answers
6k
views
What is the cotangent complex good for?
The cotangent complex seems to be a pretty fundamental object in algebraic geometry, but if it's treated in Hartshorne then I missed it. It seems to be even more important in derived algebraic ...
- 64k
9
votes
0
answers
288
views
Every Spectral Deligne-Mumford stack satsifies fpqc descent?
In SAG Remark 6.3.3.8, Lurie asserts that if we have a representable (by Spectral Deligne-Mumford stacks) natural transformation $X\to Y$ where $Y$ is a functor satisfying fpqc descent, then so too ...
- 19.6k
4
votes
0
answers
310
views
Dimension of derived Artin stacks and perfect complexes
I am interested in the concept of dimension of derived and $n$-Artin stacks. Take for example the definition 4.10 of From HAG to DAG: derived moduli stacks. in which they define the dimension of a ...
- 787
8
votes
1
answer
720
views
Milnor excision for algebraic stacks
Recall that a commutative square of commutative rings
$$\begin{matrix}
A&\to&B\\
\downarrow &&\downarrow\\
A^\prime&\to&B^\prime\end{matrix}$$
is called a Milnor square if the ...
- 19.6k
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 ...
- 1,349
1
vote
0
answers
224
views
Two definitions of cotangent complex
I have reading a paper by Professor Pridham(https://arxiv.org/abs/0905.4044v4). Page 47-48 contains a comparison of the two definitions of the cotangent complex, but there is a part I don't understand....
- 479
4
votes
0
answers
102
views
Can an $\infty$-action on a derived affine scheme by an affine group scheme always be strictified?
Let $X$ be an affine derived scheme, say $X = \operatorname{Spec} A$, for $A$ a simplicial commutative ring. Let $G$ be an affine group scheme (classical), say $G = \operatorname{Spec}B$, and let an $\...
- 213
4
votes
0
answers
159
views
Relation between $\mathbb{A}^1$-homotopy theory and derived algebraic geometry [duplicate]
I've often heard that one of the benefits of derived algebraic geometry, next to a cleaner intersection theory, is that "provides natural settings " for the $\mathbb{A}^1$-homotopy theory (...
- 4,418
1
vote
0
answers
281
views
Étale homotopy type of (derived) loop space
A feature of derived algebraic geometry is that we have internal homs. Furthermore, we can think of $B\mathbb{Z}$ as the derived algebraic geometric analogue of $S^1$. Thus we have an analogue of the ...
- 4,418
3
votes
0
answers
162
views
Homotopy Kan extensions, formally coherent functors and derived Schlessinger criterion
Let $k$ be a finite field. Denote by $discArt_k$ the category of Artinian rings with residue field $k$ and $Art_k$ the category of Artinian simplicial rings. Consider a functor $\mathcal{F}:disArt_k\...
- 4,418
1
vote
0
answers
202
views
Schlessinger criterion and finiteness of tangent space
Schlessinger's criterion allows us to study whether or not a functor $\mathcal{F}:C_{\Lambda}\rightarrow \text{Set}$ from the category of local Artin $\Lambda$-algebras to sets is representable. One ...
- 4,418
8
votes
2
answers
471
views
The correct homotopically relevant notion of ideals of dg-algebras (or $\mathbb E_1$-rings)
I'm trying to figure out what an ideal of a, say, dg-algebra (or, if you prefer, $\mathbb E_1$-ring) $R$ is in a homotopically relevant fashion, but I can't actually figure it out. I can assume that $...
- 2,079
15
votes
1
answer
805
views
When does QCoh have 'enough perfect complexes'?
Let $X$ be a derived fpqc stack on the $\infty$-category of connective spectral affine schemes $\mathbf{Aff}^{\mathrm{cn}}=(\mathbf{Ring}^{\mathrm{cn}}_{E_\infty})^{\mathrm{op}}$, that is to say, a ...
- 19.6k
1
vote
0
answers
137
views
Open problems for shifted symplectic structures
I am now interested in shifted symplectic structures.
What are the open problems of shifted symplectic structures regarding the moduli space of sheaves ?
Especially now I am interested in moduli ...
- 479
1
vote
0
answers
185
views
Is there a stacky definition of irreducible symplectic manifold?
I am now interested in studying symplectic structures in the field of stacks.
In particular, is there a stacky definition of irreducible symplectic manifold ?
I'm also interested in similar things in ...
- 479
2
votes
1
answer
470
views
Two results about (shifted) symplectic structures
I am now interested in shifted symplectic structures.
I found Zhang's results about symplectic structures (2011, p.3-4, arXiv link,
Comm. Anal. Geom. 2017) and Pantev–Toen–Vaquié–Vezzosi's results ...
- 479
2
votes
0
answers
104
views
Linearity of a dg category $C$ over $HH^0(C)$
Let $C$ be a pre-triangulated dg-category over a field $k$ whose Hochschild cohomology groups $\operatorname{HH}^*(C)$ are concentrated in non-negative degree (cohomologically). Is $C$ Morita ...
- 3,758
3
votes
0
answers
317
views
Reference request: Derived structure on the moduli stack of Higgs bundles
I am reading arXiv:1708.08124. When talking about the moduli stack of Higgs bundles on a projective curve $X$. It is said on page 59, first paragraph that
It is often better to put
derived ...
- 385
11
votes
1
answer
789
views
Connectedness, loops and formal moduli problems
Let $k$ be an algebraically closed field of characteristic zero. Formalizing a classical folk concept, Pridham and (in a different way,) Lurie defined a formal moduli problem (over $k$) to be a ...
- 7,972
3
votes
1
answer
368
views
Is the category of spectra on $\mathbb{P}^1$ a module category?
I cannot really state my question in an incredibly precise way as I'm very new to this area, but I hope what I'm asking will be clear. Let $\mathcal{C}$ be the infinity category of sheaves of quasi-...
- 2,356
2
votes
0
answers
94
views
Derived manifold and real virtual dimension
In https://arxiv.org/pdf/1504.00690.pdf, it seems like the "derived manifold structure" given on a certain complex analytic space seems to have the real virtual dimension the same as the complex ...
- 1,024
29
votes
2
answers
3k
views
What (or how) are the new spaces of derived algebraic geometry?
I am a beginner in derived algebraic geometry and I am trying to develop some visual and geometrical intuition about derived schemes (and stacks), or more precisely about the new geometrical phenomena ...
- 787
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
1
answer
676
views
Jordan–Hölder sequence for $\mu$-semi stable sheaves
Let $X$ be a smooth variety over $\mathbb{C}$, and let $\omega \in \operatorname{Pic}(X)_\mathbb{R}$ be an ample class.
I would like to know if any $\mu_\omega$-semistable sheaf $E \in \operatorname{...
- 1,286
18
votes
0
answers
1k
views
What is the relationship between Artin and Lurie representability?
Artin's representability theorem gives conditions for a functor from commutative rings to sets (or groupoids) to be representable by an algebraic space (stack). The conditions are largely expressed ...
- 8,723
1
vote
0
answers
148
views
Perfect complexes on affine schemes
I'm reading a paper on algebraic stacks and in some part is stated the following:
Let $X$ be an algebraic stack and let
$P\in D_{qc}(X)$ be a perfect complex. Then, for every $x\in |X|$, there ...
- 41
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$-...
- 27.5k
1
vote
1
answer
201
views
Computing units in a dg-algebra
Let $\mathbb{G}_m= Spec(k[z,z^{-1}])$ be the usual multiplicative group over a field $k$ viewed as a discrete commutative dg-algebra, and let $A$ be some arbitrary commutative dg-algebra concentrated ...
- 3,019
4
votes
0
answers
118
views
Does the ∞-category of Derived/Spectral schemes admit all colimits over constant diagrams?
In the case of ordinary schemes, all coproducts exist, so given any constant diagram $D_S:C\to \operatorname{Sch}$, the colimit over $D_S$ is isomorphic to the coproduct of $S$ over the connected ...
- 493
10
votes
1
answer
605
views
Descent properties of topological Hochschild homology
Question: What is the finest topology on $\mathrm{CAlg}$ (commutative ring spectra) for which THH (Topological Hochschild Homology) satisfies descent?
Adaptations of the arguments appearing in ...
- 532
2
votes
0
answers
213
views
Do dg schemes have derived points?
Working over a base field $k$ of characteristic $0$, say $K$ is a field (over $k$) and $X$ is a ("nice" if necessary) dg scheme in the sense of Toen-Vezzosi and others, and say $X^0$ is the reduced ...
- 7,972
11
votes
0
answers
607
views
The virtual fundamental class as derived intersection
Say $X$ is a smooth projective variety and $\beta\in H_2(X)$ is a class. Then there is a finite-type proper scheme (or in general, stack) $SM : = \overline{\mathcal{M}}_{g,n}(X,\beta)$ of stable maps ...
- 7,972
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
13
votes
1
answer
2k
views
Proj construction in derived algebraic geometry
The question
My question is easy to state:
Is there a Proj construction in derived geometry, that produces a derived stack from a “graded derived algebra”?
Given the vagueness of the question, you’...
- 133
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...
- 595
7
votes
0
answers
161
views
Is it always possible to write a derived manifold (in the sense of Spivak) as a homotopy colimit of principal derived manifolds?
Is it always possible to write a derived manifold as a homotopy colimit of principal derived manifolds (i.e. zero sets of smooth functions)? This is true for schemes and derived schemes, so it seems ...
- 31