The C2–spectrum Tmf1(3) and its invertible modules

Hill, Michael¹ ; Meier, Lennart²

¹Department of Mathematics, University of California, Los Angeles, Box 951555, Los Angeles, CA 90095-1555, United States
²Mathematisches Institut, University of Bonn, Endenicher Allee 60, D-53115 Bonn, Germany

Algebraic and Geometric Topology, Tome 17 (2017) no. 4, pp. 1953-2011

Résumé

We explore the C2–equivariant spectra Tmf1(3) and TMF1(3). In particular, we compute their C2–equivariant Picard groups and the C2–equivariant Anderson dual of Tmf1(3). This implies corresponding results for the fixed-point spectra TMF0(3) and Tmf0(3). Furthermore, we prove a real Landweber exact functor theorem.

Détail

DOI : 10.2140/agt.2017.17.1953

Classification : 55N34, 55P42
Keywords: topological modular forms, real homotopy theory, Picard group, Anderson duality

Bibliographie

[1] D W Anderson, Universal coefficient theorems for K-theory, preprint (1970)

[2] M Ando, M J Hopkins, C Rezk, Multiplicative orientations of KO–theory and of the spectrum of topological modular forms, preprint (2010)

[3] S Araki, Orientations in τ–cohomology theories, Japan. J. Math. 5 (1979) 403 | DOI

[4] M F Atiyah, K–theory and reality, Quart. J. Math. Oxford Ser. 17 (1966) 367 | DOI

[5] A Baker, B Richter, Invertible modules for commutative S–algebras with residue fields, Manuscripta Math. 118 (2005) 99 | DOI

[6] T Bauer, Computation of the homotopy of the spectrum tmf, from: "Groups, homotopy and configuration spaces" (editors N Iwase, T Kohno, R Levi, D Tamaki, J Wu), Geom. Topol. Monogr. 13, Geom. Topol. Publ. (2008) 11 | DOI

[7] M Behrens, A modular description of the K(2)–local sphere at the prime 3, Topology 45 (2006) 343 | DOI

[8] M Behrens, The construction of tmf, from: "Topological modular forms" (editors C L Douglas, J Francis, A G Henriques, M A Hill), Mathematical Surveys and Monographs 201, Amer. Math. Soc. (2014) 131

[9] M Behrens, M Hill, M J Hopkins, M Mahowald, On the existence of a v232–self map on M(1,4) at the prime 2, Homology Homotopy Appl. 10 (2008) 45 | DOI

[10] M Behrens, K Ormsby, On the homotopy of Q(3) and Q(5) at the prime 2, Algebr. Geom. Topol. 16 (2016) 2459 | DOI

[11] M Behrens, K Ormsby, N Stapleton, V Stojanoska, On the ring of cooperations for 2–primary connective topological modular forms, preprint (2015)

[12] M Behrens, S Pemmaraju, On the existence of the self map v29 on the Smith–Toda complex V (1) at the prime 3, from: "Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic –theory" (editors P Goerss, S Priddy), Contemp. Math. 346, Amer. Math. Soc. (2004) 9 | DOI

[13] A J Blumberg, M A Hill, Operadic multiplications in equivariant spectra, norms, and transfers, Adv. Math. 285 (2015) 658 | DOI

[14] U Bunke, T Nikolaus, Twisted differential cohomology, preprint (2014)

[15] K Cesnavicius, A modular description of X0(n), preprint (2015)

[16] B Conrad, Arithmetic moduli of generalized elliptic curves, J. Inst. Math. Jussieu 6 (2007) 209 | DOI

[17] P Deligne, M Rapoport, Les schémas de modules de courbes elliptiques, from: "Modular functions of one variable, II", Lecture Notes in Math. 349, Springer (1973) 143 | DOI

[18] D Dugger, Multiplicative structures on homotopy spectral sequences, II, preprint (2003)

[19] A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, 47, Amer. Math. Soc. (1997)

[20] P G Goerss, Realizing families of Landweber exact homology theories, from: "New topological contexts for Galois theory and algebraic geometry" (editors A Baker, B Richter), Geom. Topol. Monogr. 16, Geom. Topol. Publ. (2009) 49 | DOI

[21] U Görtz, T Wedhorn, Algebraic geometry, I : Schemes with examples and exercises, Vieweg + Teubner (2010) | DOI

[22] J P C Greenlees, L Meier, Gorenstein duality for Real spectra, preprint (2016)

[23] M Groth, A short course on ∞–categories, preprint (2010)

[24] R Hartshorne, Algebraic geometry, 52, Springer (1977) | DOI

[25] R Hartshorne, Stable reflexive sheaves, Math. Ann. 254 (1980) 121 | DOI

