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

Over Spec(Z)\operatorname{Spec}(\mathbb{Z}), let GZ,nG^{\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,nK^{\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,nK^{\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.

Sources & referencesView supporting material

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.