The Adams spectral sequence was invented by J.F.Adams almost 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 most difficult problem of Algebraic Topology. Here we consider an approach to solve this problem in the case of Z/2 coefficients and find inductive formulas for the differentials. It is based on the Stasheff algebra structures, operad methods and functional homology operations.
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.
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 most difficult problem of Algebraic Topology. Here we consider an approach to find inductive formulas for the differentials. It is based on the A_\infty-structures, E_\infty-structures and functional homology operations. As This approach it will be applied to the Kervaire invariant problem.
We show that there is a non-trivial differential $d_4(h_6^3) =h_0^3g_4$ in the mod 2 Adams spectral sequence for spheres. This together with the results in \cite{barratt_differentials_1970,lin_differential_1998,kan_differential_2001} completely settle the differentials of $h_i^3$ for $i\ge4$. (The differentials of $h_i^3$ for $i=0,1,2,3$ are well-known.) Our proof uses the Kevaire invariant elements $θ_i \inπ_{2^{i+1}-2}^S$ for $i=4,5$ with the properties $2θ_4 =0$, $2θ_5 =0$.
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 sphere. The goal of this paper is to reinterpret their results in the language of synthetic spectra in order to achieve stronger computational results. Using this, we obtain an algorithm that computes hidden extensions on the $E_3$ page that jump by one filtration, in addition to the $d_2$ differentials of Baues--Jibladze. We then implement and run this algorit…
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 differentials and filtration in the spectral sequence in terms of appropriate systems of higher cohomology operations.
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 no way to prove it without recourse to the motivic Adams spectral sequence. It is the last undetermined differential in the range of the first author's detailed calculations of the $n$-stems for $n<60$ [6]. This note advertises the use of the motivic Adams spectral sequence to obtain information about classical stable homotopy groups.
In this paper we establish a formula for computing $d_2(sq^i(x))$ where $x$ is a permanent cycle in the $C_2$-equivariant Adams spectral sequence or the motivic Adams spectral sequence over $Spec(\mathbb{R})$. This requires establishing that the Adams towers have an $H_{\infty}$-structure as well as determining the attaching maps for $C_2$-equivariant projective spaces. The attaching maps of $C_2$-equivariant projective spaces can then be used to determine the coefficients of differentials in both the equivariant and motivic case. At the end some sample computations are given.
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 composition with the 2-extension given by the complementary terms in the long exact sequence. We use this to give a complete analysis of the Adams spectral sequence for the connective image-of-$J$ spectrum, finishing a calculation that was begun by D. Davis in 1975.
We compute the h_1-localized cohomology of the motivic Steenrod algebra over C. This serves as the input to an Adams spectral sequence that computes the motivic stable homotopy groups of the eta-local motivic sphere. We compute some of the Adams differentials, and we state a conjecture about the remaining differentials.
Let E be a ring spectrum for which the E-Adams spectral sequence converges. We define a variant of Mahowald's root invariant called the `filtered root invariant' which takes values in the E_1 term of the E-Adams spectral sequence. The main theorems of this paper concern when these filtered root invariants detect the actual root invariant, and explain a relationship between filtered root invariants and differentials and compositions in the E-Adams spectral sequence. These theorems are compared to some known computations of root invariants at the prime 2. We use the filtered root invariants to c…
We present a detailed analysis of 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. We use the motivic May spectral sequence to compute the cohomology of the motivic Steenrod algebra over C through the 70-stem. We then use the motivic Adams spectral sequence to obtain motivic stable homotopy groups through the 59-stem. In addition to finding all Adams differentials in this range, we also resolve all hidden extensions by 2, eta, and nu, except for a few carefully enumerated exceptions that remain unknown. The analogous classical stable homotopy …
Localized at almost all primes, we describe the structure of differentials in several important spectral sequences that compute the cohomology of classifying spaces of topological Kac-Moody groups. In particular, we show that for all but a finite set of primes, these spectral sequences collapse and that there are no additive extension problems. We also describe some appealing consequences of these results. The main tool is the use of the naturality properties of unstable Adams operations on these classifying spaces.
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 enriched category of stable maps and stable tracks between Eilenberg-Mac Lane spaces.
We calculate the $η$-localization of the motivic stable homotopy ring over the complex numbers, confirming a conjecture of Guillou and Isaksen. Our approach is via the motivic Adams-Novikov spectral sequence. In fact, work of Hu, Kriz, and Ormsby implies that it suffices to compute the corresponding localization of the classical Adams-Novikov $E_2$-term, and this is what we do. Guillou and Isaksen also proposed a pattern of differentials in the localized motivic classical Adams spectral sequence, which we verify using a method first explored by Novikov.
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 v_1-periodic part, and the corresponding contribution to the E_2-term. The v_1-torsion part is harder to handle, but with the aid of a computer it was computed through the 20-stem by Davis. Such computer computations are limited by the exponential growth of v_1-torsion in the E_1-term. In this paper, we introduce a new method for computing the contribution of the …
We use an Adams spectral sequence to calculate the R-motivic stable homotopy groups after inverting eta. The first step is to apply a Bockstein spectral sequence in order to obtain h_1-inverted R-motivic Ext groups, which serve as the input to the eta-inverted R-motivic Adams spectral sequence. The second step is to analyze Adams differentials. The final answer is that the Milnor-Witt (4k-1)-stem has order 2^{u+1}, where u is the 2-adic valuation of 4k. This answer is reminiscent of the classical image of J. We also explore some of the Toda bracket structure of the eta-inverted R-motivic stabl…
The Adams spectral sequence is available in any triangulated category equipped with a projective or injective class. Higher Toda brackets can also be defined in a triangulated category, as observed by B. Shipley based on J. Cohen's approach for spectra. We provide a family of definitions of higher Toda brackets, show that they are equivalent to Shipley's, and show that they are self-dual. Our main result is that the Adams differential $d_r$ in any Adams spectral sequence can be expressed as an $(r+1)$-fold Toda bracket and as an $r^{\text{th}}$ order cohomology operation. We also show how the …
We compute some R-motivic stable homotopy groups. For $s - w \leq 11$, we describe the motivic stable homotopy groups $π_{s,w}$ of a completion of the R-motivic sphere spectrum. We apply the $ρ$-Bockstein spectral sequence to obtain R-motivic Ext groups from the C-motivic Ext groups, which are well-understood in a large range. These Ext groups are the input to the R-motivic Adams spectral sequence. We fully analyze the Adams differentials in a range, and we also analyze hidden extensions by $ρ$, 2, and $η$. As a consequence of our computations, we recover Mahowald invariants of many low-dimens…
We prove that the 2-primary $π_{61}$ is zero. As a consequence, the Kervaire invariant element $θ_5$ is contained in the strictly defined 4-fold Toda bracket $\langle 2, θ_4, θ_4, 2\rangle$. Our result has a geometric corollary: the 61-sphere has a unique smooth structure and it is the last odd dimensional case - the only ones are $S^1, S^3, S^5$ and $S^{61}$. Our proof is a computation of homotopy groups of spheres. A major part of this paper is to prove an Adams differential $d_3(D_3) = B_3$. We prove this differential by introducing a new technique based on the algebraic and geometric Kahn-…
We make a conjecture about the whole $E_2$ page of the May spectral sequence in terms of generators and relations and we prove it in a subalgebra which covers a large range of dimensions. We show that the $E_2$ page plays a universal role in the study of Massey products in commutative DGAs. We conjecture that the $E_2$ page is nilpotent free and also prove it in this subalgebra. We compute all the $d_2$ differentials of the generators in the conjecture and construct maps of spectral sequences which allow us to explore Adams vanishing line theorem to compute differentials in the May spectral se…
In this article we construct what we call a higher spectral sequence for any chain complex (or topological space) that is filtered in $n$ compatible ways. For this we extend the previous spectral system construction of the author, and we show that it admits considerably more differentials than what was previously known. As a result, this endows the successive Leray--Serre, Grothendieck, chromatic--Adams--Novikov, and Eilenberg--Moore spectral sequences of the author with the structure of a higher spectral sequence. Another application is a universal coefficient theorem analog for spectral sequ…
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 each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Maho…
