Questions tagged [derived-algebraic-geometry]
The derived-algebraic-geometry tag has no usage guidance.
141 questions with no upvoted or accepted answers
27
votes
0
answers
1k
views
Spectral sequences as deformation theory
I believe that running the spectral sequence of a filtered complex / spectrum $ \cdots \to F_n \to F_{n+1} \to \cdots$ can be viewed as doing deformation theory in some very primitive "derived ...
- 64k
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
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
18
votes
0
answers
400
views
Elliptic $\infty$-line bundles over $B G$
Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps
$$
B G \longrightarrow B \mathrm{GL}_1(A)
$$
for $A$ an $E_\infty$-ring carrying an oriented ...
- 19.9k
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
15
votes
0
answers
3k
views
What to expect from spectral algebraic geometry
So I've been trying to learn some derived algebraic geometry, and I've chosen to approach the subject from the perspective of spectral or "brave new" algebraic geometry. Without having to go through ...
- 3,019
14
votes
0
answers
930
views
$E_{\infty}$ $R$-algebras vs commutative DG $R$-algebras vs simplicial commutative $R$-algebras
I've been trying to understand better the relation between the basic blocks of derived algebraic geometry. More precisely, I'm trying to understand the relation between the DG approach, the spectral ...
- 2,227
12
votes
0
answers
606
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{...
- 773
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
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
0
answers
887
views
How far can Spectral Algebraic Geometry be developed over $\mathbb{E}_2$-rings (instead of $\mathbb{E}_\infty$-rings)?
Jacob Lurie has extensively developed derived algebraic geometry in the setting of $\mathbb{E}_\infty$-ring spectra [SAG]. The resulting theory of Spectral Algebraic Geometry (SAG) gives (in ...
- 11.8k
10
votes
0
answers
420
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 ...
- 1,969
10
votes
0
answers
427
views
What is a derived Kähler manifold?
From what I understand, there exists a notion of derived $\mathbb{C}$-analytic space.
Let $T_{an}$ be the pregeometry in the sense of Lurie whose underlying $\infty$-category is the category of open ...
user74900
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
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
9
votes
0
answers
287
views
derived schemes and perfect obstruction theories
In a survey article of Toen's it is claimed that that there is forgetful $\infty$-functor between the $\infty$-category of derived schemes locally of finite presentation over a field $k$ and the $\...
- 131
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
8
votes
0
answers
482
views
Relationship between different definitions of the Hochschild homology
Throughout the literature, one can find many definitions of the Hochschild homology of various objects. However, the precise relationship between these definitions is not always so clear, at least to ...
- 1,349
8
votes
0
answers
279
views
Motivating derived stacks via Euclidean geometry
Here (see Section 3) triangles in Euclidean plane are used to motivate the notion of DM stack (an equilateral triangle has more symmetries than a generic triangle).
Can something similar be done to ...
user138661
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
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
7
votes
0
answers
279
views
Is there a derived geometric interpretation of morse functions?
Given a smooth affine scheme $X = \mathbb{V}(g)$ over a field of characteristic 0, let $f:X \to \mathbb{A}^1$ be a morphism of schemes. Then, the critical locus is given by $\pi_*(dg \cap df)$ for $\...
- 1,716
7
votes
0
answers
376
views
Derived (non-commutative) geometry, geometric constructions in explicit form
I'm interested in the following construction. Start with derived category of coherent sheaves witch equivalent to derived category of representations of some dg-algebra. Quasi-isomorphic dg-algebras ...
- 789
7
votes
0
answers
1k
views
The De Rham Stack and $\text{LocSys}$
Q1: Here, on pg $103$, the stack $\text{LocSys}_G(X)$ is defined (for an affine algebraic group $G$, a fixed DG scheme $X$, and a test scheme $S \in \textbf{DGSch}$):
$Maps(S, LocSys_G(X)) := \text{...
- 2,216
6
votes
0
answers
170
views
New investigations on Homotopical Algebraic Contexts
Homotopical algebraic context are models that allows Toën and Vezzosi to do derived geometry. It have been defined in their seminal paper Homotopical Algebraic Geometry II.
These are general abstract ...
- 177
6
votes
0
answers
219
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 ...
- 455
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
1k
views
Examples of Lurie tensor product computations
I am interested in examples of computing the Lurie tensor product.
For example, if $A$ and $B$ are connective DG algebras (over $\mathbb{Z}$, say), then I think there is an equivalence $A\text{-mod} \...
- 61
6
votes
0
answers
196
views
Specific Example of a Morphism of Schemes for which the Push-Pull Morphism is not an Isomorphism
Consider a Cartesian diagram of schemes as follows:
$\require{AMScd}
\begin{CD}
X \times_Z Y @>{\tilde{\pi}}>> Y\\
@VV{\tilde{\phi}}V @VV{\phi}V\\
X @>{\pi}>> Z
\end{CD}$
From the ...
- 422
6
votes
0
answers
226
views
Applications of spectral Artin representability?
The spectral Artin representability theorem says that a functor $X:CAlg^{cn}\rightarrow S$ from the $\infty$-category of connective $E_{\infty}$-rings to the $\infty$-category of small topological ...
user74900
6
votes
0
answers
548
views
Resolution of Simplicial Commutative Rings
I have just started learning some derived algebraic geometry. I was told that (if $ \mathrm{char}(\mathbb{K})=0 $) using commutative differential graded algebras in negative degree (for short $ \...
- 79
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
6
votes
0
answers
1k
views
Tensor product of structure sheaves
Let $\iota_A:A\hookrightarrow X$ and $\iota_B:B\hookrightarrow X$ be subschemes of a smooth ambient variety $X$.
Then the derived tensor product $$\mathcal O_A\stackrel{L}{\otimes}\mathcal O_B\in D^b(...
- 1,191
5
votes
0
answers
125
views
Existence of Kan extension for the functor with codomain a complete infinity category
I am currently reading this paper on derived blow up, in definition 2.4.1, I am faced with such situation:
if we denote the infinity category of simplicial ring as $Alg$ and the 1 category of ...
- 618
5
votes
0
answers
223
views
What do we know about effective epimorphisms of derived affine schemes/manifolds?
By default, all terms are understood in the infinity sense (“category” means “(∞,1)-category”, etc.)
Recall that the morphism $X \to Y$ is an effective epimorphism if the Čech diagram
$$ ... \to X \...
- 6,962
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
395
views
Derived tensor products and Tor of commutative monoids
Two commutative monoids $M,N$ have a tensor product $M\otimes N$ satisfying the universal property that there is a tensor-Hom adjunction for any other commutative monoid $L$: $$\text{Hom}(M\otimes N,L)...
- 889
5
votes
0
answers
447
views
Infinity categories with an action of a simplicial group
Recent papers in derived algebraic geometry use a notion of $S^1$-actions on infinity categories. I think I understand what this "should" be and how to calculate with it; however, I can't find a much ...
- 1,423
5
votes
0
answers
315
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
5
votes
0
answers
225
views
Does the Amitsur complex have a universal property?
The question is essentially the title. In other words, is there some universal property that the Amitsur complex for a morphism of rings $\phi:A\to B$ satisfies as a cosimplicial ring, or cosimplicial ...
- 10.5k
4
votes
0
answers
149
views
'Naive cotangent complex' as 1-truncation of cotangent complex
In the stacks project, there is a 'naive version' of cotangent complex $NL_{S/R}$ for a ring morphism $R\rightarrow S$, given by the chan complex $(I/I^{2}\rightarrow \Omega_{R[S]/R}\otimes_{R[S]}S)$ ...
- 618
4
votes
0
answers
116
views
The criterion for dimensional conjecture for universal Galois deformation rings
I’m writing to ask a question about Mazur’s dimensional conjecture in Lemma 7.5 of the paper [Galatius S, Venkatesh A. Derived Galois deformation rings. Advances in Mathematics. 2018 Mar 17;327:470-...
- 863
4
votes
0
answers
271
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 ...
- 426
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 ...
- 511
4
votes
0
answers
352
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 ...
- 301
4
votes
0
answers
259
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 ...
- 858
4
votes
0
answers
153
views
Preorientation of additive formal group
In "A Survey of Elliptic Cohomology", Section 3.2, Lurie asserts that the preorientations of the additive formal group $\widehat{\mathbf G}_a$ over $\mathbf Z$ are classified by the $\mathbb ...
- 2,011
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
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