The motivic lambda algebra and motivic Hopf invariant one problem

Balderrama, William¹ ; Culver, Dominic Leon² ; Quigley, J D³

¹Department of Mathematics, University of Virginia, Charlottesville, VA, United States
²Max-Planck-Institut für Mathematik, Bonn, Germany
³Department of Mathematics, Cornell University, Ithaca, NY, United States, Department of Mathematics, University of Virginia, Charlottesville, VA, United States

Geometry & topology, Tome 29 (2025) no. 3, pp. 1489-1570

Résumé

We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base fields of characteristic not equal to 2. Maps of Hopf invariant one classically arise from unital products on spheres, and one consequence of our work is a classification of motivic spheres represented by smooth schemes admitting a unital product.

The classical Hopf invariant one problem was resolved by Adams, following his introduction of the Adams spectral sequence. We introduce the motivic lambda algebra as a tool to carry out systematic computations in the motivic Adams spectral sequence. Using this, we compute the E2-page of the ℝ-motivic Adams spectral sequence in filtrations f ≤ 3. This universal case gives information over arbitrary base fields.

We then study the 1-line of the motivic Adams spectral sequence. We produce differentials d2(ha+1) = (h0 + ρh1)ha2 over arbitrary base fields, which are motivic analogues of Adams’ classical differentials. Unlike the classical case, the story does not end here, as the motivic 1-line is significantly richer than the classical 1-line. We determine all permanent cycles on the ℝ-motivic 1-line, and explicitly compute differentials in the universal cases of the prime fields 𝔽q and ℚ, as well as ℚp and ℝ.

Détail

DOI : 10.2140/gt.2025.29.1489

Keywords: motivic, Adams spectral sequence, Hopf invariant, lambda algebra

Bibliographie

[1] J F Adams, On the structure and applications of the Steenrod algebra, Comment. Math. Helv. 32 (1958) 180 | DOI

[2] J F Adams, On the non-existence of elements of Hopf invariant one, Ann. of Math. 72 (1960) 20 | DOI

[3] J F Adams, Vector fields on spheres, Ann. of Math. 75 (1962) 603 | DOI

[4] M Andrews, H Miller, Inverting the Hopf map, J. Topol. 10 (2017) 1145 | DOI

[5] A Asok, B Doran, J Fasel, Smooth models of motivic spheres and the clutching construction, Int. Math. Res. Not. 2017 (2017) 1890 | DOI

[6] T Bachmann, η-periodic motivic stable homotopy theory over Dedekind domains, J. Topol. 15 (2022) 950 | DOI

[7] T Bachmann, M J Hopkins, η-periodic motivic stable homotopy theory over fields, preprint (2020)

[8] T Bachmann, H J Kong, G Wang, Z Xu, The Chow t-structure on the ∞-category of motivic spectra, Ann. of Math. 195 (2022) 707 | DOI

[9] W Balderrama, Algebraic theories of power operations, J. Topol. 16 (2023) 1543 | DOI

[10] M Behrens, J Shah, C2-equivariant stable homotopy from real motivic stable homotopy, Ann. -Theory 5 (2020) 411 | DOI

[11] E Belmont, D C Isaksen, R-motivic stable stems, J. Topol. 15 (2022) 1755 | DOI

[12] E Belmont, B J Guillou, D C Isaksen, C2-equivariant and R-motivic stable stems, II, Proc. Amer. Math. Soc. 149 (2021) 53 | DOI

[13] A K Bousfield, E B Curtis, D M Kan, D G Quillen, D L Rector, J W Schlesinger, The mod − p lower central series and the Adams spectral sequence, Topology 5 (1966) 331 | DOI

[14] E H Brown Jr., S Gitler, A spectrum whose cohomology is a certain cyclic module over the Steenrod algebra, Topology 12 (1973) 283 | DOI

[15] R R Bruner, The homotopy theory of H∞ ring spectra, from: " ring spectra and their applications" (editors R R Bruner, J P May, J E McClure, M Steinberger), Lecture Notes in Math. 1176, Springer (1986) 88 | DOI

[16] R R Bruner, The Adams spectral sequence of H∞ ring spectra, from: " ring spectra and their applications" (editors R R Bruner, J P May, J E McClure, M Steinberger), Lecture Notes in Math. 1176, Springer (1986) 169 | DOI

[17] R Bruner, An example in the cohomology of augmented algebras, J. Pure Appl. Algebra 55 (1988) 81 | DOI

[18] R Burklund, J Hahn, A Senger, Galois reconstruction of Artin–Tate R-motivic spectra, preprint (2020)

[19] T W Chen, Determination of ExtA5,∗(Z∕2, Z∕2), Topology Appl. 158 (2011) 660 | DOI

[20] R L Cohen, The immersion conjecture for differentiable manifolds, Ann. of Math. 122 (1985) 237 | DOI

[21] D L Culver, J D Quigley, kq-resolutions, I, Trans. Amer. Math. Soc. 374 (2021) 4655 | DOI

