Locally geometricity conjecture for K(Gm,2)K({\bf G}_m,2) and finite-type group schemes

Let SS be a base scheme, let XSX\to S be a flat projective morphism, and let K(Gm,2)K({\bf G}_m,2) denote the Eilenberg–Mac Lane stack. For any group scheme GG of finite type, let BGBG denote its classifying stack. The K(Gm,2)K({\bf G}_m,2) and finite-type group-scheme conjecture. The mapping stack Hom(X/S,K(Gm,2))Hom(X/S,K({\bf G}_m,2)) is locally geometric; similarly, Hom(X/S,BG)Hom(X/S,BG) is locally geometric for every group scheme GG of finite type, including an abelian variety. The claim is presented as a concrete extension of the preceding conjecture, and the source gives no resolution.

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.