Showing 1–50 of 54 results for author: Isaksen, D C

Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods

Authors: Robert Burklund, Daniel C. Isaksen, Zhouli Xu

Abstract: 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 study the $\mathbb{F}_2$-synthetic Adams spectral sequence. We obtain new computational information about $\mathbb{C}$-motivic and classical stable homotopy groups. △ Less

Submitted 1 August, 2024; originally announced August 2024.

Report number: CPH-GEOTOP-DNRF151 MSC Class: Primary 55Q45; Secondary 55T15

C_2-Equivariant Stable Stems

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We compute the 2-primary $C_2$-equivariant stable homotopy groups $π^{C_2}_{s,c}$ for stems between 0 and 25 (i.e., $0 \leq s \leq 25$) and for coweights between -1 and 7 (i.e., $-1 \leq c \leq 7)$. Our results, combined with periodicity isomorphisms and sufficiently extensive $\mathbb{R}$-motivic computations, would determine all of the $C_2$-equivariant stable homotopy groups for all stems up to… ▽ More We compute the 2-primary $C_2$-equivariant stable homotopy groups $π^{C_2}_{s,c}$ for stems between 0 and 25 (i.e., $0 \leq s \leq 25$) and for coweights between -1 and 7 (i.e., $-1 \leq c \leq 7)$. Our results, combined with periodicity isomorphisms and sufficiently extensive $\mathbb{R}$-motivic computations, would determine all of the $C_2$-equivariant stable homotopy groups for all stems up to 20. We also compute the forgetful map $π^{C_2}_{s,c} \rightarrow π^{\mathrm{cl}}_s$ to the classical stable homotopy groups in the same range. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 109 pages, including 42 pages of charts. Comments welcome!

MSC Class: 55Q91; 55T15; 55Q45

The $\mathbb C$-motivic Adams-Novikov spectral sequence for topological modular forms

Authors: Daniel C. Isaksen, Hana Jia Kong, Guchuan Li, Yangyang Ruan, Heyi Zhu

Abstract: We analyze the $\mathbb{C}$-motivic (and classical) Adams-Novikov spectral sequence for the $\mathbb{C}$-motivic modular forms spectrum $\mathit{mmf}$ (and for the classical topological modular forms spectrum $\mathit{tmf}$). We primarily use purely algebraic techniques, with a few exceptions. Along the way, we settle a previously unresolved detail about the multiplicative structure of the homotop… ▽ More We analyze the $\mathbb{C}$-motivic (and classical) Adams-Novikov spectral sequence for the $\mathbb{C}$-motivic modular forms spectrum $\mathit{mmf}$ (and for the classical topological modular forms spectrum $\mathit{tmf}$). We primarily use purely algebraic techniques, with a few exceptions. Along the way, we settle a previously unresolved detail about the multiplicative structure of the homotopy groups of $\mathit{tmf}$. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 38 pages, 5 figures. Comments welcome!

Report number: HIM-Spectral-2022 MSC Class: 14F42; 55T15; 55Q10

The Multiplicative Structures on Motivic Homotopy Groups

Authors: Daniel Dugger, Bjørn Ian Dundas, Daniel C. Isaksen, Paul Arne Østvær

Abstract: We reconcile the multiplications on the homotopy rings of motivic ring spectra used by Voevodsky and Dugger. While the connection is elementary and similar phenomena have been observed in situations like supersymmetry, neither we nor other researchers we consulted were aware of the conflicting definitions and the potential consequences. Hence this short note. We reconcile the multiplications on the homotopy rings of motivic ring spectra used by Voevodsky and Dugger. While the connection is elementary and similar phenomena have been observed in situations like supersymmetry, neither we nor other researchers we consulted were aware of the conflicting definitions and the potential consequences. Hence this short note. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Journal ref: Algebr. Geom. Topol. 24 (2024) 1781-1786

Jeff Smith's Theory of Ideals

Authors: Robert R. Bruner, Daniel C. Isaksen

