$\mathrm{H}\mathbb{F}_2$-synthetic homotopy groups of topological modular forms

TL;DR

This paper computes the synthetic Adams spectral sequence for a specific spectrum related to topological modular forms, revealing new insights into its homotopy groups and ring structure.

Contribution

It introduces computations of the $ u_{ ext{H}}_2$-Adams spectral sequence for synthetic tmf, providing new understanding of hidden extensions and homotopy ring structures.

Findings

Computed the synthetic Adams spectral sequence for $ u_{ ext{H}}_2 tmf_2^{w}$

Identified synthetic versions of hidden extensions involving 2, η, ν, and κ

Deduced new information about the homotopy ring structure of $ u_{ ext{H}}_2 tmf_2^{w}$

Abstract

To any Adams-type spectrum $E$, Pstr\k{a}gowski produced a symmetric monoidal stable $\infty$-category $Syn_E$ whose objects are, in a sense, ''formal Adams spectral sequences''. $Syn_E$ comes equipped with a lax symmetric monoidal functor $\nu_E:Sp\to Syn_E$ from classical spectra, which embeds $Sp$ fully and faithfully in $Syn_E$, and is a category with a natural notion of bigraded homotopy groups. The bigraded homotopy groups $\pi_{*,*}\nu_EX$ systematically record information about the homotopy groups $\pi_*X$ and the $E$-Adams spectral sequence of $X$. In this paper, we compute the $\nu_{\mathrm{H}\mathbb{F}_2}\mathbb{F}_2$-Adams spectral sequence of $\nu_{\mathrm{H}\mathbb{F}_2}tmf_2^{\wedge}$, synthetic versions of hidden $2$-, $\eta$-, $\nu$-, and $\overline{\kappa}$-extensions, and use this to deduce information about the homotopy ring structure of $\pi_{*,*}\nu_{\mathrm{H}\mathbb{F}_2}tmf_2^{\wedge}$.