## CLASSICAL STABLE HOMOTOPY GROUPS OF SPHERES VIA F 2 -SYNTHETIC METHODS

ROBERT BURKLUND, DANIEL C. ISAKSEN, AND ZHOULI XU

Abstract. We study the F 2 -synthetic Adams spectral sequence. We obtain new computational information about C -motivic and classical stable homotopy groups.

## 1. Introduction

The topic of this manuscript is the computation of the stable homotopy groups

$$\pi _ { n } = \text{colim} _ { k } \, \pi _ { n + k } ( S ^ { k } ),$$

where π n + k ( S k ) is the group of based homotopy classes of maps from a sphere S n + k to another sphere S k . These groups are a central object of study in topology. For n &gt; 0, each stable homotopy group is a finite group [19]. Therefore, we can compute π n by studying its p -primary components for each prime p . In this manuscript, we consider only the 2-primary components.

Building on earlier work of many authors, the 2-primary stable homotopy groups are mostly computed for n ≤ 90 in [12] [13]. However, there are a few gaps in those computations; for example, π 82 and π 83 are computed only up to a factor of Z / 2. Our work completes the computation of both π 82 and π 83 .

## Theorem 1.1.

- (1) The 2 -primary component of π 82 is ( Z / 2) 6 ⊕ Z / 8 .
- (2) The 2 -primary component of π 83 is ( Z / 2) 3 ⊕ ( Z / 8) 2 .

The proof of Theorem 1.1 is to show that a particular element h g 6 + h e 2 2 in the Adams spectral sequence is a permanent cycle. We construct a certain 6-cell complex that allows us to identify a homotopy class that must be detected by h g 6 + h e 2 2 . The structure of the argument is similar to the proof that the Kervaire class h 2 5 survives [3], but the detailed supporting computations are different.

From [12, Lemma 5.24], we already know that h g 6 + h e 2 2 survives to the E 9 -page of the Adams spectral sequence, but there is a possible non-zero value for d 9 ( h g 6 + h e 2 2 ).

Date : August 5, 2024.

2010 Mathematics Subject Classification. Primary 55Q45; Secondary 55T15.

Key words and phrases. stable homotopy group, synthetic homotopy theory, Adams spectral sequence.

The first author was supported by NSF grant DMS-2202992, by the DNRF through the Copenhagen center for Geometry and Topology (DNRF151) and by Villum Fonden through the Young Investigator Program. The second author was supported by NSF grant DMS-1904241. The third author was partially supported by NSF grant DMS-2105462.

Remark 1.2. Mark Behrens suggested an argument using height 2 chromatic homotopy theory that would rule out this differential, which would provide a completely different argument that h g 6 + h e 2 2 is a permanent cycle.

A distinguishing feature of our argument is the use of the F 2 -synthetic Adams spectral sequence. Motivic stable homotopy theory is useful for classical computations because it is an enhancement of classical stable homotopy theory. This can be made precise using the language of deformations [9] [8] [18]. In this manuscript, we use F 2 -synthetic stable homotopy theory, which is a different enhancement of classical stable homotopy theory and provides access to different pieces of information. Here we are using F 2 as shorthand for the Eilenberg-Mac Lane spectrum H F 2 .

In addition to the study of h g 6 + h e 2 2 , this manuscript also includes the proofs of a number of less prominent computations about stable homotopy groups. These results fill in several gaps left by the motivic techniques of [12]. Individually, these facts have little direct connection, but their proofs all use the same basic idea of exploiting the additional structure of F 2 -synthetic stable homotopy theory. Tables 1 and 2 summarize the precise results that we prove.

## Theorem 1.3.

- (1) Table 1 lists some differentials in the F 2 -synthetic Adams spectral sequence.
- (2) Table 2 lists some hidden extensions in the F 2 -synthetic Adams spectral sequence.

Not all of the results in Tables 1 and 2 are new. In a few cases, we have provided simpler proofs of facts that were previously known to be true by more intricate arguments. Very recently announced machine computations [15] independently verify some of our results. However, current machine results do not establish that h g 6 + h e 2 2 is a permanent cycle, so our argument regarding that particular element is the only known proof.

Most of the notation in Tables 1 and 2 is the same as in [12]. The exceptions are λ , which is the F 2 -synthetic parameter analogous to the motivic parameter τ ; and 2, which is our notation for an ˜ F 2 -synthetic homotopy class such that λ ˜ 2 = 2. See Sections 1.1 and 1.4 below for a more careful discussion of notation.

Table 1: Some Adams differentials

| ( s, f, d )    | element             |   r | d r                                    | proof            |
|----------------|---------------------|-----|----------------------------------------|------------------|
| (56 , 9 , 9)   | Ph 5 e 0            |   5 | λ 4 il                                 | Proposition 3.1  |
| (61 , 6 , 6)   | A ′                 |   5 | λ 4 Mh 1 d 0                           | Proposition 3.8  |
| (70 , 4 , 4)   | p 1 + h 2 0 h 3 h 6 |   5 | λ 4 h 2 2 C ′ + λ 4 h 3 (∆ e 1 + C 0 ) | [15]             |
| (83 , 5 , 5)   | h 6 g + h 2 e 2     |   9 | 0                                      | Theorem 2.17     |
| (93 , 13 , 13) | P 2 h 6 d 0         |   6 | 0                                      | Proposition 3.29 |
| (93 , 13 , 13) | tQ 2                |   6 | λ 5 MP ∆ h 1 d 0                       | Proposition 3.31 |

Table 2: Some hidden extensions

| ( s, f, d )   | source   | type   |   target | proof            |
|---------------|----------|--------|----------|------------------|
| (71 , 5 , 5)  | h 1 p 1  | ν      |        0 | Proposition 3.10 |

F 2 -SYNTHETIC METHODS

Table 2: Some hidden extensions

| ( s, f, d )    | source        | type   | target         | proof                                                  |
|----------------|---------------|--------|----------------|--------------------------------------------------------|
| (74 , 6 , 6)   | h 3 n 1       | ˜ 2    | λx 74 , 8      | Proposition 3.11 Proposition 3.13 Proposition 3.14 3.6 |
| (77 , 7 , 7)   | m 1           | ν      | 0              |                                                        |
| (77 , 7 , 5)   | λ 2 m         | η      | 0              |                                                        |
| (77 , 12 , 12) | 1 M ∆ h 1 h 3 | ν      | λ 2 Mh 1 e 2 0 | Proposition                                            |
| (79 , 7 , 7)   | h 2 x 76 , 6  | η      | 0              | Lemma 3.26                                             |
| (81 , 12 , 12) | ∆ 2 p         | ν      | 0              | Proposition 3.21                                       |
| (84 , 10 , 10) | Px 76 , 6     | 2      | 0              | Proposition 3.28                                       |

˜

In order to carry out the computations in Tables 1 and 2, we need a number of technical supporting details, including some Toda bracket computations as well as some careful choices of stable homotopy elements.

## Theorem 1.4.

- (1) There exist elements in the F 2 -synthetic stable homotopy groups with the properties shown in Table 3.
- (2) Table 4 lists some Toda brackets in the F 2 -synthetic stable homotopy groups.
- 1.1. The synthetic Adams spectral sequence. For simplicity, we use the more concise term 'synthetic' instead of ' F 2 -synthetic'. The only two synthetic homotopy theories under consideration in this manuscript are the F 2 -synthetic and

Table 3: Some elements in the F 2 -synthetic stable homotopy groups

| ( s, d )   | element   | properties                                   | defined in   |
|------------|-----------|----------------------------------------------|--------------|
| (77 , 7)   | µ         | detected by m 1 λ 2 ηµ = 0 νµ = 0            | Lemma 3.15   |
| (79 , 8)   | β         | λνβ = 0 λ 3 β ∈ 〈 2 , λ 2 η, λµ 〉          | Lemma 3.19   |
| (82 , 8)   | α         | ˜ 2 α = 0 λ 3 α + λκθ 5 ∈ 〈 λ 2 η, λµ, ν 〉 | Lemma 3.24   |

Table 4: Some Toda brackets