Abstract: In 2006, Jeff Smith proposed a theory of ideals for rings in a triangulated symmetric monoidal category such as ring spectra or DGAs. We show that his definition is equivalent to a `central' $R$-$R$-bimodule map $ I \to R$. In 2006, Jeff Smith proposed a theory of ideals for rings in a triangulated symmetric monoidal category such as ring spectra or DGAs. We show that his definition is equivalent to a `central' $R$-$R$-bimodule map $ I \to R$. △ Less

Submitted 18 August, 2022; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: Added reference. Corrected title of talk

$\mathbb{R}$-motivic $v_1$-periodic homotopy

Authors: Eva Belmont, Daniel C. Isaksen, Hana Jia Kong

Abstract: We compute the $v_1$-periodic $\mathbb{R}$-motivic stable homotopy groups. The main tool is the effective slice spectral sequence. Along the way, we also analyze $\mathbb{C}$-motivic and $η$-periodic $v_1$-periodic homotopy from the same perspective. We compute the $v_1$-periodic $\mathbb{R}$-motivic stable homotopy groups. The main tool is the effective slice spectral sequence. Along the way, we also analyze $\mathbb{C}$-motivic and $η$-periodic $v_1$-periodic homotopy from the same perspective. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Comments: 42 pages, 19 figures

MSC Class: 14F42

Journal ref: Pacific J. Math. 330 (2024) 43-84

Stable homotopy groups of spheres: From dimension 0 to 90

Authors: Daniel C. Isaksen, Guozhen Wang, Zhouli Xu

Abstract: Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $Cτ$ and the algebraic Novikov spectral sequence for $BP_*$, we compute the classical and motivic stable homotopy groups of spheres from dimension 0 to 90, except for some carefully enumerated uncertainties. Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $Cτ$ and the algebraic Novikov spectral sequence for $BP_*$, we compute the classical and motivic stable homotopy groups of spheres from dimension 0 to 90, except for some carefully enumerated uncertainties. △ Less

Submitted 19 January, 2023; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: Updated some computations

MSC Class: 14F42; 55Q45; 55S10; 55T15 (Primary); 16T05; 55P42; 55Q10; 55S30 (Secondary)

Stable homotopy groups of spheres

Authors: Daniel C. Isaksen, Guozhen Wang, Zhouli Xu

Abstract: 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 homotopy groups in dimensions 62 through 90. The method relies more heavily on machine computations than previous methods, and is therefore less prone to error.… ▽ More 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 homotopy groups in dimensions 62 through 90. The method relies more heavily on machine computations than previous methods, and is therefore less prone to error. The main mathematical tool is the Adams spectral sequence. △ Less

Submitted 13 January, 2020; originally announced January 2020.

MSC Class: Primary 55Q45; Secondary 14F42; 55T15

R-motivic stable stems

Authors: Eva Belmont, Daniel C. Isaksen

Abstract: 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… ▽ More 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-dimensional classical stable homotopy elements. △ Less

Submitted 10 January, 2020; originally announced January 2020.

MSC Class: 14F42; 55Q45; 55S10; 55T15

C_2-equivariant and R-motivic stable stems, II

Authors: Eva Belmont, Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author. We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author. △ Less

Submitted 7 January, 2020; originally announced January 2020.

MSC Class: 14F42; 55Q45; 55Q91; 55T15

The Mahowald operator in the cohomology of the Steenrod algebra

Authors: Daniel C. Isaksen

Abstract: We study the Mahowald operator $M = \langle g_2,h_0^3, - \rangle$ in the cohomology of the Steenrod algebra. We show that the operator interacts well with the cohomology of $A(2)$, in both the classical and $\mathbb{C}$-motivic contexts. This generalizes previous work of Margolis, Priddy, and Tangora. We study the Mahowald operator $M = \langle g_2,h_0^3, - \rangle$ in the cohomology of the Steenrod algebra. We show that the operator interacts well with the cohomology of $A(2)$, in both the classical and $\mathbb{C}$-motivic contexts. This generalizes previous work of Margolis, Priddy, and Tangora. △ Less

