On the James and Hilton-Milnor splittings, and the metastable EHP sequence

DOI10.25537/DM.2021V26.1423-1464MaRDI QIDQ2235868zbMATH OpenOpenAlexFDO

Authors Sanath Devalapurkar, Peter Haine

Publication date 22 October 2021

Published in Documenta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.04130

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

infinity categories

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Loop spaces (55P35) Suspensions (55P40) Homotopy theory (55P99) Homotopy groups of wedges, joins, and simple spaces (55Q20)

Abstract: This note provides modern proofs of some classical results in algebraic topology, such as the James Splitting, the Hilton-Milnor Splitting, and the metastable EHP sequence. We prove fundamental splitting results �egin{equation*} Sigma Omega Sigma X simeq Sigma X vee (Xwedge SigmaOmega Sigma X) quad ext{and} quad Omega(X vee Y) simeq Omega X imes Omega Y imes Omega Sigma(Omega X wedge Omega Y) end{equation*} in the maximal generality of an $infty$-category with finite limits and pushouts in which pushouts squares remain pushouts after basechange along an arbitrary morphism (i.e., Mather's Second Cube Lemma holds). For connected objects, these imply the classical James and Hilton-Milnor Splittings. Moreover, working in this generality shows that the James and Hilton-Milnor splittings hold in many new contexts, for example in: elementary $infty$-topoi, profinite spaces, and motivic spaces over arbitrary base schemes. The splitting result in this last context extend Wickelgren and Williams' splitting result for motivic spaces over a perfect field. We also give two proofs of the metastable EHP sequence in the setting of $infty$-topoi: the first is a new, non-computational proof that only utilizes basic connectedness estimates involving the James filtration and the Blakers-Massey Theorem, while the second reduces to the classical computational proof.

Review text

Summary: This note provides modern proofs of some classical results in algebraic topology, such as the James Splitting, the Hilton-Milnor Splitting, and the metastable EHP sequence. We prove fundamental splitting results \[\Sigma \Omega \Sigma X \simeq \Sigma X \vee (X\wedge \Sigma\Omega \Sigma X) \] and \[ \Omega(X \vee Y) \simeq \Omega X\times \Omega Y\times \Omega \Sigma(\Omega X \wedge \Omega Y) \] in the maximal generality of an \(\infty \)-category with finite limits and pushouts in which pushouts squares remain pushouts after basechange along an arbitrary morphism (i.e., Mather's Second Cube Lemma holds). For connected objects, these imply the classical James and Hilton-Milnor splittings. Moreover, working in this generality shows that the James and Hilton-Milnor splittings hold in many new contexts, for example in: elementary \(\infty \)-topoi, profinite spaces, and motivic spaces over arbitrary base schemes. The splitting results in this last context extend Wickelgren and Williams' splitting result for motivic spaces over a perfect field [\textit{K. Wickelgren} and \textit{B. Williams}, Geom. Topol. 23, No. 4, 1691--1777 (2019; Zbl 1428.14032)]. We also give two proofs of the metastable EHP sequence in the setting of \(\infty \)-topoi: the first is a new, non-computational proof that only utilizes basic connectedness estimates involving the James filtration and the Blakers-Massey Theorem, while the second reduces to the classical computational proof.

Recommendations

• The simplicial EHP sequence in \(\mathbb{A}^1\)-algebraic topology
• Algebraic EHP sequences revisited
• \(C_2\)-equivariant James splitting and \(C_2\)-EHP sequences
• The simplicial suspension sequence in \(\mathbb A^1\)-homotopy
• \(\Omega\)SU(3) splits after four suspensions, but not two

Cites work

• \(\mathbb A^1\)-algebraic topology over a field
• \(\mathbb{A}^1\)-homotopy theory of schemes
• A counter-example to the A^1-connectivity conjecture of F. Morel.
• A generalization of the homology and homotopy suspension
• A generalized Blakers–Massey theorem
• A note on the Hilton-Milnor theorem
• A primer for unstable motivic homotopy theory
• A Stable Decomposition of ω ^N Sⁿ X
• Algebraic topology
• Categories and cohomology theories
• Classifying spaces and spectral sequences
• Compositional Methods in Homotopy Groups of Spheres. (AM-49)
• Desuspensions of S1 ∧ (ℙℚ1 −{0,1,∞})
• Every elementary higher topos has a natural number object
• Higher Topos Theory (AM-170)
• Homotopy theory and the complement of a coordinate subspace arrangement
• scientific article; zbMATH DE number 3631581 (Why is no real title available?)
• scientific article; zbMATH DE number 1324388 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 3364507 (Why is no real title available?)
• scientific article; zbMATH DE number 3371259 (Why is no real title available?)
• Model topoi and motivic homotopy theory
• Modern classical homotopy theory
• Motivic twisted K-theory
• On the Homotopy Groups of the Union of Spheres
• On the homotopy groups of unions of spaces
• On the homotopy suspension
• On the suspension triad
• Pull-Backs in Homotopy Theory
• Reduced product spaces
• Splitting of certain spaces CX
• The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory
• The simplicial EHP sequence in \(\mathbb{A}^1\)-algebraic topology
• The simplicial suspension sequence in \(\mathbb A^1\)-homotopy
• The six operations in equivariant motivic homotopy theory
• The suspension triad of a sphere

Cited in

(6)

• Algebraic EHP sequences revisited
• Homotopy cardinality via extrapolation of Morava-Euler characteristics
• The cube axiom and resolutions in homotopy theory
• On the Whitehead theorem for nilpotent motivic spaces
• The Hilton-Milnor theorem in higher topoi
• Koszul duality for simplicial restricted Lie algebras

This page was built for publication: On the James and Hilton-Milnor splittings, and the metastable EHP sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2235868)