arXiv subjects
Publications and source records attributed to Daniel C. Isaksen.
A C-motivic modular forms spectrum mmf has recently been constructed. This article presents detailed computational information on the Adams spectral sequence for mmf. This information is essential for computing with the C-motivic and classical Adams spectral sequences that compute the C-motivic and classical stable homotopy groups of spheres.
We construct a topological model for cellular, 2-complete, stable C-motivic homotopy theory that uses no algebro-geometric foundations. We compute the Steenrod algebra in this context, and we construct a "motivic modular forms" spectrum over C.
We show that the Picard group $Pic(A(1))$ of the stable category of modules over $\mathbb{C}$-motivic $A(1)$ is isomorphic to $\mathbb{Z}^4$. By comparison, the Picard group of classical $A(1)$ is $\mathbb{Z}^2 \oplus \mathbb{Z}/2$. One extra copy of $\mathbb{Z}$ arises from the motivic bigrading. The joker is a well-known exotic element of order $2$ in the Picard group of classical $A(1)$. The $\mathbb{C}$-motivic joker has infinite order.
We establish an isomorphism between the stable homotopy groups of the 2-completed motivic sphere spectrum over the real numbers and the corresponding stable homotopy groups of the 2-completed Z/2-equivariant sphere spectrum, in a certain range of dimensions.
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 stable homotopy groups.
We study the stable motivic homotopy groups $π_{s,w}$ of the 2-completion of the motivic sphere spectrum over $\mathbb{C}$. When arranged in the $(s,w)$-plane, these groups break into four different regions: a vanishing region, an $η$-local region that is entirely known, a $τ$-local region that is identical to classical stable homotopy groups, and a region that is not well-understood.
This article computes some motivic stable homotopy groups over R. For 0 <= p - q <= 3, we describe the motivic stable homotopy groups of a completion of the motivic sphere spectrum. These are the first four Milnor-Witt stems. We start with the known Ext groups over C and apply the rho-Bockstein spectral sequence to obtain Ext groups over R. This is the input to an Adams spectral sequence, which collapses in our low dimensional range.
We establish a motivic version of Adams' vanishing line of slope 1/2 in the cohomology of the motivic Steenrod algebra over the complex numbers.
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 groups are easy consequences. We also compute the motivic stable homotopy groups of the cofiber of the motivic element tau. This computation is essential for resolving hidden extensions in the Adams spectral sequence. We show that the homotopy groups of the cofiber of tau are the same as the E2-page of the classical Adams-Novikov spectral sequence. This allows us to compute the classical Adams-Novikov spectral sequence, including differentials and hidden extensions, in a larger range than was previously known.
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.
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.
We define a new invariant in the homology of a differential graded algebra. This invariant is the obstruction to defining a fourfold Massey product.
We use Cayley-Dickson algebras to produce Hopf elements eta, nu and sigma in the motivic stable homotopy groups of spheres, and we prove via geometric arguments that the the products eta*nu and nu*sigma both vanish. Along the way we develop several basic facts about the motivic stable homotopy ring.
The purpose of this article is to compute the cohomology of the motivic Steenrod algebra over Spec C through the geometric 70-stem. The main computational tool is the motivic May spectral sequence. Everywhere in this article, we are working only over Spec C, and we are always computing at the prime p = 2.
We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also establish a theory of connective covers to obtain a motivic version of ko. We establish an Adams spectral sequence for computing motivic ko-homology. The E_2-term of this spectral sequence involves Ext groups over the subalgebra A(1) of the motivic Steenrod algebra. We make several explicit computations of these E_2-terms in interesting special cases.
We show how eigentheory clarifies many algebraic properties of Cayley-Dickson algebras. These notes are intended as background material for those who are studying this eigentheory more closely.
Working over an algebraically closed field of characteristic zero, we compute the cohomology of the subalgebra A(2) of the motivic Steenrod algebra that is generated by Sq^1, Sq^2, and Sq^4. The method of calculation is a motivic version of the May spectral sequence. Speculatively assuming that there is a "motivic modular forms" spectrum with certain properties, we use an Adams-Novikov spectral sequence to compute the homotopy of such a spectrum at the prime 2.
We present some data on the cohomology of the motivic Steenrod algebra over an algebraically closed field. We discuss several features of the associated Adams spectral sequence, including the basic construction and convergence properties. The paper also deals with motivic versions of the May and Adams-Novikov spectral sequences. It is shown how these tools can be used to give new proofs of some classical results in algebraic topology. Also, the considerations reveal the existence of certain "exotic" motivic homotopy classes which have no classical analogues.