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

About 26 years old · traced to

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 Z⟶H\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).

References

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.