# The Adams spectral sequence for 3-local $\mathrm{tmf}$

D. Culver  University of Illinois, Urbana-Champaign<EMAIL_ADDRESS>
###### Abstract.

The purpose of this article is to record the computation of the homotopy
groups of 3-local $\mathrm{tmf}$ via the Adams spectral sequence.

###### Contents

  1. 1 Introduction
    1. 1.1 Outline of the paper
  2. 2 The mod 3 homology of $\mathrm{tmf}$
  3. 3 Computing the cohomology of $\Gamma$
  4. 4 Determining the Adams $E_{2}$-term
    1. 4.1 Algebraic differentials
    2. 4.2 Algebraic $E_{\infty}$-term
    3. 4.3 Algebraic hidden extensions
    4. 4.4 Comparison to the Adams spectral sequence in $\mathrm{tmf}$-modules
  5. 5 Rational Homotopy of $\mathrm{tmf}$ and modular forms
  6. 6 Adams differentials
    1. 6.1 Adams $d_{2}$-differentials
    2. 6.2 Determining the Adams $E_{3}$-term
    3. 6.3 Higher Adams differentials
    4. 6.4 Hidden extensions

##  1\. Introduction

In this paper, we will carry out a computation of the homotopy groups of
$\mathrm{tmf}$. The homotopy groups of $\mathrm{tmf}$ have been known for
quite some time. For example, the computation of $\pi_{*}\mathrm{tmf}$ was
explicitly written up in [Bauer_2008], though it was known even earlier to
Hopkins and Mahowald (cf. [MahowaldHopkins]). The usual approach to
calculating the homotopy of $\mathrm{tmf}$ and its variants is via the Adams-
Novikov spectral sequence (also referred to as the descent spectral sequence
in this context). One advantage of this approach is that the Adams-Novikov
$E_{2}$-term can be computed using the theory of elliptic curves.

However, there are occasions where one wants to know the Adams spectral
sequence for computing the homotopy groups of a spectrum. That is, one may
want to know the Adams $E_{2}$-term, all differentials, and all hidden
extensions. The purpose of this paper is to record the Adams spectral sequence
for 3-local topological modular forms.

We should mention that the analogous calculation at the prime 2 is being
carried out by Rognes and Bruner ([BrunerRognes]). It is the author’s
understanding that their interest in that spectral sequence stemmed from their
work on the topological Hochschild homology of $\mathrm{tmf}$. We speculate
knowing the Adams spectral sequence at the prime 3 might be useful for similar
reasons.

#### Conventions

In this article, we will implicitly assume that all spectra are 3-complete.
Thus $\mathrm{tmf}$ refers, from here on out, to the 3-completion of the
spectrum of topological modular forms. We will always denote the mod 3
Eilenberg-MacLane spectrum by $H$. Given a Hopf algebra $\Gamma$ and a
comodule $C$ over $\Gamma$, we will abbreviate
$\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3},C)$ by
$\operatorname{Ext}_{\Gamma}(C)$. In the case when $\Gamma=A_{*}$, we will
write $\operatorname{Ext}(C)$. If $C=H_{*}X$ for a spectrum $X$, then we will
abbreviate further to $\operatorname{Ext}(X)$. We will always employ Adams
indexing unless specifically stated otherwise. We let $\zeta_{n}$ denote
$\chi\xi_{n}$ and $\overline{\tau}_{n}$ denote $\chi\tau_{n}$ in the dual
Steenrod algebra. We will use the symbol $\dot{=}$ to indicate equality up to
a multiplicative unit. Finally, for a spectrum $X$, we let $E_{r}(X)$ denote
the $r$th page of the mod 3 Adams spectral sequence for $X$.

###  1.1. Outline of the paper

Recall that the Adams spectral sequence is a convergent spectral sequence of
the form

$\operatorname{Ext}_{A_{*}}(\mathbb{F}_{3},H_{*}\mathrm{tmf})\implies\pi_{*}\mathrm{tmf}^{\wedge}_{3}.$

Thus, a necessary input is $H_{*}\mathrm{tmf}$. This was determined, for
example, in [supplementary], where Rezk shows there is a short exact sequence
of comodules

$0\to\Sigma^{8}\scr{B}\to H_{*}\mathrm{tmf}\to\scr{B}\to 0$

where $\scr{B}$ is a certain subalgebra of the dual Steenrod algebra $A_{*}$.
This is the starting point of our calculation. We view this short exact
sequence as giving a multiplicative filtration of $H_{*}\mathrm{tmf}$ by
comodules, yielding an algebraic spectral sequence

$E_{1}^{*,*,*}=\operatorname{Ext}_{A_{*}}(E_{0}H_{*}\mathrm{tmf})\cong\operatorname{Ext}_{A_{*}}(\scr{B})\otimes
E(b_{4})\implies\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf}).$

In §2 we recall these details and establish a change-of-rings formula for
$\operatorname{Ext}_{A_{*}}(\scr{B})$. In §3 we use a Cartan-Eilenberg
spectral sequence to compute $\operatorname{Ext}_{A_{*}}(\scr{B})$. An expert
in these affairs can safely ignore this section. In §4, we determine the Adams
$E_{2}$-term. In section §5 we discuss the rational homotopy of $\mathrm{tmf}$
and its relationship to modular forms. Finally, in §6, we establish the Adams
differentials and derive $\pi_{*}\mathrm{tmf}$.

#### Acknowledgements

The author would like to thank Mark Behrens for encouraging him to write up
this computation, as well as Bob Bruner for helpful discussions. He would also
like to thank Hood Chatham for creating such a wonderful LaTeXpackage for
drawing spectral sequences as well as for assistance in drawing some of the
charts in this paper. Finally, the author thanks an anonymous referee for
carefully reading earlier drafts of this paper. They caught many typos and
errors and suggested improvements to the exposition, resulting in a better
paper.

##  2\. The mod 3 homology of $\mathrm{tmf}$

In this section we recall necessary facts about the mod 3 homology of
$\mathrm{tmf}$. In [supplementary], it is shown that, as an algebra, the
homology of $\mathrm{tmf}$ is given by

$H_{*}\mathrm{tmf}\cong E(b_{4})\otimes\scr{B}$

where $|b_{4}|=8$ and

$\scr{B}:=\mathbb{F}_{3}[\zeta_{1}^{3},\zeta_{n}\mid n\geq 2]\otimes
E(\overline{\tau}_{n}\mid n\geq 3)$

where the generators have the degrees

$\displaystyle|\xi_{n}|$ $\displaystyle=2(3^{n}-1)$
$\displaystyle|\overline{\tau}_{n}|$ $\displaystyle=2\cdot 3^{n}-1$

Here, the $\zeta_{i}$ are conjugate to Milnor’s element $\xi_{i}$, and
likewise $\overline{\tau}_{n}$ is the conjugate of Milnor’s $\tau_{n}$
[greenbook, Theorem 3.1.1]. One can easily check that $\scr{B}$ is a comodule
algebra over $A_{*}$. Note also that for degree reasons, the class $b_{4}$ is
an $A_{*}$-comodule primitive. Indeed, if

$\alpha(b_{4})=1\otimes b_{4}+\sum_{i}x_{i}^{\prime}\otimes
x_{i}^{\prime\prime}$

then the degrees of $x_{i}^{\prime\prime}$ are less than that of $b_{4}$. But
$b_{4}$ is the lowest positive degree element of $H_{*}\mathrm{tmf}$.

Furthermore, Rezk shows that there is nontrivial extension of comodules

(2.1) ${0}$${\Sigma^{8}\scr{B}}$${H_{*}\mathrm{tmf}}$${\scr{B}\to 0.}$

Applying $\operatorname{Ext}_{A_{*}}(-)$ to this short exact sequence of
comodules yields a long exact sequence in Ext. We regard this as a convergent
spectral sequence

$\operatorname{Ext}(\Sigma^{8}\scr{B})\oplus\operatorname{Ext}(\scr{B})\implies\operatorname{Ext}(H_{*}\mathrm{tmf}).$

The fact that 2.1 is a nontrivial extension implies that this spectral
sequence does not immediately collapse. Determining the differentials in this
spectral sequence is the subject of section 4. Thus, it is apparent that we
need to compute the Ext groups of $\scr{B}$. We will simplify this by
establishing a change-of-rings formula.

######  Definition 2.2.

Let $\Gamma$ be the Hopf algebra

$\Gamma:=A_{*}/(\zeta_{1}^{3},\zeta_{n},\overline{\tau}_{m}\mid n\geq 2,m\geq
3)\cong\mathbb{F}_{3}[\zeta_{1}]/(\zeta_{1}^{3})\otimes
E(\overline{\tau}_{0},\overline{\tau}_{1},\overline{\tau}_{2})$

with the induced coproduct from the dual Steenrod algebra.

######  Example 2.3.

In the dual Steenrod algebra, the coproduct on $\overline{\tau}_{2}$ is given
by

$\psi(\overline{\tau}_{2})=\overline{\tau}_{2}\otimes
1+\overline{\tau}_{0}\otimes\zeta_{2}+\overline{\tau}_{1}\otimes\zeta_{1}^{3}+1\otimes\overline{\tau}_{2}.$

Thus, in $\Gamma$, $\overline{\tau}_{2}$ is a Hopf algebra primitive. On the
other hand,

$\psi(\overline{\tau}_{1})=\overline{\tau}_{1}\otimes
1+\overline{\tau}_{0}\otimes\zeta_{1}+1\otimes\overline{\tau}_{1}.$

Thus this Hopf algebra is not primitively generated.

The proof of the following proposition is standard.

######  Proposition 2.4.

There is an isomorphism

$\scr{B}\cong A_{*}\boxempty_{\Gamma}\mathbb{F}_{3}.$

We derive the following corollary from Theorem A1.3.12 of [greenbook].

######  Corollary 2.5.

There is a change-of-rings isomorphism

$\operatorname{Ext}(\scr{B})\cong\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3}).$

Thus we must compute the cohomology of the Hopf algebra $\Gamma$. This is done
in the next section.

##  3\. Computing the cohomology of $\Gamma$

In the last section we showed that the Ext groups of $\scr{B}$ are
$\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3})$. Since $\Gamma$ is a finite Hopf
algebra, there is hope of computing its cohomology. Recall that $A(1)$ is the
subalgebra of the Steenrod algebra generated by the Bockstein $\beta$ and
$\mathcal{P}^{1}$. Its dual is

$A(1)_{*}\cong\mathbb{F}_{3}[\zeta_{1}]/(\zeta_{1}^{3})\otimes
E(\overline{\tau}_{0},\overline{\tau}_{1}).$

In paticular, $A(1)_{*}$ is a sub-Hopf algebra of $\Gamma$. The following
proposition relies on the material in the first appendix of [greenbook]. We
recommend the reader look at Definition A1.1.15. The following lemma is easily
checked.

######  Lemma 3.1.

The following

$A(1)_{*}\to\Gamma\to E(\overline{\tau}_{2})$

is a cocentral extension of Hopf algebras over $\mathbb{F}_{3}$.

When one has an extension of Hopf algebras, one can consider the Cartan-
Eilenberg spectral sequence. In general, if

$(D,\Phi)\to(A,\Gamma)\to(A,\Sigma)$

is an extension of Hopf algebroids, $N$ is a left comodule over $\Gamma$, then
there is a natural convergent spectral sequence of the form

$E_{2}^{f,s,t}=\operatorname{Ext}^{f,t}_{\Phi}(D,\operatorname{Ext}^{s}_{\Sigma}(A,N))\implies\operatorname{Ext}^{f+s,t}_{\Gamma}(A,N).$

Here, $f$ denotes the filtration degree, $s$ is the cohomological degree, and
$t$ is the internal degree. The differentials are of the form

$d_{r}:E_{r}^{f,s,t}\to E_{r}^{f+r,s-r+1,t}.$

See A1.3.14 and A1.3.15 of [greenbook] for details on this spectral sequence.
Applied to our extension of Hopf algebras with $N=\mathbb{F}_{3}$, this
spectral sequence takes on the form