Submitted 6 January, 2020; originally announced January 2020.

MSC Class: Primary 55T15; 16T05; Secondary 55S30; 55Q45; 14F42

The Bredon-Landweber region in $C_2$-equivariant stable homotopy groups

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We use the $C_2$-equivariant Adams spectral sequence to compute part of the $C_2$-equivariant stable homotopy groups $π^{C_2}_{n,n}$. This allows us to recover results of Bredon and Landweber on the image of the geometric fixed-points map from the equivariant homotopy group $π^{C_2}_{n,n}$ to the classical $π_0$. We also recover results of Mahowald and Ravenel on the Mahowald root invariants of th… ▽ More We use the $C_2$-equivariant Adams spectral sequence to compute part of the $C_2$-equivariant stable homotopy groups $π^{C_2}_{n,n}$. This allows us to recover results of Bredon and Landweber on the image of the geometric fixed-points map from the equivariant homotopy group $π^{C_2}_{n,n}$ to the classical $π_0$. We also recover results of Mahowald and Ravenel on the Mahowald root invariants of the elements $2^k$. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Comments: 13 pages. Comments welcome!

MSC Class: 55Q91; 55T15

The homotopy of C-motivic modular forms

Authors: Daniel C. Isaksen

Abstract: 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. 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. △ Less

Submitted 19 November, 2018; originally announced November 2018.

MSC Class: 14F42; 55Q10; 55T15

Motivic stable homotopy groups

Authors: Daniel C. Isaksen, Paul Arne Østvær

Abstract: We survey computations of stable motivic homotopy groups over various fields. The main tools are the motivic Adams spectral sequence, the motivic Adams-Novikov spectral sequence, and the effective slice spectral sequence. We state some projects for future study. We survey computations of stable motivic homotopy groups over various fields. The main tools are the motivic Adams spectral sequence, the motivic Adams-Novikov spectral sequence, and the effective slice spectral sequence. We state some projects for future study. △ Less

Submitted 6 March, 2019; v1 submitted 14 November, 2018; originally announced November 2018.

Comments: Minor improvements. Final version to appear in the forthcoming Handbook of Homotopy Theory

MSC Class: 14F42; 55T15; 55Q45

C-motivic modular forms

Authors: Bogdan Gheorghe, Daniel C. Isaksen, Achim Krause, Nicolas Ricka

Abstract: 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 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. △ Less

Submitted 25 October, 2018; originally announced October 2018.

MSC Class: Primary 14F42; 55N34; 55S10; Secondary 55Q45; 55T15

The cohomology of $C_2$-equivariant $A(1)$ and the homotopy of $ko_{C_2}$

Authors: Bertrand J. Guillou, Michael A. Hill, Daniel C. Isaksen, Douglas C. Ravenel

Abstract: We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an equivariant spectrum $ko_{C_2}$. Our approach is to use simpler $\mathbb{C}$-motivic and $\mathbb{R}$-motivic calculations as stepping stones. We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an equivariant spectrum $ko_{C_2}$. Our approach is to use simpler $\mathbb{C}$-motivic and $\mathbb{R}$-motivic calculations as stepping stones. △ Less

Submitted 30 July, 2019; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: 57 pages. Final version. To appear in the Tunisian Journal of Mathematics

MSC Class: 14F42; 55Q91; 55T15

Journal ref: Tunisian J. Math. 2 (2020) 567-632

The Picard group of motivic A(1)

Authors: Bogdan Gheorghe, Daniel C. Isaksen, Nicolas Ricka

Abstract: 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… ▽ More 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. △ Less

Submitted 16 June, 2016; originally announced June 2016.

MSC Class: 14F42; 20G05; 14C22

Z/2-equivariant and R-motivic stable stems

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: 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 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. △ Less

