The simplicial EHP sequence in \(\mathbb{A}^1\)-algebraic topology (Q2318706)

In algebraic topology, the EHP sequence is closely related to the problem of desuspensions of maps (see [\textit{D. Ravenel}, Complex cobordism and stable homotopy groups of spheres. Providence, RI: AMS Chelsea Publishing (2004; Zbl 1073.55001)])): the work of James and Toda show that the sequence \[ X\to\Omega\Sigma X\to \Omega\Sigma X^{\wedge2} \] is a fiber sequence when \(X\) is a sphere (where one need to localize at \(2\) when \(X\) is even-dimensional). These fiber sequences for all spheres therefore yields naturally a spectral sequence called the EHP spectral sequence, which is a very important tool in understanding the stable homotopy groups of spheres. In this paper the authors address a similar question in the setting of \(\mathbb{A}^1\)-algebraic topology, as developed by \textit{F. Morel} and \textit{V. Voevodsky} [Publ. Math., Inst. Hautes Étud. Sci. 90, 45--143 (1999; Zbl 0983.14007)]. The main result is Theorem 1.3, which states that if \(k\) is a perfect field and \(X\) is a motivic sphere over \(k\), then the similarly defined sequence as above is a \(\mathbb{A}^1\)-homotopy fiber sequence when we localize at a good enough set of primes (for example containing \(2\) is enough). As a consequence one deduce a simplicial EHP sequence relating the stable homotopy groups of motivic spheres (Theorem 1.2). The basic idea of the proof is guided by James' proof in the topological case ([\textit{I. James}, Ann. Math. (2) 63, 407--429 (1956; Zbl 0071.17101)]), but the proof itself is far away from being straightforward: one of the major difficulties is the Serre spectral sequence in topology, for which no analogue has yet been known for \(\mathbb{A}^1\)-fiber sequences; to circumvent the problem the authors use the spectral sequence defined by the skeletal filtration instead of the Serre spectral sequence (Section 7.1). Then they apply this tool to analyze the James-Hopf map (Section 6.4) and give an identification of the \(E^1\)-page of the spectral sequence (Section 7.3).