- Source: Derived algebraic geometry
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over
Q
{\displaystyle \mathbb {Q} }
), simplicial commutative rings or
E
∞
{\displaystyle E_{\infty }}
-ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g., Tor) of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory (or motivic homotopy theory) of singular algebraic varieties and cotangent complexes in deformation theory (cf. J. Francis), among the other applications.
Introduction
Basic objects of study in the field are derived schemes and derived stacks. The oft-cited motivation is Serre's intersection formula. In the usual formulation, the formula involves the Tor functor and thus, unless higher Tor vanish, the scheme-theoretic intersection (i.e., fiber product of immersions) does not yield the correct intersection number. In the derived context, one takes the derived tensor product
A
⊗
L
B
{\displaystyle A\otimes ^{L}B}
, whose higher homotopy is higher Tor, whose Spec is not a scheme but a derived scheme. Hence, the "derived" fiber product yields the correct intersection number. (Currently this is hypothetical; the derived intersection theory has yet to be developed.)
The term "derived" is used in the same way as derived functor or derived category, in the sense that the category of commutative rings is being replaced with a ∞-category of "derived rings." In classical algebraic geometry, the derived category of quasi-coherent sheaves is viewed as a triangulated category, but it has natural enhancement to a stable ∞-category, which can be thought of as the ∞-categorical analogue of an abelian category.
Definitions
Derived algebraic geometry is fundamentally the study of geometric objects using homological algebra and homotopy. Since objects in this field should encode the homological and homotopy information, there are various notions of what derived spaces encapsulate. The basic objects of study in derived algebraic geometry are derived schemes, and more generally, derived stacks. Heuristically, derived schemes should be functors from some category of derived rings to the category of sets
F
:
DerRings
→
Sets
{\displaystyle F:{\text{DerRings}}\to {\text{Sets}}}
which can be generalized further to have targets of higher groupoids (which are expected to be modelled by homotopy types). These derived stacks are suitable functors of the form
F
:
DerRings
→
HoT
{\displaystyle F:{\text{DerRings}}\to {\text{HoT}}}
Many authors model such functors as functors with values in simplicial sets, since they model homotopy types and are well-studied. Differing definitions on these derived spaces depend on a choice of what the derived rings are, and what the homotopy types should look like. Some examples of derived rings include commutative differential graded algebras, simplicial rings, and
E
∞
{\displaystyle E_{\infty }}
-rings.
= Derived geometry over characteristic 0
=Over characteristic 0 many of the derived geometries agree since the derived rings are the same.
E
∞
{\displaystyle E_{\infty }}
algebras are just commutative differential graded algebras over characteristic zero. We can then define derived schemes similarly to schemes in algebraic geometry. Similar to algebraic geometry, we could also view these objects as a pair
(
X
,
O
X
∙
)
{\displaystyle (X,{\mathcal {O}}_{X}^{\bullet })}
which is a topological space
X
{\displaystyle X}
with a sheaf of commutative differential graded algebras. Sometimes authors take the convention that these are negatively graded, so
O
X
n
=
0
{\displaystyle {\mathcal {O}}_{X}^{n}=0}
for
n
>
0
{\displaystyle n>0}
. The sheaf condition could also be weakened so that for a cover
U
i
{\displaystyle U_{i}}
of
X
{\displaystyle X}
, the sheaves
O
U
i
∙
{\displaystyle {\mathcal {O}}_{U_{i}}^{\bullet }}
would glue on overlaps
U
i
j
{\displaystyle U_{ij}}
only by quasi-isomorphism.
Unfortunately, over characteristic p, differential graded algebras work poorly for homotopy theory, due to the fact
d
[
x
p
]
=
p
d
[
x
p
−
1
]
{\displaystyle d[x^{p}]=pd[x^{p-1}]}
[1]. This can be overcome by using simplicial algebras.
= Derived geometry over arbitrary characteristic
=Derived rings over arbitrary characteristic are taken as simplicial commutative rings because of the nice categorical properties these have. In particular, the category of simplicial rings is simplicially enriched, meaning the hom-sets are themselves simplicial sets. Also, there is a canonical model structure on simplicial commutative rings coming from simplicial sets. In fact, it is a theorem of Quillen's that the model structure on simplicial sets can be transferred over to simplicial commutative rings.
= Higher stacks
=It is conjectured there is a final theory of higher stacks which model homotopy types. Grothendieck conjectured these would be modelled by globular groupoids, or a weak form of their definition. Simpson gives a useful definition in the spirit of Grothendieck's ideas. Recall that an algebraic stack (here a 1-stack) is called representable if the fiber product of any two schemes is isomorphic to a scheme. If we take the ansatz that a 0-stack is just an algebraic space and a 1-stack is just a stack, we can recursively define an n-stack as an object such that the fiber product along any two schemes is an (n-1)-stack. If we go back to the definition of an algebraic stack, this new definition agrees.
Spectral schemes
Another theory of derived algebraic geometry is encapsulated by the theory of spectral schemes. Their definition requires a fair amount of technology in order to precisely state. But, in short, spectral schemes
X
=
(
X
,
O
X
)
{\displaystyle X=({\mathfrak {X}},{\mathcal {O}}_{\mathfrak {X}})}
are given by a spectrally ringed
∞
{\displaystyle \infty }
-topos
X
{\displaystyle {\mathfrak {X}}}
together with a sheaf of
E
∞
{\displaystyle \mathbb {E} _{\infty }}
-rings
O
X
{\displaystyle {\mathcal {O}}_{\mathfrak {X}}}
on it subject to some locality conditions similar to the definition of affine schemes. In particular
X
≅
Shv
(
X
t
o
p
)
{\displaystyle {\mathfrak {X}}\cong {\text{Shv}}(X_{top})}
must be equivalent to the
∞
{\displaystyle \infty }
-topos of some topological space
There must exist a cover
U
i
{\displaystyle U_{i}}
of
X
t
o
p
{\displaystyle X_{top}}
such that the induced topos
(
X
U
i
,
O
X
U
i
)
{\displaystyle ({\mathfrak {X}}_{U_{i}},{\mathcal {O}}_{{\mathfrak {X}}_{U_{i}}})}
is equivalent to a spectrally ringed topos
Spec
(
A
i
)
{\displaystyle {\text{Spec}}(A_{i})}
for some
E
∞
{\displaystyle \mathbb {E} _{\infty }}
-ring
A
i
{\displaystyle A_{i}}
Moreover, the spectral scheme
X
{\displaystyle X}
is called connective if
π
i
(
O
X
)
=
0
{\displaystyle \pi _{i}({\mathcal {O}}_{\mathfrak {X}})=0}
for
i
<
0
{\displaystyle i<0}
.
= Examples
=Recall that the topos of a point
Sh
(
∗
)
{\displaystyle {\text{Sh}}(*)}
is equivalent to the category of sets. Then, in the
∞
{\displaystyle \infty }
-topos setting, we instead consider
∞
{\displaystyle \infty }
-sheaves of
∞
{\displaystyle \infty }
-groupoids (which are
∞
{\displaystyle \infty }
-categories with all morphisms invertible), denoted
Shv
(
∗
)
{\displaystyle {\text{Shv}}(*)}
, giving an analogue of the point topos in the
∞
{\displaystyle \infty }
-topos setting. Then, the structure of a spectrally ringed space can be given by attaching an
E
∞
{\displaystyle \mathbb {E} _{\infty }}
-ring
A
{\displaystyle A}
. Notice this implies that spectrally ringed spaces generalize
E
∞
{\displaystyle \mathbb {E} _{\infty }}
-rings since every
E
∞
{\displaystyle \mathbb {E} _{\infty }}
-ring can be associated with a spectrally ringed site.
This spectrally ringed topos can be a spectral scheme if the spectrum of this ring gives an equivalent
∞
{\displaystyle \infty }
-topos, so its underlying space is a point. For example, this can be given by the ring spectrum
H
Q
{\displaystyle H\mathbb {Q} }
, called the Eilenberg–Maclane spectrum, constructed from the Eilenberg–MacLane spaces
K
(
Q
,
n
)
{\displaystyle K(\mathbb {Q} ,n)}
.
Applications
Derived algebraic geometry was used by Kerz, Strunk & Tamme (2018) to prove Weibel's conjecture on vanishing of negative K-theory.
The formulation of the Geometric Langlands conjecture by Arinkin and Gaitsgory uses derived algebraic geometry.
See also
Derived scheme
Pursuing Stacks
Noncommutative algebraic geometry
Simplicial commutative ring
Derivator
Algebra over an operad
En-ring
Higher Topos Theory
∞-topos
étale spectrum
Notes
References
= Simplicial DAG
=Toën, Bertrand (2014-01-06). "Derived Algebraic Geometry". arXiv:1401.1044 [math.AG].
Toën, Bertrand; Vezzosi, Gabriele (2004). "From HAG to DAG: derived moduli stacks". In Greenlees, J. P. C. (ed.). Axiomatic, enriched and motivic homotopy theory. Proceedings of the NATO Advanced Study Institute, Cambridge, UK, September 9–20, 2002. NATO Science Series II: Mathematics, Physics and Chemistry. Vol. 131. Dordrecht: Kluwer Academic Publishers. pp. 173–216. ISBN 1-4020-1833-9. Zbl 1076.14002.
Vezzosi, Gabriele (2011). "What is ...a derived stack?" (PDF). Notices Am. Math. Soc. 58 (7): 955–958. Zbl 1228.14004.
= Differential graded DAG
=Eugster, J.; Pridham, J.P. (2021-10-25). "An introduction to derived (algebraic) geometry". arXiv:2109.14594 [math.AG].
= En and E∞ -rings
=Spectral algebraic geometry - Rezk
Operads and Sheaf Cohomology - JP May -
E
∞
{\displaystyle E_{\infty }}
-rings over characteristic 0 and
E
∞
{\displaystyle E_{\infty }}
-structure for sheaf cohomology
Tangent complex and Hochschild cohomology of En-rings https://arxiv.org/abs/1104.0181
Francis, John; Derived Algebraic Geometry Over
E
n
{\displaystyle {\mathcal {E}}_{n}}
-Rings
= Applications
=Lowrey, Parker; Schürg, Timo. (2018). Grothendieck-Riemann-Roch for Derived Schemes
Ciocan-Fontanine, I., Kapranov, M. (2007). Virtual fundamental classes via dg-manifolds
Mann, E., Robalo M. (2018). Gromov-Witten theory with derived algebraic geometry
Ben-Zvi, D., Francis, J., and D. Nadler. Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry.
Kerz, Moritz; Strunk, Florian; Tamme, Georg (2018), "Algebraic K-theory and descent for blow-ups", Invent. Math., 211 (2): 523–577, arXiv:1611.08466, Bibcode:2018InMat.211..523K, doi:10.1007/s00222-017-0752-2, MR 3748313, S2CID 119165673
Quantum Field Theories
Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4
External links
Jacob Lurie's Home Page
Overview of Spectral Algebraic Geometry
DAG reading group (Fall 2011) at Harvard
http://ncatlab.org/nlab/show/derived+algebraic+geometry
Michigan Derived Algebraic Geometry RTG Learning Workshop, 2012
Derived algebraic geometry: how to reach research level math?
Derived Algebraic Geometry and Chow Rings/Chow Motives
Gabriele Vezzosi, An overview of derived algebraic geometry, October 2013
Kata Kunci Pencarian:
- Daftar penemuan di dunia Islam pertengahan
- Derived algebraic geometry
- Algebraic geometry
- Noncommutative algebraic geometry
- Glossary of algebraic geometry
- Derivation (differential algebra)
- Jacob Lurie
- Divisor (algebraic geometry)
- List of algebraic geometry topics
- Geometry
- Motive (algebraic geometry)