Submitted 30 March, 2016; originally announced March 2016.

MSC Class: 55Q10; 55Q91

The eta-inverted R-motivic sphere

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: 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… ▽ More 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. △ Less

Submitted 29 October, 2015; v1 submitted 5 October, 2015; originally announced October 2015.

Comments: 18 pages. Minor correction to statement of Theorem 6.2. Descriptions "h_1-local" and "eta-local" replaced with "h_1-inverted" and "eta-inverted", including in the title

MSC Class: 14F42; 55T15; 55Q45

Journal ref: Algebr. Geom. Topol. 16 (2016) 3005-3027

The Structure of Motivic Homotopy Groups

Authors: Bogdan Gheorghe, Daniel C. Isaksen

Abstract: 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. 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. △ Less

Submitted 6 May, 2015; originally announced May 2015.

Comments: 8 pages, 1 figure

MSC Class: 14F42; 55Q45; 55T15

Low dimensional Milnor-Witt stems over R

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: 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 co… ▽ More 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. △ Less

Submitted 3 February, 2015; originally announced February 2015.

MSC Class: 14F42; 55Q45; 55S10; 55T15

Journal ref: Ann. K-Th. 2 (2017) 175-210

The motivic Adams vanishing line of slope 1/2

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: 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 establish a motivic version of Adams' vanishing line of slope 1/2 in the cohomology of the motivic Steenrod algebra over the complex numbers. △ Less

Submitted 12 January, 2015; originally announced January 2015.

Comments: 11 pages. Comments welcome

MSC Class: 14F42; 55S10

Motivic Stable Homotopy and the Stable 51 and 52 Stems

Authors: Daniel C. Isaksen, Zhouli Xu

Abstract: 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… ▽ More 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. △ Less

Submitted 13 November, 2014; originally announced November 2014.

Comments: 4 pages

Classical and motivic Adams-Novikov charts

Authors: Daniel C. Isaksen

Abstract: This document contains large-format Adams-Novikov charts that compute the classical 2-complete stable homotopy groups. The charts are essentially complete through the 60-stem. We believe that these are the most accurate and extensive charts of their kind. We also include a motivic Adams-Novikov E-infinity chart. This document contains large-format Adams-Novikov charts that compute the classical 2-complete stable homotopy groups. The charts are essentially complete through the 60-stem. We believe that these are the most accurate and extensive charts of their kind. We also include a motivic Adams-Novikov E-infinity chart. △ Less

Submitted 17 January, 2020; v1 submitted 1 August, 2014; originally announced August 2014.

Comments: These charts are obsolete. The most current version is available at s.wayne.edu/isaksen/adams-charts

MSC Class: 55T15; 55Q45; 14F42

Stable stems

Authors: Daniel C. Isaksen

Abstract: 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 Ad… ▽ More 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. △ Less

Submitted 16 December, 2014; v1 submitted 31 July, 2014; originally announced July 2014.

Comments: added index; a few other minor changes

MSC Class: Primary 14F42; 55Q45; 55S10; 55T15; Secondary 16T05; 55P42; 55Q10; 55S30

The eta-local motivic sphere

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: 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 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. △ Less

Submitted 30 June, 2014; originally announced June 2014.

Comments: 22 pages. Large format May spectral sequence charts included as an ancillary file

MSC Class: 14F42; 55T15; 55S10

Classical and motivic Adams charts

Authors: Daniel C. Isaksen

Abstract: This document contains large-format Adams charts that compute 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. The charts are essentially complete through the 61-stem and contain partial results to the 70-stem. In the classical context, we believe that these are the most accurate charts of their kind. We also include Adams charts for the motivic… ▽ More This document contains large-format Adams charts that compute 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. The charts are essentially complete through the 61-stem and contain partial results to the 70-stem. In the classical context, we believe that these are the most accurate charts of their kind. We also include Adams charts for the motivic homotopy groups of the cofiber of tau. △ Less

