Boundary-factorization conjecture for motivic groups KZ,nK_{\mathbb{Z},n}

About 11 years old · traced to

Let D≃M0,n1×M0,n2D\simeq\mathcal{M}_{0,n_1}\times\mathcal{M}_{0,n_2} be a codimension-one boundary component, and let KZ,n1,n2∙K^{\bullet}_{\mathbb{Z},n_1,n_2} denote the geometric derived group associated with this boundary stratum. Boundary-factorization conjecture. The induced morphism

KZ,n1,n2∙→pn1,n2KZ,n1∙×KZ,n2∙K^{\bullet}_{\mathbb{Z},n_1,n_2}\xrightarrow[p_{n_1,n_2}]{}K^{\bullet}_{\mathbb{Z},n_1}\times K^{\bullet}_{\mathbb{Z},n_2}

is an isomorphism. If true, this would reduce the relevant boundary construction to the two factors and support defining GTZ∙(S)GT^{\bullet}_{\mathbb{Z}}(S) using only automorphisms of the groups Kn∙K^{\bullet}_n; the stronger analogous assertion for the full groups GZ,n∙G^{\bullet}_{\mathbb{Z},n} is stated separately in the source.

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.