| ( s, d )                                      | bracket                                                                                                                           | detected by                                             | indeterminacy                        | proof                                                |
|-----------------------------------------------|-----------------------------------------------------------------------------------------------------------------------------------|---------------------------------------------------------|--------------------------------------|------------------------------------------------------|
| (46 , 7) (77 , 12) (79 , 5) (82 , 5) (84 , 8) | 〈 η, ˜ 2 2 κ 2 , ˜ 2 〉 〈 ˜ 2 2 κ 2 , ˜ 2 , { ∆ h 1 h 3 }〉 〈 λµ, λ 2 η, ˜ 2 〉 〈 ν, λµ, λ 2 η 〉 〈 ν, η, { h 2 x 76 , 6 }〉 | Mh 1 M ∆ h 1 h 3 0 or λ 9 Me 2 0 λh 2 5 g λ 2 Px 76 , 6 | λ 4 d 0 l 0 λ 3 h 0 h 2 x 76 , 6 ? ? | Lemma 3.3 Lemma 3.5 Lemma 3.16 Lemma 3.22 Lemma 3.26 |

BP -synthetic ones. To avoid confusion, we use the term 'motivic' to describe the latter homotopy theory.

We have made no particular effort to write a self-contained document. Rather, this manuscript is a companion to [12], and it is just one part of a larger program to compute stable homotopy groups in a range. We refer to [6, Section 9 and Appendix A] [18] for foundational material on the construction and properties of synthetic spectra and synthetic Adams spectral sequences. Also, [11, Chapter 6] foreshadows many of these ideas in the motivic setting.

We provide a short overview of the structure of the synthetic Adams spectral sequence from a computational perspective. The synthetic Adams E 2 -page is trigraded by stem, Adams filtration, and synthetic degree. The first two gradings are the familiar ones from the classical Adams spectral sequence.

The synthetic homology of a point is equal to F 2 [ λ ], where the synthetic degree of λ is -1. We use the letter λ for the synthetic parameter to distinguish it from the motivic parameter τ . In the long run, we foresee computations that possess two parameters simultaneously, and this notation is convenient for that purpose.

The synthetic Adams E 2 -page is a free F 2 [ λ ]-module whose generators are in one-to-one correspondence with an F 2 -basis for the classical Adams E 2 -page. For each element x of the classical Adams spectral sequence in stem s and filtration f , there is an F 2 [ λ ]-module generator of the synthetic Adams spectral sequence in stem s , filtration f , and synthetic degree f . We use the same letter x to represent this generator of the synthetic Adams E 2 -page.

Different authors have chosen different conventions regarding the synthetic degree. Our choice is based on practical convenience, but unfortunately it is incompatible with the traditional use of motivic weight. More precisely, the Thom reduction map BP → H F 2 induces a functor from BP -synthetic to F 2 -synthetic homotopy theory. By careful inspection of definitions, this functor takes τ to λ 2 . In terms of stem, motivic weight, and synthetic degree, the functor induces a homomorphism from the motivic homotopy group π s,w to the synthetic homotopy group π s, 2 w -s . Beware that the formal suspension has synthetic degree -1. For example, the cofiber of an element γ of the synthetic homotopy group π s,d has two cells in dimensions (0 0) and ( , s +1 , d -1).

The synthetic Adams differentials are in precise correspondence with classical Adams differentials. For each classical differential d r ( x ) = y , we have a synthetic differential d r ( x ) = λ r -1 y . Consequently, the class y itself is not hit by a differential, but y is annihilated by λ r -1 in the E ∞ -page. Moreover, y detects a homotopy class that is annihilated by λ r -1 .

The synthetic Adams spectral sequence can be described as the classical Adams spectral sequence 'with history'. The Adams differentials can be reconstructed from the E ∞ -page, since each element annihilated by λ r -1 corresponds to a nonzero Adams d r differential.

If we invert λ in the synthetic Adams spectral sequence, then we recover the classical Adams spectral sequence tensored with F 2 [ λ ± 1 ]. In more naive terms, the λ -free part of the synthetic Adams E ∞ -page is identical to the classical E ∞ -page.

On the other hand, the λ -power torsion elements in the Adams E ∞ -page represent exotic phenomena. These torsion classes can be the targets of hidden extensions that are not seen classically. In general, the additional structure encoded in the

λ -power torsion can be exploited to carry out computations. These phenomena are well-illustrated in [5] [7] [16] [2].

- 1.2. π 70 and π 71 . The value of the Adams differential d 5 ( p 1 + h h h 2 0 3 6 ) given in Table 1 is not proved in this manuscript. Very recently announced machine computations [15] led to the discovery of a mistake regarding this differential. Note that the value of d 5 ( p 1 + h h h 2 0 3 6 ) claimed in [12, Table 8] is incorrect, although [12, Lemma 5.61] is correct.

We now know that there is a non-zero differential d 5 ( h p 1 1 ) = λ h h 4 1 3 (∆ e 1 + C 0 ) that was previously believed to be zero. Therefore, the values of π 70 and π 71 in [12, Table 1] are incorrect. The correct values for the 2-primary v 1 -torsion in π 70 and π 71 are

## ( Z / 2) 6 ⊕ Z / 4

## ( Z / 2) 5 ⊕ Z / 4 ⊕ Z / 8

respectively.

Also, [12, Table 15] claims that there is a non-zero hidden 2-extension from h h H 1 3 1 to h h 1 3 (∆ e 1 + C 0 ) in the classical 70-stem. This is incorrect since h h 1 3 (∆ e 1 + C 0 ) is now known to be zero in the classical Adams E ∞ -page.

- 1.3. Organization. The main goal of Section 2 is to establish Theorem 2.17, which shows that h g 6 + h e 2 2 is a permanent cycle. This argument depends on several technical computations in stable homotopy groups, whose proofs are assembled in Section 3.

Section 3 contains a number of computations. Many of these computations are independent facts whose proofs are not directly connected. Some of the computations are used in the proofs of later computations. The results are arranged mostly in order of increasing stem. However, there are a few exceptions to this general principle so that each individual computation depends only on previous computations.

- 1.4. Notation. By default, we work in the synthetic Adams spectral sequence. Occasionally, we consider the classical or C -motivic Adams spectral sequence; we will be explicit when that occurs.

We use the same notation as [12] for elements of the Adams spectral sequence and for elements in stable homotopy groups. For an element x in the Adams E ∞ -page, let { x } represent the set of all homotopy elements that are detected by x . This set possesses more than one element when there are other elements in filtrations higher than the filtration of x .

We write 2 for an element in ˜ π 0 1 , that is detected by h 0 . We choose 2 such that ˜ 2 = 1 + 1 in π 0 0 , is equal to λ ˜ 2 and is detected by λh 0 . Another possible notation for 2 is ˜ h , which some authors have used for the motivic homotopy element that is detected by h 0 . It stands for 'hyperbolic' because of its relationship to the hyperbolic plane as an element of the Grothendieck-Witt group. It also stands for 'Hopf' because it is the zeroth Hopf map (followed by η , ν , and σ ).

Most of our results are stated with the degrees in which they occur. This makes the manuscript easier to use for readers who are seeking specific results.

## 2. The permanent cycle h g 6 + h e 2 2

Our goal is to show that the element h g 6 + h e 2 2 in the 83-stem is a permanent cycle. We begin by sketching a line of reasoning without supporting details. Motivated by this sketch, later in this section we give a precise argument that relies on a number of specific computational facts about various stable homotopy groups. These computational facts appear in the tables in Section 1, and their proofs are given in Section 3.

One might expect that the element h g 6 detects the Toda bracket 〈 2 , θ 5 , κ 〉 since the relation 2 θ 5 = 0 (proved in [21]) is suggested by the Adams differential d 2 ( h 6 ) = h h 0 2 5 , and κ is detected by g . There are two problems with this hope. First, we do not expect h g 6 itself to be a permanent cycle. Rather we expect the linear combination h g 6 + h e 2 2 to survive. Second, the Toda bracket is not defined because θ κ 5 is non-zero and detected by h g 2 5 in the 82-stem.