Submitted 17 January, 2020; v1 submitted 20 January, 2014; originally announced January 2014.

Comments: These charts are obsolete. The most current version is available at s.wayne.edu/isaksen/adams-charts

MSC Class: 55T15; 55Q45; 14F42

When is a fourfold Massey product defined?

Authors: Daniel C. Isaksen

Abstract: 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 define a new invariant in the homology of a differential graded algebra. This invariant is the obstruction to defining a fourfold Massey product. △ Less

Submitted 18 September, 2013; originally announced September 2013.

MSC Class: 55S30

Motivic Hopf elements and relations

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: 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. 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. △ Less

Submitted 26 July, 2013; v1 submitted 24 July, 2013; originally announced July 2013.

MSC Class: 14F42; 55Q45

The cohomology of the motivic Steenrod algebra over Spec C

Authors: Daniel C. Isaksen

Abstract: 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. 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. △ Less

Submitted 7 February, 2013; originally announced February 2013.

MSC Class: 55S10; 55T15; 14F42

Motivic connective K-theories and the cohomology of A(1)

Authors: Daniel C. Isaksen, Armira Shkembi

Abstract: 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-ter… ▽ More 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. △ Less

Submitted 11 February, 2010; originally announced February 2010.

MSC Class: 14F42; 55N15; 55T15

Eigentheory of Cayley-Dickson algebras

Authors: Daniel K. Biss, J. Daniel Christensen, Daniel Dugger, Daniel C. Isaksen

Abstract: 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. 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. △ Less

Submitted 19 May, 2009; originally announced May 2009.

Comments: 17 pages

MSC Class: 17A99; 17D99

Journal ref: Forum Mathematicum 21(5) (2009), 833-851

The cohomology of motivic A(2)

Authors: Daniel C. Isaksen

Abstract: 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 spectra… ▽ More 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. △ Less

Submitted 30 March, 2009; originally announced March 2009.

MSC Class: 55H15

The motivic Adams spectral sequence

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: 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 som… ▽ More 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. △ Less

Submitted 12 January, 2009; originally announced January 2009.

Large annihilators in Cayley-Dickson algebras II

Authors: Daniel K. Biss, J. Daniel Christensen, Daniel Dugger, Daniel C. Isaksen

Abstract: We establish many previously unknown properties of zero-divisors in Cayley-Dickson algebras. The basic approach is to use a certain splitting that simplifies computations surprisingly. We establish many previously unknown properties of zero-divisors in Cayley-Dickson algebras. The basic approach is to use a certain splitting that simplifies computations surprisingly. △ Less

Submitted 22 February, 2007; v1 submitted 3 February, 2007; originally announced February 2007.

Comments: Updated references. Rearranged some parts in order to make the article more self-contained

Journal ref: Boletin de la Sociedad Matematica Mexicana (3) 13(2) (2007), 269-292

Etale homotopy and sums-of-squares formulas

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: This paper uses a relative of BP-cohomology to prove a theorem in characteristic p algebra. Specifically, we obtain some new necessary conditions for the existence of sums-of-squares formulas over fields of characteristic p > 2. These conditions were previously known in characteristic zero by results of Davis. Our proof uses a generalized etale cohomology theory called etale BP2. This paper uses a relative of BP-cohomology to prove a theorem in characteristic p algebra. Specifically, we obtain some new necessary conditions for the existence of sums-of-squares formulas over fields of characteristic p > 2. These conditions were previously known in characteristic zero by results of Davis. Our proof uses a generalized etale cohomology theory called etale BP2. △ Less

Submitted 11 September, 2006; originally announced September 2006.

MSC Class: 55P60; 15A63

Large annihilators in Cayley-Dickson algebras

Authors: Daniel K. Biss, Daniel Dugger, Daniel C. Isaksen

