Deformation-theoretic conjectures for geometric n-stacks

Let AA be a geometric nn-stack, and let D=Spec(k[ϵ]/(ϵ2))D=\operatorname{Spec}(k[\epsilon]/(\epsilon^2)). Let TDefATDef_A denote the (n+1)(n+1)-category of deformations of AA parametrized by DD. Let TATA be the tangent spectrum of AA, let Ω1TA\Omega^{-1}TA be its 11-fold delooping, and let Γ(A,)\Gamma(A,-) denote sections over AA. Deformation-theoretic conjecture. (1) The (n+1)(n+1)-groupoid TDefATDef_A has a structure of a spectrum; that is, it is the NN-fold looping of an (N+n+1)(N+n+1)-groupoid. (2) If AA is a smooth geometric nn-stack, there is a natural equivalence of (n+1)(n+1)-categories

TDefAΓ(A,Ω1TA).TDef_A\cong\Gamma(A,\Omega^{-1}TA).

For a smooth scheme, this reduces to TDefAH1(A,TA)TDef_A\cong H^1(A,TA). (3) In general, there is a cotangent complex Cot(A)Cot(A) that is a spectrum over AA, and

TDefAΓ(A,Ω1Cot(A)).TDef_A\cong\Gamma(A,\Omega^{-1}Cot(A)).

These statements aim to provide the expected deformation theory for geometric stacks, extending the classical cotangent complex for schemes and the cotangent complex of Laumon–Moret-Bailly for n=1n=1. The source gives no evidence of resolution.

Sources & referencesView supporting material

Primary source

Carlos Simpson, “Algebraic aspects of higher nonabelian Hodge theory”, arXiv:math/9902067 (1999).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.