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

About 3 years old · traced to

Let J\mathcal{J} be the Jouanolou device of P1\mathbb{P}^1, and let G0⊆G\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.

References

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.