(3.2)
$E_{2}^{f,s,t}=\operatorname{Ext}^{f,t}_{A(1)_{*}}(\mathbb{F}_{3},\operatorname{Ext}^{s}_{E(\overline{\tau}_{2})}(\mathbb{F}_{3},\mathbb{F}_{3}))\implies\operatorname{Ext}^{f+s,t}_{\Gamma}(\mathbb{F}_{3}).$

Since $E(\overline{\tau}_{2})$ is a primitively generated exterior Hopf
algebra, we have that

$\operatorname{Ext}_{E(\overline{\tau}_{2})}(\mathbb{F}_{3})\cong\mathbb{F}_{3}[v_{2}]$

where the $(s,t)$-bidegree of $v_{2}$ is $(1,17)$. Note that since
$\mathbb{F}_{3}$ is a comodule algebra, the Cartan-Eilenberg spectral sequence
is multiplicative.

In order to determine the $E_{2}$-page of this spectral sequence, we need to
understand the coaction of $A(1)_{*}$ on $\mathbb{F}_{3}[v_{2}]$. As
$\mathbb{F}_{3}[v_{2}]$ is a comodule algebra over $A(1)_{*}$, it is enough to
determine the coaction on $v_{2}$.

######  Lemma 3.3.

Under the canonical $A(1)_{*}$-coaction on
$\operatorname{Ext}_{E(\overline{\tau}_{2})}(\mathbb{F}_{3})$, the element
$v_{2}$ is a comodule primitive.

###### Proof.

Observe that the largest degree element of $A(1)_{*}$ is
$\zeta_{1}^{2}\overline{\tau}_{0}\overline{\tau}_{1}$, which has degree 14.
Since

$\operatorname{Ext}_{E(\overline{\tau}_{2})}(\mathbb{F}_{3})\cong\mathbb{F}_{3}[v_{2}],\,\,\,\,|v_{2}|=(1,17)$

the coaction on $v_{2}$ must be $1\otimes v_{2}$ for degree reasons. ∎

######  Corollary 3.4.

The $E_{2}$-term of the Cartan-Eilenberg spectral sequence (CESS) is given by

$E_{2}\cong\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\otimes\mathbb{F}_{3}[v_{2}]$

where $v_{2}$ is in $(f,s,t)$-degree $(0,1,17)$ and
$\operatorname{Ext}^{a,t}_{A(1)_{*}}(\mathbb{F}_{3})$ is in tridegree
$(a,0,t)$.

Thus we must determine the cohomology of $A(1)_{*}$. The May spectral sequence
can be used for this purpose. Later, we will need to use May’s convergence
theorem to give a proof for Lemma 4.7, so we collect some details about the
spectral sequence here. The reader is referred to [greenbook, 3.2] for further
details.

This spectral sequence is obtained by putting a filtration on

$A(1)_{*}=P(\zeta_{1})/(\zeta_{1}^{3})\otimes
E(\overline{\tau}_{0},\overline{\tau}_{1}).$

This filtration is defined by assigning the generators of $A(1)_{*}$ the
following _May weight_.

  * •

$MF(\overline{\tau}_{0})=MF(\zeta_{1})=1$,

  * •

$MF(\overline{\tau}_{1})=3$.

The associated graded of this filtration is given by

$E^{0}A(1)_{*}=P(\zeta_{1})/(\zeta_{1}^{3})\otimes
E(\overline{\tau}_{0},\overline{\tau}_{1})$

but now with $\zeta_{1},\overline{\tau}_{0},\overline{\tau}_{1}$ as primitive
elements. This produces a filtration on the cobar complex for $A(1)_{*}$,
resulting in the May spectral sequence

$E_{1}^{m,s,t}\implies\operatorname{Ext}_{A(1)_{*}}^{s,t}(\mathbb{F}_{3}),$

with the following $E_{1}$-term,

$E_{1}=\operatorname{Ext}_{E^{0}A(1)_{*}}(\mathbb{F}_{3})\cong\operatorname{Ext}_{P(\zeta_{1})/\zeta_{1}^{3}}(\mathbb{F}_{3})\,\otimes\,\operatorname{Ext}_{E(\overline{\tau}_{0},\overline{\tau}_{1})}(\mathbb{F}_{3})\cong
E(\alpha_{1})\,\otimes\,P(v_{0},v_{1},\beta).$

Here we are using the fact that

$\operatorname{Ext}_{E(\overline{\tau}_{0},\overline{\tau}_{1})}(\mathbb{F}_{3})\cong
P(v_{0},v_{1})$

since $\overline{\tau}_{0},\overline{\tau}_{1}$ are primitive and that

$\operatorname{Ext}_{P(\zeta_{1})/\zeta_{1}^{3}}(\mathbb{F}_{3})\cong
E(\alpha_{1})\otimes P(\beta)$

since $\zeta_{1}$ is primitive. The tri-degrees of these classes in the May
spectral sequence are recorded below:

  1. (1)

$|\alpha_{1}|=(1,1,4)$,

  2. (2)

$|\beta|=(3,2,12)$,

  3. (3)

$|v_{0}|=(1,1,1)$,

  4. (4)

$|v_{1}|=(3,1,5)$.

Moreover, the $\operatorname{Ext}$-groups of primitively generated truncated
polynomial algebras also have the following Massey product

$\beta=\langle\alpha_{1},\alpha_{1},\alpha_{1}\rangle,$

see [greenbook, Lemma 3.2.4]. Indeed, $\beta$ can be represented in the cobar
complex for $P(\zeta_{1})/\zeta_{1}^{3}$ by

$[\zeta_{1}^{2}\mid\zeta_{1}]-[\zeta_{1}\mid\zeta_{1}^{2}]$

which is precisely the Massey product above. Finally, the coproduct on
$A(1)_{*}$ gives the $d_{1}$-differential

$d_{1}(v_{1})=v_{0}\alpha_{1}.$

The rest of the $d_{1}$-differentials are propagated from this one and the
multiplicativity of the May spectral sequence.

######  Proposition 3.5.

The algebra $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$ is given by

$\mathbb{F}_{3}[v_{0},v_{1}^{3},\beta]\otimes
E(\alpha_{1},\alpha_{2})/(v_{0}\alpha_{1},v_{0}\alpha_{2},\alpha_{1}\alpha_{2}-v_{0}\beta)$

where the $(s,t)$-bidegrees of the generators are given by

  * •

$|\alpha_{1}|=(1,4)$,

  * •

$|\beta|=(2,12)$,

  * •

$|\alpha_{2}|=(2,9)$,

  * •

$|v_{0}|=(1,1)$,

  * •

$|v_{1}|=(1,5)$

A chart for this Ext group is given below.

From now on, we will write $c_{6}$ for $v_{1}^{3}$. This is justified by
Proposition 5.5 below. For degree reasons, this spectral sequence collapses.
Indeed, if we use $(t-s,s)$-indexing to depict the Cartan Eilenberg spectral
sequence $E_{2}$-term, then a $d_{r}$-differential goes up vertically
$s-r+1$-spaces. Since $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})=0$ in
degree $t-s=16$, it follows there cannot be any differentials on $v_{2}$.

######  Corollary 3.6.

The cohomology of the Hopf algebra $\Gamma$ is given by

$\mathbb{F}_{3}[v_{0},c_{6},v_{2},\beta]\otimes
E(\alpha_{1},\alpha_{2})/(v_{0}\alpha_{1},v_{0}\alpha_{2},v_{0}\alpha_{2}-v_{0}\beta).$

###### Proof.

We have already shown that this is the $E_{\infty}$-page. All that remains to
be shown is that there are no hidden extensions. First, note that in (3.2),
$f$ denotes the filtration degree. Thus $v_{2}$ is in filtration 0. The
Cartan-Eilenberg spectral sequence arises from an increasing filtration on a
cochain complex (see [greenbook, A1.3.14, A1.3.16] for details). Thus, if $x$
and $y$ are two classes, then a hidden extension from $xy$ to $z$ implies that
the filtration of $z$ is larger than that of $xy$. Note also that there are no
hidden extensions in the
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$-submodule generated by 1. This
is seen, for example, by noticing that the map $A(1)_{*}\to\Gamma$ induces a
map in $\operatorname{Ext}$,

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\to\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3}).$

So, the only possible hidden extensions would involve products of classes in
the ideal generated by $v_{2}$. Suppose $v_{2}^{i}x$ and $v_{2}^{j}y$ are
classes with $x,y\in\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$. Then if
$v_{2}^{i}x\cdot v_{2}^{j}y=v_{2}^{i+j}xy=0$, there could be a hidden
extension to a class in higher filtration, let’s say there was an extension
$v_{2}^{i+j}xy=v_{2}^{k}z$ with
$z\in\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$. Note that in the usual
Adams indexing the bidegrees must agree. Let us name the tri-degrees of these
classes,

  * •

$|x|=(f_{0},0,t_{0})$

  * •

$|y|=(f_{1},0,t_{1})$

  * •

$|z|=(f_{2},0,t_{2})$.

Then the tri-degree of $v_{2}^{i}x\cdot v_{2}^{j}y=v_{2}^{i+j}xy$ is

$(f_{0}+f_{1},i+j,t_{0}+t_{1}+17(i+k))$

whereas the tri-degree for $v_{2}^{k}z$ is

$(f_{2},k,t_{2}+17k).$

These classes detect elements in $\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3})$
of bidegrees

$(f_{0}+f_{1}+i+j,t_{0}+t_{1}+17(i+j))$

and

$(f_{2}+k,t_{2}+17k)$

respectively. These bidegrees must be equal, but in order for this to be a
hidden extension, we must have $f_{0}+f_{1}<f_{2}$. This implies that $i+j>k$.
Since $v_{2}$ is not a zero divisor on $E_{\infty}$, it follows that it is not
a zero divisor in $\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3})$. Thus, if we
had the equality

$v_{2}^{i+j}xy=v_{2}^{k}z$

in $\operatorname{Ext}_{\Gamma}$, then we would have

$v_{2}^{i+j-k}xy=z$

in $\operatorname{Ext}_{\Gamma}$. However, on $E_{\infty}$, the only way we
could have had $v_{2}^{i}x\cdot v_{2}^{j}y=0$ is if $xy=0$. Since
$x,y\in\operatorname{Ext}_{A(1)_{*}}^{s,t}(\mathbb{F}_{3})\cdot\\{1\\}$, it
follows that $xy=0$ in $\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3})$. This
implies that $z=0$. So there are no hidden extensions. ∎

##  4\. Determining the Adams $E_{2}$-term

In this section we will determine the $E_{2}$-term of the Adams spectral
sequence converging to $\pi_{*}\mathrm{tmf}$. The way this will be achieved is
by applying the functor $\operatorname{Ext}(-)$ to the short exact sequence
(2.1) to obtain a long exact sequence. Regarding this as a spectral sequence
provides us with

$E_{1}=\operatorname{Ext}(\Sigma^{8}\scr{B})\oplus\operatorname{Ext}(\scr{B})\implies\operatorname{Ext}(\mathrm{tmf}).$

For the purposes of this paper, we will refer to this spectral sequence as the
_algebraic spectral sequence_.

###  4.1. Algebraic differentials

The short exact sequence (2.1) gives a multiplicative filtration of
$H_{*}\mathrm{tmf}$ by $A_{*}$-comodules. More precisely, we filter
$H_{*}\mathrm{tmf}$ by setting $F_{0}H_{*}\mathrm{tmf}=H_{*}\mathrm{tmf}$ and
$F_{1}H_{*}\mathrm{tmf}:=(b_{4})$, the ideal generated by $b_{4}$. Since
$b_{4}$ is a comodule primitive, this is a filtration by comodules. The
algebraic spectral sequence is then the spectral sequence associated to this
filtration. Since the filtration is multiplicative, the spectral sequence is
as well. Moreover, there is an isomorphism of $A_{*}$-comodule algebras

$E_{0}H_{*}\mathrm{tmf}\cong\scr{B}\otimes E(b_{4})$

with $\scr{B}$ concentrated in filtration degree 0 and $b_{4}$ a comodule
primitive in filtration degree 1. Thus

