Algebraic homotopy classes of rational functions

Cazanave, Christophe

Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 45 (2012) no. 4, pp. 511-534.

Soit $k$ un corps. Nous déterminons l’ensemble ${\left[{𝐏}^1,{𝐏}^1\right]}^{\mathrm{N}}$ des classes d’homotopie naïve d’endomorphismes pointés de $k$-schémas de la droite projective ${𝐏}^1$. Notre résultat se compare bien avec le calcul de Morel [11] du groupe ${\left[{𝐏}^1,{𝐏}^1\right]}^{{𝐀}^1}$ des classes d’${𝐀}^1$-homotopie d’endomorphismes pointés de ${𝐏}^1$ : l’ensemble ${\left[{𝐏}^1,{𝐏}^1\right]}^{\mathrm{N}}$ admet a priori une structure de monoïde pour laquelle l’application canonique ${\left[{𝐏}^1,{𝐏}^1\right]}^{\mathrm{N}}\to {\left[{𝐏}^1,{𝐏}^1\right]}^{{𝐀}^1}$ est une complétion en groupe.

Let $k$ be a field. We compute the set ${\left[{𝐏}^1,{𝐏}^1\right]}^{\mathrm{N}}$ of naive homotopy classes of pointed $k$-scheme endomorphisms of the projective line ${𝐏}^1$. Our result compares well with Morel’s computation in [11] of the group ${\left[{𝐏}^1,{𝐏}^1\right]}^{{𝐀}^1}$ of ${𝐀}^1$-homotopy classes of pointed endomorphisms of ${𝐏}^1$: the set ${\left[{𝐏}^1,{𝐏}^1\right]}^{\mathrm{N}}$ admits an a priori monoid structure such that the canonical map ${\left[{𝐏}^1,{𝐏}^1\right]}^{\mathrm{N}}\to {\left[{𝐏}^1,{𝐏}^1\right]}^{{𝐀}^1}$ is a group completion.

[1] N. Bourbaki, Éléments de mathématique. Algèbre, chapitre IV: Polynômes et fractions rationnelles, Hermann, Paris, 1950 ; réédition Springer, 2007. | Zbl

[2] C. Cazanave, Classes d'homotopie de fractions rationnelles, C. R. Math. Acad. Sci. Paris 346 (2008), 129-133. | MR | Zbl

[3] C. Cazanave, Théorie homotopique des schémas d'Atiyah-Hitchin, thèse de doctorat, Université Paris 13, 2009.

[4] C. Cazanave, The ${𝐀}^1$-homotopy type of Atiyah-Hitchin schemes I: The geometry of complex points, preprint, 2010.

[5] I. M. GelʼFand, M. M. Kapranov & A. V. Zelevinsky, Discriminants, resultants, and multidimensional determinants, Mathematics: Theory & Applications, Birkhäuser, 1994. | MR | Zbl

[6] M. Karoubi & O. Villamayor, $K$-théorie algébrique et $K$-théorie topologique. I, Math. Scand. 28 (1971), 265-307. | MR | Zbl

[7] T. Y. Lam, Serre's problem on projective modules, Springer Monographs in Math., Springer, 2006. | MR | Zbl

[8] J. Milnor & D. Husemoller, Symmetric bilinear forms, Ergebn. Math. Grenzg. 73, Springer, 1973. | MR | Zbl

[9] F. Morel, Théorie homotopique des schémas, Astérisque 256 (1999). | Numdam | Zbl

[10] F. Morel, An introduction to ${𝔸}^1$-homotopy theory, in Contemporary developments in algebraic $K$-theory, ICTP Lect. Notes, XV, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2004, 357-441 (electronic). | MR | Zbl

[11] F. Morel, ${𝐀}^1$-algebraic topology over a field, Lecture Notes in Math. 2052, Springer, 2012. | MR | Zbl

[12] F. Morel & V. Voevodsky, ${𝐀}^1$-homotopy theory of schemes, Publ. Math. I.H.É.S. 90 (1999), 45-143. | Numdam | MR | Zbl

[13] D. G. Quillen, Homotopical algebra, Lecture Notes in Math., No. 43, Springer, 1967. | MR | Zbl