Complete calculation of the strict-unit spectrum of topological modular forms
This paper computes the spectrum of strict units of TMF, the spectrum of topological modular forms. “Strict units” are a homotopy-theoretic analogue of the group of invertible elements in a ring. Concretely, for a highly structured ring object R one defines Gm(R) as the connective cover of the mapping spectrum from the integral group ring of Z into R. The authors give a full description of this spectrum when R = TMF.
The main result is a concrete description of the homotopy groups of Gm(TMF). In low degrees the answer contains small finite groups: two copies of Z/2 and a copy of Z/3 appear in degrees 0 and 1. In higher degrees the answer picks up arithmetic information. There are summands Z/Np that come from each prime p, where Np counts certain Frobenius orbits of supersingular elliptic curves over the finite field Fp. A rational vector space A also appears in degree 3 and in an infinite family of odd degrees; the authors identify A as a specific cofiber built from rational polynomial data related to modular forms.
To get these results the authors use standard and deep tools from modern homotopy theory. They break the global computation into local parts using chromatic and arithmetic fracture squares. This reduces the problem to K(2)-local and K(1)-local calculations, where they can apply descent methods and the theory of power operations for highly structured ring spectra. They also rely on classical algebraic geometry of elliptic curves and facts about modular forms to interpret the local answers in arithmetic terms.
Why this matters: strict units are not just abstract gadgets. They detect the chromatic height of a spectrum, they feed into recent duality theorems such as the chromatic Fourier transform, and they describe the natural geometric twists that appear in cohomology theories. TMF itself is a central object that ties stable homotopy theory to the geometry of elliptic curves and to aspects of two-dimensional quantum field theory. A complete calculation of Gm(TMF) therefore supplies concrete input for people working in homotopy theory, arithmetic geometry, and mathematical physics.