$E_{1}^{s,t,f}\cong\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3})\otimes
E(b_{4})$

as a graded ring. Note that the bidegree of $b_{4}$ is $(0,8,1)$. Since this
spectral sequence arises from a long exact sequence in $\operatorname{Ext}$,
there is only a $d_{1}$-differential which has the form

$d_{1}:E_{1}^{s,t,0}\to E_{1}^{s+1,t,1}.$

In depicting charts we will always use the Adams indexing convention and use
the axes $(t-s,s)$ and suppress the filtration degree.

Below is a chart (Figure 4.1) for the $E_{1}$-page of the algebraic spectral
sequence. The classes in blue are those in the coset for $b_{4}$ in the
$E_{1}$-page. In other words, they have filtration 1 with respect to the
filtration on $H_{*}\mathrm{tmf}$. Note that the tri-degree of the
$d_{1}$-differential implies that all differentials originate from a black
class and target a blue class.

Figure 4.1. The $E_{1}$ and $E_{2}$-page of the algebraic spectral sequence:
$\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3})\otimes
E(b_{4})\implies\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf})$

We will now determine the differentials in the algebraic spectral sequence.
First, we make the following simple observation.

######  Lemma 4.1.

For degree reasons, the classes $\alpha_{1},\alpha_{2},b_{4},\beta$, and
$c_{6}$ are permanent cycles of the algebraic spectral sequence.

This observation and the multiplicativity of the spectral sequence eliminate
many possible differentials.

From the known computation of $\pi_{*}\mathrm{tmf}$ (cf. [Bauer_2008]), we see
that $\pi_{15}\mathrm{tmf}=0$. In the $E_{1}$-term of the algebraic spectral
sequence, there are two classes in stem 15; the class $b_{4}\alpha_{2}$ and
the class $c_{6}\alpha_{1}$. Both of these classes must die, but for degree
reasons the only possibility is the following differential111The class
$c_{6}\alpha_{1}$ will be dealt with by an Adams differential.

$d_{1}(v_{2})\,\dot{=}\,b_{4}\alpha_{2}.$

Multiplicativity of the spectral sequence and the previous lemma yields the
following result.

######  Proposition 4.2.

The algebraic spectral sequence has the following $d_{1}$-differentials

$\displaystyle
d_{1}(v_{2}^{i}v_{0}^{j}c_{6}^{k}\beta^{\ell}\alpha_{1}^{\epsilon})$
$\displaystyle\,\dot{=}\,v_{2}^{i-1}v_{0}^{j}c_{6}^{k}\beta^{\ell}\alpha_{1}^{\epsilon}b_{4}\alpha_{2}$
$\displaystyle i\not\equiv 0\mod 3$

for natural numbers $i,j,k,\ell$ and $\epsilon\in\\{0,1\\}$. There are no
other differentials.

Consequently, this spectral sequence is periodic on the element $v_{2}^{3}$.

######  Remark 4.3.

It would be nice to have an argument for this differential from first
principles, but the author is not currently aware of one. He suspects this
implies the existence of an interesting coproduct on $H_{*}\mathrm{tmf}$.

###  4.2. Algebraic $E_{\infty}$-term

We will now describe a few patterns which make up the $E_{\infty}$-page of the
algebraic spectral sequence. We will describe these patterns as certain
modules over $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$ along with the
monomial of the algebraic spectral sequence which generates it.

  1. (Pattern 1)

Since $v_{2}^{3}$ is a permanent cycle, we have the free
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$ modules on the powers of
$v_{2}^{3}$ and the $v_{2}^{3}$-multiples of $v_{2}^{2}b_{4}$, i.e. for all
$j\geq 0$,

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\cdot\\{v_{2}^{3j},v_{2}^{3j+2}b_{4}\\};$

  2. (Pattern 2)

For $j\equiv 0,1\mod 3$, we have the patterns

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2})\cdot\\{v_{2}^{j}b_{4}\\}$

  3. (Pattern 3)

For $j\not\equiv 0\mod 3$, we have the following patterns

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}v_{2}^{j}\\}\oplus\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2},v_{0})\cdot\\{v_{2}^{j}\alpha_{2}\\}.$

The way we obtained these patterns was by noting that, as a module over
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$, the $E_{1}$-page of the
algebraic spectral sequence is freely generated by the monomials
$v_{2}^{j}b_{4}^{\epsilon}$. In other words, we have an isomorphism of
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$-modules,

$E_{1}\cong\bigoplus_{j\geq
0,\,\varepsilon\in\\{0,1\\}}\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\cdot\\{v_{2}^{j}b_{4}^{\varepsilon}\\}.$

The three patterns arise by partitioning the free modules
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\cdot\\{v_{2}^{j}b_{4}^{\epsilon}\\}$
into those which neither receive nor support any differentials (Pattern 1),
receive differentials (Pattern 2), or support differentials (Pattern 3).

######  Remark 4.4.

In later parts of this paper we will need to refer to these patterns. We will
refer to them as _patterns of type $j$ on generator $x$_. So for example, if
we look at the pattern on the Adams $E_{2}$-term generated by the monomial
$v_{2}^{4}b_{4}$, then we will call this a pattern of type 2 on generator
$v_{2}^{4}b_{4}$. For patterns of the third type, we will call these patterns
of type 3 on generator $v_{2}^{j}$. This is potentially confusing since
$v_{2}^{j}$ does not survive the algebraic spectral sequence unless $j$ is a
multiple of 3. This terminology stems from the fact that this pattern is the
residual piece of a free
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$-module generated by
$v_{2}^{j}$.

Figure 4.2. A depiction of pattern 2 on a generator $x$ Figure 4.3. A
depiction of pattern 3 on a generator $x$

###  4.3. Algebraic hidden extensions

As with any spectral sequence, there is the possibility of extension problems.
We will show that there is a crucial hidden $v_{0}$-extension which will play
an important role in the next section. Namely,

######  Proposition 4.5.

In the algebraic spectral sequence, there is a hidden multiplicative extension

$v_{0}\cdot(v_{2}^{2}\alpha_{2})\,\dot{=}\,v_{2}b_{4}c_{6}\alpha_{1},$

consequently for every natural number $j$ and $k$, we have the hidden
extension

$v_{0}\cdot
v_{2}^{2}c_{6}^{j}\beta^{k}\alpha_{2}\,\dot{=}\,v_{2}c_{6}^{j+1}\beta^{k}b_{4}\alpha_{1}.$

######  Remark 4.6.

One might protest that this is not a hidden extension since
$v_{2}b_{4}c_{6}\alpha_{1}$ is an element in the correct Adams filtration.
However, from the perspective of the algebraic spectral sequence,
$v_{2}^{2}\alpha_{2}$ has filtration 0 and $v_{2}b_{4}c_{6}\alpha_{2}$ has
filtration 1. Since $v_{0}$ has filtration 0, this is in fact a hidden
extension.

Before proving this, we will need to show the following.

######  Lemma 4.7.

In $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$, there is the Massey
product

$c_{6}\alpha_{1}\in\langle v_{0},\alpha_{2},\alpha_{2}\rangle.$

and there is zero indeterminacy.

To prove this, we need to recall May’s Convergence theorem. The proof of this
fact can be found as Theorem 4.1 of [MR0238929], but we will only be
interested in the case of a three-fold Massey product. The variant we will use
is Theorem 2.2.2 of [StableStems]. However, since we are working at an odd
prime, we have to keep track of signs. In the following, if $x$ is a class in
degree $n$, then we write $\overline{x}$ for $(-1)^{n+1}x$ (see [greenbook,
Appendix 4] for further details).

######  Theorem 4.8 (May’s Convergence Theorem).

Let $\alpha_{0},\alpha_{1},\alpha_{2}$ be elements of $\operatorname{Ext}$
such that the Massey product $\langle\alpha_{0},\alpha_{1},\alpha_{2}\rangle$
is defined. For each $i$, let $a_{i}$ be a permanent cycle on the May
$E_{r}$-page which detects $\alpha_{i}$. Suppose further that

  1. (1)

The Massey product $\langle a_{0},a_{1},a_{2}\rangle$ is defined on the
$E_{r+1}$-page: there are $a_{01}$ and $a_{12}$ such that
$d_{r}(a_{01})=\overline{a_{0}}a_{1}$ and
$d_{r}(a_{12})=\overline{a_{1}}a_{2}$.

  2. (2)

If $(m,s,t)$ is the tri-degree of either $a_{01}$ or $a_{12}$, and for for any
$m^{\prime}\geq m$ and $q$ such that $m^{\prime}-q<m-r$, the differential

$d_{q}:E_{q}^{m^{\prime},s,t}\to E_{q}^{m^{\prime}-q+1,s+1,t}$

is zero.

Then the element $\overline{a_{01}}a_{3}+\overline{a_{0}}a_{12}$ is a
permanent cycle and detects an element of
$\langle\alpha_{0},\alpha_{1},\alpha_{2}\rangle$.

######  Remark 4.9.

The second condition in May’s Convergence Theorem is often expressed by saying
there are no “crossing differentials”.

We will use May’s convergence theorem to give a proof for Lemma 4.7. From the
discussion of the May spectral sequence right before Proposition 3.5,
$\alpha_{2}:=v_{1}\alpha_{1}$ is a non-zero permanent cycle. One easily shows
that

######  Lemma 4.10.

In $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$, there is the Massey
product

$\alpha_{2}=\langle v_{0},\alpha_{1},\alpha_{1}\rangle.$

###### Proof of Lemma 4.7.

Since $\alpha_{2}=v_{1}\alpha_{1}$ is exterior on the May $E_{1}$-page, we get
the following defining system $d_{1}(v_{1}^{2})=\overline{v_{0}}\alpha_{2}$
and $d_{1}(0)=\alpha_{2}^{2}$ for the Massey product $\langle
v_{0},\alpha_{2},\alpha_{2}\rangle$. This shows that on the May $E_{1}$-page
we have $v_{1}^{2}\alpha_{2}=c_{6}\alpha_{1}$ is in $\langle
v_{0},\alpha_{2},\alpha_{2}\rangle$.

Since $\alpha_{2}^{2}=0$ and $v_{0}\alpha_{2}=0$ in
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$, the Massey product $\langle
v_{0},\alpha_{2},\alpha_{2}\rangle$ is defined in
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$. Furthermore, there is no
indeterminacy of this Massey product. So we just need to check the second
condition of May’s Convergence Theorem, that there are no crossing
differentials. Note that $v_{1}^{2}\in E_{1}^{6,2,10}$ and that
$E_{2}^{m,2,10}=0$ for all $m$. So condition (2) is satisfied here. Likewise,
note that $(v_{1}\alpha_{1})^{2}\in E_{1}^{8,4,18}$ and that
$E_{1}^{m,3,18}=0$ for all $m$. Thus there are no nonzero differentials to
worry about. So condition (2) is always satisfied here as well. Thus we may
apply May’s Convergence Theorem to infer that

$c_{6}\alpha_{1}\in\langle v_{0},\alpha_{2},\alpha_{2}\rangle.$

It is easy to see that there is no indeterminacy. ∎

######  Remark 4.11.

Keep in mind that May’s convergence theorem is actually very general (cf. the
discussion preceeding [greenbook, A1.4.10]). It applies to any spectral
sequence which arises from a multiplicative filtration on a DGA. In
particular, it applies to the Cartan-Eilenberg SS and the algebraic SS we have
used. Since the Cartan-Eilenberg SS collapses, and since the algebraic SS only
has $d_{1}$-differentials, the May Convergence Theorem vacuously applies to
these spectral sequences.

Thus, we derive the following corollary.

######  Corollary 4.12.

In $\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf})$ there is the Massey

$c_{6}\alpha_{1}\,\dot{=}\,\langle v_{0},\alpha_{2},\alpha_{2}\rangle.$

We will use this corollary to derive the hidden multiplicative extension.

###### Proof of Proposition 4.5.

One can check, using the May Convergence Theorem applied to the algebraic
spectral sequence, that one has the Massey product

