The Picard group of topological modular forms via descent theory

Abstract

This paper starts with an exposition of descent-theoretic techniques in the study of Picard groups of ${\mathbf{E}}_{\infty }$-ring spectra, which naturally lead to the study of Picard spectra. We then develop tools for the efficient and explicit determination of differentials in the associated descent spectral sequences for the Picard spectra thus obtained. As a major application, we calculate the Picard groups of the periodic spectrum of topological modular forms $TMF$ and the non-periodic and non-connective $Tmf$. We find that $\mathrm{Pic}(TMF)$ is cyclic of order 576, generated by the suspension $\Sigma TMF$ (a result originally due to Hopkins), while $\mathrm{Pic}(Tmf)=\mathbb{Z}\oplus \mathbb{Z}/24$. In particular, we show that there exists an invertible $Tmf$-module which is not equivalent to a suspension of $Tmf$.

59 pages. Final version - to appear in Geometry and Topology

References in corpus (6)

• Higher Topos Theory
• Units of ring spectra, orientations, and Thom spectra via rigid infinite loop space theory
• Affineness and chromatic homotopy theory
• On a nilpotence conjecture of J.P. May
• K-theory, reality, and duality
• Fibers of partial totalizations of a pointed cosimplicial space

Cited by in corpus (31)

• The higher Morita category of $E_n$-algebras
• A simple universal property of Thom ring spectra
• The $C_2$-spectrum $Tm{f}_1(3)$ and its invertible modules
• Monochromatic homotopy theory is asymptotically algebraic
• Brauer groups and Galois cohomology of commutative ring spectra
• Picard groups of higher real $K$-theory spectra at height $p-1$
• The Brauer group of the moduli stack of elliptic curves
• Derived induction and restriction theory
• Invertible $K(2)$-Local $E$-Modules in $C_4$-Spectra
• Eilenberg-MacLane spectra as equivariant Thom spectra
• Chromatic Cyclotomic Extensions
• Torus actions on stable module categories, Picard groups, and localizing subcategories
• Algebraic chromatic homotopy theory for $B{P}_{\ast }BP$-comodules
• Picard groups and duality for Real Morava $E$-theories
• The Picard group in equivariant homotopy theory via stable module categories
• The homotopy limit problem and the cellular Picard group of Hermitian $K$-theory
• Adjoining roots in homotopy theory
• The ${\mathrm{Sp}}_{k,n}$-local stable homotopy category
• The Lubin-Tate stack and Gross-Hopkins duality
• Exotic Picard groups and chromatic vanishing via the Gross-Hopkins duality
• Smooth generalized symmetries of quantum field theories
• Moduli stack of oriented formal groups and the chromatic filtration
• Yoneda Lemma for $\mathcal{D}$-Simplicial Spaces
• Topological Mathieu Moonshine
• Strict units of commutative ring spectra
• The relative Brauer group of $K(1)$-local spectra
• The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory
• Rank-preserving additions for topological vector bundles, after a construction of Horrocks
• Moduli stack of oriented formal groups and cellular motivic spectra over $\mathbf{C}$
• Local Gorenstein duality in chromatic group cohomology
• $E_n$ ring spectra and Dyer-Lashof operations