Related papers: Stasheff structures and differentials of the Adams…
The Adams spectral sequence was invented by J.F.Adams fifty years ago for calculations of stable homotopy groups of topological spaces and in particular of spheres. The calculation of differentials of this spectral sequence is one of the…
In the early 2000's, Baues computed the secondary Steenrod algebra, the algebra of all secondary cohomology operations. Together with Jibladze, they showed that this gives an algorithm that computes all Adams $d_2$ differentials for the…
In 1960, J.F. Adams introduced secondary cohomology operations that are defined on cohomology elements on which sufficiently many Steenrod algebra elements vanish. This led to his theorem on singly generated cohomology rings, which in turn…
We establish a differential $d_2(D_1)=h_0^2h_3g_2$ in the $51$-stem of the Adams spectral sequence at the prime $2$, which gives the first correct calculation of the stable 51 and 52 stems. This differential is remarkable since we know of…
We establish a hidden extension in the Adams spectral sequence converging to the stable homotopy groups of spheres at the prime 2 in the 54-stem. This extension is exceptional in that the only proof we know proceeds via Pstragowski's…
An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid…
We study the $\mathbb{F}_2$-synthetic Adams spectral sequence. We obtain new computational information about $\mathbb{C}$-motivic and classical stable homotopy groups.
We show that if we factor the long exact sequence in cohomology of a cofiber sequence of spectra into short exact sequences, then the $d_2$-differential in the Adams spectral sequence of any one term is related in a precise way to Yoneda…
We study the Adams-Novikov spectral sequence in $\mathbb{F}_p$-synthetic spectra, computing the synthetic analogs of $\mathrm{BP}$ and its cooperations to identify the synthetic Adams-Novikov $\mathrm{E}_2$-page, computed in a range with a…
In this note, we use Curtis's algorithm and the Lambda algebra to compute the algebraic Atiyah-Hirzebruch spectral sequence of the suspension spectrum of $\mathbb{R}P^\infty$ with the aid of a computer, which gives us its Adams $E_2$-page…
We describe an algorithm for the automated deduction of many $d_2$ differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.
We discuss the current state of knowledge of stable homotopy groups of spheres. We describe a new computational method that yields a streamlined computation of the first 61 stable homotopy groups, and gives new information about the stable…
The James fibrations give rise to the geometric EHP sequences of homotopy groups of spheres. Using techniques from the Lambda algebra, \cite{BCKQRS66} shows that there are similar long exact sequences of Ext groups defining the $E_{2}-$page…
We construct Adams operations on the cohomology theory Tmf of topological modular forms; the first such stable operations on this cohomology theory. These Adams operations are then calculated on the Tmf-cohomology of spheres using a…
Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…
We describe a variant construction of the unstable Adams spectral the sequence for a space $Y$, associated to any free simplicial resolution of $H^*(Y;R)$ for $R=\mathbb{F}_p$ or $\mathbb{Q}$. We use this construction to describe the…
Operadic tangent cohomology generalizes the existing cohomology theories of Chevalley--Eilenberg, Hochschild, and Harrison to address the deformation theory of general types of algebras through gadgets known as deformation complexes. The…
In this paper, we describe a novel way of identifying Adams spectral sequence $E_2$-terms in terms of homological algebra of quiver representations. Our method applies much more broadly than the standard techniques based on…
This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in…
The E_1-term of the (2-local) bo-based Adams spectral sequence for the sphere spectrum decomposes into a direct sum of a v_1-periodic part, and a v_1-torsion part. Lellmann and Mahowald completely computed the d_1-differential on the…