$\pm v_{2}^{2}\alpha_{2}\in\langle\alpha_{2},\alpha_{2},b_{4}v_{2}\rangle,$

and that this Massey product has no indeterminacy. Note that we do not know
the sign since we only know the differential $d_{1}(v_{2})$ up to sign.

In order to apply the May Convergence Theorem to this Massey product, we must
check that it is defined on $\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf})$.
Note that $\alpha_{2}^{2}=0$ in this Ext group, since there is no nonzero
group in the 14 stem. Furthermore, since hidden extensions must always target
a class in higher filtration, and since the algebraic spectral sequence only
has elements in filtration 0 and 1, it follows that there can be no hidden
extension for the product of $b_{4}v_{2}$ and $\alpha_{2}$. Thus the Massey
product is defined in $\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf})$ (cf.
Remark 4.11). Using the First Juggling Theorem (cf. [greenbook, A1.4.6]), we
have

$v_{0}\cdot(v_{2}^{2}\alpha_{2})\,\dot{=}\,v_{0}\langle\alpha_{2},\alpha_{2},b_{4}v_{2}\rangle\,\dot{=}\,\langle
v_{0},\alpha_{2},\alpha_{2}\rangle
b_{4}v_{2}\,\dot{=}\,c_{6}\alpha_{1}b_{4}v_{2}$

yielding the desired extension. ∎

We will also have occasion to use the following hidden extension.

######  Corollary 4.13.

In the algebraic SS, there is the Massey product

$v_{2}\alpha_{2}\,\dot{=}\,\langle\alpha_{2},\alpha_{2},b_{4}\rangle$

and consequently the hidden extension

$v_{0}\cdot(v_{2}\alpha_{2})\,\dot{=}\,b_{4}\cdot(c_{6}\alpha_{1}).$

###### Proof.

A defining system for the Massey product
$\langle\alpha_{2},\alpha_{2},b_{4}\rangle$ on the $E_{2}$ page is given by
$d_{1}(0)=\alpha_{2}^{2}$ and $d_{1}(v_{2})=\alpha_{2}b_{4}$. Observe that
there is no indeterminacy. So by May’s convergence theorem we have the Massey
product

$v_{2}\alpha_{2}\,\dot{=}\,\langle\alpha_{2},\alpha_{2},b_{4}\rangle.$

Since this Massey product and $\langle v_{0},\alpha_{2},\alpha_{2}\rangle$ are
both strictly defined, we get from the First Juggling Theorem [greenbook,
A1.4.6(c)] the following equalities

$b_{4}c_{6}\alpha_{1}\,\dot{=}\,\langle v_{0},\alpha_{2},\alpha_{2}\rangle
b_{4}\,\dot{=}\,v_{0}\langle\alpha_{2},\alpha_{2},b_{4}\rangle\,\dot{=}\,v_{0}(v_{2}\alpha_{2}).$

∎

###  4.4. Comparison to the Adams spectral sequence in $\mathrm{tmf}$-modules

We now make a few remarks comparing the $E_{2}$-term of the Adams spectral
sequence for $\mathrm{tmf}$ and the Adams spectral sequence for $\mathrm{tmf}$
in $\mathrm{tmf}$-modules as studied by Hill ([Hill_2007, Section 2]). The
latter is a spectral sequence

$E_{2}^{s,t}=\operatorname{Ext}^{s,t}_{A^{\mathrm{tmf}}_{*}}(\mathbb{F}_{3})\implies\pi_{t-s}\mathrm{tmf}.$

where

$A_{*}^{\mathrm{tmf}}=\pi_{*}\left(H\wedge_{\mathrm{tmf}}H\right)\cong
A(1)_{*}\otimes E(a_{2})$

where $a_{2}$ is in degree 9. This class has an interesting coproduct, but
this does not concern us here. What is interesting for us, however, is that in
order to compute this coproduct, Hill filters $A^{\mathrm{tmf}}_{*}$
([Hill_2007, Theorem 2.2]), resulting in an algebraic spectral sequence

$E_{1}^{s,t,*}=\operatorname{Ext}^{s,t}_{E_{0}A^{\mathrm{tmf}}_{*}}(\mathbb{F}_{3})\implies\operatorname{Ext}^{s,t}_{A^{\mathrm{tmf}}_{*}}(\mathbb{F}_{3}).$

One easily derives that

$E_{1}^{s,t,*}=\operatorname{Ext}^{s,t}_{E_{0}A^{\mathrm{tmf}}_{*}}(\mathbb{F}_{3})\cong\operatorname{Ext}^{s,t}_{A(1)_{*}}(\mathbb{F}_{3})\otimes
P(\widetilde{c_{4}})$

where $\widetilde{c_{4}}$ is the class represented in the cobar complex of
$E_{0}A^{\mathrm{tmf}}_{*}$ by $[a_{2}]$. In particular, $\widetilde{c_{4}}\in
E_{1}^{1,9,1}$. The term $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$ is
concentrated in filtration degree 0. It turns out that this $E_{1}$-page is in
bijection with the $E_{1}$-term of our algebraic spectral sequence, but with
various elements in ours in the “wrong” filtration. For example, our element
$b_{4}$ corresponds to Hill’s element $\widetilde{c}_{4}$. The former is in
tridegree $(0,8,1)$ but the latter is in tridegree $(1,8,1)$.

We provide a short dictionary relating various names in our spectral sequence
to Hill’s algebraic spectral sequence.

alg’c SS | Hill’s alg’c SS
---|---
$b_{4}$ | $\widetilde{c_{4}}$
$v_{2}$ | $\widetilde{c_{4}}^{2}$
$b_{4}v_{2}$ | $\widetilde{c_{4}}^{3}$
⋮ | ⋮

In particular, the element that Hill calls
$\widetilde{c_{4}}^{2\ell+\varepsilon}$ corresponds to the element we call
$b_{4}^{\varepsilon}v_{2}^{\ell}$. Moreover, Hill is able to derive a
differential $d_{1}(\widetilde{c_{4}})=\alpha_{2}$. Algebraic manipulation
then yields the following differentials
$d_{2}(\alpha_{2}\widetilde{c_{4}}^{2})=v_{1}^{3}\beta$ and
$d_{2}(v_{0}\widetilde{c_{4}}^{2})=v_{1}^{3}\alpha_{1}$. These all correspond
to various differentials we encounter in this paper as well, but
interestingly, not all of them are algebraic differentials. On the one hand,
the differential $d_{1}(\widetilde{c_{4}}^{2})=-\widetilde{c_{4}}\alpha_{2}$
corresponds to our algebraic differential $d_{1}(v_{2})=b_{4}\alpha_{2}$. But
the differential $d_{1}(\widetilde{c_{4}})=\alpha_{2}$ corresponds to an
_Adams_ $d_{2}$-differential $d_{2}(b_{4})=\alpha_{2}$.

In particular, half of Hill’s algebraic differentials are seen in our
algebraic spectral sequence, but the other half arise as Adams differentials.
It is this discrepancy that makes the $\mathrm{tmf}$-relative Adams spectral
sequence more computable as opposed to the absolute Adams spectral sequence.

##  5\. Rational Homotopy of $\mathrm{tmf}$ and modular forms

In this section, we examine the $v_{0}$-inverted Adams spectral sequence for
$\mathrm{tmf}$. In this case, the $v_{0}$-inverted Adams spectral sequence
converges to the rational homotopy groups of $\mathrm{tmf}$,

$v_{0}^{-1}\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf})\implies\pi_{*}\mathrm{tmf}_{\mathbb{Q}}.$

To determine the $v_{0}$-localized Adams $E_{2}$-term, we could take the
decomposition from §4.2 and invert $v_{0}$. Alternatively, we could use the
$v_{0}$-localized algebraic spectral sequence,

$v_{0}^{-1}\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\otimes
E(b_{4})\implies v_{0}^{-1}\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf}).$

The latter approach is more convenient. Note that

$v_{0}^{-1}\operatorname{Ext}_{\Gamma}(\mathbb{F}_{3})\cong P(v_{0}^{\pm
1},v_{1}^{3},v_{2}).$

This shows that the $v_{0}$-localized algebraic $E_{1}$-term is concentrated
in even stems, and hence collapses at $E_{1}$. Thus we find that

$v_{0}^{-1}\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf})\cong P(v_{0}^{\pm
1},v_{1}^{3},v_{2})\otimes E(b_{4})$

and it follows immediately that the $v_{0}$-localized ASS for $\mathrm{tmf}$
collapses at $E_{2}$.

The spectrum $\mathrm{tmf}$ has a close connection to classical modular forms.
The ring of integral modular forms, $MF_{*}$, has been known for quite some
time.

######  Theorem 5.1 (cf. [CourbesElliptiqueFormulaire]).

The ring of integral modular forms is given by

$MF_{*}=\mathbb{Z}[c_{4},c_{6},\Delta]/(c_{4}^{3}-c_{6}^{2}-12^{3}\Delta).$

Here, $c_{4}$ and $c_{6}$ are the normalized Eisenstein series of weight 4 and
6 respectively. Topologically, these have degree 8 and 12 respectively. The
modular form $\Delta$ is often referred to as the _modular discriminant_ , and
is a modular form of weight 12. The precise relationship between
$\pi_{*}\mathrm{tmf}$ and integral modular forms is made by examining the
Adams-Novikov spectral sequence. We need to make use of the following.

######  Theorem 5.2 (cf. [Bauer_2008], [Henriques]).

The edge homomorphism for the Adams-Novikov spectral sequence for
$\mathrm{tmf}$ is a map

$\pi_{*}\mathrm{tmf}\to
MF_{*}(\mathbb{Z}_{(3)}):=MF_{*}\otimes\mathbb{Z}_{(3)}$

where $MF_{*}$ is the ring of classical integral modular forms. The image of
this map contains $c_{4},c_{6},3\Delta,3\Delta^{2}$ and $\Delta^{3}$.
Moreover, this map is a rational isomorphism.

######  Remark 5.3.

Since the edge homomorphism is a map of rings, the theorem determines the
image entirely.

######  Corollary 5.4.

The rational homotopy groups of $\mathrm{tmf}$ are given by

$\pi_{*}\mathrm{tmf}_{\mathbb{Q}}\cong\mathbb{Q}[c_{4},c_{6}].$

Theorem 5.2 will allows us to determine what some of the elements in the Adams
$E_{\infty}$-term detect in $\pi_{*}\mathrm{tmf}$. It will also be used to
later to establish hidden multiplicative extensions in §6.4. We can carry some
of this out even now.

######  Proposition 5.5.

The class $v_{1}^{3}$ in the Adams $E_{2}$-term for $\mathrm{tmf}$ survives to
a non-zero element in $E_{\infty}$ and detects the class $c_{6}$.

###### Proof.

It follows for degree reasons that $v_{1}^{3}$ cannot support or be targeted
by a differential. This implies that $v_{1}^{3}$ survives to a nonzero element
in $E_{\infty}$. From Theorem 5.2, we know that some torsion free element in
the 12 stem must detect $c_{6}$. From the Adams spectral sequence calculation
we see that the only $v_{0}$-tower in stem 12 is the one generated by
$v_{1}^{3}$. Thus $v_{1}^{3}$ detects $c_{6}$. ∎

##  6\. Adams differentials

In this section, we will determine the differentials in the Adams spectral
sequence for $\mathrm{tmf}$. Since $\mathrm{tmf}$ is a commutative ring
spectrum, the Adams spectral sequence is multiplicative. Begin by noting that
there are several classes which are permanent cycles for degree reasons.

######  Lemma 6.1.

The classes $v_{0},\alpha_{1},\alpha_{2},\beta$, and $c_{6}$ are all permanent
cycles for the Adams spectral sequence. Consequently, the differentials in the
Adams spectral sequence are linear over
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$.

This observation is very useful for our calculation for the following reason.
In the last section, we have expressed the Adams $E_{2}$-term as a direct sum
of certain patterns which were modules over
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$. This observation implies that
the only nonzero $d_{2}$-differentials in the Adams spectral sequence will
originate on the monomials which generate these patterns. We will also make
frequent use of the following facts about $\pi_{*}\mathrm{tmf}$.

