The equality conjecture for the explicit subgroup of naive projective-line maps

Let J\mathcal{J} be the Jouanolou device of P1\mathbb{P}^1, and let G0G\mathbf{G}_0\subseteq\mathbf{G} be the subgroups introduced from the explicit generators, with [J,A2{0}]N[\mathcal{J},\mathbb{A}^2\setminus\{0\}]^\mathrm{N} and [J,P1]N[\mathcal{J},\mathbb{P}^1]^\mathrm{N} denoting naive homotopy classes. Equality conjecture. The inclusions

G0[J,A2{0}]N\mathbf{G}_0 \subseteq [\mathcal{J},\mathbb{A}^2\setminus \{0\}]^\mathrm{N}

and

G[J,P1]N\mathbf{G} \subseteq [\mathcal{J},\mathbb{P}^1]^\mathrm{N}

are equalities. This conjecture would show that the explicitly generated groups exhaust the relevant naive homotopy classes; the paper proves the corresponding assertion over finite fields for the degree-zero part through a computation of K1MW(Fq)K_1^{MW}(\mathbb{F}_q), while the general equality remains open.

Sources & referencesView supporting material

Primary source

Viktor Balch Barth, William Hornslien, Gereon Quick and Glen Matthew Wilson, “Making the motivic group structure on the endomorphisms of the projective line explicit”, arXiv:2306.00628 (2024).

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.