$$& \text{racker or } \in \text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$	\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{	\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text$$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text	$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text
$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text#\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{#\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text$
$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\test{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\test$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text}$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text`$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text'$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text.$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text<$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$$$

But there is a relation h g 2 5 = h x 2 1 in the Adams E 2 -page. Therefore, one might hope for a matric Toda bracket of the form where ξ is detected by x 1 . The existence of such a bracket would require that 2 ξ = 0. This relation is created by the Adams differential d 2 ( e 2 ) = h x 0 1 . This is a promising sign because we anticipate the appearance of h e 2 2 .

But the matric Toda bracket has a fatal flaw because x 1 does not survive; in fact, d 3 ( x 1 ) = h m 1 1 . Therefore, we want to replace the entry ξ in the above matric bracket with something involving the relation ηµ = 0, where µ is detected by m 1 .

At this point, the language of matric Toda brackets of maps between spheres is no longer adequate because of varying lengths of the null compositions that go into the construction. The cell complex construction that we adopt is a way of turning the above sketch into a precise argument.

2.1. The construction of a 6 -cell complex X . In this section, we will construct an explicit cell complex X that has six cells in bidegrees

$$( 0, - 2 ), \ ( 2 0, 4 ), \ ( 3, 1 ), \ ( 8 1, 6 ), \ ( 8 3, 4 ), \ ( 8 3, 7 ).$$

We also construct some closely related complexes that map to X or receive a map from X . Using standard obstruction theory, we will construct X by attaching cells to smaller complexes.

The spectrum X can be intuitively described in terms of the cell diagram in Figure 1. See [3] [10] [20] for other uses of cell diagrams. In this figure (and throughout the construction of X ), we refer to the elements α β , , and µ shown in Table 3.

Step 2.1. To begin, Lemma 3.15 implies that λµ · λ η 2 is zero. Therefore, we can form a 3-cell complex Y with cells in bidegrees (3 , 1), (81 6), , and (83 4). , The attaching maps for Y are λµ and λ η 2 . The first part of Figure 2 shows a cell diagram for Y . Note that Y comes equipped with inclusion i Y : S 3 1 , → Y of the bottom cell and projection p Y : Y → S 83 4 , to the top cell.

Beware that the construction of Y depends on a choice of null-homotopy for λµ λ η · 2 . This choice turns out to be immaterial; the later steps of our construction can be carried out with any fixed null-homotopy.

Figure 1. The 6-cell complex X

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-c9297e3c-67ff-4856-9431-ab48ed28ec18.jpg)

Figure 2. Some complexes related to X

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-706a1b6d-370d-460c-a025-9f2bef652be2.jpg)

Step 2.2. Next, consider the composition i Y · λβ : S 82 8 , → Y . Let Q be the cofiber of this map. The second part of Figure 2 shows a cell diagram for Q . Note that Q comes equipped with inclusion i Q : S 3 1 , → Q of the bottom cell.

The top cell of Q is only attached to the bottom cell in bidegree (3 , 1), so the projection p Y : Y → S 83 4 , extends to a projection p Q : Q → S 83 4 , to the third cell of Q . More formally, the dashed arrow in the commutative diagram

/d47

/d47

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-a1377a4e-1938-4643-abe1-0f0243063f11.jpg)

/d15

/d125

/d125

exists because the top row is a cofiber sequence and because the composition p Y · i Y · λβ is zero (since p Y · i Y is zero).

There is also a projection p ′ Q : Q → S 83 7 , ∨ S 83 4 , to the top two cells. The first component of p ′ Q is projection to the top cell, and the second component is the map p Q defined in the previous paragraph.

Step 2.3. Now consider the composition ( λθ , λα 5 ) · p Q : Q → S 21 3 , ∨ S 1 , -3 . Define X to be the fiber of this map.

Note that X comes equipped with an inclusion i X : S 3 1 , ∨ S 20 4 , ∨ S 0 , -2 → X of the bottom three cells because they are not attached to each other. More formally, consider the diagram

/d125

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-25920278-fda6-433d-a720-6cde948e0cfb.jpg)

/d125

/d47

/d47

/d47

/d47

/d47

in which the bottom row is a cofiber sequence. The last two components of i X appear in the cofiber sequence. The first component, shown as the dashed arrow, exists because the composition ( λθ , λα 5 ) · p Q · i Q is zero (since p Q · i Q is zero).

Step 2.4. We define Z to be the fiber of the projection p X : X → S 83 7 , to the top cell. The third part of Figure 2 shows a cell diagram for Z . Note that Z comes equipped with an inclusion i Z : S 3 1 , ∨ S 20 4 , ∨ S 0 , -2 → Z . More precisely, consider the diagram

/d119

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-e19d1427-ae14-47ef-ba7c-dc715ead14d6.jpg)

/d119

/d15

/d15

/d47

/d47

/d47

/d47

in which the bottom row is a cofiber sequence. The dashed arrow exists because the composition p X X i is zero.

Step 2.5. We define C to be the cofiber of the map λθ 5 : S 82 5 , → S 20 4 , . The fourth part of Figure 2 shows a cell diagram for C . Note that there is an inclusion i C : S 20 4 , → C of the bottom cell.

There is a map π : X → C defined as follows. Consider the diagram

/d47

/d47

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-b2f33a7c-c49e-41e4-b0a5-ca41dec86e82.jpg)

/d15

/d118

/d118

in which the top row is the defining cofiber sequence for X , as described in Step 2.3. In order to show that the dashed arrow exists, we need only argue that the composition ( i C , 0) · ( λθ , λα 5 ) · p Q is zero. This composition equals i C · λθ 5 · p Q , and i C · λθ 5 is zero because C is the cofiber of λθ 5 .

2.2. The map f : S 83 5 , → X . We next construct a map f : S 83 5 , → X , where X is the complex constructed in Section 2.1. The map f is intuitively described by the cell diagram in Figure 3. It is represented in the left two columns of the figure.

Figure 3. The maps f : S 83 5 , → X and g : X → S 0 0 ,

/d47

/d47

/d39

/d39

/d39

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-9fad372f-75ad-49b8-8010-1a0bde5a9c22.jpg)

/d39

/d31

/d31

/d47

/d47

Step 2.6. Recall from Lemma 3.19 that λβ · λ 2 belongs to the Toda bracket 〈 λµ, λ 2 η, ˜ 2 . 〉 Therefore, we have a map f Q : S 83 5 , → Q such that composition with the projection p ′ Q : Q → S 83 7 , ∨ S 83 4 , is ( λ , 2 ˜ 2) : S 83 5 , → S 83 7 , ∨ S 83 4 , . Recall that the map p ′ Q was discussed in Step 2.2.

In fact, one must be careful here about the choice of null-homotopy in Step 2.1. We need that λβ λ · 2 belongs not merely to the Toda bracket 〈 λµ, λ 2 η, ˜ 2 , but rather 〉 to the subset of this bracket consisting of representatives that are defined using the specified null-homotopy of λµ · λ η 2 .

This turns out to be no problem for us. We show in Lemma 3.19 that every element of the Toda bracket 〈 λµ, λ 2 η, ˜ 2 〉 is of the form λβ · λ 2 . So we can choose β to be compatible with the previously chosen null-homotopy.

## Step 2.7. We construct f as the dashed map in the commutative diagram

/d119

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-c4d575ca-ddca-4348-aa51-d2bef67d2760.jpg)

/d119

/d15

/d15

/d47

/d47

/d47

/d47

,

in which the bottom row is the fiber sequence from Step 2.3. In order to do this, we just need to argue that the composition ( λθ , λα 5 ) · p Q · f Q is zero. This follows from two observations. First, p Q · f Q : S 83 5 , → S 83 4 , is ˜ 2, as explained in Step 2.6. Second ( λθ , λα 5 )2 is zero by Lemma 3.24 and [21]; here we are using that 2 equals ˜ λ 2.

- ˜ 2.3. The map g : X → S 0 0 , . We now construct a map g : X → S 0 0 , , where X is the complex constructed in Section 2.1. Later in Section 2.4, we will study the composition gf as an element of π 83 5 , .

The map g is intuitively described by the cell diagram in Figure 3. It is represented in the right two columns of the figure.

Step 2.8. By Lemma 3.24, κ · λθ 5 + λ 2 · λα is contained in the Toda bracket 〈 ν, λµ, λ 2 η 〉 . Therefore, we can form a map g Z : Z → S 0 0 , such that the composition g Z Z i is

$$( \nu, \overline { \kappa }, \lambda ^ { 2 } ) \, \colon S ^ { 3, 1 } \vee S ^ { 2 0, 4 } \vee S ^ { 0, - 2 } \to S ^ { 0, 0 }.$$

As in Step 2.6, one must be careful here about the choice of null-homotopy in Step 2.1. We need that κ · λθ 5 + λ 2 · λα belongs not merely to the Toda bracket 〈 ν, λµ, λ 2 η 〉 , but rather to the subset of this bracket consisting of representatives that are defined using the specified null-homotopy of λµ · λ η 2 .

This turns out to be no problem for us. We show in Lemma 3.24 that every element of the Toda bracket 〈 λµ, λ 2 η, ˜ 2 〉 is of the form κ · λθ 5 + λ 2 · λα . So we can choose α to be compatible with the previously chosen null-homotopy.

## Step 2.9. Consider the commutative diagram

/d47

/d47

/d47

/d47

/d15

/d15

/d125

/d125

S

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-1d82a5c9-f904-4b85-852a-547df8a35d51.jpg)

in which the top row is a cofiber sequence. The composition S 82 8 , → Z → S 0 0 , is zero because ν · λβ is zero. Therefore, g Z extends to the dashed arrow g : X → S 0 0 , shown in the diagram.

- 2.4. The composition gf : S 83 5 , → S 0 0 , . We will detect the map gf : S 83 5 , → S 0 0 , by smashing with S 0 0 , /λ and passing to the category of S 0 0 , /λ -modules. This latter category is entirely algebraic, i.e., is equivalent to the category of derived comodules over the classical dual Steenrod algebra. In more concrete terms, the synthetic homotopy groups of S 0 0 , /λ are isomorphic to the classical Adams E 2 -page, i.e., the cohomology of the dual Steenrod algebra. These latter homotopy groups of S 0 0 , /λ are much more easily understood than the homotopy groups of S 0 0 , .

We will now show that the complex X splits completely after smashing with S 0 0 , /λ . This means that maps into and out of X/λ are easy to compute.

p

/d47

/d47

Proposition 2.10. The S 0 0 , /λ -module X/λ splits as a wedge of suspensions of S 0 0 , /λ .

Proof. The S 0 0 , /λ -module Y/λ has three cells: S 83 4 , /λ , S 81 6 , /λ , and S 3 1 , /λ . The attaching map between the bottom and middle cells is the smash product of λµ with S 0 0 , /λ . This smash product is zero because λµ is a multiple of λ . Similarly, the attaching map between the middle and top cells is zero. The Adams E 2 -page is zero in stem 79 and filtration 4; therefore, zero is the only possible attaching map between the bottom and top cells. This shows that Y/λ splits.

As shown in Step 2.2, the spectrum Q is defined by the cofiber sequence

/d47

$$S ^ { 8 2, 8 } \xrightarrow { i _ { Y } \cdot \lambda \beta } Y \xrightarrow { \ } Q.$$

/d47

/d47

/d47

After smashing with S 0 0 , /λ , this cofiber sequence splits because i Y · λβ is a multiple of λ . Consequently, Q/λ splits as

$$\begin{matrix} \www. \in \\ ( Y / \lambda ) \vee ( S ^ { 8 3, 7 } / \lambda ) \,, \\ \text{that } Y / \lambda \text{ splits.} \end{matrix}$$

and we have already shown that Y/λ splits.

As shown in Step 2.3, the spectrum X is defined by the cofiber sequence

/d47

$$X \xrightarrow { ( \lambda \theta _ { 5 }, \lambda \alpha ) \cdot p _ { Q } } Q \xrightarrow { ( \lambda \theta _ { 5 }, \lambda \alpha ) \cdot p _ { Q } } S ^ { 2 1, 3 } \vee S ^ { 1, - 3 }.$$

/d47

/d47

/d47

After smashing with S 0 0 , /λ , this cofiber sequence splits because ( λθ , λα 5 ) · p Q is a multiple of λ . Consequently, X/λ splits as

$$\psi _ { \Psi \nu _ { J } }, \Psi _ { \Psi \nu _ { \Psi } } \, \infty \\ ( Q / \lambda ) \vee \left ( S ^ { 2 0, 4 } / \lambda \right ) \vee \left ( S ^ { 0, - 2 } / \lambda \right ), \\ \psi _ { \Psi } \, \text{shown that } Q / \lambda \, \text{splits.}$$

and we have already shown that Q/λ splits.

/square

Remark 2.11. Similarly to Proposition 2.10 but much easier, the S 0 0 , /λ -module C/λ splits as a wedge of two suspensions of S 0 0 , /λ . Here C is the 2-cell complex discussed in Step 2.5.

After smashing f with S 0 0 , /λ , the map f/λ is of the form

$$( a _ { 0, - 2 }, a _ { 0, 1 }, a _ { 2, - 1 }, a _ { 8 0, 4 }, a _ { 6 3, 1 }, a _ { 8 3, 7 } ) \,,$$

where each a s,f is an element of the Adams E 2 -page in stem s and filtration f . Similarly, the map g/λ is of the form

$$( b _ { 8 3, 7 }, b _ { 8 3, 4 }, b _ { 8 1, 6 }, b _ { 3, 1 }, b _ { 2 0, 4 }, b _ { 0, - 2 } ) \,,$$

where each b s,f is an element of the Adams E 2 -page in stem s and filtration f . The composition gf/λ is equal to

$$b _ { 8 3, 7 } a _ { 0, - 2 } + b _ { 8 3, 4 } a _ { 0, 1 } + b _ { 8 1, 6 } a _ { 2, - 1 } + b _ { 3, 1 } a _ { 8 0, 4 } + b _ { 2 0, 4 } a _ { 6 3, 1 } + b _ { 0, - 2 } a _ { 8 3, 7 }.$$

The computation of gf/λ is illustrated in Figure 4. This figure can be interpreted as a cell diagram in the category of S 0 0 , /λ -modules. However, since X/λ splits, the cell diagram is trivial.

Lemma 2.12. The composition gf/λ : S 83 5 , /λ → S 0 0 , /λ is equal to h a 2 80 4 , + ga 63 1 , .

Figure 4. The composition gf/λ

/d47

/d47

/d39

/d39

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-4cbf99a5-dcff-4888-a103-b436466c2e82.jpg)

/d35

/d35

/d39

/d39

/d35

/d35

/d12

/d12

/d15

/d15

/d19

/d19

/d31

/d31

/d47

/d47

Proof. For degree reasons, a 0 2 , , a 2 , -1 , b 83 4 , , and b 0 , -2 must be zero. Moreover, a 0 1 , must equal h 0 since h 0 detects 2 and the composition of ˜ f with the projection X → S 83 4 , is 2. ˜ Similarly, b 20 4 , must equal g since g detects κ and the composition of g with the inclusion S 20 4 , → X is κ . Also, b 3 1 , must equal h 2 since h 2 detects ν and the composition of g with the inclusion S 3 1 , → X is ν .

Substituting these values, we find that gf/λ equals

$$b _ { 8 3, 7 } \cdot 0 + 0 \cdot h _ { 0 } + b _ { 8 1, 6 } \cdot 0 + h _ { 2 } \cdot a _ { 8 0, 4 } + g \cdot a _ { 6 3, 1 } + 0 \cdot a _ { 8 3, 7 },$$

which simplifies to h a 2 80 4 , + ga 63 1 , .

/square

We still need to compute that a 63 1 , and a 80 4 , are equal to h 6 and e 2 respectively. We need another cell complex in order to to accomplish this.

Step 2.13. Recall the complex C constructed as the cofiber of λθ 5 in Step 2.5. Let D be the cofiber of the composition πf : S 83 5 , → C . A cell diagram for D is shown on the left side of Figure 5.

Lemma 2.14. The operation Sq 64 is non-zero in the cohomology of D .

Proof. We work in the classical context; the synthetic result that we desire follows immediately by comparison along the realization functor, i.e., along λ -localization. Recall Adams's decomposition

$$S q ^ { 6 4 } = S q ^ { 1 } \, \Phi _ { 5, 5 } + \cdots$$

of Sq 64 in terms of secondary operations [1, Theorem 4.6.1]. The secondary operation Φ 5 5 , is non-zero on the cofiber of θ 5 [3, p. 536]. /square

Lemma 2.15. The map

$$\pi f / \lambda \colon S ^ { 8 3, 5 } / \lambda \rightarrow C / \lambda$$

/d38

/d38

/d36

/d36

is equal to

( h , h 0 6 ) : S 83 5 , /λ → S 83 4 , /λ ∨ S 20 4 , /λ.

Here we are using the splitting of C/λ given in Remark 2.11. Figure 6 illustrates Lemma 2.15 with cell diagrams.

Figure 6. The maps πf and πf/λ

/d47

/d47

/d47

/d47

/d41

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-7921ce41-232a-4833-9a98-fa3669aad1d4.jpg)

/d41

Proof. Unlike all of the other S 0 0 , /λ -modules under consideration, D/λ does not split. In fact, the middle cell is attached to the top cell by h 0 because 2 is detected ˜ by h 0 . Lemma 2.14 implies that Sq 64 is non-zero on D/λ . Therefore, the bottom cell is attached to the top cell by h 6 . A cell diagram for D/λ is shown on the right side of Figure 5.

The cofiber sequence

/d47

$$S ^ { 8 3, 5 } \stackrel { \pi f } { \longrightarrow } C \longrightarrow D$$

/d47

/d47

/d47

that defines D induces a cofiber sequence

/d47

$$S ^ { 8 3, 5 } / \lambda \xrightarrow { \pi f / \lambda } C / \lambda \xrightarrow { \ } D / \lambda.$$

/d47

/d47

/d47

The computation of the attaching maps for D/λ is equivalent to the computation of πf/λ . /square

Lemma 2.16. The value of a 63 1 , is h 6 .

Figure 5. The complexes D and D/λ

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00987v1-figure-9efd12e6-9c4b-4d8c-b7a7-f7944dfc0f51.jpg)

Proof. The map π/λ : X/λ → C/λ is the standard projection onto two wedge summands of X/λ . The computation of πf/λ in Lemma 2.15 gives that a 63 1 , is equal to h 6 . /square

Theorem 2.17. The composition gf : S 83 5 , → S 0 0 , is detected by h g 6 + h e 2 2 in the synthetic Adams spectral sequence.

Proof. Combining Lemma 2.12 with Lemma 2.16, we get that gf/λ is equal to h g 6 + h a 2 80 4 , for some value of a 80 4 , . Therefore, gf is detected by h g 6 + h a 2 80 4 , in the synthetic Adams E 2 -page.

By inspection, a 80 4 , must be a linear combination of e 2 and h h h 2 1 4 6 . Since h g 6 itself is known to not be a permanent cycle [12], we must have that h a 2 80 4 , is non-zero. The only possibility is that h a 2 80 4 , equals h e 2 2 . /square

Remark 2.18. The careful reader will note that we did not compute a 80 4 , . It could be either e 2 or e 2 + h h h 2 1 4 6 . In either case, we conclude that h g 6 + h e 2 2 is a permanent cycle.

## 3. Computations

Proposition 3.1. (56 9 9) , , d 5 ( Ph e 5 0 ) = λ il 4 .

Remark 3.2. Proposition 3.1 immediately follows from [11, Lemma 3.92], which uses fourfold brackets. We give a simpler proof.

Proof. Recall the hidden η extension from g 2 to λ ∆ h e 2 0 0 [12, Table 18]. Multiply by d 0 to see that there is also a hidden η extension from e g 2 0 to λil . Also, an immediate consequence of the main result of [5] is that there is a hidden 2 extension from ˜ λ h h i 2 0 5 to λ e g 4 2 0 .

Therefore, λ il 5 detects a multiple of 2 ˜ η = 0, so it must be hit by a differential. There is only one possibility. /square

Lemma 3.3. (46 7 7) , , The Toda bracket 〈 η, ˜ 2 2 κ , 2 ˜ 2 〉 is detected by Mh 1 . The indeterminacy is generated by λ η 3 { ∆ h g 1 } , which is detected by λ d l 4 0 .

Remark 3.4. The Toda bracket in Lemma 3.3 has a classical analogue 〈 η, 4 κ , 2 2 . 〉 The classical bracket contains zero because ηθ 4 5 . is detected by Mh 1 . Synthetically, the product ηθ 4 5 . is detected by λ Mh 3 1 , but Mh 1 itself does not detect a multiple of η .

Proof. Start with the Massey product Mh 1 = 〈 h , h 1 2 0 g , h 2 0 〉 [12, Table 3]. Apply the Moss Convergence Theorem [4] [17] to obtain that the Toda bracket 〈 η, ˜ 2 2 κ , 2 ˜ 2 〉 is detected by Mh 1 . The indeterminacy is computed by inspection. /square

Lemma 3.5. (77 12 12) , , The Toda bracket 〈 ˜ 2 2 κ , 2 ˜ 2 , { ∆ h h 1 3 }〉 is detected by the element M h h ∆ 1 3 , with no indeterminacy.

Proof. The shuffle

η 〈 ˜ 2 2 κ , 2 ˜ 2 , { ∆ h h 1 3 }〉 = 〈 η, ˜ 2 2 κ , 2 ˜ 2 〉{ ∆ h h 1 3 } shows that η 〈 ˜ 2 2 κ , 2 ˜ 2 , { ∆ h h 1 3 }〉 is detected by Mh 1 · ∆ h h 1 3 . Here we are using the Toda bracket from Lemma 3.3. It follows that 〈 ˜ 2 2 κ , 2 ˜ 2 , { ∆ h h 1 3 }〉 is detected by M h h ∆ 1 3 .

The indeterminacy is zero by inspection.

/square

Proposition 3.6. (77 12 12) , , There is a hidden ν extension from M h h ∆ 1 3 to λ Mh e 2 1 2 0 .

Remark 3.7. The hidden extension in Proposition 3.6 is purely synthetic; it has no classical (nor motivic) analogue. In computational terms, the target λ Mh e 2 1 2 0 of the extension is annihilated by λ 2 , so it becomes zero after λ -periodicization.

However, we do not know yet that λ Mh e 2 1 2 0 is annihilated by λ 2 . That fact is a consequence of Proposition 3.8, whose proof depends on Proposition 3.6.

Proof. Lemma 3.5 shows that the Toda bracket 〈 ˜ 2 2 κ , 2 ˜ 2 , { ∆ h h 1 3 }〉 is detected by M h h ∆ 1 3 . We have

〈 ˜ 2 2 κ , 2 ˜ 2 , { ∆ h h 1 3 }〉 ν = 2 〈 ˜ 2 κ , 2 ˜ 2 , λ 2 ηκκ 〉 because of the hidden ν extension from ∆ h h 1 3 to λ h e 2 1 2 0 [12, Table 21]. Equality holds in the displayed formula because the right side has no indeterminacy by inspection.

We also have

2 2 /square

$$\langle \widetilde { 2 } ^ { 2 } \overline { \kappa } _ { 2 }, \widetilde { 2 }, \lambda ^ { 2 } \eta \kappa \overline { \kappa } \rangle = \langle \widetilde { 2 } ^ { 2 } \overline { \kappa } _ { 2 }, \widetilde { 2 }, \eta \rangle \lambda ^ { 2 } \kappa \overline { \kappa }, \\ \text{a 3.3, this last expression is detected by } M h _ { 1 } \cdot.$$

Because of Lemma 3.3, this last expression is detected by Mh 1 · λ e 0 .

Proposition 3.8. (61 6 6) , , d 5 ( A ′ ) = λ Mh d 4 1 0 .

Remark 3.9. Proposition 3.8 immediately follows from [20, Theorem 12.1], which requires 8 pages of shuffling several Toda brackets in a delicate way. We give a simpler proof.

Proof. We will show that d 5 ( gA ′ ) = λ Mh e 4 1 2 0 , from which the desired formula follows immediately.

By comparison to motivic homotopy [12, Table 18], there is a hidden η extension from x 76 9 , to λ M 2 ∆ h h 1 3 . Proposition 3.6 shows that there is a hidden ν extension from λ M 2 ∆ h h 1 3 to λ Mh e 4 1 2 0 .

Therefore, λ Mh e 4 1 2 0 must be hit by a differential, but there are two possibilities. By comparison to motivic homotopy, d 3 (∆ 2 p ) cannot equal λ Mh e 2 1 2 0 [12, Table 6]. The only remaining possibility is that d 5 ( gA ′ ) equals λ Mh e 4 1 2 0 . /square

Proposition 3.10. (71 5 5) , , There is no hidden ν extension on h p 1 1 .

Proof. The elements λPh h h 0 2 6 , λ Ph h 2 3 1 6 , λ x 2 74 8 , , λ 8 ∆ 2 h g 2 2 , and λ 10 e g 2 0 2 are the possible values for a hidden ν extension on h p 1 1 . As shown in [12, Lemma 7.28], the element τh p 1 1 does not support a motivic hidden 2 extension. Therefore, h p 1 1 does not support a classical hidden 2 extension. Also, h p 1 1 does not support a synthetic hidden 2 extension because all of the possible targets are ˜ λ -periodic. Therefore, the target of a synthetic hidden ν extension on h p 1 1 must be annihilated by 2. ˜ This rules out λPh h h 0 2 6 and λ x 2 74 8 , .

The remaining three cases would imply motivic hidden ν extensions from τh p 1 1 to Ph h 3 1 6 , τ ∆ 2 h g 2 2 , and τ 5 e g 2 0 2 respectively. The first is ruled out by comparison to S 0 0 , /τ , and the last two are ruled out by comparison to mmf. /square

Proposition 3.11. (74 6 6) , , There is a hidden ˜ 2 extension from h n 3 1 to λx 74 8 , .

Remark 3.12. Proposition 3.11 follows from [12, Lemma 7.35], which uses fourfold brackets. We give a simpler proof.

Proof. Let γ be an element of π 67 5 , that is detected by Q 3 + n 1 . Because of the differentials d 3 ( d 2 ) = λ h 2 0 ( Q 3 + n 1 ) and d 4 ( h d 0 2 ) = λ X 3 3 , projection to the top cell of S 0 0 , /λ gives a hidden 2 extension from ˜ h 2 0 ( Q 3 + n 1 ) to λX 3 . Since h X 3 3 = h x 2 0 74 8 , , we conclude that λh x 2 0 74 8 , detects 2 ˜ 3 σγ . This implies the desired hidden extension since σγ is detected by h n 3 1 . /square

Proposition 3.13. (77 7 7) , , There is no hidden ν extension on m 1 .

Proof. As shown in [12], the element m 1 does not support a motivic hidden ν extension, which means that m 1 does not support a classical hidden ν extension. Therefore, a λ -free element cannot be the target of a synthetic hidden ν extension on m 1 . By inspection, there are no possible λ -torsion targets for a hidden ν extension on m 1 . /square

Proposition 3.14. (77 7 5) , , There is no hidden η extension on λ m 2 1 .

Proof. The product h 1 · λ m 2 1 equals zero in the synthetic Adams E ∞ -page because of the differential d 3 ( x 1 ) = λ h m 2 1 1 .

As shown in [12], the element τm 1 does not support a motivic hidden η extension, which means that m 1 does not support a classical hidden η extension. Therefore, a λ -free element cannot be the target of a synthetic hidden η extension on λ m 2 1 . By inspection, there are no possible λ -torsion targets for a hidden η extension on λ m 2 1 . /square

Lemma 3.15. (77 7 7) , , There exists an element µ in π 77 7 , that is detected by m 1 such that λ ηµ 2 and νµ are both zero.

Proof. Proposition 3.13 implies that there exists a choice of µ such that νµ is zero. Moreover, as shown in [12], there are no classical hidden ν extensions in higher filtration. Therefore, there are no synthetic hidden ν extensions in higher filtration whose targets are λ -free. By inspection, there are no λ -torsion classes that could be the targets of synthetic hidden ν extensions in higher filtration. This implies that νµ is zero for every choice of µ .

Proposition 3.14 implies that there exists an element µ ′ in π 77 5 , that is detected by λ m 2 1 such that ηµ ′ is zero. We just need to show that µ ′ is of the form λ µ 2 , for some choice of µ detected by m 1 .

To start, choose µ arbitrarily. The sum µ ′ + λ µ 2 is detected in higher filtration. As shown in [12], there are no classical hidden η extensions in higher filtration. Therefore, there are no synthetic hidden η extensions in higher filtration whose targets are λ -free. By inspection, there are no λ -torsion classes that could be the targets of synthetic hidden η extensions in higher filtration.

However, there is a non-hidden η extension from λ M 7 ∆ h h 1 3 to λ M 7 ∆ h h 2 1 3 . Let µ ′′ be an element of π 77 7 , that is detected by λ M 5 ∆ h h 1 3 , so λ µ 2 ′′ is detected by λ M 7 ∆ h h 1 3 .

If µ ′ + λ µ 2 is not equal to λ µ 2 ′′ , then η µ ( ′ + λ µ 2 ) is zero. On the other hand, if µ ′ + λ µ 2 is equal to λ µ 2 ′′ , then η µ ( ′ + λ 2 ( µ + µ ′′ )) is zero. Since ηµ ′ was already shown to be zero, we conclude that either λ ηµ 2 or λ η µ 2 ( + µ ′′ ) is zero. Consequently, either µ or µ + µ ′′ satisfies the required conditions. /square

Lemma 3.16. (79 ? 5) , , The Toda bracket 〈 λµ, λ 2 η, ˜ 2 〉 contains zero or is detected by λ Me 9 2 0 , and its indeterminacy is generated by an element that is detected by λ h h x 3 0 2 76 6 , .

Remark 3.17. The Toda bracket 〈 λµ, λη, ˜ 2 〉 is also defined. Using the Moss Convergence Theorem [4] [17] and the differential d 3 ( x 1 ) = λ h m 2 1 1 , it is detected by h x 0 1 . The element h x 0 1 is not zero but is annihilated by λ .

Remark 3.18. The element λ h h x 3 0 2 76 6 , has lower Adams filtration than λ Me 9 2 0 . One must often be especially careful in situations like this when the indeterminacy is detected in lower filtration because the various elements of the Toda bracket are detected in different filtrations.

Proof. By inspection, there are no λ -torsion elements that could detect the Toda bracket. Consequently, we only need to consider λ -free elements, so we can work in the classical context.

As shown in [12, Table 10], the corresponding motivic Toda bracket contains zero or is detected by τ 2 Me 2 0 . Therefore, the corresponding classical bracket either contains zero or is detected by Me 2 0 .

The indeterminacy is generated by λµ · λ η 3 2 and by the multiples of 2 in ˜ π 79 5 , . The first expression is zero by Lemma 3.15. As shown in [12], there are no classical hidden 2 extensions in the 79-stem. This rules out all possible synthetic hidden ˜ 2 extensions. There is only one non-hidden 2 extension in ˜ π 79 5 , , and its target is λ h h x 3 0 2 76 6 , . /square

Lemma 3.19. (79 ? 8) , , Every element of 〈 λµ, λ 2 η, ˜ 2 〉 is of the form λ β 3 for some β in π 79 8 , such that λνβ is zero.

Remark 3.20. We do not specify which element of the Adams E ∞ -page detects the element β in Lemma 3.19. For our purposes later, the detecting element is unimportant.

Proof. The proof involves two steps. First, we will show that the Toda bracket contains an element with the desired properties. Second, we will show that the elements in the indeterminacy of the Toda bracket have the desired properties. These two steps imply that every element of the Toda bracket has the desired properties.

There are two cases in Lemma 3.16. In one case, zero is an element in the Toda bracket with the desired properties.

In the other case, let β be detected by λ Me 6 2 0 . Then λ β 3 and 〈 λµ, λ 2 η, ˜ 2 〉 are both detected by λ Me 9 2 0 . There are no elements in higher filtration, so in fact λ β 3 is contained in 〈 λµ, λ 2 η, ˜ 2 . 〉 Finally, λ Me 6 2 0 cannot support a ν extension because there are no possible targets. This shows that the Toda bracket contains an element with the desired properties.

Next, we study the elements in the indeterminacy. Lemma 3.16 shows that the indeterminacy is generated by λ 3 ˜ 2 γ , where γ is an element of π 79 7 , that is detected by h x 2 76 6 , . We want to show that λν · 2 γ is zero.

Proposition 3.21. (81 12 12) , , There is no hidden ν extension on ∆ 2 p .

˜ Note that νγ is detected by h x 2 2 76 6 , . We know from [12, Lemma 7.43] that h x 2 2 76 6 , does not support a classical hidden 2 extension. Therefore, it also does not support a synthetic 2 extension because all possible targets for such a hidden extension are ˜ λ -free. This shows that λν · ˜ 2 γ is zero. /square

Proof. The elements λ ∆ 2 t and λ M 2 ∆ h d 1 0 are the two possible targets for a hidden ν extension on ∆ 2 p . Both elements support h 1 extensions, so they cannot be targets of hidden ν extensions. /square

Lemma 3.22. (82 6 5) , , Every element of the Toda bracket 〈 ν, λµ, λ 2 η 〉 is detected by λh g 2 5 . Here µ is the element in π 77 7 , specified in Lemma 3.15.

Remark 3.23. Lemma 3.22 does not compute the indeterminacy of the Toda bracket 〈 ν, λµ, λ 2 η 〉 . In fact, the bracket does have indeterminacy because of the presence of multiples of λ η 2 and of ν in higher filtration. However, our later arguments do not depend on the indeterminacy.

Proof. The bracket is well-defined because of Lemma 3.15. Using the synthetic Adams differential d 3 ( λx 1 ) = λ h m 3 1 1 , the Moss Convergence Theorem [4] [17] implies that λh x 2 1 = λh g 2 5 detects the Toda bracket.

For degree reasons, all of the indeterminacy is detected in higher filtration. Consequently, every element of the bracket is detected by λh g 2 5 . /square

Lemma 3.24. (82 ? 8) , , Every element of the Toda bracket 〈 ν, λµ, λ 2 η 〉 is of the form λ α 3 + λκθ 5 , where α is an element of π 82 8 , such that 2 α is zero.

Remark 3.25. We do not specify which element of the Adams E ∞ -page detects the element α in Lemma 3.24. By inspection of the proof, we know that α is detected in Adams filtration 8 or higher. For our purposes later, the detecting element is unimportant.

Proof. Because of Lemma 3.22, we know that λh g 2 5 detects both the product λκθ 5 and every element of the Toda bracket 〈 ν, λµ, λ 2 η 〉 . Therefore, the expression

$$\lambda \overline { \kappa } \theta _ { 5 } + \langle \nu, \lambda \mu, \lambda ^ { 2 } \eta \rangle$$

consists entirely of elements that are detected in higher filtration. By inspection of the possible detecting elements, every element of

$$\lambda \overline { \kappa } \theta _ { 5 } + \langle \nu, \lambda \mu, \lambda ^ { 2 } \eta \rangle$$

is a multiple of λ 3 . This shows that α exists.

It remains to show that 2 α is zero. By inspection, every possible value of 2 α is λ -free. Therefore, it suffices to show that 2 λ α 3 is zero. We have because 2 θ 5 is zero (proved in [21]) and because 2 = λ ˜ 2. Then shuffle to obtain λν λµ, λ η, 〈 2 ˜ 2 〉 . Finally, in either case of Lemma 3.16, the expression λν λµ, λ η, 〈 2 ˜ 2 〉 contains zero. /square

$$\text{re, it sources to show that $2\lambda\breve { \alpha }$ is zero. We have} \\ 2 \left ( \lambda \overline { \kappa } \theta _ { 5 } + \langle \nu, \lambda \mu, \lambda ^ { 2 } \eta \rangle \right ) = \langle \nu, \lambda \mu, \lambda ^ { 2 } \eta \rangle \lambda \widetilde { 2 } \\ \text{zero} \left ( \text{proved in [21]) and because $2=\lambda\widetilde{2}$. Then shuff} \\ \text{-} \quad \sim$$

Lemma 3.26. (79 7 7) (84 , , , 10 8) , There exists an element γ in π 79 7 , that is detected by h x 2 76 6 , such that ηγ is zero. Moreover, λ Px 2 76 6 , detects an element in the Toda bracket 〈 ν, η, γ 〉 .

Remark 3.27. Beware that Lemma 3.26 does not compute the indeterminacy of the Toda bracket. In fact, the indeterminacy contains an element that is detected by λh c H 2 1 1 , whose filtration is lower than the filtration of λ Px 2 76 6 , . One must often be especially careful in situations like this when the indeterminacy is detected in

lower filtration because the various elements of the Toda bracket are detected in different filtrations.

Proof. We know from [12] that h x 2 76 6 , does not support a classical η extension. Moreover, there are no possible targets for a hidden η extension on h x 2 76 6 , that are λ -torsion. Therefore, h x 2 76 6 , does not support a synthetic η extension, and it is possible to choose γ . (The element λPh c 6 0 in higher filtration supports an h 1 multiplication. This means that not all possible choices of γ are annihilated by η .)

There is a hidden C -motivic ν extension from h x 2 2 76 6 , to Ph x 1 76 6 , [12, Table 21]. Therefore, there is also a classical ν extension, as well as a synthetic ν extension from h x 2 2 76 6 , to λ Ph x 2 1 76 6 , . Shuffle to obtain

$$\nu ^ { 2 } \gamma = \langle \eta, \nu, \eta \rangle \gamma = \eta \langle \nu, \eta, \gamma \rangle.$$

Therefore, the right side is also detected by λ Ph x 2 1 76 6 , , and the Toda bracket must be detected by λ Px 2 76 6 , . /square

Proposition 3.28. (84 10 10) , , There is no hidden 2 extension on Px

Proof. The only possible targets for a hidden 2 extension are ˜ λ 3 ∆ 2 t and λ M 4 ∆ h d 1 0 . The first possibility is ruled out by [12] because the motivic weights are incompatible.

˜ 76 6 , .

If there were a hidden 2 extension from ˜ Px 76 6 , to λ M 4 ∆ h d 1 0 , then there would also be a hidden 2 extension from ˜ λ Px 2 76 6 , to λ M 6 ∆ h d 1 0 . The possible differentials hitting λ M 8 ∆ h d 1 0 and λ M 9 ∆ h d 1 0 do not affect this argument.

Therefore, it suffices to show that there is no hidden 2 extension on ˜ λ Px 2 76 6 , . As in Lemma 3.26, let γ be an element of π 79 7 , that is detected by h x 2 76 6 , such that ηγ is zero, so λ Px 2 76 6 , detects 〈 ν, η, γ 〉 .

Consider the relations

〈 ν, η, γ 〉 ˜ 2 ⊆ 〈 ν, η, ˜ 2 γ 〉 ⊇ 〈 ν, η, ˜ 2 〉 γ. The last expression is zero because 〈 ν, η, ˜ 2 〉 is zero in π 5 2 , . Consequently, 〈 ν, η, γ 〉 ˜ 2 lies in the indeterminacy of the middle expression, which consists entirely of multiples of ν .

It remains to show that λ M 6 ∆ h d 1 0 cannot detect a multiple of ν . This follows from inspection and Proposition 3.21. /square

Proposition 3.29. (93 13 13) , , The element P h d 2 6 0 is a permanent cycle.

Proof. We begin by computing 〈 ˜ 2 , λθ 5 , { λ P 3 2 d 0 }〉 in S 0 0 , /λ 5 . There are no crossing differentials since the differential d 6 ( h 3 0 · ∆ h h 2 2 6 ) = λ M 5 ∆ h e 2 2 0 does not occur in S 0 0 , /λ 5 . Compute the corresponding Massey product in the E 3 -page using the differential d 2 ( h 6 ) = λh h 0 2 5 . We obtain λ P 3 2 h d 6 0 , with no indeterminacy in the E 3 -page. Therefore, the Moss Convergence Theorem implies that the Toda bracket is detected by λ P 3 2 h d 6 0 in S 0 0 , /λ 5 .

On the other hand, { λ P 3 2 d 0 } equals zero since d 4 ( d e 0 0 + h h 7 0 5 ) = λ P 3 2 d 0 . Therefore, the bracket in S 0 0 , /λ 5 consists entirely of multiples of 2. ˜ In particular, λ P 3 2 h d 6 0 detects a 2 multiple in ˜ S 0 0 , /λ 5 . The only possibility is that there is a hidden 2 extension from λ h 2 4 0 · ∆ h h 2 2 6 to λ P 3 2 h d 6 0 in S 0 0 , /λ 5 .

˜ Pull back this hidden h 0 extension along the map S 0 0 , → S 0 0 , /λ 5 . We conclude that λ h 2 4 0 · ∆ h h 2 2 6 supports a hidden 2 extension in ˜ S 0 0 , . By compatibility with the extension in S 0 0 , /λ 5 , the element λ P 3 2 h d 6 0 is the only possible value for the

extension in S 0 0 , . In particular, λ P 3 2 h d 6 0 survives. In turn, this implies that P h d 2 6 0 survives. /square

Remark 3.30. The proof of Proposition 3.29 shows that there is a motivic (and also classical) 2 extension from h 4 0 · ∆ h h 2 2 6 to P h d 2 6 0 . Comparison to S 0 0 , /τ only gives that the target of the 2 extension is P h d 2 6 0 modulo the possible error term τ 2 M h 2 2 .

## Proposition 3.31. (93 13 13) , , d 6 ( tQ 2 ) = λ MP 5 ∆ h d 1 0 .

Proof. In the motivic Adams spectral sequence, the element MP ∆ h d 1 0 is hit by a differential [12, Table 9].

Adapting this argument to the synthetic context, we find that ηκγθ 4 5 . is detected by λ MP 5 ∆ h d 1 0 , for some γ in π 32 6 , that is detected by ∆ h h 1 3 .

The element ληκθ 4 5 . is zero because all elements of π 60 7 , that are detected in sufficiently high filtration are also detected by tmf. (Note that ηκθ 4 5 . in π 60 8 , is non-zero and detected by λ Mh d 3 1 0 , but this is irrelevant.)

We now know that ληκγθ 4 5 . is zero and is detected by λ MP 6 ∆ h d 1 0 . Therefore, λ M 6 ∆ h d 1 0 must be hit by a differential. Proposition 3.29 eliminates P h d 2 6 0 , P h h d 2 0 6 0 , and P h h d 2 2 0 6 0 as possible sources for this differential. The elements M h 2 2 and ∆ 2 h g 1 2 are also eliminated because they are products of permanent cycles. The only remaining possibility is that d 6 ( tQ 2 ) equals λ MP 5 ∆ h d 1 0 . /square

## References

- [1] J. F. Adams, On the non-existence of elements of Hopf invariant one , Ann. of Math. (2) 72 (1960), 20-104, DOI 10.2307/1970147. MR141119
- [2] J. Francis Baer, Maxwell Johnson, and Peter Marek, Stable Comodule Deformations and the Synthetic Adams-Novikov Spectral Sequence (2024), preprint, available at arXiv:2402.14274 .
- [3] M. G. Barratt, J. D. S. Jones, and M. E. Mahowald, Relations amongst Toda brackets and the Kervaire invariant in dimension 62, J. London Math. Soc. (2) 30 (1984), no. 3, 533-550, DOI 10.1112/jlms/s2-30.3.533. MR810962
- [4] Eva Belmont and Hana Jia Kong, A Toda bracket convergence theorem for multiplicative spectral sequences , preprint, available at arXiv:2112.08689 .
- [5] Robert Burklund, An extension in the Adams spectral sequence in dimension 54 , Bull. Lond. Math. Soc. 53 (2021), no. 2, 404-407, DOI 10.1112/blms.12428. MR4239183
- [6] Robert Burklund, Jeremy Hahn, and Andrew Senger, On the boundaries of highly connected, almost closed manifolds , Acta Math. 231 (2023), no. 2, 205-344.
- [7] Robert Burklund and Zhouli Xu, The Adams differentials on the classes h 3 j (2023), preprint, available at arXiv:2302.11869 .
- [8] Bogdan Gheorghe, Daniel C. Isaksen, Achim Krause, and Nicolas Ricka, C -motivic modular forms , J. Eur. Math. Soc. (JEMS) 24 (2022), no. 10, 3597-3628, DOI 10.4171/jems/1171. MR4432907
- [9] Bogdan Gheorghe, Guozhen Wang, and Zhouli Xu, The special fiber of the motivic deformation of the stable homotopy category is algebraic , Acta Math. 226 (2021), no. 2, 319-407, DOI 10.4310/acta.2021.v226.n2.a2. MR4281382
- [10] Michael J. Hopkins, Jianfeng Lin, XiaoLin Danny Shi, and Zhouli Xu, Intersection forms of spin 4-manifolds and the pin(2)-equivariant Mahowald invariant , Comm. Amer. Math. Soc. 2 (2022), 22-132, DOI 10.1090/cams/4. MR4385297
- [11] Daniel C. Isaksen, Stable stems , Mem. Amer. Math. Soc. 262 (2019), no. 1269, viii+159, DOI 10.1090/memo/1269. MR4046815
- [12] Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu, Stable homotopy groups of spheres: from dimension 0 to 90 , Publ. Math. Inst. Hautes Etudes Sci. ´ 137 (2023), 107-243, DOI 10.1007/s10240-023-00139-1. MR4588596
- [13] , Stable homotopy groups of spheres , Proc. Natl. Acad. Sci. USA 117 (2020), no. 40, 24757-24763, DOI 10.1073/pnas.2012335117. MR4250190

- [14] , Classical and C -motivic Adams charts (2020), preprint, available at s.wayne.edu/isaksen/adams-charts .
- [15] Weinan Lin, Guozhen Wang, and Zhouli Xu (14 May 2024), personal communication.
- [16] Peter Marek, H F 2 -synthetic homotopy groups of topological modular forms (2022), preprint, available at arXiv:2202.11305 .
- [17] R. Michael F. Moss, Secondary compositions and the Adams spectral sequence , Math. Z. 115 (1970), 283-310, DOI 10.1007/BF01129978. MR266216
- [18] Piotr Pstragowski, Synthetic spectra and the cellular motivic category , Invent. Math. 232 (2023), no. 2, 553-681.
- [19] Jean-Pierre Serre, Groupes d'homotopie et classes de groupes ab´liens e , Ann. of Math. (2) 58 (1953), 258-294, DOI 10.2307/1969789 (French). MR59548
- [20] Guozhen Wang and Zhouli Xu, The triviality of the 61-stem in the stable homotopy groups of spheres , Ann. of Math. (2) 186 (2017), no. 2, 501-580, DOI 10.4007/annals.2017.186.2.3. MR3702672
- [21] Zhouli Xu, The strong Kervaire invariant problem in dimension 62 , Geom. Topol. 20 (2016), no. 3, 1611-1624, DOI 10.2140/gt.2016.20.1611. MR3523064

Department of Mathematical Sciences, University of Copenhagen, Denmark Email address : rb@math.ku.dk

Department of Mathematics, Wayne State University, Detroit, MI 48202, USA Email address : isaksen@wayne.edu

Department of Mathematics, UC San Diego, La Jolla, CA 92093, USA Email address : xuzhouli@ucsd.edu
Robert Burklund Daniel C. Isaksen Zhouli Xu
Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods
We study the $\mathbb{F}_2$-synthetic Adams spectral sequence. We obtain new
computational information about $\mathbb{C}$-motivic and classical stable
homotopy groups.