######  Theorem 6.2 (cf. [Henriques]).

The homotopy groups of $\mathrm{tmf}$ are 72 periodic. Furthermore, the
torsion in $\pi_{*}\mathrm{tmf}$ is concentrated in stems 3, 10, 13, 20, 27,
30, 37, and 40 modulo 72.

We will begin by determining all of the length 2 differentials.

###  6.1. Adams $d_{2}$-differentials

As was mentioned previously, the Adams differentials are all linear over
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$, which means we only have to
figure which of the following families of monomials support Adams
$d_{2}$-differentials: For any natural number $j$

  1. (1)

$v_{2}^{3j}$,

  2. (2)

$v_{2}^{j}b_{4}$,

  3. (3)

$v_{0}v_{2}^{j}$ for $j\equiv 1,2\mod 3$, and

  4. (4)

$v_{2}^{j}\alpha_{2}$ for $j\equiv 1,2\mod 3$.

From our charts (Figures 6.1 and 6.2 below), one sees that $v_{2}^{3}$ can
support a length 3 differential at minimum. Thus, $v_{2}^{3j}$ is a
$d_{2}$-cycle for all $j$. Moreover, there are several multiplicative
relations on the Adams $E_{2}$-term which we get from the previous section.
For example, we have $v_{2}^{3}\cdot(v_{2}b_{4})=v_{2}^{4}b_{4}$.
Consequently, we have

######  Proposition 6.3.

The Adams $d_{2}$-differentials for $\mathrm{tmf}$ are linear over
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\otimes P(v_{2}^{3})$. Thus, we
only need to determine which of the monomials $b_{4}$, $v_{0}v_{2}$,
$v_{2}\alpha_{2}$, $b_{4}v_{2}$, $v_{0}v_{2}^{2}$, $v_{2}^{2}\alpha_{2}$, and
$b_{4}v_{2}^{2}$ support $d_{2}$-differentials.

######  Proposition 6.4.

There is an Adams $d_{2}$-differential

(6.5) $d_{2}(b_{4})\,\dot{=}\,\alpha_{2}.$

###### Proof 1.

From the known computation of $\pi_{*}\mathrm{tmf}$, it is seen that
$\pi_{7}\mathrm{tmf}=0$. Thus, the class $\alpha_{2}$ must die. The only
possibility is the claimed differential. ∎

###### Proof 2.

Recall that in the Adams $E_{2}$-term for $S^{0}$, we have the Massey product

$\beta_{1}=\langle\alpha_{1},\alpha_{1},\alpha_{1}\rangle.$

In the homotopy groups for the sphere, there is the same Toda bracket by Moss’
convergence theorem (see [Moss_1970] or [StableStems, Theorem 3.1.1]). Note
also that $\alpha_{1}$ is represented in the cobar complex by $[\zeta_{1}]$.

In the Adams $E_{2}$-term for $\mathrm{tmf}$, there are classes of the same
name and the same Massey product holds. In the cobar complex for
$\mathrm{tmf}$, the class $\alpha_{1}$ is also represented by $[\zeta_{1}]$.
Thus, under the induced map on $\operatorname{Ext}$ groups

$\operatorname{Ext}_{A_{*}}(\mathbb{F}_{3})\to\operatorname{Ext}_{A_{*}}(H_{*}\mathrm{tmf})$

$\alpha_{1}$ is sent to $\alpha_{1}$. The Massey product then shows that
$\beta_{1}$ is mapped to $\beta$. Hence, $\alpha_{1}$ and $\beta$ are in the
Hurewicz image of the sphere.

It is known from the Adams spectral sequence for the sphere that there is a
$d_{2}$-differential whose target is $v_{0}\beta$ (cf. [greenbook, Figure
1.2.15]). Since $\beta$ is in the Hurewicz image, it follows that
$v_{0}\beta=0$ in $\pi_{*}\mathrm{tmf}$. This forces the Adams differential

$d_{2}(b_{4}\alpha_{1})\,\dot{=}\,v_{0}\beta=\alpha_{1}\alpha_{2}.$

However, as $\alpha_{1}$ is a permanent cycle for the ASS for $\mathrm{tmf}$,
we must have that

$d_{2}(b_{4})\,\dot{=}\,\alpha_{2}$

as stated. ∎

######  Remark 6.6.

This is one of the Adams differentials which occurs as an algebraic
differential in [Hill_2007].

We can draw an interesting consequence from the second argument provided above
(we learned this from Mike Hill and Mark Behrens).

######  Corollary 6.7.

The element $b_{4}\alpha_{1}$ is the image of
$h_{1}\in\operatorname{Ext}(S^{0})$ under the map

$\operatorname{Ext}(S^{0})\to\operatorname{Ext}(\mathrm{tmf}),$

and consequently we have the hidden comodule extension in $H_{*}\mathrm{tmf}$,

$\alpha(\zeta_{1}^{3})=\zeta_{1}^{3}\otimes 1-\zeta_{1}\otimes
b_{4}+1\otimes\zeta_{1}^{3}$

where $\alpha:H_{*}\mathrm{tmf}\to A_{*}\otimes H_{*}\mathrm{tmf}$ denotes the
$A_{*}$-coaction on $H_{*}\mathrm{tmf}$.

###### Proof.

In the Adams spectral sequence for the sphere, it is the class $h_{1}$ which
supports a $d_{2}$-differential killing $v_{0}\beta$. Naturality of the Adams
spectral sequence implies that $h_{1}$ maps to $b_{4}\alpha_{1}$.

In the cobar complex for $S^{0}$, the element $h_{1}$ is represented by
$\zeta_{1}^{3}$. On the other hand, we can represent $b_{4}\alpha_{1}$ in the
cobar complex for $\mathrm{tmf}$ by $[\zeta_{1}]b_{4}$. Thus there must be an
element of $H_{*}\mathrm{tmf}$ which bounds the difference between
$[\zeta_{1}^{3}]$ and $[\zeta_{1}]b_{4}$. The only possibility is

$d([]\zeta_{1}^{3})=[\zeta_{1}^{3}]-[\zeta_{1}]b_{4}.$

This implies the claimed coaction. ∎

######  Proposition 6.8.

There is an Adams $d_{2}$-differential

(6.9) $d_{2}(v_{0}v_{2})\,\dot{=}\,c_{6}\alpha_{1}.$

###### Proof 1.

It is known that $\pi_{15}(\mathrm{tmf})=0$. The only nonzero class in this
stem on the Adams $E_{2}$-term for $\mathrm{tmf}$ is $c_{6}\alpha_{1}$. Thus,
this class must die. The only possibility is the claimed differential. ∎

###### Proof 2.

We provide a second proof which does not rely on a priori knowledge of
$\pi_{*}\mathrm{tmf}$. Recall the Massey product for $c_{6}\alpha_{1}$ we
found in Corollary 4.12. Since $\alpha_{2}$ projects to 0 on the $E_{3}$-page,
we have that the Massey product projects to 0 at $E_{3}$. One also checks that
the indeterminacy for this Massey product on $E_{3}$ is 0. It is also the case
that there is no room for crossing differentials in this range. Thus Moss’
Convergence Theorem ([Moss_1970], [StableStems, Theorem 3.1.1]) implies that
$c_{6}\alpha_{1}$ must project to 0 in $E_{\infty}$. This implies that
$c_{6}\alpha_{1}$ must be killed by a $d_{2}$-differential. The only
possibility is the claimed differential. ∎

One might be tempted to conclude from this that there is a length 2
differential from $b_{4}v_{2}$ to $v_{2}\alpha_{2}$. However, one must be
cautious. Even though $b_{4}v_{2}$ was a product in the $E_{1}$-term of the
algebraic spectral sequence of the last section, it is no longer decomposable
(as $v_{2}$ supported an algebraic differential). In fact, this differential
does not occur. As explained in subsection 4.4, the classes $b_{4}$ and
$v_{2}$ correspond to Hill’s classes $\widetilde{c_{4}}$ and
$\widetilde{c_{4}}^{2}$ respectively. Also, $b_{4}v_{2}$ corresponds to
$\Delta$, the modular discriminant. In any of the computations for
$\pi_{*}\mathrm{tmf}$, there is a differential
$d_{?}(\Delta)=\alpha_{1}\beta^{2}$. This suggests that $b_{4}v_{2}$ ought to
support a length 3 differential to $\alpha_{1}\beta^{2}$. On the other hand,
$\pi_{23}\mathrm{tmf}=0$, and on $E_{2}(\mathrm{tmf})$, there are the nonzero
classes $v_{2}\alpha_{2},\alpha_{1}\beta^{2}$, and $b_{4}c_{6}\alpha_{1}$.
Also, Proposition 6.4 implies that
$d_{2}(c_{6}b_{4}\alpha_{1})=c_{6}\alpha_{1}\alpha_{2}$, taking care of the
class $c_{6}b_{4}\alpha_{1}$. This suggests that $v_{2}\alpha_{2}$ will
support a differential.

######  Proposition 6.10.

In $\pi_{*}\mathrm{tmf}$, one has that $c_{6}\beta=0$. Consequently, there is
an Adams $d_{2}$-differential

(6.11) $d_{2}(v_{2}\alpha_{2})\,\dot{=}\,c_{6}\beta.$

We give two proofs.

###### Proof 1.

By the previous proposition, we can form the Massey product $\langle
c_{6},\alpha_{1},\alpha_{1}\rangle_{E_{3}}$ on the $E_{3}$-page. By the
juggling lemma, [greenbook, Appendix 1], we have that

$c_{6}\beta=c_{6}\langle\alpha_{1},\alpha_{1},\alpha_{1}\rangle=\langle
c_{6},\alpha_{1},\alpha_{1}\rangle\alpha_{1}.$

From the previous proposition, we infer that the Massey product $\langle
c_{6},\alpha_{1},\alpha_{1}\rangle$ contains 0. It is also easy to see that
this Massey product has zero indeterminacy. Thus $c_{6}\beta=0$ in
$E_{3}(\mathrm{tmf})$. Thus $c_{6}\beta$ must be the target of a
$d_{2}$-differential. The only possible source is $v_{2}\alpha_{2}$. ∎

###### Proof 2.

From Proposition 6.4, we deduce that

$d_{2}(b_{4}c_{6}\alpha_{1})=c_{6}\alpha_{1}\alpha_{2}=v_{0}c_{6}\beta.$

The hidden extension 4.13 then implies the stated differential. ∎

The next monomials we need to consider are $b_{4}v_{2},v_{0}v_{2}^{2}$, and
$v_{2}^{2}\alpha_{2}$, in that order. By inspection of the chart, each of
these classes have only one possible target on the $E_{2}$-page. However, one
finds from the previous propositions that each of these potential targets
actually supports a differential. Thus $b_{4}v_{2},v_{0}v_{2}^{2}$, and
$v_{2}^{2}\alpha_{2}$ are $d_{2}$-cycles. Thus we move on to the monomial
$b_{4}v_{2}^{2}$.

######  Proposition 6.12.

There is a $d_{2}$-differential

(6.13) $d_{2}(b_{4}v_{2}^{2})\,\dot{=}\,v_{2}^{2}\alpha_{2}.$

as well as the $d_{2}$-differential

(6.14) $d_{2}(v_{0}b_{4}v_{2}^{2})\,\dot{=}\,v_{2}c_{6}b_{4}\alpha_{1}$

###### Proof 1.

It is known that $\pi_{39}\mathrm{tmf}$ is zero (cf. [Bauer_2008,
supplementary]), but on the $E_{2}$-term, there are the nonzero classes
$v_{2}^{2}\alpha_{2}$ and $v_{2}c_{6}b_{4}\alpha_{1}$ which are not killed by
previously established $d_{2}$-differentials. The only way for
$v_{2}^{2}\alpha_{2}$ to be killed is by a $d_{2}$-differential given by the
claimed differential. The hidden $v_{0}$-extension established in Proposition
4.5 gives us the second differential. ∎

###### Proof 2.