Abstract: Cayley-Dickson algebras are an infinite sequence of non-associative algebras starting with the reals, complexes, quaternions, and octonions. We study the zero-divisors in the higher Cayley-Dickson algebras. In particular, we show that the annihilator of any element in the 2^n-dimensional Cayley-Dickson algebra has dimension at most 2^n-4n+4. Moroever, every multiple of four between 0 and this up… ▽ More Cayley-Dickson algebras are an infinite sequence of non-associative algebras starting with the reals, complexes, quaternions, and octonions. We study the zero-divisors in the higher Cayley-Dickson algebras. In particular, we show that the annihilator of any element in the 2^n-dimensional Cayley-Dickson algebra has dimension at most 2^n-4n+4. Moroever, every multiple of four between 0 and this upper bound actually occurs as the dimension of some annihilator (a theorem of Moreno says that only multiples of four can occur). We completely describe all the zero-divisors whose annihilator has dimension 2^n-4n+4. △ Less

Submitted 28 November, 2005; originally announced November 2005.

Model structures on pro-categories

Authors: Halvard Fausk, Daniel C. Isaksen

Abstract: We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for $G$-spaces, where $G$ is a pro-finite group. The class of weak equivalences is an approximation to the class of underlying weak equivalences. We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for $G$-spaces, where $G$ is a pro-finite group. The class of weak equivalences is an approximation to the class of underlying weak equivalences. △ Less

Submitted 2 November, 2005; originally announced November 2005.

Comments: 29 pages

MSC Class: 55U35 (Primary) 55P91; 18G55 (Secondary)

T-model structures

Authors: Halvard Fausk, Daniel C. Isaksen

Abstract: For every stable model category $\mathcal{M}$ with a certain extra structure, we produce an associated model structure on the pro-category pro-$\mathcal{M}$ and a spectral sequence, analogous to the Atiyah-Hirzebruch spectral sequence, with reasonably good convergence properties for computing in the homotopy category of pro-$\mathcal{M}$. Our motivating example is the category of pro-spectra.… ▽ More For every stable model category $\mathcal{M}$ with a certain extra structure, we produce an associated model structure on the pro-category pro-$\mathcal{M}$ and a spectral sequence, analogous to the Atiyah-Hirzebruch spectral sequence, with reasonably good convergence properties for computing in the homotopy category of pro-$\mathcal{M}$. Our motivating example is the category of pro-spectra. The extra structure referred to above is a t-model structure. This is a rigidification of the usual notion of a t-structure on a triangulated category. A t-model structure is a proper simplicial stable model category $\mathcal{M}$ with a t-structure on its homotopy category together with an additional factorization axiom. △ Less

Submitted 25 October, 2006; v1 submitted 2 November, 2005; originally announced November 2005.

Comments: 36 pages

MSC Class: 55P42 (Primary) 18E30; 55U35 (Secondary)

Generalized cohomology of pro-spectra

Authors: Daniel C. Isaksen

Abstract: We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the classical Whitehead theorem for spectra. We establish an Atiyah-Hirzebruch spectral sequence in this context, which makes possible the computation of topologi… ▽ More We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the classical Whitehead theorem for spectra. We establish an Atiyah-Hirzebruch spectral sequence in this context, which makes possible the computation of topological K-theory (and other generalized cohomology theories) of pro-spectra. △ Less

Submitted 13 August, 2004; originally announced August 2004.

MSC Class: 55T25; 55P42; 55U35; 55N20; 18G55 (Primary); 19L99 (Secondary)

Algebraic K-theory and sums-of-squares formulas

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: We prove a result about the non-existence of certain sums-of-squares formulas over a field. This generalizes an old theorem which used topological K-theory to obtain obstruction conditions when the field is the real numbers. Our result applies to arbitrary fields not of characteristic 2, making use of algebraic K-theory in place of topological K-theory. We prove a result about the non-existence of certain sums-of-squares formulas over a field. This generalizes an old theorem which used topological K-theory to obtain obstruction conditions when the field is the real numbers. Our result applies to arbitrary fields not of characteristic 2, making use of algebraic K-theory in place of topological K-theory. △ Less

