Formal groups and stable homotopy of commutative rings

Schwede, Stefan¹

¹ Mathematisches Institut, Universität Bonn, 53115 Bonn, Germany

Geometry & topology, Tome 8 (2004) no. 1, pp. 335-412.

Résumé

We explain a new relationship between formal group laws and ring spectra in stable homotopy theory. We study a ring spectrum denoted $DB$ which depends on a commutative ring $B$ and is closely related to the topological André–Quillen homology of $B$. We present an explicit construction which to every 1–dimensional and commutative formal group law $F$ over $B$ associates a morphism of ring spectra $F_{\ast }:H\mathbb{Z}\to DB$ from the Eilenberg–MacLane ring spectrum of the integers. We show that formal group laws account for all such ring spectrum maps, and we identify the space of ring spectrum maps between $H\mathbb{Z}$ and $DB$. That description involves formal group law data and the homotopy units of the ring spectrum $DB$.

Détail

DOI : 10.2140/gt.2004.8.335

Keywords: ring spectrum, formal group law, André–Quillen homology

Bibliographie

[1] M Basterra, André–Quillen cohomology of commutative $S$–algebras, J. Pure Appl. Algebra 144 (1999) 111

[2] M Basterra, R Mccarthy, $\Gamma$–homology, topological André–Quillen homology and stabilization, Topology Appl. 121 (2002) 551

[3] M Basterra, B Richter, (Co-)homology theories for commutative ($S$–)algebras, from: "Structured ring spectra", London Math. Soc. Lecture Note Ser. 315, Cambridge Univ. Press (2004) 115

[4] S Betley, T Pirashvili, Stable $K$–theory as a derived functor, J. Pure Appl. Algebra 96 (1994) 245

[5] M Bökstedt, Topological Hochschild homology, preprint, Bielefeld (1985)

[6] F Borceux, Handbook of categorical algebra. 2, Encyclopedia of Mathematics and its Applications 51, Cambridge University Press (1994)

[7] A K Bousfield, Operations on derived functors of non-additive functors, mimeographed notes, Brandeis University (1967)

[8] A K Bousfield, E M Friedlander, Homotopy theory of $\Gamma $–spaces, spectra, and bisimplicial sets, from: "Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977), II", Lecture Notes in Math. 658, Springer (1978) 80

[9] A K Bousfield, D M Kan, Homotopy limits, completions and localizations, Lecture Notes in Mathematics 304, Springer (1972)

[10] H Cartan, Algébres d'Eilenberg–Mac Lane et homotopie, seminaire Henri Cartan (1954–1955)

[11] A Dold, D Puppe, Homologie nicht-additiver Funktoren. Anwendungen, Ann. Inst. Fourier Grenoble 11 (1961) 201

[12] W G Dwyer, Homotopy operations for simplicial commutative algebras, Trans. Amer. Math. Soc. 260 (1980) 421

[13] W G Dwyer, J Spaliński, Homotopy theories and model categories, from: "Handbook of algebraic topology", North-Holland (1995) 73

[14] S Eilenberg, S Maclane, Homology theories for multiplicative systems, Trans. Amer. Math. Soc. 71 (1951) 294

[15] S Eilenberg, S Mac Lane, On the groups $H(\Pi,n)$ II: Methods of computation, Ann. of Math. $(2)$ 60 (1954) 49

[16] V Franjou, Extensions entre puissances extérieures et entre puissances symétriques, J. Algebra 179 (1996) 501

[17] V Franjou, J Lannes, L Schwartz, Autour de la cohomologie de Mac Lane des corps finis, Invent. Math. 115 (1994) 513

[18] V Franjou, T Pirashvili, On the Mac Lane cohomology for the ring of integers, Topology 37 (1998) 109

[19] A Fröhlich, Formal groups, Lecture Notes in Mathematics 74, Springer (1968)

[20] P G Goerss, A Hilton–Milnor theorem for categories of simplicial algebras, Amer. J. Math. 111 (1989) 927