We have already established the differential
$d_{2}(v_{0}v_{2})=c_{6}\alpha_{1}$. Since $v_{2}b_{4}$ is a $d_{2}$-cycle, we
have that

$d_{2}((v_{0}v_{2})v_{2}b_{4})=v_{2}b_{4}c_{6}\alpha_{1}.$

However, in the algebraic spectral sequence, we had the relation

$(v_{0}v_{2})v_{2}b_{4}=v_{0}(b_{4}v_{2}^{2}).$

The multiplicativity of the spectral sequence and the hidden extension in
Proposition 4.5 implies the differential
$d_{2}(b_{4}v_{2}^{2})=v_{2}^{2}\alpha_{2}$. ∎

We can draw from this differential another $d_{2}$-differential.

######  Corollary 6.15.

There is the following $d_{2}$-differential

(6.16) $d_{2}(v_{2}^{2}b_{4}\alpha_{2})\,\dot{=}\,v_{2}c_{6}b_{4}\beta.$

###### Proof.

From the previous proposition we deduce the differential

$d_{2}(v_{2}^{2}b_{4}\beta)\,\dot{=}\,v_{2}^{2}\alpha_{2}\beta.$

However, we have from Proposition 4.5 that

$v_{0}(v_{2}^{2}\alpha_{2}\beta)\,\dot{=}\,c_{6}b_{4}v_{2}\beta\alpha_{1}.$

This implies the differential

$d_{2}(v_{2}^{2}v_{0}b_{4}\beta)\,\dot{=}\,c_{6}b_{4}v_{2}\beta\alpha_{1}.$

However, since $v_{0}\beta=\alpha_{1}\alpha_{2}$, we also have

$v_{2}^{2}v_{0}b_{4}\beta=(v_{2}^{2}b_{4}\alpha_{2})\cdot\alpha_{1}.$

Since $\alpha_{1}$ is a permanent cycle, multiplicativity of the spectral
sequence implies the claimed differential. ∎

This completes the determination of the Adams $d_{2}$-differential. Below, in
Figure 6.1 and 6.2, we depict that Adams $E_{2}$-term along with the
$d_{2}$-differentials. The reader will notice that we have used several
different colors in the chart. Here is a key to the use of these colors.

Color | Pattern | generator
---|---|---
black | pattern 1 | 1
blue | pattern 2 | $b_{4}$
lime green | pattern 3 | $v_{2}$
dark magenta | pattern 2 | $v_{2}b_{4}$
lavender rose | pattern 3 | $v_{2}^{2}$
teal | pattern 1 | $v_{2}^{2}b_{4}$
sea green | pattern 1 | $v_{2}^{3}$
maroon | pattern 2 | $v_{2}^{3}b_{4}$
dark violet | pattern 3 | $v_{2}^{4}$
blue gray | pattern 2 | $v_{2}^{4}b_{4}$

.

Before proceeding onto computing the $d_{3}$-differentials, we will give a
description of the Adams $E_{3}$-term based on the differentials we just
found.

(a)

(b)

Figure 6.1. Adams $E_{2}$-page in stems 0-40 with $d_{2}$-differentials

(a)

(b)

Figure 6.2. Adams $E_{2}$-page in stems 40-80 with $d_{2}$-differentials

###  6.2. Determining the Adams $E_{3}$-term

We now set out to determine the patterns that make up the Adams $E_{3}$-term
for $\mathrm{tmf}$. To get things going, first note that the pattern of type 2
on generator $b_{4}$ and the pattern of type 3 on generator $v_{2}$ support
differentials into the pattern
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\cdot\\{1\\}$ (see Remark 4.4
for an explanation of this terminology). More specifically, the differential
(6.5) propagates to give the following $d_{2}$-differentials for
$k,j,\ell\in\mathbb{N}$ and $\varepsilon_{1}\in\\{0,1\\}$;

$d_{2}(v_{0}^{\ell}c_{6}^{j}\alpha_{1}^{\varepsilon_{1}}\beta^{k}b_{4})\,\dot{=}\,\begin{cases}c_{6}^{j}\alpha_{1}^{\varepsilon_{1}}\alpha_{2}\beta^{k}&\ell=0\\\
0&\ell\neq 0\end{cases}.$

Similarly, the differentials (6.9) and (6.11) respectively propagate to give
the differentials

$d_{2}(c_{6}^{j}v_{0}^{\ell}\cdot(v_{0}v_{2}))\,\dot{=}\,\begin{cases}c_{6}^{j+1}\alpha_{1}&\ell=0\\\
0&\ell\neq 0\end{cases}$

and

$d_{2}(c_{6}^{j}\beta^{k}\alpha_{1}^{\varepsilon_{1}}\cdot(v_{2}\alpha_{2}))\,\dot{=}\,c_{6}^{j+1}\beta^{k+1}\alpha_{1}^{\varepsilon_{1}}.$

Observe that any monomial in $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$
involving an $\alpha_{2}$ or a $c_{6}\alpha_{1}$ is hit by a differential. So
from $\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$ we obtain the module

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2},c_{6}\beta,c_{6}\alpha_{1})\cdot\\{1\\}.$

The patterns supported by $b_{4}$ and $v_{2}$ do not receive any Adams
$d_{2}$-differentials, so all we must do is determine what remains of these
patterns after applying the Adams $d_{2}$-differentials. It follows from these
differentials that what remains of the pattern on $b_{4}$ is the submodule

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}b_{4}\\}$

and what remains of the pattern on $v_{2}$ is

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}^{2}v_{2}\\}.$

The next pattern we need to consider is the pattern of type 2 on $b_{4}v_{2}$.
Since $b_{4}v_{2}$ is a $d_{2}$-cycle, this entire pattern consists of
$d_{2}$-cycles. Because of the hidden $v_{0}$-extension in Prop 4.5, we will
consider this pattern in tandem with the half of the pattern of type 3 on
$v_{2}^{2}$ generated by $v_{2}^{2}\alpha_{2}$; namely the module
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2},v_{0})\cdot\\{v_{2}^{2}\alpha_{2}\\}$.
This half also consists only of $d_{2}$-cycles. Thus, the combined pattern
only receives differentials. It receives its differentials from the free
pattern
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})\cdot\\{v_{2}^{2}b_{4}\\}$. The
differentials (6.13), (6.14), and (6.16) propagate to give the following
differentials:

$\displaystyle
d_{2}(v_{0}^{j}c_{6}^{k}\beta^{\ell}\alpha_{1}^{\epsilon_{1}}\cdot(v_{2}^{2}b_{4}))\,$
$\displaystyle\dot{=}\,\begin{cases}c_{6}^{k}\beta^{\ell}\alpha_{1}^{\varepsilon_{1}}\cdot(v_{2}^{2}\alpha_{2})&j=0\\\
c_{6}^{k+1}\beta^{\ell}\alpha_{1}\cdot(v_{2}b_{4})&j=1,\varepsilon_{1}=0\\\
0&else\end{cases}$ $\displaystyle
d_{2}(c_{6}^{k}\beta^{\ell}(b_{4}v_{2}^{2})\cdot\alpha_{2})\,$
$\displaystyle\dot{=}\,c_{6}^{k+1}\beta^{\ell+1}(v_{2}b_{4}).$

Note that any monomial in the pattern
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2})\cdot\\{b_{4}v_{2}\\}$
which contains a $c_{6}\alpha_{1}$ or $c_{6}\beta$ is hit by a differential.
Also, the piece
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(v_{0},\alpha_{2})\cdot\\{v_{2}^{2}\alpha_{2}\\}$
is annihilated by these differentials. Hence, this pattern yields the
following module

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2},c_{6}\beta,c_{6}\alpha_{1})\cdot\\{b_{4}v_{2}\\}.$

It also follows that what remains of the pattern on $b_{4}v_{2}^{2}$ is the
submodule

$\operatorname{Ext}_{A(1)_{*}}/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}^{2}v_{2}^{2}b_{4}\\}.$

The other half of pattern 3 on $v_{2}^{2}$, i.e.
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}v_{2}^{2}\\}$,
consists entirely of $d_{2}$-cycles and receives no differentials. Thus this
survives in full to the $E_{3}$-page.

As we have already mentioned, the Adams $E_{3}$-term for $\mathrm{tmf}$ is
periodic on $v_{2}^{3}$. Combining all of these observations proves the
following identification of the Adams $E_{3}$-term.

######  Proposition 6.17.

The Adams $E_{3}$-term is given as a module over
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$ as the infinite direct sum of
the following types of modules,

  1. Pattern 1’

For all $j\geq 0$, we have the modules

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2},c_{6}\beta,c_{6}\alpha_{1})\cdot\\{v_{2}^{3j},v_{2}^{3j+1}b_{4}\\}$

  2. Pattern 2’

For all $j\geq 0$, we have the modules

$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}v_{2}^{3j}b_{4},v_{0}^{2}v_{2}^{3j+1},v_{0}v_{2}^{3j+2},v_{0}^{2}v_{2}^{3j+2}b_{4}\\},$

and the ring structure is inherited from the Adams $E_{2}$-term.

We give the Adams chart for the $E_{3}$-term below in Figure 6.3. We have
given two copies of this chart, one inheriting the colors from previous
charts, the other where we depict Pattern 1’ in black and Pattern 2’ in blue.

(a)

(b)

Figure 6.3. Adams $E_{3}$-page in stems 0-80

(a)

(b)

Figure 6.4. Adams $E_{3}$-page in stems 0-80 with Patterns 1’ and 2’
highlighted

As we will see later, $v_{0}b_{4}$ will detect the class $c_{4}$. Similarly,
the class $v_{0}^{2}v_{2}$ will detect $c_{4}^{2}$. On the other hand, there
are certain important classes in the Adams-Novikov spectral sequence which
support differentials. Namely, the class $\Delta$. In the ANSS,
$\Delta=v_{2}^{3/2}$. In the ASS, the class $v_{2}b_{4}$ corresponds to
$\Delta$ while the class $v_{2}^{3}$ corresponds to $\Delta^{2}$. The class
$v_{2}^{4}b_{4}$ corresponds to the class $\Delta^{3}$, while the class
$v_{2}^{9}$ corresponds to $\Delta^{6}$. The reader should note that, at the
$E_{3}$-page, we _do not_ have that $(b_{4}v_{2}^{4})^{2}=v_{2}^{9}$. In fact,
$b_{4}v_{2}^{4}$ is not in the correct filtration for this to happen. This
what makes the Adams spectral sequence more difficult than the analogous
calculation in [Hill_2007]. However, since $\pi_{*}\mathrm{tmf}$ is periodic
on $\Delta^{3}$, this does suggest re-expressing the $E_{3}$-term in the
following way. Let $M$ denote the
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$-module

(6.18)
$\begin{split}M:&=\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2},c_{6}\beta,c_{6}\alpha_{1})\cdot\\{v_{2}^{3j},v_{2}^{3j+1}b_{4}\mid
j=0,1,2\\}\\\
&\oplus\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}v_{2}^{3j}b_{4},v_{0}^{2}v_{2}^{3j+1},v_{0}v_{2}^{3j+2},v_{0}^{2}v_{2}^{3j+2}b_{4}\mid
j=0,1,2\\}.\end{split}$

In other words, $M$ is the collection of all the patterns from Proposition
6.17 which are generated by the listed monomials in degrees less than
$|v_{2}^{9}|=144$. The following now follows from the previous proposition.

######  Corollary 6.19.

There is an isomorphism of
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$-modules

(6.20) $E_{3}(\mathrm{tmf})\cong\bigoplus_{k\geq 0}M\cdot\\{v_{2}^{9k}\\}$

######  Remark 6.21.

We will see that the classes $v_{2}^{9j}$ detect the elements $\Delta^{6j}$,
while the classes $b_{4}v_{2}^{9j+4}$ will detect the elements
$\Delta^{6j+3}$.

######  Remark 6.22.

It might be easier for the reader to regard $M$ as being comprised of three
pieces. Let $j\in\\{0,1,2\\}$ and define

