Spahn
the higher derived cahiers topos (Rev #3)

Apology

The Cahiers topos is the sheaf topos on the site ThCartSp of infinitessimally thickened cartesian spaces. More generally the higher cahiers topos is the (,1)(\infty,1)-sheaf (,1)(\infty,1)-topos on the (,1)(\infty,1)-site ThCartSp.

However the (,1)(\infty,1)-topos arising in this way is (still) a 1-localic (i.e. localic) (,1)(\infty,1)-topos; in other words this notion of higher cahiers topos is no more intelligible than just the classical Cahiers topos.

Redemption

Requisites

Let SpSp denote the ∞-category of spectra, E Ring:=CAlg(Sp)E_\infty Ring:=CAlg(Sp) the ∞-category of commutative algebra objects in SpSp, for RE RingR\in E_\infty Ring let Mod R(Sp)Mod_R(Sp) denote the category of RR-module objects in SpSp. A derived moduli problem is defined to be a functor X:E RingGrpdX:E_\infty Ring\to \infty Grpd (There is also a notion of classical moduli problem where an instance is called to be enhanced by an associated derived moduli problem). For a field kk let CAlg kCAlg_k denote the coslice of E RingE_\infty Ring over kk and call it the ∞-category of E E_\infty-algebras; such a kk-algebra AA is called to be discrete if its homotopy groups vanish for i0i\neq 0.

An object of the symmetric monoidal (by the usual tensor product) category Chain kChain_k of chain complexes over kk is called a commutative differential graded algebra over kk. There are functors Chain kMod kChain_k\to Mod_k and CAlg(Chain k)CAlg(Mod k)CAlg kCAlg(Chain_k)\to CAlg(Mod_k)\simeq CAlg_k. A quasi-isomorphism in CAlg dgCAlg_{dg} is defined to be a morphism inducing an isomorphism between the underlying chain complexes. There is a notion of smallness for kk-module spectra and E E_\infty-algebras over kk; the corresponding full sub ∞-categories are denoted by Mod k sm{Mod_k}_sm resp. CAlg k sm{CAlg_k}_sm. A formal moduli problem over kk is defined to be a functor X:CAlg k smGrpdX:{CAlg_k}_{sm}\to \infty Grpd such that X(k)X(k) is contractible and XX preserves pullbacks of maps inducing epimorphisms between the 00-th homotopy groups.

The (Grothendieck) tangent space of a formal moduli problem X:CAlg k smGrpdX:{CAlg_k}_{sm}\to \infty Grpd is defined to be a map T X(0):=X(k[ϵ]/ϵ 2)X(k)T_X(0):=X(k[\epsilon]/\epsilon^2)\to X(k). T X(0)GrpdT_X(0)\in \infty Grpd is a topological space. Define T X(n):=X(kk[n])T_X(n):=X(k\otimes k[n]) where k[n]k[n] denotes the nn-fold shift of kk (as a kk-module spectrum). One can elaborate that T X(n1)T_X(n-1) is the loop space of T X(n)T_X(n); define the tangent complex of the formal moduli problem XX to be the sequence T X:=(T X(n)) n0T_X:=(T_X(n))_{n\ge 0}; T XT_X is a kk-module spectrum. The operation T ()T_{(-)} reflects equivalences.

Let kk be a field of characteristic zero. A differential graded Lie algebra over kk is defined to be a Lie algebra object in Chain kChain_k: a chain complex gg equipped with a binary operation [;]:ggg[-;-]:g\otimes g\to g such that [x,y]+(1) d(x)d(y)[y,x]=0[x,y]+(-1)^{d(x)d(y)}[y,x]=0 and (1) d(z)d(x)[x,[y,z]]+(1) d(x)d(y)[y,[z,x]]+(1) d(y)d(x)[z,[x,y]]=0(-1)^{d(z)d(x)}[x,[y,z]]+(-1)^{d(x)d(y)}[y,[z,x]] + (-1)^{d(y)d(x)}[z,[x,y]]=0 for homogenous elements xg d(x),yg d(y),zg d(z)x\in g_{d(x)},y\in g_{d(y)},z\in g_{d(z)}. The category of differential graded Lie algebras over kk localized at quasi-isomorphisms is denoted by Lie k dgLie_k^{dg} and just also called the category of differential graded Lie algebras over kk.

(Theorem 5.3): Let kk be a field of characteristic zero, let ModuliFun(CAlg k smModuli\hookrightarrow Fun({CAlg_k}_{sm} the full subcategory spanned by formal moduli problems over kk, let Lie k dgLie_k^{dg} denotes the ∞-category of differential graded Lie algebras over kk. Then there is an equivalence ModuliLie k dgModuli\stackrel{\sim}{\to}Lie_k^{dg}12

References

  • Jacob Lurie, Formal moduli problems, containing: DAGX: Formal Moduli Problems, 2011, (166 p.). And another more condensed (30 p.) version of this text titled “Moduli Problems and DG-Lie Algebras”. In particular Theorem 5.3 in the second version

  • Vladimir Hinich, DG coalgebras as formal stacks, (arXiv:math/9812034

Revision on February 13, 2013 at 06:29:05 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.