Affineness conjecture for the geometric motivic group KZ,nK_{\mathbb{Z},n}

About 11 years old · traced to

Over Spec⁡(Z)\operatorname{Spec}(\mathbb{Z}), let GZ,n∙G^{\bullet}_{\mathbb{Z},n} be the affine derived group scheme associated with the mixed Tate category of M0,n\mathcal{M}_{0,n}, and let KZ,n∙K^{\bullet}_{\mathbb{Z},n} be the kernel of its structure morphism to G∙(Z)G^{\bullet}(\mathbb{Z}). Affineness conjecture. The affine derived group scheme KZ,n∙K^{\bullet}_{\mathbb{Z},n} is an affine group scheme, namely

KZ,n∙=KZ,n=Spec⁡(Rn),K^{\bullet}_{\mathbb{Z},n}=K_{\mathbb{Z},n}=\operatorname{Spec}(R_n),

where RnR_n is a commutative Hopf algebra, not necessarily cocommutative, defined over Z\mathbb{Z}. This is one of the paper's open questions concerning a finer understanding of the derived groups KnK_n.

References

Primary source

Ismael Soudères, “A Motivic Grothendieck-Teichmüller Group”, arXiv:1502.05640 (2015).

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.