\(K(1)\)-local topological modular forms
type: Item
instance of: scholarly article
title: \(K(1)\)-local topological modular forms
zbMATH Open document ID: 1078.55010
author: Gerd Laures
published in: Inventiones Mathematicae
publication date: 2005-01-25T00:00:00Z
review text: In 1995 Hopkins and Miller set up a diagram of elliptic spectra which can be thought of as a topological model for the stack of generalized elliptic curves. Its homotopy limit \(tmf\) is the spectrum of topological modular forms. The present paper deals with \(tmf\) in the \(K(1)\)-local category. In this category we have a fiber sequence \[ \begin{tikzcd}[column sep=2cm]E\to KO\wedge E\ar[r,"(\psi^3- 1)\wedge 1"] & KO\wedge E\rlap{\,.}\end{tikzcd} \] If \(E= S^0\) we obtain a map \(\pi_0KO\to \pi_{-1} S^0\). Let \(\xi\) be the image of the unit 1, and consider the homotopy pushouts \[ \begin{tikzcd} TS^{-1}\ar[r]\ar[d,"\xi " '] & T^*= S^0\ar[d]\\S^0\ar[r] & T_\xi\end{tikzcd}\qquad \begin{tikzcd} TS^0 \ar[r]\ar[d] &T*\ar[d]\\ T_\xi\ar[r] & M\end{tikzcd} \] in the category of \(K(1)\)-local \(E_\infty\) spectra. Here \(TX\) is the free \(E_\infty\) spectrum generated by the based space \(X\). The spectrum \(M\) can be considered as a \(K(1)\)-local model of \(tmf\). Using this model the author constructs the Witten orientation \(W: MO\langle 8\rangle\to tmf\): In the category of \(K(1)\)-local \(E_\infty\) spectra there is a splitting \(MO\langle 8\rangle\cong T_\xi\wedge\bigwedge^\infty_{i=1} TS^0\). There are classes \(x_0, x_1,\dots\in\pi_0MO\langle 8\rangle\) inducing an \(E_\infty\) map \(\bigwedge^\infty_{i=1} TS^0\to MO\langle 8\rangle\), and \(W\) is part of a homotopy pushout of \(E_\infty\) spectra \[ \begin{tikzcd} \bigwedge^\infty_{i=1} TS^0 \ar[r]\ar[d] & T*\ar[d]\\ MO\langle 8\rangle\ar[r,"W" '] & tmf \rlap{\,.}\end{tikzcd} \] The second main result of the paper is the calculation of the \(KO\)-homology of \(tmf\): Let \(D\) be the ring of divided congruences and \(SR\) the Moore spectrum associated with the ring \(R\), let \(L_{S\mathbb{Z}/2}\) denote the localization functor. Then there is a homotopy equivalence of ring spectra \[ L_{S\mathbb{Z}/2}(KO\wedge SD)\simeq L_{S\mathbb{Z}/2}(KO\wedge tmf). \] In particular, \(\pi_0(KO\wedge tmf)\cong D\) aft…
Mathematics Subject Classification ID: 55P43
Mathematics Subject Classification ID: 55N22
Mathematics Subject Classification ID: 55P48
Mathematics Subject Classification ID: 55P60
Mathematics Subject Classification ID: 11G07
Mathematics Subject Classification ID: 55N34
zbMATH DE Number: 2130986
zbMATH Keywords: topological modular form
zbMATH Keywords: Witten orientation
zbMATH Keywords: \(K(1)\)-local \(E_\infty\) spectra
zbMATH Keywords: \(E_\infty\) elliptic spectra
zbMATH Keywords: \(KO\)-homology
reviewed by: Rainer Vogt
MaRDI profile type: Publication
full work available at URL: s00222-003-0355-y
OpenAlex ID: W1987433588
cites work: Q4067782
cites work: Spin cobordism
cites work: Elliptic spectra, the Witten genus and the theorem of the cube
cites work: Isogenies of formal group laws and power operations in the cohomology theories \(E_ n\)
cites work: Power operations in elliptic cohomology and representations of loop groups
cites work: POWER OPERATIONS IN K-THEORY
cites work: Clifford modules
cites work: Operations and cooperations in elliptic cohomology. I: Generalized modular forms and the cooperation algebra
cites work: Ellitpic curves and modular functions
cites work: The localization of spectra with respect to homology
cites work: On \(\lambda\)-rings and the \(K\)-theory of infinite loop spaces
cites work: On \(p\)-adic \(\lambda\)-rings and the \(K\)-theory of \(H\)-spaces
cites work: The \(K\)-theory localizations and \(v_1\)-periodic homotopy groups of H-spaces
cites work: Homotopy limits, completions and localizations
cites work: \(H_{\infty}\) ring spectra and their applications
cites work: Representations of loop groups, Dirac operators on loop space, and modular forms
cites work: Q4010488
cites work: Courbes elliptiques: Formulaire
cites work: Norm residue symbol in local number fields
cites work: Q4716283
cites work: On the Construction of Elliptic Cohomology
cites work: A universal formal group and complex cobordism
cites work: Q3901604
cites work: Q4003464
cites work: Q4866004
cites work: The Brown-Peterson Homology of Elementary p-Groups
cites work: Q3215315
cites work: Higher congruences between modular forms
cites work: Q4078156
cites work: The Eisenstein Measure and P-Adic Interpolation
cites work: Groups of homotopy spheres. I
cites work: \(\mathbf H\mathbf P^ 2\)-bundles and elliptic homology
cites work: Homological Properties of Comodules Over MU ∗ (MU) and BP ∗ (BP)
cites work: The topological \(q\)-expansion principle
cites work: An E [infinity symbol] splitting of spin bordism
cites work: Q3995493
cites work: Q5729677
cites work: Complex and real K-theory and localization
cites work: Elementary proofs of some results of cobordism theory using Steenrod operations
cites work: Localization with Respect to Certain Periodic Homology Theories
cites work: The Morava K-Theories of Eilenberg-MacLane Spaces and the Conner-Floyd Conjecture
cites work: Q4204800
cites work: Q4402037
cites work: Q3710637
cites work: Q4729069
DOI: 10.1007/S00222-003-0355-Y
Recommended article: The local cohomology spectral sequence for topological modular forms
Recommended article: On equivariant topological modular forms
Recommended article: Topological modular forms (aftern Hopkins, Miller, and Lurie)
Recommended article: Local moduli spaces and Kuranishi maps
Recommended article: Topological modular and automorphic forms
Recommended article: \(C_2\)-equivariant topological modular forms
Recommended article: LOCAL STRUCTURE OF MODULI SPACES
Recommended article: Q6039811
Recommended article: The \(\mathsf{P}^1_2\) margolis homology of connective topological modular forms
Recommended article: Q5225561