The universal covering conjecture for isotropic semisimple groups

Let GG be an A1{\mathbb A}^1-connected, isotropic, semisimple, almost simple, simply connected algebraic group over kk, split by a finite separable field extension F/kF/k. Let K2M{\mathbf K}^{\rm M}_2 and K2MW{\mathbf K}^{\rm MW}_2 denote Milnor and Milnor–Witt KK-theory sheaves, respectively, and let SαS_\alpha be the subgroup associated with a relative coroot α\alpha. Universal covering conjecture. If GG is not of symplectic type, then the universal K2M{\mathbf K}^{\rm M}_2-torsor on GG constructed by Brylinski–Deligne gives the universal covering of GG in A1{\mathbb A}^1-homotopy theory. If GG is of symplectic type, then there exists a K2MW{\mathbf K}^{\rm MW}_2-torsor on GG giving the A1{\mathbb A}^1-universal covering. More precisely, if the relative root system of GG admits a coroot α\alpha that becomes a coroot of small length in the root system of GFG_F, then the inclusion SαGS_\alpha\subset G induces an isomorphism with π1A1(G){\bm \pi}^{{\mathbb A}^1}_1(G) from K2MW{\mathbf K}^{\rm MW}_2 in the symplectic case and from K2M{\mathbf K}^{\rm M}_2 otherwise. This conjecture proposes an explicit description of the A1{\mathbb A}^1-universal cover and fundamental group for a broad class of non-split semisimple groups; its status is not resolved in the supplied source.

Sources & referencesView supporting material

Primary source

Fabien Morel and Anand Sawant, “Cellular A^1-homology and the motivic version of Matsumoto's theorem”, arXiv:2007.14770 (2023).

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.