[21] P G Goerss, On the André–Quillen cohomology of commutative $\mathbb{ F}_2$-algebras, Astérisque (1990) 169

[22] P G Goerss, J F Jardine, Simplicial homotopy theory, Progress in Mathematics 174, Birkhäuser Verlag (1999)

[23] M Hovey, Model categories, Mathematical Surveys and Monographs 63, American Mathematical Society (1999)

[24] M Hovey, B Shipley, J Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000) 149

[25] L Illusie, Complexe cotangent et déformations I, Lecture Notes in Mathematics 239, Springer (1971)

[26] M Jibladze, T Pirashvili, Cohomology of algebraic theories, J. Algebra 137 (1991) 253

[27] B Johnson, R Mccarthy, Linearization, Dold–Puppe stabilization, and Mac Lane's $Q$–construction, Trans. Amer. Math. Soc. 350 (1998) 1555

[28] M Lazard, Sur les groupes de Lie formels à un paramètre, Bull. Soc. Math. France 83 (1955) 251

[29] M Lydakis, Smash products and $\Gamma$–spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 311

[30] S Mac Lane, Homologie des anneaux et des modules, from: "Colloque de topologie algébrique, Louvain, 1956", Georges Thone, Liège (1957) 55

[31] S Maclane, Categories for the working mathematician, Graduate Texts in Mathematics 5, Springer (1971)

[32] M A Mandell, J P May, S Schwede, B Shipley, Model categories of diagram spectra, Proc. London Math. Soc. $(3)$ 82 (2001) 441

[33] D Mcduff, On the classifying spaces of discrete monoids, Topology 18 (1979) 313

[34] T I Pirashvili, Higher additivizations, Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR 91 (1988) 44

[35] T Pirashvili, Polynomial approximation of $\mathrm{Ext}$ and $\mathrm{Tor}$ groups in functor categories, Comm. Algebra 21 (1993) 1705

[36] T Pirashvili, B Richter, Robinson–Whitehouse complex and stable homotopy, Topology 39 (2000) 525

[37] T Pirashvili, F Waldhausen, Mac Lane homology and topological Hochschild homology, J. Pure Appl. Algebra 82 (1992) 81

[38] D Quillen, On the (co-) homology of commutative rings, from: "Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol XVII, New York, 1968)", Amer. Math. Soc. (1970) 65

[39] D G Quillen, Homotopical algebra, Lecture Notes in Mathematics 43, Springer (1967)

[40] C L Reedy, Homotopy theory of model categories, preprint

[41] A Robinson, Gamma homology, Lie representations and $E_\infty$ multiplications, Invent. Math. 152 (2003) 331

[42] A Robinson, S Whitehouse, Operads and $\Gamma$–homology of commutative rings, Math. Proc. Cambridge Philos. Soc. 132 (2002) 197

[43] S Schwede, Spectra in model categories and applications to the algebraic cotangent complex, J. Pure Appl. Algebra 120 (1997) 77

[44] S Schwede, Stable homotopical algebra and $\Gamma$–spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 329

[45] S Schwede, $S$–modules and symmetric spectra, Math. Ann. 319 (2001) 517

[46] S Schwede, Stable homotopy of algebraic theories, Topology 40 (2001) 1

[47] S Schwede, B E Shipley, Algebras and modules in monoidal model categories, Proc. London Math. Soc. $(3)$ 80 (2000) 491

[48] G Segal, Categories and cohomology theories, Topology 13 (1974) 293

[49] B Shipley, Symmetric spectra and topological Hochschild homology, $K$–Theory 19 (2000) 155

[50] D Simson, Stable derived functors of the second symmetric power functor, second exterior power functor and Whitehead gamma functor, Colloq. Math. 32 (1974) 49

[51] J M Turner, Simplicial commutative $\mathbb{F}_p$–algebras through the looking-glass of $\mathbb{F}_p$–local spaces, from: "Homotopy invariant algebraic structures (Baltimore, MD, 1998)", Contemp. Math. 239, Amer. Math. Soc. (1999) 353