[22] E B Curtis, Simplicial homotopy theory, Adv. Math. 6 (1971) 107 | DOI

[23] E B Curtis, P Goerss, M Mahowald, R J Milgram, Calculations of unstable Adams E2 terms for spheres, from: "Algebraic topology" (editors H R Miller, D C Ravenel), Lecture Notes in Math. 1286, Springer (1987) 208 | DOI

[24] D Dugger, D C Isaksen, The motivic Adams spectral sequence, Geom. Topol. 14 (2010) 967 | DOI

[25] D Dugger, D C Isaksen, Motivic Hopf elements and relations, New York J. Math. 19 (2013) 823

[26] D Dugger, D C Isaksen, Low-dimensional Milnor–Witt stems over R, Ann. -Theory 2 (2017) 175 | DOI

[27] D Dugger, D C Isaksen, Z∕2-equivariant and R-motivic stable stems, Proc. Amer. Math. Soc. 145 (2017) 3617 | DOI

[28] B Gheorghe, G Wang, Z Xu, The special fiber of the motivic deformation of the stable homotopy category is algebraic, Acta Math. 226 (2021) 319 | DOI

[29] P G Goerss, Hopf rings, Dieudonné modules, and E∗Ω2S3, from: "Homotopy invariant algebraic structures" (editors J P Meyer, J Morava, W S Wilson), Contemp. Math. 239, Amer. Math. Soc. (1999) 115 | DOI

[30] P G Goerss, J D S Jones, M E Mahowald, Some generalized Brown–Gitler spectra, Trans. Amer. Math. Soc. 294 (1986) 113 | DOI

[31] J P C Greenlees, Stable maps into free G-spaces, Trans. Amer. Math. Soc. 310 (1988) 199 | DOI

[32] B J Guillou, D C Isaksen, The η-local motivic sphere, J. Pure Appl. Algebra 219 (2015) 4728 | DOI

[33] B J Guillou, D C Isaksen, The η-inverted R-motivic sphere, Algebr. Geom. Topol. 16 (2016) 3005 | DOI

[34] B J Guillou, D C Isaksen, The Bredon–Landweber region in C2-equivariant stable homotopy groups, Doc. Math. 25 (2020) 1865 | DOI

[35] B J Guillou, M A Hill, D C Isaksen, D C Ravenel, The cohomology of C2-equivariant A(1) and the homotopy of koC2, Tunis. J. Math. 2 (2020) 567 | DOI

[36] M A Hill, Ext and the motivic Steenrod algebra over R, J. Pure Appl. Algebra 215 (2011) 715 | DOI

[37] M Hoyois, S Kelly, P A Østvær, The motivic Steenrod algebra in positive characteristic, J. Eur. Math. Soc. 19 (2017) 3813 | DOI

[38] P Hu, I Kriz, Real-oriented homotopy theory and an analogue of the Adams–Novikov spectral sequence, Topology 40 (2001) 317 | DOI

[39] P Hu, I Kriz, K Ormsby, Convergence of the motivic Adams spectral sequence, J. -Theory 7 (2011) 573 | DOI

[40] P Hu, I Kriz, K Ormsby, Remarks on motivic homotopy theory over algebraically closed fields, J. -Theory 7 (2011) 55 | DOI

[41] D J Hunter, N J Kuhn, Mahowaldean families of elements in stable homotopy groups revisited, Math. Proc. Cambridge Philos. Soc. 127 (1999) 237 | DOI

[42] D C Isaksen, Stable stems, 1269, Amer. Math. Soc. (2019) | DOI

[43] D C Isaksen, P A Østvær, Motivic stable homotopy groups, from: "Handbook of homotopy theory" (editor H Miller), CRC Press (2020) 757

[44] D C Isaksen, G Wang, Z Xu, Stable homotopy groups of spheres : from dimension 0 to 90, Publ. Math. Inst. Hautes Études Sci. 137 (2023) 107 | DOI

[45] I M James, On the suspension sequence, Ann. of Math. 65 (1957) 74 | DOI

[46] I M James, Cross-sections of Stiefel manifolds, Proc. Lond. Math. Soc. 8 (1958) 536 | DOI

[47] I M James, Spaces associated with Stiefel manifolds, Proc. Lond. Math. Soc. 9 (1959) 115 | DOI

[48] J I Kylling, Hermitian K-theory of finite fields via the motivic Adams spectral sequence, master’s thesis, University of Oslo (2015)

[49] J I Kylling, G M Wilson, Strong convergence in the motivic Adams spectral sequence, preprint (2019)

[50] W H Lin, On conjectures of Mahowald, Segal and Sullivan, Math. Proc. Cambridge Philos. Soc. 87 (1980) 449 | DOI

[51] W H Lin, ExtA4,∗(Z∕2, Z∕2) and ExtA5,∗(Z∕2, Z∕2), Topology Appl. 155 (2008) 459 | DOI