Submitted 13 July, 2004; originally announced July 2004.

Completions of pro-spaces

Authors: Daniel C. Isaksen

Abstract: For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology with coefficients in all R-modules (or equivalently by pro-homology with coefficients in R). In the second model structure, fibrant replacement is essentially j… ▽ More For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology with coefficients in all R-modules (or equivalently by pro-homology with coefficients in R). In the second model structure, fibrant replacement is essentially just the Bousfield-Kan R-tower. When R = Z/p, the first homotopy category is equivalent to a homotopy theory defined by Morel but has some convenient categorical advantages. △ Less

Submitted 16 April, 2004; originally announced April 2004.

MSC Class: 55P60; 55N10 (Primary); 18G55; 55U35 (Secondary)

Duality and Pro-Spectra

Authors: J. Daniel Christensen, Daniel C. Isaksen

Abstract: Cofiltered diagrams of spectra, also called pro-spectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of pro-spectra and to study its relation to the usual homotopy theory of spectra, as a foundation for future applications. The surprising result we find is that our homotopy theory of pro… ▽ More Cofiltered diagrams of spectra, also called pro-spectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of pro-spectra and to study its relation to the usual homotopy theory of spectra, as a foundation for future applications. The surprising result we find is that our homotopy theory of pro-spectra is Quillen equivalent to the opposite of the homotopy theory of spectra. This provides a convenient duality theory for all spectra, extending the classical notion of Spanier-Whitehead duality which works well only for finite spectra. Roughly speaking, the new duality functor takes a spectrum to the cofiltered diagram of the Spanier-Whitehead duals of its finite subcomplexes. In the other direction, the duality functor takes a cofiltered diagram of spectra to the filtered colimit of the Spanier-Whitehead duals of the spectra in the diagram. We prove the equivalence of homotopy theories by showing that both are equivalent to the category of ind-spectra (filtered diagrams of spectra). To construct our new homotopy theories, we prove a general existence theorem for colocalization model structures generalizing known results for cofibrantly generated model categories. △ Less

Submitted 7 October, 2004; v1 submitted 25 March, 2004; originally announced March 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-34.abs.html

MSC Class: 55P42; 55P25; 18G55; 55U35; 55Q55

Journal ref: Algebr. Geom. Topol. 4 (2004) 781-812

Flasque model structures for simplicial presheaves

Authors: Daniel C. Isaksen

Abstract: By now it is well known that there are two useful (objectwise or local) families of model structures on presheaves: the injective and projective. In fact, there is at least one more: the flasque. For some purposes, both the projective and the injective structure run into technical and annoying (but surmountable) difficulties for different reasons. The flasque model structure, which possesses a c… ▽ More By now it is well known that there are two useful (objectwise or local) families of model structures on presheaves: the injective and projective. In fact, there is at least one more: the flasque. For some purposes, both the projective and the injective structure run into technical and annoying (but surmountable) difficulties for different reasons. The flasque model structure, which possesses a combination of the convenient properties of both structures, sometimes avoids these difficulties. △ Less

Submitted 13 January, 2004; originally announced January 2004.

MSC Class: 55P

Motivic cell structures

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: An object in motivic homotopy theory is called cellular if it can be built out of motivic spheres using homotopy colimit constructions. We explore some examples and consequences of cellularity. We explain why the algebraic K-theory and algebraic cobordism spectra are both cellular, and prove some Kunneth theorems for cellular objects. An object in motivic homotopy theory is called cellular if it can be built out of motivic spheres using homotopy colimit constructions. We explore some examples and consequences of cellularity. We explain why the algebraic K-theory and algebraic cobordism spectra are both cellular, and prove some Kunneth theorems for cellular objects. △ Less

Submitted 16 July, 2005; v1 submitted 13 October, 2003; originally announced October 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-26.abs.html

MSC Class: 55U35; 14F42

