C2-EQUIVARIANT TOPOLOGICAL MODULAR FORMS DEXTER CHUA Abstract. We compute the homotopy groups of the C2 fixed points of equi- variant topological modular forms at the prime 2 using the descent spectral sequence. We then show that as a TMF-module, it is isomorphic to the tensor product of TMF with an explicit finite cell complex. Contents 1. Introduction 1 2. Equivariant elliptic cohomology 5 3. The E2 page of the DSS 9 4. Differentials in the DSS 13 5. Identification of the last factor 25 6. Further questions 29 Appendix A. Connective C2-equivariant tmf 30 Appendix B. Sage script 35 References 38 1. Introduction Topological K-theory is one of the first examples of generalized cohomology theories. It admits a natural equivariant analogue — for a G-space X, the group 0 KOG(X) is the Grothendieck group of G-equivariant vector bundles over X. In 0 particular, KOG(∗) = Rep(G) is the representation ring of G. As in the case of non-equivariant K-theory, this extends to a G-equivariant cohomology theory KOG, and is represented by a genuine G-spectrum. We shall call this G-spectrum KO, omitting the subscript, as we prefer to think of this as a global equivariant spectrum — one defined for all compact Lie groups. The G-fixed points of this, written KOBG, is a spectrum analogue of the representation ring, BG 0 BG −n with π0KO = KOG(∗) = Rep(G) (more generally, πnKO = KOG (∗)). These fixed point spectra are readily computable as KO-modules. For example, KOBC2 = KO _ KO; KOBC3 = KO _ KU: arXiv:2101.06841v2 [math.AT] 1 Apr 2021 This corresponds to the fact that C2 has two real characters, while C3 has a real character plus a complex conjugate pair. If one insists, one can write KU = KO^Cη, providing an arguably more explicit description of KOBC3 as a KO-module. In general, KOBG decomposes as a direct sum of copies of KO, KU and KSp, with the factors determined by the representation theory of G [Seg68, p.133–134]. From the chromatic point of view, the natural object to study after K-theory is elliptic cohomology, or its universal version, topological modular forms. Equivariant elliptic cohomology, in various incarnations, has been of interest to many people, include geometric representation theorist and quantum field theorists. Most recently, in [GM20], Gepner and Meier constructed integral equivariant elliptic cohomology and topological modular forms for compact abelian Lie groups, following the outline 1 2 DEXTER CHUA in [Lur09] and the groundwork in [Lur18a; Lur18b; Lur19]. The introduction in [GM20] provides a nice overview of the relevant history, whose efforts we shall not attempt to reproduce. The spectra TMFBCn can be constructed as follows: in [Lur18b], Lurie constructed the universal (derived) oriented1 elliptic curve, which we shall denote p: E!M. Equivariant TMF is then constructed with the property that 1 BCn BS TMF = Γ(E[n]; OE[n]); TMF = Γ(E; OE ); where E[n] is the n-torsion points of the elliptic curve. This is to be compared to the homotopy fixed points (with trivial group action), where E is replaced by the formal group E^. We are interested in explicit descriptions of these spectra as TMF-modules. Much work was done by Gepner–Meier themselves: in [GM20, Theorem 1.1], they computed 1 TMFBS = TMF ⊕ ΣTMF: This corresponds to the fact that the coherent cohomology of a (classical) elliptic curve is concentrated in degrees 0 and 1 by Serre duality. As for finite groups, [GM20, Example 9.4] argues that if ` - jGj or ` > 3, then BG TMF` splits as sums of shifts of TMF1(3), TMF1(2) and TMF. Further, TMF1(3) and TMF1(2) can themselves be described as the smash product of TMF with an 8- and 3-cell complex respectively (see [Mat16, Section 4] for details). Thus, we have BG an explicit description of TMF` as a TMF`-module. This leaves us with the case where ` = 2; 3 and ` j jGj. In this paper, we compute TMFBC2 at the prime 2. Theorem 1.1. There is a (non-canonical) isomorphism of 2-completed TMF- modules TMFBC2 =∼ TMF ⊕ TMF ⊕ TMF ^ DL; −8 −4 −2 −1 where DL is the spectrum S [ν S [η S [2 S , as depicted in Figure 1. This space DL is so named because its dual L is a split summand of the spectrum 0 L0 defined in [BR19, Definition 2.3]; in fact, L0 = L ⊕ S . −1 2 −2 η −4 ν −8 Figure 1. Cell diagram of DL Remark. Despite being a 4-cell complex, the TMF-module TMF ^ DL is really a rank-2 TMF-module. After base change to the flat cover TMF1(3) = BPh2i, all of 2; η; ν vanish, and the (−1)-cell is attached to the (−8)-cell via v2. Since v2 is invertible in TMF1(3), these two cells kill each other off, and we are left with two free cells in degrees −2 and −4. 1“oriented” refers to complex orientation of the associated cohomology theory C2-EQUIVARIANT TOPOLOGICAL MODULAR FORMS 3 Remark. While the theorem is stated for TMF, the same result holds for all elliptic cohomology theories. Indeed, by [MM15, Theorem 7.2], taking global sections gives an equivalence of 1-categories ∼ Γ: QCoh(M) ! ModTMF : Thus, as quasi-coherent sheaves, we have ∼ p∗OE[2] = OM ⊕ OM ⊕ OM ⊗ DL: By the universality of M, the same must hold for all other elliptic cohomology theories. 1.1. Outline of proof. To prove the theorem, we begin by computing the homotopy groups of TMFBC2 . As in the case of TMF, there is a descent spectral sequence BC2 computing π∗TMF whose E2 page is the coherent cohomology of the 2-torsion points of the (classical) universal elliptic curve. BC2 Upon computing the E2 page for TMF , one immediately observes that there are two copies of TMF’s E2 page as direct summands (as one would expect from the answer). We can identify these copies as follows: (1) Applying Γ to the map p: E[2] !M induces 1: Γ(M; OM) ! Γ(E[2]; OE[2]). This is split by the identity section. (2) Since TMF is a genuine C2-equivariant cohomology theory, we get a norm 1 BC2 map TMFhC2 = TMF ^ RP+ ! TMF . Restricting to the bottom cell 1 BC2 of RP+ gives us a map tr: TMF ! TMF , which we call the transfer. We will explore these further in Section 2.2. To simplify the calculation, we can quotient out these factors, and rephrase our original theorem as Theorem 1.2. There is an isomorphism TMFBC2 ≡ TMFBC2 =(1; tr) ' TMF ^ DL: This is proven by computing the homotopy groups of TMFBC2 via its descent spectral sequence, which is now reasonably sparse, followed by an obstruction theory argument. This implies the original theorem via the observation Lemma 1.3. Any cofiber sequence of TMF-modules TMF ⊕ TMF ! ? ! TMF ^ DL splits. Proof. We have to show that [TMF ^ DL; ΣTMF ⊕ ΣTMF]TMF = 0: This is equivalent to showing that π−1TMF ^ L = 0. This follows immediately by running the long exact sequences building TMF ^ L from its cells, since π−2TMF = π−3TMF = π−5TMF = π−9TMF = 0. Remark. At first I only computed the homotopy groups of TMFBC2 . The above identification was discovered when I, for somewhat independent reasons, looked into the homotopy groups of TMF ^ L, and observed that they looked almost the same as that of TMFBC2 . It is, however, TMF ^ DL that shows up above; there is a cofiber sequence TMF ^ L ! TMF ^ DL ! KO; which induces a short exact sequence in homotopy groups. Thus, the homotopy groups of TMF ^ DL and TMF ^ L differ by a single copy of π∗KO, which is hard to notice after inverting ∆. On the other hand, the Adams and Adams–Novikov filtrations of the classes differ, which makes them easy to distinguish in practice. 4 DEXTER CHUA BC2 Remark. As part of the proof, we compute the homotopy groups π∗TMF . To describe the group explicitly, under the decomposition, it remains to specify BC2 π∗TMF ^ DL = π∗TMF . This group is given by the direct sum of the ko-like parts, namely M 8+24k 16+24k π∗Σ ko ⊕ π∗Σ ko; k2Z and what is depicted in Figures 11 and 13. In these figures, each dot is a copy of Z=2, and the greyed out classes are ones that do not survive the spectral sequence (that is, the homotopy groups are given by the black dots). This part is 192-periodic via ∆8-multiplication. 1.2. Overview. In Section 2 we provide relevant background on equivariant elliptic cohomology. Building upon the results in [GM20], we construct Cn-equivariant elliptic cohomology as a functor Spop ! QCoh(E[n]), which gives us the transfer Cn map tr. We then provide an explicit description of the descent spectral sequence for quasi-coherent sheaves over M. In Section 3, we compute the Hopf algebroid presenting E[2] and subsequently BC2 the E2 page of the descent spectral sequence for TMF using the 2-Bockstein spectral sequence. Unfortunately, the coaction involves division in a fairly complex ring, and cocycle manipulations throughout the paper are performed with the aid of sage. The relevant sage code is included in Appendix B. In Section 4, we compute the differentials in the descent spectral sequence. The BC2 key input here is the fact that there is a norm map TMFhC2 ! TMF whose composite all the way down to TMFhC2 is well-understood in terms of stunted projective spaces.