$\begin{split}M_{j}:&=\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{2},c_{6}\beta,c_{6}\alpha_{1})\cdot\\{v_{2}^{3j},v_{2}^{3j+1}b_{4}\\}\\\
&\oplus\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})/(\alpha_{1},\alpha_{2},\beta)\cdot\\{v_{0}v_{2}^{3j}b_{4},v_{0}^{2}v_{2}^{3j+1},v_{0}v_{2}^{3j+2},v_{0}^{2}v_{2}^{3j+2}b_{4}\\}.\end{split}$

Then

$M=M_{0}\oplus M_{1}\oplus M_{2}.$

At this point the Adams $E_{3}$-term is “isomorphic” to the Adams-Novikov
$E_{2}$-term but with the elements in the “wrong” filtrations. All of the
later differentials correspond to the usual differentials in the Adams-Novikov
spectral sequence, and in fact we could deduce them from that spectral
sequence. However, we try to provide arguments from first principles below.

###  6.3. Higher Adams differentials

The Adams $E_{3}$-term for $\mathrm{tmf}$ is much sparser than the
$E_{2}$-term. This greatly reduces the possiblity of higher Adams
differentials. We will now determine the $d_{3}$, $d_{4}$, and $d_{6}$
differentials in the Adams spectral sequence for $\mathrm{tmf}$. First, we
make the following observation.

######  Proposition 6.23.

The elements in Pattern 2’ of Proposition 6.17 are permanent cycles.
Furthermore, this pattern receives no $d_{3}$-differentials.

###### Proof.

Since the higher Adams differentials are linear over
$\operatorname{Ext}_{A(1)_{*}}(\mathbb{F}_{3})$, it suffices to check that the
generators of Pattern 2’ are permanent cycles. These are the elements
$v_{0}v_{2}^{3j}b_{4},v_{0}^{2}v_{2}^{3j+1},v_{0}v_{2}^{3j+2},v_{0}^{2}v_{2}^{3j+2}b_{4}$.
Note that these are all in even degree, so their potential targets are in odd
degree. From Proposition 6.17, the only elements of odd degree on the
$E_{3}$-term are of the form $v_{2}^{3k}\beta^{\ell}\alpha_{1}$ or
$v_{2}^{3k}b_{4}\beta^{\ell}\alpha_{1}$.

Recall that $|v_{2}|=16$, so the degrees of the generators for Pattern 2’ are
congruent to $0$ or $8$ mod 16. On the other hand, the degrees of the
potential targets are congruent to $13$ or $5$ mod 16. This shows the
generators of Pattern 2’ cannot support a differential for degree reasons.
Similar considerations show that these elements cannot be the targets of any
$d_{3}$-differentials. ∎

Recall that the unit map

$S^{0}\to\mathrm{tmf}$

for $\mathrm{tmf}$ induces a map in Ext taking the class $\beta$ to $\beta$
and $\alpha_{1}$ to $\alpha_{1}$. This is used in the calculation [Bauer_2008]
to derive higher Adams-Novikov differentials. We will also use it to derive
higher Adams differentials.

######  Proposition 6.24.

There is an Adams $d_{3}$-differential

$d_{3}(v_{2}^{3})\,\dot{=}\,b_{4}v_{2}\beta^{2}\alpha_{1}.$

###### Proof.

It is known that $\pi_{47}(\mathrm{tmf})=0$. The only non-zero class in that
stem on the $E_{3}$-term is $b_{4}v_{2}\beta^{2}\alpha_{1}$. This forces the
stated differential. ∎

######  Remark 6.25.

The author has made attempts to give an argument for this differential from
first principles. But as of the writing of this article, he has been unable to
find one.

######  Proposition 6.26.

There is an Adams $d_{4}$-differential

$d_{4}(b_{4}v_{2})\,\dot{=}\,\beta^{2}\alpha_{1}.$

###### Proof.

Since the classes $\alpha_{1}$ and $\beta$ are both in the Hurewicz image of
$\mathrm{tmf}$, so are all the monomials
$\beta^{n}\alpha_{1}^{\varepsilon_{1}}$. In the stable homotopy of $S^{0}$,
the class $\beta^{3}\alpha_{1}$ is zero (see [greenbook, Figure 1.2.15]).
Since the corresponding class in $E_{3}(\mathrm{tmf})$ is not zero, it must be
hit by a differential. The only possible class which could support a
differential to $\beta^{3}\alpha_{1}$ is $b_{4}v_{2}\beta$. Thus we have the
$d_{4}$-differential

$d_{4}(b_{4}v_{2}\beta)\,\dot{=}\,\beta^{3}\alpha_{1}.$

As the Adams differentials are linear over $\beta$, we infer

$d_{4}(b_{4}v_{2})\,\dot{=}\,\beta^{2}\alpha_{1}.$

∎

######  Remark 6.27.

Recall that $b_{4}v_{2}$ corresponds to the class $\Delta$ in the relative
Adams spectral sequence (or in the Adams-Novikov spectral sequence). In
particular, this differential corresponds to the $d_{2}$-differential
$d_{2}(\Delta)=\alpha\beta^{2}$ in [Hill_2007]. In that spectral sequence,
this implies the differential
$d_{2}(\Delta^{2})\,\dot{=}\,\Delta\alpha\beta^{2}$. However, in the ASS, the
class $b_{4}v_{2}$ squares to 0, so we cannot establish such a
$d_{2}$-differential. Rather it corresponds to the $d_{3}$-differential we
established in Proposition 6.24. It is interesting to note these
$d_{2}$-differentials in the relative ASS get decoupled in the ASS.

######  Remark 6.28.

One might like to think that there is the $d_{4}$-differential

$d_{4}(b_{4}v_{2}^{4})\,\dot{=}\,v_{2}^{3}\beta^{2}\alpha_{1},$

because one can multiply the differential on $b_{4}v_{2}$ to get this
differential. But this is not the case since $v_{2}^{3}$ supports a shorter
differential. This is an important occurrence in this spectral sequence
because $b_{4}v_{2}^{4}$ is detecting the class $\Delta^{3}$ and the homotopy
groups of $\mathrm{tmf}$ are famously periodic on $\Delta^{3}$.

For degree reasons, these are the only possible $d_{3}$ and $d_{4}$
differentials. We will now produce the last differential in the Adams spectral
sequence. In order to do that, we will need the following observation.

######  Lemma 6.29.

The class $b:=b_{4}v_{2}\alpha_{1}$ is given on the $E_{5}$-page as the
following Massey product

$b=\langle\beta^{2},\alpha_{1},\alpha_{1}\rangle.$

Thus, by Moss’ Convergence Theorem, the class $b$ in $\pi_{*}\mathrm{tmf}$ is
given by the corresponding Toda bracket.

###### Proof.

The differential $d_{4}(v_{2}b_{4})=\beta^{2}\alpha_{1}$ gives a defining
system for the Massey product on the $E_{5}$-page, and there is zero
indeterminacy. Furthermore, the Toda bracket
$\langle\beta^{2},\alpha_{1},\alpha_{1}\rangle$ is defined. Since there are no
differentials up to the 30 stem after the $E_{4}$-page, there are no crossing
differentials to worry about. So by Moss’ convergence theorem, $b$ is given by
the associated Toda bracket. ∎

######  Proposition 6.30 (compare with [Bauer_2008, Goerss_2003]).

There is the following hidden multiplicative extension in
$\pi_{*}\mathrm{tmf}$,

$b\cdot\alpha_{1}\,\dot{=}\,\beta^{3}.$

###### Proof.

Recall that $\beta$ is given by the Toda bracket
$\langle\alpha_{1},\alpha_{1},\alpha_{1}\rangle$. So, by the first juggling
lemma (cf. [greenbook, Appendix 1]), it follows that

$b\cdot\alpha_{1}=\langle\beta^{2},\alpha_{1},\alpha_{1}\rangle\alpha_{1}=\beta^{2}\langle\alpha_{1},\alpha_{1},\alpha_{1}\rangle=\beta^{3}.$

∎

######  Corollary 6.31.

The class $\beta^{5}$ is 0 in the homotopy groups of $\mathrm{tmf}$. Thus,
there is a $d_{6}$-differential

$d_{6}(v_{2}^{3}\alpha_{1})\,\dot{=}\,\beta^{5}.$

###### Proof.

Using the multiplicative extension of the previous proposition, we have

$\beta^{5}=\beta^{2}\beta^{3}=\beta^{2}b\alpha_{1}.$

Since $\beta^{2}\alpha_{1}=0$, we have that $\beta^{5}=0$ in
$\pi_{*}\mathrm{tmf}$. This forces the claimed differential. ∎

Thus far, we have only produced higher Adams differentials on generators in
the submodules $M_{0}$ and $M_{1}$ of $M$ (see Remark 6.22). There remains the
summand $M_{2}$. Multiplication by $v_{2}^{3}$ propagates the differential
from Proposition 6.24 to a differential

$d_{3}(v_{2}^{6})\,\dot{=}\,v_{2}^{4}\beta^{2}\alpha_{1}b_{4}.$

Unfortunately, as in Remark 6.28, we cannot multiply by $v_{2}^{3}$ to infer
differentials on $v_{2}^{7}b_{4}$ or $\alpha_{1}v_{2}^{7}b_{4}$. However,
[Moss_1970, Theorem 1.1] tells us that we have a Leibniz type rule for
differentials on Toda brackets. We will use this to derive the desired
differentials.

######  Lemma 6.32.

The class $b_{4}v_{2}^{4}$ is a permanent cycle.

###### Proof.

The only possible differential that $b_{4}v_{2}^{4}$ could have supported was
a $d_{4}$-differential to $v_{2}^{3}\beta\alpha_{1}$. But we have already
shown that this class supports a $d_{6}$-differential in Corollary 6.31. ∎

######  Proposition 6.33.

There is the following Massey product on the $E_{4}$-page of the Adams
spectral sequence for $\mathrm{tmf}$,

$v_{2}^{7}b_{4}=\langle\beta^{2}\alpha_{1},v_{2}^{4}b_{4},v_{2}b_{4}\rangle_{E_{4}}$

Consequently, we have that

$d_{4}(v_{2}^{7}b_{4})\,\dot{=}\,\langle\beta^{2}\alpha_{1},v_{2}^{4}b_{4},\beta^{2}\alpha_{1}\rangle\,\dot{=}\,v_{2}^{6}\beta^{2}\alpha_{1}.$

###### Proof.

A defining system for the first Massey product arises from the differential
$d_{3}(v_{2}^{6})=\beta^{2}\alpha_{1}v_{2}^{4}b_{4}$. There is no
indeterminacy, hence we have an equality. Since $\beta^{2}\alpha_{1}$ and
$v_{2}^{4}b_{4}$ are permanent cycles, the differential is an immediate
consequence of [Moss_1970, Theorem 1.1]. ∎

We would like to derive a $d_{6}$-differential on $v_{2}^{7}b_{4}$ to
$\beta^{5}v_{2}^{4}b_{4}$. The argument will be similar to the one found in
Corollary 6.31.

######  Proposition 6.34.

The class $b^{\prime}:=v_{2}^{6}\alpha_{1}$ is given on the $E_{4}$-page by
the Massey product

$b^{\prime}=\langle v_{2}^{4}b_{4}\beta^{2},\alpha_{1},\alpha_{1}\rangle.$

By Moss’ convergence theorem this class survives to a class $b^{\prime}$ in
$\pi_{*}\mathrm{tmf}$ given by the corresponding Toda bracket. Consequently,
there is the hidden extension

$b^{\prime}\cdot\alpha_{1}\,\dot{=}\,\beta^{3}v_{2}^{4}b_{4}$

in $\pi_{*}\mathrm{tmf}$.

###### Proof.

The argument is completely analogous to the one in Lemma 6.29. Alternatively,
we can derive this from Lemma 6.32 below by using a juggling theorem for Toda
brackets

$v_{2}^{4}b_{4}\cdot
b=v_{2}^{4}b_{4}\cdot\langle\beta^{2},\alpha_{1},\alpha_{1}\rangle\subseteq\langle
v_{2}^{4}b_{4}\beta^{2},\alpha_{1},\alpha_{1}\rangle.$