Journal ref: Algebr. Geom. Topol. 5 (2005) 615-652

The Hopf condition for bilinear forms over arbitrary fields

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a field of characteristic 0, then certain binomial coefficients must be even. We use motivic cohomology to prove that the same result holds in characteristic p. We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a field of characteristic 0, then certain binomial coefficients must be even. We use motivic cohomology to prove that the same result holds in characteristic p. △ Less

Submitted 11 September, 2003; originally announced September 2003.

Hypercovers and simplicial presheaves

Authors: Daniel Dugger, Sharon Hollander, Daniel C. Isaksen

Abstract: We prove that Jardine's model category of simplicial presheaves can be obtained by localizing the `discrete' version at the collection of all hypercovers. One consequence is that the fibrant objects can be explicitly identified in terms of a hypercover descent condition. Another is a very simple approach to change-of-site functors. In an appendix, we discuss how this hypercover localization comp… ▽ More We prove that Jardine's model category of simplicial presheaves can be obtained by localizing the `discrete' version at the collection of all hypercovers. One consequence is that the fibrant objects can be explicitly identified in terms of a hypercover descent condition. Another is a very simple approach to change-of-site functors. In an appendix, we discuss how this hypercover localization compares to the more naive process of localizing at the Cech complexes; the two are not the same in general, but agree in some cases of interest. △ Less

Submitted 20 June, 2003; v1 submitted 2 May, 2002; originally announced May 2002.

Comments: Revision has updated references, extra material on fibrations

MSC Class: 55U35; 18F20

Weak equivalences of simplicial presheaves

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: The usual way of defining weak equivalences for simplicial presheaves is to require an isomorphism on all sheaves of homotopy groups. We unravel some of the machinery here, and give a more concrete description in terms of local homotopy lifting properties. This characterization is used to prove some basic facts about the local homotopy theory of simplicial presheaves. The usual way of defining weak equivalences for simplicial presheaves is to require an isomorphism on all sheaves of homotopy groups. We unravel some of the machinery here, and give a more concrete description in terms of local homotopy lifting properties. This characterization is used to prove some basic facts about the local homotopy theory of simplicial presheaves. △ Less

Submitted 2 May, 2002; originally announced May 2002.

MSC Class: 55U35; 18F20

Hypercovers in topology

Authors: Daniel Dugger, Daniel C. Isaksen

Abstract: We show that if U is a hypercover of a topological space X then the natural map from hocolim U to X is a weak equivalence. This fact is used to construct topological realization functors for the A^1-homotopy theory of schemes over real and complex fields. We show that if U is a hypercover of a topological space X then the natural map from hocolim U to X is a weak equivalence. This fact is used to construct topological realization functors for the A^1-homotopy theory of schemes over real and complex fields. △ Less

Submitted 27 November, 2001; originally announced November 2001.

Comments: 20 pages

MSC Class: 55U35

Obstruction Theory in Model Categories

Authors: J. Daniel Christensen, William G. Dwyer, Daniel C. Isaksen

Abstract: Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial obstruction class that determines whether a lift exists. Working in an arbitrary pointed proper model category, we classify the cofibrations that have such an obstr… ▽ More Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial obstruction class that determines whether a lift exists. Working in an arbitrary pointed proper model category, we classify the cofibrations that have such an obstruction theory with respect to all fibrations. Up to weak equivalence, retract, and cobase change, they are the cofibrations with weakly contractible target. Equivalently, they are the retracts of principal cofibrations. Without properness, the same classification holds for cofibrations with cofibrant source. Our results dualize to give a classification of fibrations that have an obstruction theory. △ Less

Submitted 6 November, 2002; v1 submitted 22 September, 2001; originally announced September 2001.

Comments: 17 pages. v3 includes improved introduction and several other minor improvements

MSC Class: 55S35; 55U35; 18G55 (primary); 18G30; 55P42 (secondary)

Journal ref: Advances in Mathematics 181 (2004), 396-416