de Rham mapping stacks of smooth projective varieties are geometric

Let TT be a very presentable geometric nn-stack, and let XX be a smooth projective variety. Write XDRX_{DR} for its de Rham formal stack. The de Rham mapping-stack conjecture. The mapping stack Hom(XDR,T)Hom(X_{DR},T) is geometric. The source calls this a more reasonable statement after listing broader conjectures, but supplies no evidence of a proof or disproof.

Sources & referencesView supporting material

Primary source

Carlos Simpson, “Algebraic (geometric) n-stacks”, arXiv:alg-geom/9609014 (1996).

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.