Keep in mind these are Toda brackets in $\pi_{*}\mathrm{tmf}$. We can do this
since $v_{2}^{4}b_{4}$ is a permanent cycle. The Toda bracket on the right
hand side has indeterminacy in (see [Kochman:1996aa, Proposition 5.7.2(b)])

$v_{2}^{4}b_{4}\beta^{2}\cdot\pi_{7}\mathrm{tmf}+\pi_{83}\mathrm{tmf}\cdot\alpha_{1}.$

It is seen on the $E_{4}$-page that
$\pi_{7}\mathrm{tmf}=\pi_{83}\mathrm{tmf}=0$. Thus there is no indeterminacy.
∎

######  Proposition 6.35.

The class $\beta^{5}v_{2}^{4}b_{4}$ is 0 in $\pi_{*}\mathrm{tmf}$. Thus there
is the $d_{6}$-differential

$d_{6}(\alpha_{1}v_{2}^{7}b_{4})=\beta^{5}v_{2}^{4}b_{4}$

Thus we have analogs of the differentials in Proposition 6.26 and Corollary
6.31 in the summand $M_{2}$ of $M$.

Now we move on to showing $v_{2}^{9}$ is a permanent cycle.

######  Proposition 6.36.

The class $v_{2}^{9}$ is a permanent cycle.

###### Proof.

Note that $v_{2}^{9}$ is in stem 144. Thus, any higher Adams differential
supported by $v_{2}^{9}$ must live in odd degree. The only odd degree elements
in the $E_{3}$-term live in Pattern 1’ in Proposition 6.17. In fact, since the
generators of these patterns, $v_{2}^{3j}$ or $v_{2}^{3j+1}b_{4}$, are in even
stems, it follows that the only possible targets of a differential on
$v_{2}^{9}$ are of the form $v_{2}^{3j}\beta^{k}\alpha_{1}$ or
$v_{2}^{3j+1}b_{4}\beta^{k}\alpha_{1}$. By examining the degrees of these
elements, we see that the only ones in degree 143 are
$v_{2}^{7}b_{4}\beta^{2}\alpha_{1}$ or $\beta^{14}\alpha_{1}$.

The first option could be the target of a $d_{3}$-differential, but it follows
from Proposition 6.24, Lemma 6.32, and multiplicativity that
$v_{2}^{7}b_{4}\beta^{2}\alpha_{1}$ supports a $d_{6}$-differential targeting
$v_{2}^{4}b_{4}\beta^{7}$. If, however, $v_{2}^{4}b_{4}\beta^{7}$ where hit by
a $d_{r}$-differential with $3\leq r<6$, then we would not be able to exclude
$v_{2}^{7}b_{4}\beta^{2}\alpha_{1}$ as a target of a $d_{3}$-differential.
However, this cannot happen since the only elements in stem 143 on the
$E_{3}$-page are $v_{2}^{7}b_{4}\beta^{2}\alpha_{1}$ and
$\beta^{1}4\alpha_{1}$.

The other option, $\beta^{14}\alpha_{1}$ could be the target of a
$d_{20}$-differential, but the target is hit by an earlier
$d_{3}$-differential supported by $\beta^{12}v_{2}b_{4}$. Thus $v_{2}^{9}$ is
a permanent cycle.

∎

We can now derive that the Adams spectral sequence for $\mathrm{tmf}$
collapses at $E_{7}$. Towards this end, let $\overline{M}$ denote subquotient
obtained from $M$ by incorporating the $d_{3}$ to $d_{6}$-differentials. Then
we have the decomposition

(6.37) $E_{7}(\mathrm{tmf})\cong\bigoplus_{k\geq
0}\overline{M}\cdot\\{v_{2}^{9k}\\}$

Below, in Figure 6.5, is a depiction of $\overline{M}$. The reader should note
the chart for $\overline{M}$ in stems $0\leq t-s<72$ and in stems $72\leq
t-s<144$ are identical up to a shift in Adams filtration. This is explained by
the fact that $v_{2}^{4}b_{4}$ will detect the class
$\Delta^{3}\in\pi_{72}\mathrm{tmf}$ (Corollary 6.43), which is the famous
periodicity generator.

Figure 6.5. Depiction of $\overline{M}$ modulo elements of Pattern 2’

######  Proposition 6.38.

The submodule $\overline{M}\cdot\\{1\\}$ consists of permanent cycles.
Consequently, the Adams spectral sequence for $\mathrm{tmf}$ collapses at
$E_{7}$.

###### Proof.

Since the Adams $E_{7}$-term is periodic on $v_{2}^{9}$, it is sufficient to
check that there are no differentials supported by the indecomposable elements
of $\overline{M}$. It is easily seen from Figures 6.5 that the elements
originating from Pattern 1’ in the $E_{3}$-term cannot support
$d_{7}$-differentials whose target is also an element originating from Pattern
1’. This leaves the possibility of the indecomposable classes supporting
differentials into pattern 2’.

Since Pattern 2’ is concentrated in even degrees, this excludes the
possibility of the indecomposable classes
$v_{0}v_{2}b_{4},v_{0}v_{2}^{3},v_{0}v_{2}^{6},v_{0}v_{2}^{7}b_{4}$ from
supporting differentials; hence these classes are permanent cycles. The
classes $b,\beta b,b^{\prime}$ and $\beta b^{\prime}$ may support
differentials into Pattern 2’. Since the differentials are linear over
$\beta$, we are reduced considering the classes $b$ and $b^{\prime}$.

Observe that generators of Pattern 2’ are all in stems congruent to 0 mod 8.
On the other hand, $b$ and $b^{\prime}$ are in stems 27 and 99 respectively.
Observe that these are congruent to 3 modulo 8. Thus, the degree of a possible
target of a differential supported by $b$ or $b^{\prime}$ must lie in degree
congruent to 2 mod 8. Since all of the elements of Pattern 2’ are in stems
congruent to 0 modulo 8, $b$ and $b^{\prime}$ cannot support differentials
into Pattern 2’. As we have already mentioned, $b$ and $b^{\prime}$ also
cannot support differentials into Pattern 1’. Thus $b$ and $b^{\prime}$ are
permanent cycles.

This shows that all of the elements of $\overline{M}$ are permanent cycles.
Since $v_{2}^{9}$ is a periodicity generator for $E_{7}(\mathrm{tmf})$, it
follows from Proposition 6.36 and the fact that the ASS for $\mathrm{tmf}$ is
multiplicative that $E_{7}=E_{\infty}$. ∎

We provide the Adams $E_{3}$-term along with all higher differentials as well
as a chart for the $E_{7}=E_{\infty}$-term below in Figures 6.6 and 6.7

(a)

(b)

Figure 6.6. Adams $E_{3}$-page in stems 0-80 with $d_{3}$ to
$d_{6}$-differentials

(a)

(b)

Figure 6.7. Adams $E_{\infty}$-page in stems 0-80

###  6.4. Hidden extensions

In the previous subsection we showed that the Adams spectral sequence for
$\mathrm{tmf}$ collapses at $E_{7}$ and we completely computed this page via
(6.37). We’ve already established one hidden extension in Proposition 6.30,
which corresponds to the single hidden extension occurring in the Adams-
Novikov spectral sequence for $\mathrm{tmf}$.

However, there are several relations in $\pi_{*}\mathrm{tmf}$ which are
apparent on the Adams-Novikov $E_{\infty}$-page appearing in the 0-line, but
which are hidden from the perspective of the Adams spectral sequence. We make
several observations.

######  Proposition 6.39.

The class $v_{0}b_{4}$ in $E_{\infty}$ detects the class $c_{4}$ in
$\pi_{8}\mathrm{tmf}$ up to a unit.

###### Proof.

From Theorem 5.2, the modular form $c_{4}$ is in $\pi_{*}\mathrm{tmf}$. Since
$c_{4}$ is of degree 8 and a torsion free class, it must be detected by a
class in stem 8 in the $E_{\infty}$-page which supports an entire
$v_{0}$-tower. The only such class is $v_{0}b_{4}$. ∎

Looking at our chart for $E_{\infty}$, we find that there is a single
$v_{0}$-tower in the $16$-stem which is generated by $v_{0}^{2}v_{2}$. This
implies the following,

######  Proposition 6.40.

The class $v_{0}^{2}v_{2}$ detects the class $c_{4}^{2}$ in
$\pi_{16}\mathrm{tmf}$ and we have the hidden extension
$(v_{0}b_{4})\cdot(v_{0}b_{4})\,\dot{=}\,v_{0}^{2}v_{2}$ in the
$E_{\infty}$-term.

######  Remark 6.41.

In light of Proposition 6.39 and Proposition 5.5, we will abuse notation and
write $v_{0}b_{4}$ as $c_{4}$ and $v_{1}^{3}$ as $c_{6}$.

We can also say which classes are detecting the various classes involving
$\Delta$ in $\pi_{*}\mathrm{tmf}$. We will rename some classes in order to
give more streamlined expressions. We will rename $b_{4}v_{2}$ by
$v_{2}^{3/2}$. Thus, for example, the class $v_{2}^{9/2}$ refers to
$b_{4}v_{2}^{4}$. We will use the expression $(v_{2}^{3/2})^{k}$, when
$k=2\ell$, to mean $v_{2}^{3\ell}$, while when $k=2\ell+1$ this expression
stands for $b_{4}v_{2}\cdot v_{2}^{3\ell}=b_{4}v_{2}^{3\ell+1}$. At the
moment, we have introduced this notation more for convenience, it is _not_
reflective of a multiplicative structure on any page of this spectral
sequence. Indeed, on $E_{\infty}$, the square of $b_{4}v_{2}$ is 0. However,
this notation is motivated by a certain hidden extension which will appear
shortly.

Note that from the results of the previous section, we have

######  Lemma 6.42.

When $j\equiv 1,2\mod 3$, the classes $(v_{2}^{3/2})^{j}$ support a
differential, and in this case the classes $v_{0}(v_{2}^{3/2})^{j}$ are
permanent cycles.

We can determine what these classes detect in $\pi_{*}(\mathrm{tmf})$.

######  Corollary 6.43.

For $j\equiv 1,2\mod 3$, the classes $v_{0}(v_{2}^{3/2})^{j}$ detect
$3\Delta^{j}$ up to a unit. For $j\equiv 0\mod 3$, the class
$(v_{2}^{3/2})^{j}$ detects $\Delta^{j}$, up to a unit.

Because these correspond to multiples of powers of $\Delta$, this implies a
family of hidden extensions.

######  Corollary 6.44.

In $E_{\infty}$, we have the following hidden extensions for every $\ell\geq
0$,

$(v_{0}v_{2}^{3/2})\cdot
v_{0}(v_{2}^{3/2})^{2\ell+1}\dot{=}v_{0}^{2}v_{2}^{3\ell+3}$

We have the hidden extensions for odd $j$

$(v_{2}^{3/2})^{3}\cdot(v_{2}^{3/2})^{3j}\dot{=}(v_{2}^{3/2})^{3(j+1)}.$

This corollary justifies our choice of notation. Finally, Theorem 5.2 and the
famous relation of modular forms

$c_{4}^{3}-c_{6}^{2}=1728\Delta=2^{3}3^{3}\Delta$

implies a hidden extension in the $E_{\infty}$-term.

######  Proposition 6.45.

There is a hidden extension in $E_{\infty}(\mathrm{tmf})$ given by

$c_{4}\cdot(v_{0}^{2}v_{2})\,\dot{=}\,v_{0}^{3}b_{4}v_{2}+c_{6}^{2}$

These hidden extensions, of course, propagate themselves throughout the
$E_{\infty}$-term. There are no hidden extensions beyond the ones mentioned
above.

######  Remark 6.46.

It is rather unsatisfying that these hidden extensions were determined by
using the known multiplicative structure in $\pi_{*}\mathrm{tmf}$. It would be
nice to have arguments from first principles. It would seem that this would
require knowing Massey product descriptions of various classes, such as
$c_{4},v_{2}^{3/2}$, and so on. But the author was unable to find such
descriptions.

## References