The homology of tmf

DOI10.4310/HHA.2016.V18.N2.A1MaRDI QIDQ505341zbMATH OpenOpenAlexFDO

Authors Akhil Mathew

Publication date 20 January 2017

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.6100

zbMATH Keywords

algebraic stackSteenrod algebratopological modular form

Mathematics Subject Classification ID

Elliptic cohomology (55N34) Stable homotopy theory, spectra (55P42)

Abstract: We compute the mod $2$ homology of the spectrum $mathrmtmf$ of topological modular forms by proving a 2-local equivalence $mathrmtmfwedgeDA(1)simeqmathrm{tmf}_1(3)simeqBPleftlangle2ightangle$, where $DA(1)$ is an eight cell complex whose cohomology "doubles" the subalgebra $mathcalA(1)$ of the Steenrod algebra generated by $mathrm{Sq}^1$ and $mathrm{Sq}^2$. To do so, we give, using the language of stacks, a modular description of the elliptic homology of $DA(1)$ via level three structures. We briefly discuss analogs at odd primes and recover the stack-theoretic description of the Adams-Novikov spectral sequence for $mathrmtmf$.

Review text

The spectrum of topological modular forms comes in many variants, in particular there is the periodic version \(TMF\) and the connective version \(tmf\). While \(H^*(TMF; \mathbb{F}_p) = 0\), the cohomology of \(tmf\) is interesting and the present paper shows that \(H^*(tmf; \mathbb{F}_2) \cong \mathcal{A}/\mathcal{A}(2)\). Here \(\mathcal{A}\) denotes the mod-\(2\) Steenrod algebra and \(\mathcal{A}(i)\) is the subalgebra generated by \(Sq^1, \dots, Sq^{2^i}\). The result was already announced by Hopkins and Mahowald in the late nineties, but they never published the details. Interestingly, Davis and Mahowald had shown in 1982 that no spectrum with cohomology \(\mathcal{A}/\mathcal{A}(2)\) exists, but their proof had a mistake. The cohomology of \(tmf\) can be seen as analogous to that of real connective K-theory \(ko\), whose \(\mathbb{F}_2\)-cohomology is \(\mathcal{A}/\mathcal{A}(1)\). While this can be shown from the known cohomology of \(BO\), an analogous approach for \(tmf\) fails because no concrete geometric model for \(tmf\) is known. Instead, the argument proceeds by first computing the cohomology of \(tmf_1(3)\), which is a quotient of \(BP\), and then using that \(tmf_1(3) \simeq tmf \wedge DA(1)\) for a certain \(8\)-cell complex \(DA(1)\). Using similar techniques, the paper under review computes also \(MU_*tmf\). The result implies that the stack associated to the graded Hopf algebroid \((MU_*tmf, (MU\wedge MU)_*tmf)\) is the moduli stack of cubic curves. This implies that the \(E^2\)-term of the Adams-Novikov spectral sequence for \(tmf\) can be computed as the cohomology of the so-called Weierstrass Hopf algebroid, which was already used in [\textit{T. Bauer}, Geometry and Topology Monographs 13, 11--40 (2008; Zbl 1147.55005)].

Recommendations

• scientific article; zbMATH DE number 5261766
• Calculating descent for 2-primary topological modular forms
• On the \(K(1)\)-local homotopy of \(\mathrm{tmf}\wedge\mathrm{tmf}\)
• The Adams spectral sequence for 3-local tmf
• K(1)-local topological modular forms

Cited in

(48)

• The 5-local homotopy of \(eo_{4}\)
• The Adams spectral sequence for 3-local tmf
• Additive decompositions for rings of modular forms
• \(\mathbb{C}\)-motivic modular forms
• The local cohomology spectral sequence for topological modular forms
• Descent in algebraic \(K\)-theory and a conjecture of Ausoni-Rognes
• On the \(K(1)\)-local homotopy of \(\mathrm{tmf}\wedge\mathrm{tmf}\)
• Rings of modular forms and a splitting of \(\mathrm{TMF}_0(7)\)
• Morita theory and singularity categories
• The \(C_2\)-spectrum \(\mathrm{Tmf}_1(3)\) and its invertible modules
• Derived induction and restriction theory
• On the Tate spectrum of tmf at the prime 2
• Simultaneous Kummer congruences and \({\mathbb {E}}_\infty \)-orientations of KO and tmf
• \(C_2\)-equivariant topological modular forms
• On homotopy groups of \(E_C^{hG_{24}} \wedge A_1\)
• On the surjectivity of the tmf-Hurewicz image of A₁
• Detecting exotic spheres in low dimensions using coker J
• Nilpotence and descent in equivariant stable homotopy theory
• Calculating descent for 2-primary topological modular forms
• Duality for topological modular forms
• Towards a splitting of the K(2)-local string bordism spectrum
• Homotopy Invariant Commutative Algebra over Fields
• tmf is not a ring spectrum quotient of string bordism
• United elliptic homology
• On the periodic \(v_2\)-self-map of \(A_1\)
• On the ring of cooperations for 2-primary connective topological modular forms
• The 3-local 𝑡𝑚𝑓-homology of 𝐵Σ₃
• scientific article; zbMATH DE number 5261766 (Why is no real title available?)
• Detecting and describing ramification for structured ring spectra
• Connective models for topological modular forms of level n
• Hodge theory for elliptic curves and the Hopf element ν\nu
• The telescope conjecture at height 2 and the tmf resolution
• Local Gorenstein duality in chromatic group cohomology
• Higher chromatic Thom spectra via unstable homotopy theory
• L‐theory of C∗C^*‐algebras
• The 2-primary Hurewicz image of \(\operatorname{tmf}\)
• Examples of descent up to nilpotence
• Hecke operators on topological modular forms
• Descent in tensor triangular geometry
• A synthetic approach to detecting v₁-periodic families
• Descent spectral sequences through synthetic spectra
• On MU-homology of connective models of higher real K-theories
• Constructing and calculating Adams operations on dualisable topological modular forms
• The structure of the \(v_2\)-local algebraic \(\mathrm{tmf}\) resolution
• Uniqueness of p-local truncated Brown-Peterson spectra
• Chromatic defect, Wood's theorem and higher real K-theories
• Whitehead filtrations for computations in topological Hochschild homology
• \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences

This page was built for publication: The homology of \(\mathrm{tmf}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q505341)