[26] M A Hill, The String bordism of BE8 and BE8 × BE8 through dimension 14, Illinois J. Math. 53 (2009) 183

[27] M A Hill, The equivariant slice filtration: a primer, Homology Homotopy Appl. 14 (2012) 143 | DOI

[28] M A Hill, M J Hopkins, D C Ravenel, On the nonexistence of elements of Kervaire invariant one, Ann. of Math. 184 (2016) 1 | DOI

[29] M Hill, T Lawson, Topological modular forms with level structure, Invent. Math. 203 (2016) 359 | DOI

[30] H Hohnhold, The Landweber exact functor theorem, from: "Topological modular forms" (editors C L Douglas, J Francis, A G Henriques, M A Hill), Mathematical Surveys and Monographs 201, Amer. Math. Soc. (2014) 35

[31] M Hovey, J H Palmieri, N P Strickland, Axiomatic stable homotopy theory, 610, Amer. Math. Soc. (1997) | DOI

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

[33] A Joyal, The theory of quasi-categories and its applications, lecture notes (2008)

[34] N M Katz, B Mazur, Arithmetic moduli of elliptic curves, 108, Princeton University Press (1985) | DOI

[35] J Konter, The homotopy groups of the spectrum Tmf, preprint (2012)

[36] P S Landweber, Conjugations on complex manifolds and equivariant homotopy of MU, Bull. Amer. Math. Soc. 74 (1968) 271 | DOI

[37] T Lawson, N Naumann, Strictly commutative realizations of diagrams over the Steenrod algebra and topological modular forms at the prime 2, Int. Math. Res. Not. 2014 (2014) 2773 | DOI

[38] L G Lewis Jr., M A Mandell, Equivariant universal coefficient and Künneth spectral sequences, Proc. London Math. Soc. 92 (2006) 505 | DOI

[39] J Lurie, Higher topos theory, 170, Princeton University Press (2009) | DOI

[40] J Lurie, A survey of elliptic cohomology, from: "Algebraic topology" (editors N A Baas, E M Friedlander, B Jahren, P A Østvær), Abel Symp. 4, Springer (2009) 219 | DOI

[41] J Lurie, Chromatic homotopy theory, lecture notes (2010)

[42] J Lurie, Derived algebraic geometry, VIII : Quasi-coherent sheaves and Tannaka duality theorems, unpublished manuscript (2011)

[43] J Lurie, Derived algebraic geometry, XII : Proper morphisms, completions, and the Grothendieck existence theorem, unpublished manuscript (2011)

[44] J Lurie, Higher algebra, unpublished manuscript (2014)

[45] M Mahowald, M Hopkins, The structure of 24 dimensional manifolds having normal bundles which lift to BO[8], from: "Recent progress in homotopy theory" (editors D M Davis, J Morava, G Nishida, W S Wilson, N Yagita), Contemp. Math. 293, Amer. Math. Soc. (2002) 89 | DOI

[46] M Mahowald, C Rezk, Topological modular forms of level 3, Pure Appl. Math. Q. 5 (2009) 853 | DOI

[47] M A Mandell, J P May, Equivariant orthogonal spectra and S–modules, 755, Amer. Math. Soc. (2002) | DOI

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

[49] A Mathew, The homology of tmf, Homology Homotopy Appl. 18 (2016) 1 | DOI

[50] A Mathew, L Meier, Affineness and chromatic homotopy theory, J. Topol. 8 (2015) 476 | DOI

[51] A Mathew, V Stojanoska, The Picard group of topological modular forms via descent theory, Geom. Topol. 20 (2016) 3133 | DOI

[52] L Meier, United elliptic homology, PhD thesis, University of Bonn (2012)

[53] L Meier, Vector bundles on the moduli stack of elliptic curves, J. Algebra 428 (2015) 425 | DOI

[54] N Naumann, The stack of formal groups in stable homotopy theory, Adv. Math. 215 (2007) 569 | DOI

[55] N Naumann, M Spitzweck, P A Østvær, Motivic Landweber exactness, Doc. Math. 14 (2009) 551

[56] N Ricka, Equivariant Anderson duality and Mackey functor duality, Glasg. Math. J. 58 (2016) 649 | DOI

[57] J Rognes, Galois extensions of structured ring spectra, Stably dualizable groups, 898, Amer. Math. Soc. (2008) | DOI

[58] S Schwede, Lectures on equivariant stable homotopy theory, lecture notes (2014)

[59] M Spitzweck, Operads, algebras and modules in general model categories, preprint (2001)

[60] V Stojanoska, Duality for topological modular forms, Doc. Math. 17 (2012) 271