Table of Contents
Fetching ...

Revisiting the $β_1$-action on the $3$-primary stable homotopy groups of spheres

Jack Morgan Davies

TL;DR

This paper analyzes the action of the first $3$-torsion class $\beta_1$ on the $3$-local stable homotopy groups of spheres, focusing on the height-$2$ divided $β$-family and the $144$-periodic family $\{β_{1+9s}\}$. It provides simple proofs of vanishing and nonvanishing of products in these periodic families using BP-synthetic spectra, the Adams--Novikov spectral sequence for the sphere and for TMF at prime $3$, and a modified ANSS for the equaliser $\mathrm{J}^2$ of Adams operations on TMF. The main results establish upper bounds on nonzero products (e.g., up to five factors for $\prod β_{1+9s}$) and exact vanishing for higher products, while also demonstrating nonvanishing phenomena detected via $\mathrm{J}^2$ and TMF data for a broad class of periodic families. These findings refine our understanding of the multiplicative structure near $β_1$ and provide a robust synthetic framework that can extend to other $144$-periodic families and higher heights, with potential implications for exotic periodicities in synthetic and chromatic contexts.

Abstract

Let $β_1$ be the first $3$-torsion class in the stable homotopy groups of spheres in even degree. Toda showed that $β_1^5 \neq 0$, whilst $β_1^6 = 0$. Shimomura generalised this to the $144$-periodic family generated by $β_1$, written as $\{β_{1+9s}\}_{s\geq 0}$, and showed that any $5$-fold product $\prod_5 β_{1+9s} \neq 0$, whilst all $6$-fold products $\prod_6 β_{1+9s} = 0$. In this article, we give a simple proof of these results as well as some generalisations to other $144$-periodic families. Our tools include BP-synthetic spectra, and the well-known Adams--Novikov spectral sequence for the spectrum of topological modular forms at the prime $3$ as well as its Adams operations.

Revisiting the $β_1$-action on the $3$-primary stable homotopy groups of spheres

TL;DR

This paper analyzes the action of the first -torsion class on the -local stable homotopy groups of spheres, focusing on the height- divided -family and the -periodic family . It provides simple proofs of vanishing and nonvanishing of products in these periodic families using BP-synthetic spectra, the Adams--Novikov spectral sequence for the sphere and for TMF at prime , and a modified ANSS for the equaliser of Adams operations on TMF. The main results establish upper bounds on nonzero products (e.g., up to five factors for ) and exact vanishing for higher products, while also demonstrating nonvanishing phenomena detected via and TMF data for a broad class of periodic families. These findings refine our understanding of the multiplicative structure near and provide a robust synthetic framework that can extend to other -periodic families and higher heights, with potential implications for exotic periodicities in synthetic and chromatic contexts.

Abstract

Let be the first -torsion class in the stable homotopy groups of spheres in even degree. Toda showed that , whilst . Shimomura generalised this to the -periodic family generated by , written as , and showed that any -fold product , whilst all -fold products . In this article, we give a simple proof of these results as well as some generalisations to other -periodic families. Our tools include BP-synthetic spectra, and the well-known Adams--Novikov spectral sequence for the spectrum of topological modular forms at the prime as well as its Adams operations.

Paper Structure

This paper contains 4 sections, 14 theorems, 22 equations, 2 figures, 1 table.

Key Result

Theorem 1

Let $s_i,t\geq 0$ be a collection of nonnegative integers. Then

Figures (2)

  • Figure 1: Signature spectral sequence of $\mathrm{J}^{2}_\mathrm{BP}$ for stems $s$ in $0 \leq s \leq 64$; see \ref{['pr:manssforJ']}.
  • Figure 2: Signature spectral sequence of $\mathrm{J}^{2}_\mathrm{BP}$ for stems $70\leq 134$; see \ref{['pr:manssforJ']}.

Theorems & Definitions (32)

  • Theorem 1
  • Corollary 2
  • Theorem 3
  • Definition 2.1
  • Lemma 2.2
  • proof
  • Lemma 2.4
  • Lemma 2.5
  • Remark 2.6
  • Corollary 2.7
  • ...and 22 more