Questions tagged [derived-algebraic-geometry]
The derived-algebraic-geometry tag has no usage guidance.
276 questions
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
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
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 ...
- 63.9k
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
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’...
- 2,011
7
votes
2
answers
1k
views
derived critical locus
I am looking for discussion in the literature that properly formalizes the heuristic idea that a BV-BRST complex is a model for the "derived critical locus of a function on an $\infty$-Lie algebroid".
...
- 4,713
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
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
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
70
votes
3
answers
22k
views
Derived algebraic geometry: how to reach research level math?
I know the question "how to study math" has been asked dozens of times before in many variations, but (I hope) this one is different.
My goal is to study derived algebraic geometry, where derived ...
- 31
3
votes
1
answer
304
views
Local quotient covers for derived Deligne-Mumford geometric stacks of Toen-Vezzosi
Let $\mathcal{X}$ be a separated Deligne-Mumford stack, and $X$ its coarse moduli space. A well-known lemma establishes an etale covering $X_{\alpha} \rightarrow X$, such that for each $\alpha$, there ...
- 4,492
12
votes
2
answers
2k
views
Results relying on higher derived algebraic geometry
Are there any results in number theory or algebraic geometry whose statement does not involve either higher categories or any derived structures but whose most natural (known) proof uses derived $n$-...
CommunityBot
- 1
4
votes
0
answers
477
views
DAG applied to homotopy theory: how to reach research level?
It is my dream to do research on applications of spectral algebraic geometry in homotopy theory one day. Specifically, giving a more uniform treatment for the results proved via scary computations (of ...
- 63.9k
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 ...
CommunityBot
- 1
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
4
votes
0
answers
138
views
Examples of non-hypercomplete sheaves on affine schemes
Let $A$ be a commutative ring and let $\mathcal{O}$ be a sheaf of $E_{\infty}$-ring spectra on $\mathrm{Spec} A$ such that $\pi_0\mathcal{O} = \mathcal{O}_{\mathrm{Spec} A}$. Lurie provides a ...
CommunityBot
- 1
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
3
votes
0
answers
336
views
DAG vs Classical algebraic geometry
I have a very vague question, but also a fairly specific wish. Namely, I'm wondering what the similarities and differences are between the theory of ordinary schemes on the one hand, and the theory of ...
- 213
-1
votes
1
answer
582
views
Metrics on derived smooth manifolds
Derived geometry explains how to remove the transversality condition and make sense out of a nontransversal intersection.
For example, if $X$ and $Y$ are embedded submanifolds of a manifold (or ...
- 37.8k
4
votes
0
answers
254
views
Homotopy colimit description of stacks
Let $F$ be an Artin stack. If $p: X \to F$ is an atlas for $F$, can we express $F$, in the $\infty$-category ${\rm Shv}^{\acute{et}}(k)$ of higher stacks, as a homotopy colimit over the simplicial ...
- 3,574
12
votes
1
answer
782
views
Power operations from a Tate construction
In an action-packed three pages of Lurie's DAG-XIII: Rational and p-adic Homotopy Theory, section 2.2: Power Operations on $\mathbb{E}_{\infty}$-algebras, one finds a construction of the power ...
- 52.7k
2
votes
0
answers
132
views
Compact generation of quasicoherent sheaves on mapping stack
Let $k$ be a field of characteristic $0$, and let $\mathcal{C}= \mathbf{Vect}_k^{\leq 0}$ be the $\infty$-category of vector spaces concentrated in degrees $\leq 0$. Consider the category $\mathbf{Pr}(...
- 3,019
23
votes
3
answers
2k
views
Where does one go to learn about DG-algebras?
The theory of differential graded algebras (in char 0) and their modules has numerous applications in rational homotopy theory as well as algebraic geometry.
I'm looking for a reasonably complete ...
- 610
8
votes
1
answer
979
views
Koszul-Tate Resolution for Subvarieties of $\mathbb P^n$
All varieties appearing below are assumed smooth projective over $\mathbb C$ and all vector bundles, sections etc are assumed to be algebraic/holomorphic. We use the word resolution to mean quasi-...
- 1,761
8
votes
1
answer
2k
views
Elementary (English) reference for the cotangent complex?
I'm trying to understand cotangent complexes and their role in deformation theory, and later the statement that they're somehow natural in a derived scheme/stack.
I understand that the standard ...
- 928
4
votes
0
answers
246
views
Tannaka duality for $DG$ indschemes
In Lurie's paper on Tannaka duality for geometric stacks he proves that there is a natural isomorphism
$$\operatorname{Hom}(X,Y) \cong \operatorname{Hom}(\mathbf{QC}(Y), \mathbf{QC}(X)$$
where $X$ and ...
- 3,019
9
votes
1
answer
1k
views
What's special about elliptic cohomology?
Apologies for any basic mistakes in this question; I'm a beginner to this theory and don't have anyone at my institution to consult for advice.
What I mean is, if you take an elliptic curve $E$ over $...
- 2,054
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
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
2
votes
0
answers
181
views
Why does the following construction describe the Serre functor?
In the book "Spectral Agebraic Geometry" that Jacob Lurie is currently writing, he gives a construction (11.1.5.1), which describes the Serre functor: it has already been shown that any proper $A$-...
- 21
31
votes
1
answer
3k
views
Spectral algebraic geometry vs derived algebraic geometry in positive characteristic?
Let $R$ be a commutative ring. Then there is a forgetful functor from the $\infty$-category of simplicial commutative $R$-algebras to the $\infty$-category of connective $E_{\infty}$-algebras over $R$....
- 5,770
16
votes
1
answer
1k
views
$\infty$-operads and $E_\infty$-algebras
I work in algebraic geometry. Lately, the answer to most of my questions seems to be "you should read Lurie's Higher Algebra." I took this advice seriously, however it turned out not to be an easy ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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
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 ...
- 31.5k
8
votes
1
answer
523
views
Topological Hochschild homology and Hochschild homology of dg algebras
Topological Hochschild homology is a generalization of Hochschild homology from rings to $E_\infty$-ring spectra. On the other hand, there is a natural way to extend the notion of Hochschild homology ...
- 9,491
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
19
votes
1
answer
1k
views
A sheaf is a presheaf that preserves small limits
There is a common misconception that a sheaf is simply a presheaf that preserves limits. This has been discussed here before many times and I believe I understand it well enough.
However when reading ...
- 42.4k
9
votes
1
answer
1k
views
deformation theory in positive characteristic
The idea "Formal deformation theory in characteristic zero is controlled by a differential graded Lie algebra (dgla)" goes back to Goldman-Millson, Deligne, Drinfeld among others; see Lurie's ICM talk....
- 13.6k
5
votes
1
answer
569
views
Derived completion of complexes
Suppose $K$ is a bounded above complex of free abelian groups, and take its derived $\ell$-adic completion $K^{\wedge,\ell} = R\lim (K/\ell^n)$ in the derived category, for $\ell$ a prime.
If $K\to L$...
- 52.7k
6
votes
1
answer
513
views
Is every algebraic space a 1-geometric stack?
In many references (Toen, Higher and derived stacks: a global overview, Toen, Vezzosi, Homotopical algebraic geometry II, and so on), the definition of $n$-geometric stack appears.
In the non-derived ...
- 1,088
1
vote
0
answers
204
views
How can we construct a derived scheme as a gluing of derived schemes?
More precisely, consider a Segal groupoid $X_*$ in an infinity category of derived schemes : dSch
In Toen's note, 'Derived Algebraic Geometry', he defines a 1-Artin stacks as a homotopy colimits of ...
- 421
4
votes
0
answers
106
views
Global functions algebra of formal (infinity) groupoid associated to Lie (infinity) algebroid
I was wondering if there is a smooth (sophisticated) way to associate the algebra of global functions of formal groupoid associated to Lie-Rinehart algebra (considered as 1-stack) to its Chevalley-...
- 121
8
votes
3
answers
471
views
Cofiber of the inclusion of an $E_0$-algebra $M$ into the free $E_k$-algebra generated by it
Let $\mathcal{C}$ be the $E_k$-monoidal $\infty$-category of left modules over a fixed connective $E_{k+1}$-ring spectrum $A$. Suppose that $M$ is an object of $\mathcal{C}$ which is an $E_0$-algebra, ...
- 10.5k
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
2
answers
781
views
Interpretation of the cohomology of compact lie groups and their classifying spaces in DAG?
I'll be using homological grading throughout this question.
Let $G$ be a compact connected lie group. The following isomorphisms are classical and can be proven using several methods:
$$H^{\bullet}(...
- 63.9k
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