-
arXiv:2408.00987 [pdf, ps, other]
Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods
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.
Submitted 1 August, 2024; originally announced August 2024.
Report number: CPH-GEOTOP-DNRF151 MSC Class: Primary 55Q45; Secondary 55T15
-
C_2-Equivariant Stable Stems
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
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
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
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
-
arXiv:2212.03938 [pdf, ps, other]
The Multiplicative Structures on Motivic Homotopy Groups
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.
Submitted 7 December, 2022; originally announced December 2022.
Journal ref: Algebr. Geom. Topol. 24 (2024) 1781-1786
-
arXiv:2208.07941 [pdf, ps, other]
Jeff Smith's Theory of Ideals
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$.
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
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.
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
-
arXiv:2001.04511 [pdf, ps, other]
Stable homotopy groups of spheres: From dimension 0 to 90
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.
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)
-
arXiv:2001.04247 [pdf, ps, other]
Stable homotopy groups of spheres
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
Submitted 13 January, 2020; originally announced January 2020.
MSC Class: Primary 55Q45; Secondary 14F42; 55T15
-
arXiv:2001.03606 [pdf, ps, other]
R-motivic stable stems
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
Submitted 10 January, 2020; originally announced January 2020.
MSC Class: 14F42; 55Q45; 55S10; 55T15
-
arXiv:2001.02251 [pdf, ps, other]
C_2-equivariant and R-motivic stable stems, II
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.
Submitted 7 January, 2020; originally announced January 2020.
MSC Class: 14F42; 55Q45; 55Q91; 55T15
-
arXiv:2001.01758 [pdf, ps, other]
The Mahowald operator in the cohomology of the Steenrod algebra
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.
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
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
Submitted 2 July, 2019; originally announced July 2019.
Comments: 13 pages. Comments welcome!
MSC Class: 55Q91; 55T15
-
The homotopy of C-motivic modular forms
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.
Submitted 19 November, 2018; originally announced November 2018.
MSC Class: 14F42; 55Q10; 55T15
-
arXiv:1811.05729 [pdf, ps, other]
Motivic stable homotopy groups
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.
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
-
arXiv:1810.11050 [pdf, ps, other]
C-motivic modular forms
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.
Submitted 25 October, 2018; originally announced October 2018.
MSC Class: Primary 14F42; 55N34; 55S10; Secondary 55Q45; 55T15
-
arXiv:1708.09568 [pdf, ps, other]
The cohomology of $C_2$-equivariant $A(1)$ and the homotopy of $ko_{C_2}$
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.
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
-
arXiv:1606.05191 [pdf, ps, other]
The Picard group of motivic A(1)
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
Submitted 16 June, 2016; originally announced June 2016.
MSC Class: 14F42; 20G05; 14C22
-
arXiv:1603.09305 [pdf, ps, other]
Z/2-equivariant and R-motivic stable stems
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.
Submitted 30 March, 2016; originally announced March 2016.
MSC Class: 55Q10; 55Q91
-
arXiv:1510.01283 [pdf, ps, other]
The eta-inverted R-motivic sphere
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
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
-
arXiv:1505.01476 [pdf, ps, other]
The Structure of Motivic Homotopy Groups
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.
Submitted 6 May, 2015; originally announced May 2015.
Comments: 8 pages, 1 figure
MSC Class: 14F42; 55Q45; 55T15
-
arXiv:1502.01007 [pdf, ps, other]
Low dimensional Milnor-Witt stems over R
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
Submitted 3 February, 2015; originally announced February 2015.
MSC Class: 14F42; 55Q45; 55S10; 55T15
Journal ref: Ann. K-Th. 2 (2017) 175-210
-
arXiv:1501.02872 [pdf, ps, other]
The motivic Adams vanishing line of slope 1/2
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.
Submitted 12 January, 2015; originally announced January 2015.
Comments: 11 pages. Comments welcome
MSC Class: 14F42; 55S10
-
arXiv:1411.3447 [pdf, ps, other]
Motivic Stable Homotopy and the Stable 51 and 52 Stems
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
Submitted 13 November, 2014; originally announced November 2014.
Comments: 4 pages
-
Classical and motivic Adams-Novikov charts
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.
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
-
arXiv:1407.8418 [pdf, ps, other]
Stable stems
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
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
-
arXiv:1406.7733 [pdf, ps, other]
The eta-local motivic sphere
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.
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
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
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
-
arXiv:1309.4637 [pdf, ps, other]
When is a fourfold Massey product defined?
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.
Submitted 18 September, 2013; originally announced September 2013.
MSC Class: 55S30
-
Motivic Hopf elements and relations
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.
Submitted 26 July, 2013; v1 submitted 24 July, 2013; originally announced July 2013.
MSC Class: 14F42; 55Q45
-
arXiv:1302.1839 [pdf, ps, other]
The cohomology of the motivic Steenrod algebra over Spec C
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.
Submitted 7 February, 2013; originally announced February 2013.
MSC Class: 55S10; 55T15; 14F42
-
arXiv:1002.2368 [pdf, ps, other]
Motivic connective K-theories and the cohomology of A(1)
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
Submitted 11 February, 2010; originally announced February 2010.
MSC Class: 14F42; 55N15; 55T15
-
arXiv:0905.2987 [pdf, ps, other]
Eigentheory of Cayley-Dickson algebras
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.
Submitted 19 May, 2009; originally announced May 2009.
Comments: 17 pages
MSC Class: 17A99; 17D99
Journal ref: Forum Mathematicum 21(5) (2009), 833-851
-
arXiv:0903.5217 [pdf, ps, other]
The cohomology of motivic A(2)
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
Submitted 30 March, 2009; originally announced March 2009.
MSC Class: 55H15
-
arXiv:0901.1632 [pdf, ps, other]
The motivic Adams spectral sequence
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
Submitted 12 January, 2009; originally announced January 2009.
-
arXiv:math/0702075 [pdf, ps, other]
Large annihilators in Cayley-Dickson algebras II
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.
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
-
arXiv:math/0609301 [pdf, ps, other]
Etale homotopy and sums-of-squares formulas
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.
Submitted 11 September, 2006; originally announced September 2006.
MSC Class: 55P60; 15A63
-
arXiv:math/0511691 [pdf, ps, other]
Large annihilators in Cayley-Dickson algebras
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
Submitted 28 November, 2005; originally announced November 2005.
-
arXiv:math/0511057 [pdf, ps, other]
Model structures on pro-categories
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.
Submitted 2 November, 2005; originally announced November 2005.
Comments: 29 pages
MSC Class: 55U35 (Primary) 55P91; 18G55 (Secondary)
-
arXiv:math/0511056 [pdf, ps, other]
T-model structures
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
Submitted 25 October, 2006; v1 submitted 2 November, 2005; originally announced November 2005.
Comments: 36 pages
MSC Class: 55P42 (Primary) 18E30; 55U35 (Secondary)
-
arXiv:math/0408179 [pdf, ps, other]
Generalized cohomology of pro-spectra
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
Submitted 13 August, 2004; originally announced August 2004.
MSC Class: 55T25; 55P42; 55U35; 55N20; 18G55 (Primary); 19L99 (Secondary)
-
arXiv:math/0407226 [pdf, ps, other]
Algebraic K-theory and sums-of-squares formulas
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.
Submitted 13 July, 2004; originally announced July 2004.
-
arXiv:math/0404303 [pdf, ps, other]
Completions of pro-spaces
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
Submitted 16 April, 2004; originally announced April 2004.
MSC Class: 55P60; 55N10 (Primary); 18G55; 55U35 (Secondary)
-
arXiv:math/0403451 [pdf, ps, other]
Duality and Pro-Spectra
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
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
-
arXiv:math/0401132 [pdf, ps, other]
Flasque model structures for simplicial presheaves
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
Submitted 13 January, 2004; originally announced January 2004.
MSC Class: 55P
-
arXiv:math/0310190 [pdf, ps, other]
Motivic cell structures
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.
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
-
arXiv:math/0309197 [pdf, ps, other]
The Hopf condition for bilinear forms over arbitrary fields
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.
Submitted 11 September, 2003; originally announced September 2003.
-
arXiv:math/0205027 [pdf, ps, other]
Hypercovers and simplicial presheaves
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
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
-
arXiv:math/0205025 [pdf, ps, other]
Weak equivalences of simplicial presheaves
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.
Submitted 2 May, 2002; originally announced May 2002.
MSC Class: 55U35; 18F20
-
arXiv:math/0111287 [pdf, ps, other]
Hypercovers in topology
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.
Submitted 27 November, 2001; originally announced November 2001.
Comments: 20 pages
MSC Class: 55U35
-
arXiv:math/0109170 [pdf, ps, other]
Obstruction Theory in Model Categories
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
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