Affineness and affinization of the Eilenberg–Mac Lane stack of the unipotent completion

For an integer nn, let \bbH\bbH be the affine group scheme of formal series P(X)1+XA[[X]]P(X)\in 1+XA[[X]] satisfying P(X)P(Y)=P(X+Y+XY)P(X)P(Y)=P(X+Y+XY). The assignment m(1+X)mm\mapsto(1+X)^m defines a morphism of presheaves of groups ZH\mathbb{Z}\longrightarrow\mathbb{H} and hence a morphism of simplicial presheaves K(Z,n)K(H,n)K(\mathbb{Z},n)\longrightarrow K(\mathbb{H},n). Affineness conjecture. The stack K(H,n)K(\mathbb{H},n) is affine, and the morphism

K(Z,n)K(H,n)K(\mathbb{Z},n)\longrightarrow K(\mathbb{H},n)

previously defined is an affinization. This predicts that the simplicial classifying object associated with the unipotent completion of Z\mathbb{Z} is affine and universally captures the affine approximation of K(Z,n)K(\mathbb{Z},n).

Sources & referencesView supporting material

Primary source

B. Toen, “Affine stacks (Champs affines)”, arXiv:math/0012219 (2006).

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.