[52] J Lurie, Derived algebraic geometry, XIII : Rational and p-adic homotopy theory, preprint (2011)

[53] M Mahowald, A new infinite family in 2π∗s, Topology 16 (1977) 249 | DOI

[54] M Mahowald, bo-resolutions, Pacific J. Math. 92 (1981) 365 | DOI

[55] M A Mandell, E∞ algebras and p-adic homotopy theory, Topology 40 (2001) 43 | DOI

[56] W S Massey, F P Peterson, The cohomology structure of certain fibre spaces, I, Topology 4 (1965) 47 | DOI

[57] J Milnor, Algebraic K-theory and quadratic forms, Invent. Math. 9 (1970) 318 | DOI

[58] F Morel, Suite spectrale d’Adams et invariants cohomologiques des formes quadratiques, C. R. Acad. Sci. Paris Sér. I Math. 328 (1999) 963 | DOI

[59] F Morel, An introduction to A1-homotopy theory, from: "Contemporary developments in algebraic -theory" (editors M Karoubi, A O Kuku, C Pedrini), ICTP Lect. Notes 15, Abdus Salam Int. Cent. Theoret. Phys. (2004) 357

[60] F Morel, V Voevodsky, A1-homotopy theory of schemes, Inst. Hautes Études Sci. Publ. Math. 90 (1999) 45 | DOI

[61] K M Ormsby, Motivic invariants of p-adic fields, J. -Theory 7 (2011) 597 | DOI

[62] K M Ormsby, P A Østvær, Motivic Brown–Peterson invariants of the rationals, Geom. Topol. 17 (2013) 1671 | DOI

[63] K Ormsby, O Röndigs, The homotopy groups of the η-periodic motivic sphere spectrum, Pacific J. Math. 306 (2020) 679 | DOI

[64] J H Palmieri, The lambda algebra and Sq0, from: "Proceedings of the School and Conference in Algebraic Topology" (editors J Hubbuck, N H V Hung, L Schwartz), Geom. Topol. Monogr. 11, Geom. Topol. Publ. (2007) 201 | DOI

[65] A Polishchuk, L Positselski, Quadratic algebras, 37, Amer. Math. Soc. (2005) | DOI

[66] S B Priddy, Koszul resolutions, Trans. Amer. Math. Soc. 152 (1970) 39 | DOI

[67] C Rezk, Rings of power operations for Morava E-theories are Koszul, preprint (2012)

[68] J Riou, Opérations de Steenrod motiviques, preprint (2012)

[69] O Röndigs, P A Østvær, Slices of hermitian K-theory and Milnor’s conjecture on quadratic forms, Geom. Topol. 20 (2016) 1157 | DOI

[70] O Röndigs, M Spitzweck, P A Østvær, The first stable homotopy groups of motivic spheres, Ann. of Math. 189 (2019) 1 | DOI

[71] O Röndigs, M Spitzweck, P A Østvær, The second stable homotopy groups of motivic spheres, (2021)

[72] D H Shimamoto, An integral version of the Brown–Gitler spectrum, Trans. Amer. Math. Soc. 283 (1984) 383 | DOI

[73] N E Steenrod, Cohomology operations, 50, Princeton Univ. Press (1962)

[74] M C Tangora, Computing the homology of the lambda algebra, 337, Amer. Math. Soc. (1985) | DOI

[75] M C Tangora, Some remarks on products in Ext, from: "Algebraic topology" (editor M C Tangora), Contemp. Math. 146, Amer. Math. Soc. (1993) 419 | DOI

[76] M C Tangora, Some Massey products in Ext, from: "Topology and representation theory" (editors E M Friedlander, M E Mahowald), Contemp. Math. 158, Amer. Math. Soc. (1994) 269 | DOI

[77] S Tilson, Squaring operations in the RO(C2)-graded and real motivic Adams spectral sequences, preprint (2017)

[78] V Voevodsky, Reduced power operations in motivic cohomology, Publ. Math. Inst. Hautes Études Sci. 98 (2003) 1 | DOI

[79] V Voevodsky, On motivic cohomology with Z∕l-coefficients, Ann. of Math. 174 (2011) 401 | DOI

[80] J S P Wang, On the cohomology of the mod − 2 Steenrod algebra and the non-existence of elements of Hopf invariant one, Illinois J. Math. 11 (1967) 480

[81] G Wang, Z Xu, The algebraic Atiyah–Hirzebruch spectral sequence of real projective spectra, preprint (2016)

[82] G Wang, Z Xu, The triviality of the 61-stem in the stable homotopy groups of spheres, Ann. of Math. 186 (2017) 501 | DOI

[83] G M Wilson, Motivic stable stems over finite fields, PhD thesis, Rutgers University (2016)

[84] G M Wilson, The eta-inverted sphere over the rationals, Algebr. Geom. Topol. 18 (2018) 1857 | DOI

[85] G M Wilson, P A Østvær, Two-complete stable motivic stems over finite fields, Algebr. Geom. Topol. 17 (2017) 1059 | DOI