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

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

the coaction on v_2 must be 1\otimes v_2 for degree reasons.

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 (?), 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},

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^ix\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^ix\cdot v_2^jy = v_2^{i+j}xy is

whereas the tri-degree for v_2^kz is

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

and

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

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

in \operatorname{Ext}_\Gamma. However, on E_\infty, the only way we could have had v_2^ix\cdot v_2^jy=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.

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

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_4v_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

yielding the desired extension.

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

It is easy to see that there is no indeterminacy.

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_2b_4. Observe that there is no indeterminacy. So by May’s convergence theorem we have the Massey product

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

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.

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.

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

This implies the claimed coaction.

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.

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_2c_6b_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.

From the previous proposition we deduce the differential

However, we have from Proposition 4.5 that

This implies the differential

However, since v_0\beta = \alpha_1\alpha_2, we also have

Since \alpha_1 is a permanent cycle, multiplicativity of the spectral sequence implies the claimed differential.

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_0v_2^{3j}b_4, v_0^2v_2^{3j+1}, v_0v_2^{3j+2}, v_0^2v_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.

It is known that \pi_{47}(\mathrm{tmf})=0. The only non-zero class in that stem on the E_3-term is b_4v_2\beta^2\alpha_1. This forces the stated differential.

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_4v_2\beta. Thus we have the d_4-differential

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

The differential d_4(v_2b_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.

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

Using the multiplicative extension of the previous proposition, we have

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

The only possible differential that b_4v_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.

A defining system for the first Massey product arises from the differential d_3(v_2^6) = \beta^2\alpha_1v_2^4b_4. There is no indeterminacy, hence we have an equality. Since \beta^2\alpha_1 and v_2^4b_4 are permanent cycles, the differential is an immediate consequence of [Moss_1970, Theorem 1.1].

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

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

It is seen on the E_4-page that \pi_7\mathrm{tmf} = \pi_{83}\mathrm{tmf} =0. Thus there is no indeterminacy.

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^7b_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^7b_4\beta^2\alpha_1 supports a d_6-differential targeting v_2^4b_4 \beta^7. If, however, v_2^4b_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^7b_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^7b_4\beta^2\alpha_1 and \beta^14\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_2b_4. Thus v_2^9 is a permanent cycle.

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 ? 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_0v_2b_4, v_0v_2^3, v_0v_2^6, v_0v_2^7b_4 from supporting differentials; hence these classes are permanent cycles. The classes b, \beta b, b' and \beta b' may support differentials into Pattern 2’. Since the differentials are linear over \beta, we are reduced considering the classes b and b'.

Observe that generators of Pattern 2’ are all in stems congruent to 0 mod 8. On the other hand, b and b' 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' 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' cannot support differentials into Pattern 2’. As we have already mentioned, b and b' also cannot support differentials into Pattern 1’. Thus b and b' 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.

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_0b_4.