Abstract
The endomorphism ring of the projective plane over a field F of characteristic neither two nor three is slightly more complicated in the Morel–Voevodsky motivic stable homotopy category than in Voevodsky’s derived category of motives. In particular, it is not commutative precisely if there exists a square in F which does not admit a sixth root. A byproduct of these computations is a proof of Suslin’s conjecture on the Suslin–Hurewicz homomorphism from Quillen to Milnor K-theory in degree four, based on work of Asok et al. (Invent Math 219:39-73, 2020).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Automorphisms of geometric objects describe their symmetries, and hence important geometric information. It depends on the context which type of morphisms are considered useful. In the case of a projective space \(\textbf{P}^n\) over the complex numbers, one may consider its linear automorphisms (a group denoted \(\textrm{PGL}_{n+1}(\mathbb {C})\)), birational automorphisms (the Cremona group \(\textrm{Cr}_n(\mathbb {C})\)), diffeomorphisms, homeomorphisms, and self-homotopy-equivalences, just to name a few. The Morel–Voevodsky \(\textbf{A}^1\)-homotopy theory provides an interesting way to consider self-homotopy-equivalences of varieties [21]. Although this setup is conceptionally very satisfying, concrete determinations of endomorphisms in the \(\textbf{A}^1\)-homotopy category are hard to come by. For example, the endomorphism ring of \(\textbf{P}^1\) over a perfect field F in the pointed \(\textbf{A}^1\)-homotopy category is given by the Grothendieck ring of isomorphism classes of symmetric inner product spaces over F with a chosen basis, where the isomorphisms preserve the inner product and have determinant 1 with respect to the chosen bases [17, Remark 7.37].
Stabilization with respect to smashing with a projective line \(\textbf{P}^1\wedge -\) provides a simpler categorical setting, the motivic stable homotopy category \(\textbf{SH}(F)\), which is still richer than the corresponding derived category of motives [27]. Part of the gain from leaving the unstable realm is an additive (in fact triangulated) structure, whence the set of endomorphisms of any object is always a ring. For example, it is a deep theorem of Morel’s that the endomorphism ring of the projective line in the motivic stable homotopy category over a field F is the Grothendieck–Witt ring of symmetric bilinear forms with coefficients in F [15]. The addition in the Grothendieck-Witt ring, whose elements are formal differences of symmetric bilinear forms, is induced by orthogonal sum, and the multiplication by tensor product of forms. By construction, it coincides with the endomorphism ring of the unit for the symmetric monoidal structure given by the smash product. Hence it has to be commutative. This is already different for the projective plane.
Theorem
Let F be a field of characteristic neither 2 nor 3, with group of units \(F^\times \). The endomorphism ring \([\textbf{P}^2,\textbf{P}^2]_{\textbf{SH}(F)}\) in the motivic stable homotopy category of F has an underlying additive group isomorphic to \({\mathbb Z}\oplus {\mathbb Z}\oplus F^\times /(F^\times )^6\). The multiplication corresponds to the multiplication given by
In particular, the ring \([\textbf{P}^2,\textbf{P}^2]_{\textbf{SH}(F)}\) is non-commutative if and only if there exists a square in F which does not admit a sixth root, or, equivalently, if the cube map \(u\mapsto u^3\) is not surjective on F. Its group of units (which could be called the group of \(\textbf{P}^1\)-stable self-\(\textbf{A}^1\)-homotopy-equivalences of \(\textbf{P}^2\)) consists of all triples \((x_1,x_2,x_3)\in {\mathbb Z}\oplus {\mathbb Z}\oplus F^\times /(F^\times )^6\) where either \(x_1=\pm 1\) and \(x_2=0\), or \(x_1=\pm 1 \) and \(x_2=-x_1\). It is as non-commutative as the endomorphism ring it belongs to. Along the way, the homotopy modules \(\pi _1\textbf{P}^2\) and \(\pi _2\textbf{P}^2\) will be determined, based on computations in [23] and [22]. These computations provide an ingredient to complete the program Aravind Asok, Jean Fasel and Ben Williams developed in [3] to prove Suslin’s conjecture on the Suslin-Hurewicz homomorphism from Quillen to Milnor K-theory in degree four.
Theorem
Let F be an infinite field of characteristic different from 2 and 3, and A an essentially smooth local F-algebra. The image of the Suslin-Hurewicz homomorphism \(K^{\textrm{Quillen}}_4(A) \rightarrow K^{\textrm{Milnor}}_4(A)\) coincides with \(6K^{\textrm{Milnor}}_4(A)\).
This closes the gap between three and five in the set of degrees for which Suslin’s conjecture was previously known. See the introduction of [3] for more details on its history, as well as Suslin’s original paper [25].
2 Topology
Let \(\textbf{CP}^n\) denote complex projective space of complex dimension n. This section contains rather elementary calculations in the classical stable homotopy theory, which determine the endomorphism ring of \(\textbf{CP}^2\) in the stable homotopy category. These calculations are based on stable homotopy groups of spheres \(\pi _m\mathbb {S}\) in degree \(m<6\) and the action of the topological Hopf map \( \eta :S^3 \rightarrow \textbf{CP}^1\cong S^2\), whose cofiber is \(\textbf{CP}^2\), on them. The standard reference here is [26]. As is customary in stable homotopy theory, the notation for a map and its (de)suspensions coincide if the context allows it. The purpose of this section is not to present original results (there aren’t any), but instead to document the similarities and differences to the situation in the motivic stable homotopy category.
Choose a basepoint for \(\textbf{CP}^1\), and hence \(\textbf{CP}^2\), which will not appear in the notation. The cofiber sequence
induces a long exact sequence of stable homotopy groups
terminating with \(\pi _2\textbf{CP}^1=\pi _2\textbf{CP}^2\). The induced short exact sequences
express the stable homotopy group of the complex projective plane as an extension of two groups, the subgroup annihilated by \(\eta \), and the cokernel of multiplication by \(\eta \), on the respective stable homotopy group of spheres. Since \(\eta :\pi _0\mathbb {S}\cong {\mathbb Z}\rightarrow \pi _1\mathbb {S}\cong {\mathbb Z}/2{\mathbb Z}\) is surjective, \(\eta :\pi _1\mathbb {S}\rightarrow \pi _2\mathbb {S}\) is an isomorphism, \(\eta :\pi _2\mathbb {S}\rightarrow \pi _3\mathbb {S}\cong {\mathbb Z}/24\) is injective, and \(\pi _4\mathbb {S}\cong \pi _5\mathbb {S}\cong 0\), the following table results, without any extension problem to solve.
Here \(2{\mathbb Z}\) denotes the abelian group of even integers under addition. The vanishing \(\pi _{3}\textbf{CP}^2=0\) implies that the cofiber sequence (2.1) induces a short exact sequence
of stable homotopy groups. Hence the abelian group \([\textbf{CP}^2,\textbf{CP}^2]\) is an extension of two free abelian groups, each on one generator. Since \(\pi _2\textbf{CP}^2\cong {\mathbb Z}\), the short exact sequence (2.2) splits. In order to describe the ring structure, it helps to be more specific. A generator for \(\pi _2\textbf{CP}^2\) is the inclusion \(i:\textbf{CP}^1\hookrightarrow \textbf{CP}^2\). It is the image of \({\textrm{id}}_{\textbf{CP}^2}\) under \([\textbf{CP}^2,\textbf{CP}^2]\xrightarrow {i^*} [\textbf{CP}^1,\textbf{CP}^2]\). To describe a generator for \(\pi _4\textbf{CP}^2\), observe that there exists a unique map \(\omega :S^4\rightarrow \textbf{CP}^2\) such that \(q\circ \omega = 2{\textrm{id}}_{S^4}\). The short exact sequence (2.2) then implies that every element \(x\in [\textbf{CP}^2,\textbf{CP}^2]\) can uniquely be expressed as a sum \(x_1{\textrm{id}}_{\textbf{CP}^2}+x_2(\omega \circ q)\), where \(x_1,x_2\in \pi _0{\mathbb {S}}\cong {\mathbb Z}\). The ring structure is then given as
and is in particular commutative. The group of units consists of the following 4 elements: \(\{{\textrm{id}}_{\textbf{CP}^2},-{\textrm{id}}_{\textbf{CP}^2},{\textrm{id}}_{\textbf{CP}^2}-\omega \circ q,-{\textrm{id}}_{\textbf{CP}^2}+\omega \circ q\}\) Of course knowledge does not stop at the dimension two. For example, [20] determines the groups \([\textbf{CP}^n,\textbf{CP}^n]\) for \(n\le 7\). The complex dimension 7 is the smallest dimension where this group contains torsion; in fact, \([\textbf{CP}^7,\textbf{CP}^7]\cong {\mathbb Z}^7\oplus {\mathbb Z}/2{\mathbb Z}\). The ring structure is commutative in all these dimensions.
The table above allows to determine \([\Sigma \textbf{CP}^2,\textbf{CP}^2]\) as well, which is useful, because this group contains the interesting element \(\eta {\textrm{id}}_{\textbf{CP}^2}=\eta \wedge \textbf{CP}^2\). The suspension of the homotopy cofiber sequence (2.1) induces a long exact sequence on \([-,\textbf{CP}^2]\). Since \(\pi _3\textbf{CP}^2\) is the zero group, there results an isomorphism \(\pi _{5}\textbf{CP}^2/\eta \pi _4\textbf{CP}^2 \xrightarrow {\cong } [\Sigma \textbf{CP}^2,\textbf{CP}^2].\) As \(\pi _5\textbf{CP}^2\) is cyclic, generated by \(i\circ \nu \), the abelian group \([\Sigma \textbf{CP}^2,\textbf{CP}^2]\) is generated by the map
Its order can be determined by identifying \(\omega \circ \eta \in \pi _5\textbf{CP}^2\), which is \(\pm 6(i\circ \nu )\), as the Toda bracket \(\langle \eta ,2,\eta \rangle = \{6\nu ,-6\nu \}\) shows, together with [26, Prop. 1.8] applied to \(\alpha =\gamma =\eta \) and \(\beta =2\), using \(\omega ={\widetilde{\beta }}\). (See Appendix B for a definition and some properties of Toda brackets, and in particular Proposition B.1 for a restatement of [26, Prop. 1.8].) Hence \([\Sigma \textbf{CP}^2,\textbf{CP}^2]\) is cyclic of order 6. The element \(\eta {\textrm{id}}_{\textbf{CP}^2}\) turns out to be the unique nonzero element of order 2, as the Toda bracket \(\langle \eta ,2=q\circ \omega ,\eta \rangle \) also implies. The properties of Toda brackets supply an inclusion
which shows that it does not contain the zero element. More precisely, since the composition
is multiplication with 2 on a cyclic group with 24 elements, and the homomorphism \(q^*:\pi _3\mathbb {S}\rightarrow [\Sigma ^2\textbf{CP}^2,S^3]\) is the projection onto a cyclic group with 12 elements (as one deduces from the action of \(\eta \) on \(\pi _n\mathbb {S}\) for \(n\in \{1,2\}\)), the homomorphism \(\omega ^*:[\Sigma ^2\textbf{CP}^2,S^3]\rightarrow \pi _3\mathbb {S}\) is injective. One obtains \(\langle \eta ,q,\eta \wedge \textbf{CP}^2\rangle \subset \{3\nu \circ q,-3\nu \circ q\}\). Hence the identity \({\textrm{id}}_{\textbf{CP}^2}\in [\textbf{CP}^2,\textbf{CP}^2]\) satisfies
For comparison purposes with the motivic situation, it is instructive to look at the real case as well. Let \(\textbf{RP}^n\) denote real projective space. The cofiber sequenceFootnote 1
induces a long exact sequence of stable homotopy groups
terminating with \(\pi _1\textbf{RP}^1\rightarrow \pi _1\textbf{RP}^2\). The induced short exact sequences
express the stable homotopy group of the real projective plane as an extension of two groups, the 2-torsion subgroup, and the cokernel of multiplication by 2, on the respective stable homotopy group of spheres. The groups \(\pi _3\textbf{RP}^2\) and \(\pi _4\textbf{RP}^2\) are both extensions of \({\mathbb Z}/2\) by \({\mathbb Z}/2\). The Toda bracket \(\langle 2, \eta , 2\rangle = \{\eta ^2\}\) implies that \(\pi _3\textbf{RP}^2\) is given by the nontrivial extension, the extension for \(\pi _4\textbf{RP}^2\) turns out to be trivial [32, Lemma 5.2]. The following table results.
The portion for \(m<3\) of this table implies that the cofiber sequence (2.4) induces a short exact sequence
and hence the abelian group \([\textbf{RP}^2,\textbf{RP}^2]\) is an extension of two groups of order two. As in the computation of \(\pi _3\textbf{RP}^2\), the extension is nontrivial, meaning that \({\textrm{id}}_{\textbf{RP}^2}\in [\textbf{RP}^2,\textbf{RP}^2]\) is an element of order 4, as already proven in [7]. There cannot be any doubt whatsoever regarding the ring structure of \([\textbf{RP}^2,\textbf{RP}^2]\).
3 Over a field
Let F be a field, and let \(\textbf{SH}(F)\) denote the motivic stable homotopy category of F [27]. For a motivic spectrum \(\textsf{E}\in \textbf{SH}(F)\) and integers \(s,w\in {\mathbb Z}\), let \(\pi _{s,w} \textsf{E}\) denote the abelian group \([\Sigma ^{s,w}\textbf{1},\textsf{E}]\), where \(\textsf{E}\) is a motivic spectrum and \(\textbf{1}_F=\textbf{1}\) is the motivic sphere spectrum. The grading conventions are such that the suspension functor \(\Sigma ^{2,1}=\Sigma ^{1+(1)}\) is suspension with \(\textbf{P}^1\), and \(\Sigma ^{1,0}=\Sigma ^{1+(0)}=\Sigma ^1=\Sigma \) is suspension with the simplicial circle. Set \(\pi _{s+(w)}\textsf{E}:=\pi _{s+w,w}\textsf{E}\), and let
denote the direct sum, considered as a \({\mathbb Z}\)-graded module over the \({\mathbb Z}\)-graded ring \(\pi _{0+(\star )}\textbf{1}\). The notation \(\pi _{s-(\star )}\textsf{E}:=\pi _{s+(-\star )}\textsf{E}\) will be used frequently. The strictly \(\textbf{A}^1\)-invariant sheaf obtained as the associated Nisnevich sheaf of \(U\mapsto [\Sigma ^{s,w}U_+,\textsf{E}]\) for \(U\in \textbf{Sm}_F\) is denoted \({\underline{\pi }}_{s,w}\textsf{E}\), which gives rise to the homotopy module \({\underline{\pi }}_{s+(\star )}\textsf{E}\). In the following, every occurrence of “\(\pi \)” can be replaced by “\({\underline{\pi }}\)” without affecting the truth of the (suitably reinterpreted) statements. See [15] for the following fundamental result.
Theorem 3.1
(Morel) Let F be a field. Then \(\pi _{0-(\star )}\textbf{1}\) is the Milnor-Witt K-theory of F.
The Milnor-Witt K-theory of F is denoted \(\textbf{K}^{\textsf{MW}}(F)\), or simply \(\textbf{K}^{\textsf{MW}}\), following the convention that the base field or scheme may be ignored in the notation. The definition and some details regarding \(\textbf{K}^{\textsf{MW}}\) and modules over it are contained in the Appendix A. Theorem 3.1 implies that for every motivic spectrum \(\textsf{E}\) and for every integer s, \(\pi _{s+(\star )}\textsf{E}\) has a canonical structure as a graded \(\textbf{K}^{\textsf{MW}}\)-module. The conventions dictate that this structure comes with a sign change in the sense that elements in \(\textbf{K}^{\textsf{MW}}_d\) provide homomorphisms \(\pi _{s+(w)}\textsf{E}\rightarrow \pi _{s+(w-d)}\textsf{E}\) for every \(d,s,w\in {\mathbb Z}\).
Choose a basepoint for \(\textbf{P}^1\), and hence \(\textbf{P}^2\), which will not appear in the notation. Neither will the base field F most of the time. The main cofiber sequence over a field is
It induces a long exact sequence of \(\textbf{K}^{\textsf{MW}}\)-modules
terminating with \(\pi _{1+(\star )}\textbf{P}^2\) by connectivity [16]. The induced short exact sequences
express \(\pi _{m+(\star )}\textbf{P}^2\) as an extension of two \(\textbf{K}^{\textsf{MW}}\)-modules, the submodule of \(\pi _{m-2+(\star -2)}\textbf{1}\) annihilated by \(\eta \), and the cokernel of multiplication by \(\eta \) on \(\pi _{m-1+(\star -1)}\textbf{1}\). This justifies the relevance of the following statement.
Theorem 3.2
(Gille–Scully–Zhong) Let F be a field of characteristic not two. The submodule of \(\textbf{K}^{\textsf{MW}}\) annihilated by \(\eta \) coincides with the image of multiplication by the hyperbolic plane on \(\textbf{K}^{\textsf{MW}}\):
Proof
This follows from the injectivity of the homomorphism \(\epsilon _\star ^R\) in [12, Theorem 5.4] for R a field. \(\square \)
Theorem 3.2 provides the exactness of the sequence mentioned in [8, Remark 4.3]. It is quite special that the kernel of multiplication by \(\eta \) on \(\textbf{K}^{\textsf{MW}}\) is generated by a single element, but then the element \(\eta \) is also quite special. As a consequence of Theorem 3.2, the short exact sequence
specializes to an isomorphism \(\pi _{1+(w-1)}\textbf{1}/\eta \pi _{1+(w-2)}\textbf{1}\cong \pi _{2+(w)}\textbf{P}^2\) for \(w>2\). Therefore knowing \(\pi _{1+(\star -1)}\textbf{1}/\eta \pi _{1+(\star -2)}\textbf{1}\) is essential.
Theorem 3.3
Let F be a field of characteristic not two or three. The unit map \(\textbf{1}\rightarrow \textbf{kq}\) induces a surjection \(\pi _{1+(\star )}\textbf{1}/\eta \pi _{1+(\star -1)}\textbf{1}\rightarrow \pi _{1+(\star )}\textbf{kq}/\eta \pi _{1+(\star -1)}\textbf{kq}\) whose kernel is \(\textbf{K}^{\textsf{M}}_{2-\star }/12\) (generated in \(\star =2\)) after inverting the exponential characteristic e of F. In particular, the vanishing \(\pi _{1+(w)}\textbf{kq}/\eta \pi _{1+(w-1)}\textbf{kq}\) for \(w>1\) implies that the nontrivial group of highest weight is \(\pi _{1+(2)}\textbf{1}[e^{-1}]/\eta \pi _{1+(1)}\textbf{1}[e^{-1}]\cong {\mathbb Z}/12\), generated by the image of the Hopf map \(\nu \).
Proof
This is a consequence of [23, Theorem 5.5] in the formulation given in [22, Theorem 2.5]; see also [24, Theorem 1.1]. First of all, the unit map \(\pi _{1+(\star )}\textbf{1}\rightarrow \pi _{1+(\star )}\textbf{kq}\) is surjective, whence the same is true for the induced map on the quotients. Set e to be the exponential characteristic of F. Consider the following natural transformation
of short exact sequences. The snake lemma implies that the map \(\textbf{K}^{\textsf{M}}/24[\tfrac{1}{e}]\rightarrow A\) is surjective, because the map \(\eta \pi _{1+(\star )}\textbf{1}\rightarrow \eta \pi _{1+(\star )}\textbf{kq}\) on the kernels is surjective. The map \(\eta :\Sigma ^{(1)}\textbf{1}\rightarrow \textbf{1}\) factors by construction as \(\eta :\Sigma ^{(1)}\textbf{1}\rightarrow \textsf{f}_1\textbf{1}\rightarrow \textbf{1}\), where \(\textsf{f}_1\textbf{1}\rightarrow \textbf{1}\) denotes the first effective cover. The presentations given in [22, Lemma 2.3, Theorem 2.5] then imply that the kernel of the map \(\eta \pi _{1+(\star )}\textbf{1}\rightarrow \eta \pi _{1+(\star )}\textbf{kq}\) is generated by \(12\nu =\eta ^2\eta _\textsf{top}\), where \(\eta _\textsf{top}\in \pi _{1+(0)}\textbf{1}\) denotes the topological Hopf map.Footnote 2 Hence the snake lemma also implies that \(A\cong \textbf{K}^{\textsf{M}}/12[\tfrac{1}{e}]\). \(\square \)
The same proof shows that Theorem 3.3 is valid in characteristic 3 as well in the sense that the kernel of
is isomorphic to \(\textbf{K}^{\textsf{M}}/4[\tfrac{1}{3}]\) after inverting 3. Theorems 3.2 and 3.3 provide sufficient information about the outer terms in the short exact sequence
of \(\textbf{K}^{\textsf{MW}}\)-modules. Actually the outer terms are \(\textbf{K}^{\textsf{M}}\)-modules in a natural way; \(\eta \) acts trivially on these. However, \(\eta \) acts nontrivially on the middle term. The reason is the Toda bracket \(\langle \eta ,\textsf{h},\eta \rangle = \{6\nu ,-6\nu \}\) from [22, Proposition 4.1].
Lemma 3.4
Let F be a field of characteristic neither 2 nor 3. The action of \(\eta \) on the \(\textbf{K}^{\textsf{MW}}\)-module \(\pi _{2+(\star )}\textbf{P}^2\) in the extension
is determined by the fact that \(\textsf{h}^\prime \circ \eta =6 (i\circ \nu )\), where \(\textsf{h}^\prime \in \pi _{2+(2)}\textbf{P}^2\) is any lift of \(\textsf{h}\in \pi _{0+(0)}\textbf{1}\).
Proof
The Toda bracket \(\langle \eta ,\textsf{h},\eta \rangle = \{6\nu ,-6\nu \}\) from [22, Proposition 4.1] implies by Proposition B.1 that there exists an element \(\textsf{h}^\prime \in \pi _{2+(2)}\textbf{P}^2\) which on the one hand maps to \(\textsf{h}\in {}_{\eta }\pi _{0+(0)}\textbf{1}\), and on the other hand is such that \(\textsf{h}^\prime \circ \eta \) is the image of \(6\nu \in \pi _{1+(2)}\textbf{1}\). Inspecting the short exact sequence (3.3) in weight 3 gives an isomorphism \(\pi _{1+(2)}\textbf{1}/\eta \pi _{1+(1)}\textbf{1}\cong \pi _{2+(3)}\textbf{P}^2\) by Theorem 3.2. Hence \(\pi _{2+(3)}\textbf{P}^2\) is cyclic of order 12 by Theorem 3.3, with the image \(i\circ \nu \) of \(\nu \) as a generator. It follows that \(\textsf{h}^\prime \circ \eta \) is the unique nonzero element of order two in this group, and this is true for any choice of \(\textsf{h}^\prime \) lifting \(\textsf{h}\). Inspecting the short exact sequence (3.3) in weight 2 provides
that for any two lifts \(\textsf{h}^\prime ,\textsf{h}^{\prime \prime }\) of \(\textsf{h}\), there exists \(\{u\}\in \textbf{K}^{\textsf{M}}_1/12\) with \(\textsf{h}^\prime -\textsf{h}^{\prime \prime }=i\{u\}\nu \).
In order to describe the extension group more precisely, set \(A_\star := \pi _{1-(\star -1)}\textbf{1}/\eta \pi _{1-(\star )}\textbf{1}\). The extension (3.3) is given by an element in
by Theorem 3.2. The short exact sequence
of \(\textbf{K}^{\textsf{MW}}\)-modules induces a long exact sequence
where the subscript “\(\textbf{K}^{\textsf{MW}}\)” is suppressed. Lemma A.3 applies to provide an isomorphism between the group \({{\text {Ext}}}^1_{\textbf{K}^{\textsf{MW}}}(\textbf{K}^{\textsf{M}},A=\pi _{1-(\star -1)}\textbf{1}/\eta \pi _{1-(\star )}\textbf{1})\) and
where the last isomorphism follows from Theorem 3.3. Note that multiplication with \(\eta \) on the \(\textbf{K}^{\textsf{MW}}\)-module \(\pi _{1+(\star )}\textbf{1}/\eta \pi _{1+(\star )}\textbf{1}\) is the zero homomorphism by construction, which simplifies the term appearing in Lemma A.3. Hence \({{\text {Ext}}}^1_{\textbf{K}^{\textsf{MW}}}(\textbf{K}^{\textsf{M}},\pi _{1-(\star -1)}\textbf{1}/\eta \pi _{1-(\star )}\textbf{1}) =\{0,6\nu \}\) does not depend on the base field F. The homomorphism \({{\text {Ext}}}^1(2\textbf{K}^{\textsf{M}},A)\rightarrow {{\text {Ext}}}^1(\textbf{K}^{\textsf{M}},A)\) is surjective, because the extension in question corresponds to the unique nonzero element in \(\textbf{A}_{-1}=\pi _{1+(2)}\textbf{1}/\eta \pi _{1+(1)}\textbf{1}\) of order two by the Toda bracket \(\langle \eta ,\textsf{h},\eta \rangle = \{6\nu ,-6\nu \}\) from [22, Proposition 4.1]. There results an exact sequence
where \({\text {Hom}}({}_{2}\textbf{K}^{\textsf{M}},A)\subset {\text {Hom}}(\textbf{K}^{\textsf{M}}(-1),A)=A_1\) via the surjection \(\textbf{K}^{\textsf{M}}(-1)\rightarrow {}_{2}\textbf{K}^{\textsf{M}}\) obtained by multiplying with \(\{-1\}\in \textbf{K}^{\textsf{M}}_1\), see Theorem A.1. Since \({\text {Hom}}_{\textbf{K}^{\textsf{MW}}}(\textbf{K}^{\textsf{M}},A)={\text {Hom}}_{\textbf{K}^{\textsf{M}}}(\textbf{K}^{\textsf{M}},A)\) and \({\text {Hom}}_{\textbf{K}^{\textsf{MW}}}({}_{2}\textbf{K}^{\textsf{M}},A)={\text {Hom}}_{\textbf{K}^{\textsf{M}}}({}_{2}\textbf{K}^{\textsf{M}},A)\), the exact sequence (3.4) induces a short exact sequence
in which \({{\text {Ext}}}^1_{\textbf{K}^{\textsf{M}}}(2\textbf{K}^{\textsf{M}},A)\cong {\text {Hom}}_{\textbf{K}^{\textsf{M}}}({}_{2}\textbf{K}^{\textsf{M}},A)/\rho A_0\). In particular, the sought-after element in \({{\text {Ext}}}^1_{\textbf{K}^{\textsf{MW}}}(2\textbf{K}^{\textsf{M}},A)\) classifying the extension in question is determined by the relation \(\textsf{h}^\prime \circ \eta = 6(i \circ \nu )\) and an element in the group \({{\text {Ext}}}^1_{\textbf{K}^{\textsf{M}}}(2\textbf{K}^{\textsf{M}},A)\) depending solely on the \(\textbf{K}^{\textsf{M}}\)-module structures of \(2\textbf{K}^{\textsf{M}}\) and A. \(\square \)
Remark 3.5
Regarding the unstable situation, the \(\textbf{A}^1\)-fiber sequence
and the \(\textbf{A}^1\)-discreteness of \(\textbf{A}^1\smallsetminus \{0\}\) provide an identification \({\underline{\pi }}_2^{\textbf{A}^1}\textbf{P}^2\cong {\underline{\pi }}^{\textbf{A}^1}_2(\textbf{A}^3\smallsetminus \{0\}) \cong \underline{{\textbf{K}}}^{\textsf{MW}}_3\) of (unstable) \(\textbf{A}^1\)-homotopy sheaves, by [17, Theorem 1.23]. Let \({\underline{\pi }}_{2+(3)}^{\textbf{A}^1}\textbf{P}^2\) denote the threefold contraction of \(\underline{\pi }^{\textbf{A}^1}_2\textbf{P}^2\), which coincides with the Nisnevich sheaf associated with the presheaf \(X\mapsto {\text {Hom}}_{{\textbf{H}}^{\textbf{A}^1}_\bullet (X)}(\textbf{A}_X^3\smallsetminus \{0\},\textbf{P}^2_X)\) [17, p. 72, Theorem 6.13]. The generator of \({\underline{\pi }}_{2+(3)}^{\textbf{A}^1}\textbf{P}^2 \cong \underline{{\textbf{K}}}^{\textsf{MW}}_0\) is thus the class of the canonical map \(\textbf{A}^3\smallsetminus \{0\}\rightarrow \textbf{P}^2\). Stabilization with respect to \(\textbf{P}^1\) provides a homomorphism
to the stable homotopy sheaf computed in Lemma 3.4. It sends the generator to \(m(i\circ \nu )\), where m is an integer unique up to multiples of 12, and \(i\circ \nu \) is the generator of the target. A comparison with the classical topological situation via complex or étale realization, which is possible since the target does not depend on the base field, shows that \(m=\pm 2\), because the order of the canonical map \(S^5\rightarrow \textbf{CP}^2\) is 6 after one suspension [19, Theorem 1.2]. Note that étale realization sends \(\textbf{P}^n\) to the profinite completion of its complex realization \(\textbf{CP}^n\) by [5, Theorem 12.9]; see also [10, Theorem 8.4]. The same applies to the maps involved here.
The computations provided by \(\pi _{1-(\star -1)}\textbf{P}^2\cong \textbf{K}^{\textsf{M}}\) and Lemma 3.4 suffice to conclude the following statement.
Theorem 3.6
Let F be a field of characteristic not in \(\{2,3\}\). The cofiber sequence (3.1) induces a short exact sequence
of \(\textbf{K}^{\textsf{MW}}\)-modules. In particular, after inverting the exponential characteristic, there is an isomorphism
with \(i\circ \nu \circ q\) as a generator, and an isomorphism
of abelian groups, with \({\textrm{id}}_{\textbf{P}^2}\) and \(\textsf{h}^\prime \circ q\) each generating one free summand. The equality \(\eta \cdot {\textrm{id}}_{\textbf{P}^2}=\eta \wedge {\textrm{id}}{_{\textbf{P}^2}}=3(i\circ \nu \circ q)\) determines the action of \(\eta \) on \([\Sigma ^{(\star )}\textbf{P}^2,\textbf{P}^2]\).
Proof
As before, the cofiber sequence (3.1) induces a short exact sequence
The short exact sequence for \(\pi _{1+(\star )}\textbf{P}^2\) specializes to the identification \(\pi _{1+(\star )}\textbf{P}^2\cong \textbf{K}^{\textsf{M}}\) mentioned already above. Since \(\eta \) acts as zero on this \(\textbf{K}^{\textsf{MW}}\)-module, the short exact sequence (3.5) of \(\textbf{K}^{\textsf{MW}}\)-modules follows. The identity \({\textrm{id}}_{\textbf{P}^2}\) hits the canonical generator \(i\in \pi _{1+(1)}\textbf{P}^2\). The action of \(\eta \) in the \(\textbf{K}^{\textsf{MW}}\)-module structure on \([\Sigma ^{(\star )}\textbf{P}^2,\textbf{P}^2]\) is then determined by specifiying \(\eta {\textrm{id}}_{\textbf{P}^2}\in [\Sigma ^{(1)}\textbf{P}^2,\textbf{P}^2]\). More precisely, as in the proof of Lemma 3.4 there results a short exact sequence
of abelian groups, where \(A_\star := \pi _{2-(\star -2)}\textbf{P}^2/\eta \pi _{2-(\star -1)}\textbf{P}^2\). Lemma A.3 identifies the last extension group as
Here the description of \(\pi _{2+(\star )}\textbf{P}^2\) as a \(\textbf{K}^{\textsf{MW}}\)-module from Lemma 3.4 supplies the last isomorphism in this sequence, as well as the first isomorphism mentioned in the statement of the theorem. Hence \(\eta {\textrm{id}}_{\textbf{P}^2} = m (i\circ \nu \circ q)\) for some \(m\in {\mathbb Z}\) which is unique up to multiples of 6. The element \(\eta {\textrm{id}}_{\textbf{P}^2}\) turns out to be the unique nonzero element of order 2, as the Toda bracket \(\langle \eta ,\textsf{h}=q\circ \textsf{h}^\prime ,\eta \rangle \) implies. The properties of Toda brackets supply an inclusion
which shows that it does not contain zero. This already suffices to conclude. More precisely, since the composition
is multiplication with \(\textsf{h}\), one obtains \(\langle \eta ,q,\eta \wedge \textbf{P}^2\rangle \subset \{3\nu \circ q,-3\nu \circ q\}\). Note that the homomorphism \([ \Sigma ^{1+(1)}\textbf{P}^2,S^{2+(1)} ] \xrightarrow {(\textsf{h}^\prime )^*} \pi _{1+(2)}\textbf{1}\) identifies with the inclusion \({\mathbb Z}/12\hookrightarrow {\mathbb Z}/24\), as one may deduce from the exact sequence
Hence \({\textrm{id}}_{\textbf{P}^2}\in [\textbf{P}^2,\textbf{P}^2]\) satisfies \(\eta \wedge \textbf{P}^2 = 3 (i \circ \nu \circ q)\). \(\square \)
Theorem 3.6 implies that every element \(x\in [\textbf{P}^2,\textbf{P}^2]\) can be expressed uniquely as a sum \(x_1{\textrm{id}}_{\textbf{P}^2}+x_2(\textsf{h}^\prime \circ q)+x_3(i\circ \nu \circ q)\), where \(x_1,x_2\in {\mathbb Z}\) and \(x_3\in K^\textsf{M}_1/6\). It would probably be more honest to think of the integers \(x_1,x_2\) as the ranks of virtual quadratic forms. In particular, the hyperbolic form “\(\textsf{h}\)” corresponds to the integer “2”. Using that the composition \(q\circ i\) is the zero map, the ring structure is then given as
and in particular is not commutative if \(2K^\textsf{M}_1(F)/6\) is nonzero. The group of units in \([\textbf{P}^2,\textbf{P}^2]\) consists of the elements
If \(F\subset \mathbb {C}\), then complex realization \([\Sigma ^{(1)}\textbf{P}^2,\textbf{P}^2]\rightarrow [\Sigma \textbf{CP}^2,\textbf{CP}^2]\) is an isomorphism, but \([\textbf{P}^2,\textbf{P}^2]\rightarrow [\textbf{CP}^2,\textbf{CP}^2]\) is possibly only surjective, not injective. Nevertheless, every map in \([\textbf{P}^2,\textbf{P}^2]\) such that its complex realization is a unit in \([\textbf{CP}^2,\textbf{CP}^2]\) is already a unit in \([\textbf{P}^2,\textbf{P}^2]\).
Remark 3.7
A different motivic type of endomorphisms of the projective plane occurs in the motivic stable homotopy category \(\textbf{SH}(\textbf{P}^2_F)\) for \(\textbf{P}^2_F\), with unit \(\textbf{1}_{\textbf{P}^2_F}=\varphi ^*(\textbf{1}_F)\). Here \(\varphi :\textbf{P}^2_F\rightarrow {{\text {Spec}}}(F)\) is the structure morphism. The choice of a rational point provides a splitting \(\textbf{1}_F\rightarrow \varphi _\sharp (\textbf{1}_{\textbf{P}^2_F}) \rightarrow \textbf{1}_F\) of the counit, whence \(\varphi _\sharp (\textbf{1}_{\textbf{P}^2_F})\simeq \textbf{P}^2_F\vee \textbf{1}_F\). Then \(\varphi _\sharp \) induces a ring homomorphism
where the source
is a commutative ring by definition. Using [22, Theorem 2.7], the short exact sequence
implies that \(\pi _{0+(0)}\textbf{1}_{\textbf{P}^2_F}\) is not isomorphic to the Grothendieck-Witt ring of \(\textbf{P}^2_F\), which is isomorphic to \(\textbf{K}^{\textsf{MW}}_0(F)\oplus \textbf{K}^{\textsf{M}}_0(F)\) [29].
4 Suslin’s conjecture
An application of some of the computations performed in Sect. 3 is a proof of Suslin’s conjecture on the Hurewicz homomorphism from Quillen to Milnor K-theory in degree four, exploiting the beautiful work [3]. Unstable homotopy sheaves will occur, as already in Remark 3.5. Let
be the smooth affine quadric hypersurface which is weakly equivalent to \(\textbf{A}^n\smallsetminus \{0\}\) via projection to the first n coordinates [9, Example 2.12(3)]. The quotient scheme \(Q_{2n-1}/\textbf{G}_{\mathfrak {m}}\) with respect to the free action \(\lambda \cdot (a,b):=(\lambda a,\lambda ^{-1}b)\) is then weakly equivalent via projection to the first n coordinates to \(\textbf{P}^{n-1}\). Given \((a,b,u)\in Q_{2n-1}\times \textbf{A}^1\smallsetminus \{0\}\), let \([a,b,u]\in \textbf{GL}_n\) denote the matrix whose entry at (j, k) is \(\delta _{jk}+(u-1)a_jb_k \), where \(\delta _{jk}\) is the Kronecker symbol. For a unit \(u\in \textbf{G}_{\mathfrak {m}}\), let \(\Delta (u)\) denote the diagonal matrix whose entries are \((u,1,\dotsc ,1)\). The map
is compatible with the given \(\textbf{G}_{\mathfrak {m}}\) action on the first factor (and trivial actions on the other factor and \(\textbf{SL}_n\)) and sends \(Q_{2n-1}\times \{1\}\cup \bigl \lbrace \bigl ((1,0,\dotsc ,0),(1,0,\dotsc ,0)\bigr )\bigr \rbrace \times (\textbf{A}^1\smallsetminus \{0\})\) to the identity matrix, the canonical basepoint in \(\textbf{SL}_n\). Let \(\psi _n:\Sigma ^{(1)}Q_{2n-1}/\textbf{G}_{\mathfrak {m}}\rightarrow \textbf{SL}_n\) denote also the induced pointed map, a variant of the map (with the same notation) to \(\textbf{GL}_n\) constructed in [31, Section 5]. Its complex realization is denoted \(j_n\) in [19, p. 180], and \(f_{\textbf{SU}(n)}\) in the even more classical source [33, Section 4]. It is straightforward to check that the diagram
with obvious inclusions as vertical maps commutes.
Lemma 4.1
The map \(\psi _2:\Sigma ^{(1)}Q_3/\textbf{G}_{\mathfrak {m}}\rightarrow \textbf{SL}_2\) is a weak equivalence over \({{\text {Spec}}}({\mathbb Z})\).
Proof
Let \(\{b_1= 0\}\hookrightarrow Q_3\) denote the smooth closed subscheme where \(b_1 = 0\), and \(\{b_1\ne 0\}\hookrightarrow Q_3\) its open complement. The map
is an isomorphism. Its image \(\overline{\{b_1=0\}}\hookrightarrow Q_3/\textbf{G}_{\mathfrak {m}}\) is a smooth closed subscheme isomorphic to \(\textbf{A}^1\), with trivial normal bundle. The map \(\psi _2:Q_3\times \textbf{A}^1\smallsetminus \{0\} \rightarrow \textbf{SL}_2\) sends the product \(\{b_1=0\}\times \textbf{A}^1\smallsetminus \{0\}\) to the smooth closed subscheme \(\{c_{21}=0\}\hookrightarrow \textbf{SL}_2\), and the induced map \(\overline{\{b_1=0\}}\times \textbf{A}^1\smallsetminus \{0\}\rightarrow \{c_{21}=0\}\) is a weak equivalence. The latter follows from placing it at the top in the commutative diagram
where the vertical projections are weak equivalences. The open complement \(\{b_1\ne 0\}\hookrightarrow Q_3\) contains the closed subscheme \(\{b_2=0\}\hookrightarrow Q_3\) as a strong \(\textbf{A}^1\)-deformation retract, as the map
shows. This strong \(\textbf{A}^1\)-deformation retraction is \(\textbf{G}_{\mathfrak {m}}\)-equivariant, whence also the inclusion \(\overline{\{b_2=0\}}\hookrightarrow \overline{\{b_1\ne 0\}}\) is a strong \(\textbf{A}^1\)-deformation retract. Note that \(\overline{\{b_2=0\}}\) is isomorphic to \(\textbf{A}^1\). Homotopy purity [21, Theorem 3.2.23] supplies a homotopy cofiber sequence
inducing a homotopy cofiber sequence after applying \(\Sigma ^{(1)}\). In particular, since \(\overline{\{b_2=0\}}\) is \(\textbf{A}^1\)-contractible, the map \(\Sigma ^{(1)}Q_3/\textbf{G}_{\mathfrak {m}}\rightarrow \Sigma ^{(1)}\Sigma ^{1+(1)}\{b_{1}=0\}_+\) is a weak equivalence.
Similarly, the smooth closed subscheme \(\{c_{21}=0\}\hookrightarrow \textbf{SL}_2\) gives rise, via homotopy purity, to a homotopy cofiber sequence
which can be related to the homotopy cofiber sequence above as follows. While the map \(\psi _2:\overline{\{b_1=0\}}\times \textbf{A}^1\smallsetminus \{0\}\rightarrow \{c_{21}=0\}\) is a weak equivalence, \(\psi _2(\{b_1\ne 0\}\times \textbf{A}^1\smallsetminus \{0\})\) is not contained in \(\{c_{21}\ne 0\}\) but instead coincides with the union \(U:=\{c_{21}\ne 0\}\cup \{c_{11}=c_{22}=1 \ \textrm{and}\ c_{21}=0\}\). The strong \(\textbf{A}^1\)-deformation retraction
extends via the constant \(\textbf{A}^1\)-homotopy to a strong \(\textbf{A}^1\)-deformation retration of U to \(V:=\{C\in U:c_{11}=1\}\), which in turn deforms via
to the affine line \(\{c_{11}=c_{22}=1 \ \textrm{and}\ c_{21}=0\}\hookrightarrow \textbf{SL}_2\). The induced diagram of homotopy cofiber sequences
identifies \(\Sigma ^{1+(1)}\{c_{21}=0\}_+/\Sigma ^{1+(1)}\{1\}_+\simeq \textbf{SL}_2/U\) and induces a commutative diagram
in which the vertical map on the right hand side is a weak equivalence, because it is induced by the isomorphism \(\psi _2:\overline{\{b_1=0\}}\times \textbf{A}^1\smallsetminus \{0\} \xrightarrow {\cong } \{c_{21}=0\} \). Hence \(\psi _2\) is a weak equivalence as claimed. \(\square \)
The proof of the following statement is essentially a modification of Jean Fasel’s unpublished proof for the corresponding statement on symplectic groups; I thank him sincerely for the inspiration.
Proposition 4.2
The inclusion \(\textbf{SL}_n\hookrightarrow \textbf{SL}_{n+1}\) fits into a homotopy cofiber sequence
over \({{\text {Spec}}}({\mathbb Z})\).
Proof
A matrix \(C\in \textbf{SL}_{n}\) has entries denoted \(c_{1,1},\dotsc ,c_{1,n},c_{2,1},\dotsc ,c_{n,n}\). The homotopy purity theorem [21, Theorem 3.2.23], applied to the smooth closed subscheme \(W:=\{c_{n+1,1}=\dotsc =c_{n+1,n}=0\}\hookrightarrow \textbf{SL}_{n+1}\) (which is a global complete intersection and thus has a trivial normal bundle), supplies a homotopy cofiber sequence:
The inclusion \((\textbf{SL}_{n+1}\smallsetminus W)\cap \{c_{n+1,n+1}=1\} \hookrightarrow \textbf{SL}_{n+1}\smallsetminus W\) is a weak equivalence. Let \(q:\textbf{SL}_{n+1}\smallsetminus W\rightarrow \textbf{A}^n\smallsetminus \{0\}\) send C to \((c_{n+1,1},\dotsc ,c_{n+1,n})\). Let X and Y be defined by taking pullbacks
where the vertical maps are Zariski locally trivial fibrations with \(\textbf{A}^{n-1}\) as fiber, and hence weak equivalences. An element in Y is a pair (E, d) with \(E\in \textbf{SL}_{n+1}\smallsetminus W\) and \(d\in \textbf{A}^n\smallsetminus \{0\}\) such that \(\sum _{j=1}^n e_{n+1,j}\cdot d_j=1\). The map
is a strong \(\textbf{A}^1\)-deformation retraction onto X. Moreover,
is an \(\textbf{A}^1\)-deformation retraction of \((\textbf{SL}_{n+1}\smallsetminus W)\cap \{c_{n+1,n+1}=1\}\) onto the closed subscheme
As in the proof of Lemma 4.1, the homotopy purity theorem provides a homotopy cofiber sequence
in which \(W = \{c_{n+1,1}=\dotsc =c_{n+1,n}=0\} \cong \textbf{SL}_n\times (\textbf{A}^1\smallsetminus \{0\})\times \textbf{A}^n\simeq \textbf{SL}_n\times (\textbf{A}^1\smallsetminus \{0\})\). Enlarging the subscheme \(\textbf{SL}_n\times \bigl (\textbf{A}^n\smallsetminus \{0\}\bigr )\) in (4.4) to \(\textbf{SL}_n\times \textbf{A}^n\) then provides the desired homotopy cofiber sequence:
\(\square \)
Corollary 4.3
In the commutative diagram
in which the top row is a homotopy cofiber sequence and the bottom row is a homotopy fiber sequence, the canonically induced map \(S^{n+(n+1)}\rightarrow \textbf{SL}_{n+1}/\textbf{SL}_n\) is a weak equivalence over \({{\text {Spec}}}({\mathbb Z})\).
Proof
Proposition 4.2 and the standard homotopy cofiber sequence for \(Q_{2n-1}/\textbf{G}_{\mathfrak {m}}\hookrightarrow Q_{2n+1}/\textbf{G}_{\mathfrak {m}}\) give a diagram of homotopy cofiber sequences
where the vertical map on the right hand side is induced by the inclusion of the identity matrix. The canonical map \(\Sigma ^{n+(n+1)}(\textbf{SL}_n)_+\rightarrow \textbf{SL}_{n+1}/\textbf{SL}_n\) is induced by the structure map \(\textbf{SL}_n\rightarrow {{\text {Spec}}}({\mathbb Z})\), because the pullback square
of smooth schemes induces a commutative diagram
of homotopy purity transformations, where the map \(\ell \) sends a matrix in \(W\simeq \textbf{SL}_n\times (\textbf{A}^1\smallsetminus \{0\})\) to its last diagonal element and hence is induced by the structure map \(\textbf{SL}_n\rightarrow {{\text {Spec}}}({\mathbb Z})\). Proceeding through the zigzag relating \(\textbf{SL}_{n+1}/(\textbf{SL}_{n+1}\smallsetminus W)\) with \(\textbf{SL}_{n+1}/\textbf{SL}_n\) produced in the proof of Proposition 4.2 provides the statement. \(\square \)
With the help of \(\psi _3\), the cell structure of \(\textbf{SL}_3\) looks as follows.
Lemma 4.4
The homotopy cofiber of \(\psi _3:\Sigma ^{(1)}\textbf{P}^2\rightarrow \textbf{SL}_3\) over \({{\text {Spec}}}({\mathbb Z})\) is given by \(S^{3+(5)}\).
Proof
Lemma 4.1, Proposition 4.2 and elementary properties of homotopy pushout diagrams imply that the diagram
in which the vertical maps are the canonical quotient maps and the bottom horizontal map is the canonical inclusion is a homotopy pushout diagram. The result follows. \(\square \)
More generally, the total homotopy cofiber of diagram (4.2) can be determined as follows.
Lemma 4.5
The homotopy cofiber of the map \(\Sigma ^{(1)}Q_{2n+1}/\textbf{G}_{\mathfrak {m}}\cup _{\Sigma ^{(1)}Q_{2n-1}/\textbf{G}_{\mathfrak {m}}} \textbf{SL}_n \rightarrow \textbf{SL}_{n+1}\) induced by the commutative diagram
is equivalent to \(\Sigma ^{n+(n+1)}\textbf{SL}_n\) over \({{\text {Spec}}}({\mathbb Z})\).
Proof
This follows from Proposition 4.2, Corollary 4.3 and a straightforward manipulation of homotopy pushout squares. \(\square \)
In the following, \(Q_{2n-1}/\textbf{G}_{\mathfrak {m}}\) will be identified via projection to the first n coordinates with \(\textbf{P}^{n-1}\), which gives rise to maps such as \(\psi _n:\Sigma ^{(1)}\textbf{P}^{n-1}\simeq \Sigma ^{(1)}Q_{2n-1}/\textbf{G}_{\mathfrak {m}}\rightarrow \textbf{SL}_n\) in the homotopy category. Recall from [6, Convention 2.3.5] that a map f of pointed motivic spaces is \(\textbf{A}^1\)-n-connected if its homotopy fiberFootnote 3\({\text {hofib}}(f)\) is \(\textbf{A}^1\)-\((n-1)\)-connected, which is equivalent to the homomorphism \(\underline{\pi }^{\textbf{A}^1}_jf\) being an isomorphism for \(j<n\) and an epimorphism for \(j=n\).
Lemma 4.6
Let F be a field. The inclusion \(\Sigma ^{(1)}\textbf{P}^1\rightarrow \Sigma ^{(1)}\textbf{P}^2\) induces the canonical projection
on \(\textbf{A}^1\)-fundamental groups. The inclusion \(\Sigma ^{(1)}\textbf{P}^{n-1}\rightarrow \Sigma ^{(1)}\textbf{P}^n\) is \(\textbf{A}^1\)-\((n-1)\)-connected for all \(n>0\).
Proof
The assumption that F is perfect may be imposed by pulling back from a perfect subfield, over which everything in sight is defined. As a suspension of an \(\textbf{A}^1\)-0-connected variety, \(\Sigma ^{(1)}\textbf{P}^n\) is \(\textbf{A}^1\)-0-connected for all n [6, Lemma 3.3.1]. The determination of \(\underline{\pi }^{\textbf{A}^1}_1\textbf{P}^n\) from [17, Theorem 7.13 and Theorem 7.29] implies that the map \(\underline{\pi }^{\textbf{A}^1}_1\textbf{P}^1\rightarrow \underline{\pi }^{\textbf{A}^1}_1\textbf{P}^n\) is surjective for all \(n>0\). In other words, the inclusion \(\textbf{P}^1\rightarrow \textbf{P}^n\) is \(\textbf{A}^1\)-1-connected for all \(n>1\). While smashing with \(\textbf{G}_{\mathfrak {m}}\) preserves the simplicial connectivity of a map, it is a priori not clear whether smashing with \(\textbf{G}_{\mathfrak {m}}\) preserves the \(\textbf{A}^1\)-connectivity of a map. Let \(\textrm{Sing}^{\textbf{A}^1}\) denote the endofunctor on (pointed) simplicial presheaves on \(\textbf{Sm}_F\) introduced in [21, p. 87]. It commutes with limits and colimits. Since the natural transformation \(\textbf{G}_{\mathfrak {m}}\rightarrow \textrm{Sing}^{\textbf{A}^1}(\textbf{G}_{\mathfrak {m}})\) is an isomorphism, there results a natural isomorphism \(\Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(B)\xrightarrow {\cong } \textrm{Sing}^{\textbf{A}^1}(\Sigma ^{(1)}B)\) for every pointed simplicial presheaf B. Choosing appropriate \(\textbf{A}^1\)-naive models for projective spaces – which is possible by [4, Example 4.2.13] – provides a model for the canonical inclusion \(\textbf{P}^1\rightarrow \textbf{P}^n\) such that \(\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^1)\rightarrow \textrm{Sing}^{\textbf{A}^1}(\textbf{P}^n)\) is simplicially 1-connected, and hence so is
The source is stalkwise equivalent to \(\textrm{Sing}^{\textbf{A}^1}(\textbf{SL}_2)\) by [4, Lemma 4.2.4]. Since \(\textbf{SL}_2\) is \(\textbf{A}^1\)-naive by [4, Theorem 4.2.1] (applied to \(Q_3\cong \textbf{SL}_2\)), there results an isomorphism
where the last isomorphism follows from [17, Theorem 1.27] (see also [18, Theorem 1]). Thus \(\underline{\pi }^{\textbf{A}^1}_0\Omega \Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^1)\) is a strictly \(\textbf{A}^1\)-invariant sheaf. To prove the same for \(\underline{\pi }^{\textbf{A}^1}_0\Omega \Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^n)\), let G denote the (simplicial) homotopy fiber of the map (4.5). The aforementioned connectivity of the map (4.5) implies that G is simplicially 0-connected, and hence \(\textbf{A}^1\)-0-connected by [21, Cor. 2.3.22]. Since \(\Omega \Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^n)\) is the simplicial homotopy fiber of the canonical map \(G\rightarrow \Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^1)\), [17, Theorem 6.56] (see also [6, Corollary 2.3.6]) provides an exact sequence
using that \(\underline{\pi }^{\textbf{A}^1}_0\Omega \Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^1)\) is a strictly \(\textbf{A}^1\)-invariant sheaf. In this exact sequence \(\underline{\pi }^{\textbf{A}^1}_1G\) is strongly \(\textbf{A}^1\)-invariant by [17, Theorem 6.1], its image in \(\underline{\pi }^{\textbf{A}^1}_1\Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^1)\) is strongly \(\textbf{A}^1\)-invariant by [8, Theorem 1.6], and moreover abelian, and the cokernel \(\underline{\pi }^{\textbf{A}^1}_0\Omega \Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^n)\) is then a strictly \(\textbf{A}^1\)-invariant sheaf by [17, Corollary 6.24]. As a consequence [17, Theorem 6.56] applies to show that \(\Sigma ^{(1)}\textbf{P}^1\rightarrow \Sigma ^{(1)}\textbf{P}^n\) is \(\textbf{A}^1\)-1-connected.
To determine \(\underline{\pi }^{\textbf{A}^1}_1\Sigma ^{(1)}\textbf{P}^n\) for \(n>1\), Morel’s \(\textbf{A}^1\)-Hurewicz theorem [17, Theorem 6.35] implies that the Hurewicz transformation \(\underline{\pi }^{\textbf{A}^1}_1\Sigma ^{(1)}\textbf{P}^n \rightarrow {\underline{H}}_1^{\textbf{A}^1}\Sigma ^{(1)}\textbf{P}^n\) is an isomorphism for all n. For \(n=2\), the latter can be determined via the cofiber sequence
as \({\underline{H}}_1^{\textbf{A}^1}\Sigma ^{(1)}\textbf{P}^2\cong \textbf{K}^{\textsf{M}}_2\). Similarly, for \(n>2\) the inclusion \(\textbf{P}^{n-1} \hookrightarrow \textbf{P}^n\) is \(\textbf{A}^1\)-\((n-1)\)-connected, as one may deduce from the homotopy fiber of the “covering” map \(\textbf{A}^n\smallsetminus \{0\}\hookrightarrow \textbf{A}^{n+1}\smallsetminus \{0\}\) of universal \(\textbf{A}^1\)-coverings. Again smashing with \(\textbf{G}_{\mathfrak {m}}\) preserves the simplicial connectivity of \(\textbf{P}^{n-1} \hookrightarrow \textbf{P}^n\). Arguing with \(\textbf{A}^1\)-naive models and the functor \(\textrm{Sing}^{\textbf{A}^1}\) as before provides that \(\Sigma ^{(1)}\textbf{P}^{n-1}\rightarrow \Sigma ^{(1)}\textbf{P}^n\) is \(\textbf{A}^1\)-\((n-1)\)-connected, again invoking [17, Theorem 6.56] or [6, Corollary 2.3.6] and the strict \(\textbf{A}^1\)-invariance of \(\underline{\pi }^{\textbf{A}^1}_0\Omega \Sigma ^{(1)}\textrm{Sing}^{\textbf{A}^1}(\textbf{P}^n)\) already established. \(\square \)
The pushout in diagram (4.2) gives rise to a map
which factors \(\psi _{n+1}:\Sigma ^{(1)}\textbf{P}^n\rightarrow \textbf{SL}_{n+1}\) for every \(n>0\).
Proposition 4.7
Let F be a field. The image of the homomorphism \(\underline{\pi }^{\textbf{A}^1}_n\textbf{SL}_{n+1}\rightarrow \underline{\pi }^{\textbf{A}^1}_nS^{n+(n+1)}\) induced by taking the last column of a matrix is isomorphic to the image of the homomorphism \(\underline{\pi }^{\textbf{A}^1}_n\Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}}\textbf{SL}_n\rightarrow \underline{\pi }^{\textbf{A}^1}_nS^{n+(n+1)}\) induced by the canonical quotient map collapsing \(\textbf{SL}_n\) to the basepoint.
Proof
In case \(n=1\), both the last column map and the quotient map are equivalences, whence the induced homomorphisms are isomorphisms. Let \(n>1\). Diagram (4.2) and the map \(\theta _{n+1}\) defined in (4.6) induce the following commutative diagram
of sheaves of \(\textbf{A}^1\)-homotopy groups, in which the vertical homomorphisms on the right hand side are isomorphisms by Corollary 4.3 and by construction. In particular, the image of the homomorphism \(\underline{\pi }^{\textbf{A}^1}_n\Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}}\textbf{SL}_n\rightarrow \underline{\pi }^{\textbf{A}^1}_nS^{n+(n+1)}\) embeds in the image of the homomorphism \(\underline{\pi }^{\textbf{A}^1}_n\textbf{SL}_{n+1}\rightarrow \underline{\pi }^{\textbf{A}^1}_nS^{n+(n+1)}\). To prove that the image of \(\underline{\pi }^{\textbf{A}^1}_n\textbf{SL}_{n+1}\rightarrow \underline{\pi }^{\textbf{A}^1}_nS^{n+(n+1)}\) coincides with the image of \(\underline{\pi }^{\textbf{A}^1}_n\Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}} \textbf{SL}_n \rightarrow \underline{\pi }^{\textbf{A}^1}_n S^{n+(n+1)}\) induced by collapsing \(\textbf{SL}_n\), it suffices to prove that the homomorphism \(\underline{\pi }^{\textbf{A}^1}_n\theta _{n+1}:\underline{\pi }^{\textbf{A}^1}_n\Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}} \textbf{SL}_n \rightarrow \underline{\pi }^{\textbf{A}^1}_n\textbf{SL}_{n+1}\) is surjective. This in turn follows if the map \(\theta _{n+1}\) is \(\textbf{A}^1\)-n-connected. This is the connectivity of its homotopy cofiber \({\text {cone}}(\theta _{n+1})\) by Lemma 4.5. Unfortunately this does not necessarily imply that its homotopy fiber \({\text {hofib}}(\theta _{n+1})\) is \(\textbf{A}^1\)-\((n-1)\)-connected. To conclude this nevertheless, start with the case \(n=2\). Then the map \(\theta _3\) in question coincides with \(\psi _3:\Sigma ^{(1)}\textbf{P}^2\rightarrow \textbf{SL}_3\) up to equivalence by Lemma 4.1. Lemma 4.6 implies together with the determination of \(\underline{\pi }^{\textbf{A}^1}_1\textbf{SL}_n\) from [18, Theorem 1] that \(\underline{\pi }^{\textbf{A}^1}_1\psi _3\) is an isomorphism. There results an exact sequence
whence it remains to prove that \(\underline{\pi }^{\textbf{A}^1}_2\psi _3\) is an epimorphism. Consider the commutative diagram
induced by diagram (4.2) in which the bottom row is induced by the homotopy fiber sequence
and in particular exact. The top row in diagram (4.8) is induced by the homotopy cofiber sequence
and the weak equivalence \(\psi _2:\Sigma ^{(1)}\textbf{P}^1\rightarrow \textbf{SL}_2\) from Lemma 4.1, in the sense that the homomorphism \(\underline{\pi }^{\textbf{A}^1}_2S^{2+(3)}\rightarrow \underline{\pi }^{\textbf{A}^1}_1\Sigma ^{(1)}\textbf{P}^1\) is the composition of the inverse of \(\underline{\pi }^{\textbf{A}^1}_1\psi _2\) and \(\underline{\pi }^{\textbf{A}^1}_2S^{2+(3)}\cong \underline{\pi }^{\textbf{A}^1}_2\textbf{A}^3\smallsetminus \{0\}\rightarrow \underline{\pi }^{\textbf{A}^1}_1\textbf{SL}_2\). Here the first isomorphism follows from Corollary 4.3. It follows that the upper row in diagram (4.8) is exact at the spots involving \(\underline{\pi }^{\textbf{A}^1}_1\). To conclude exactness at \(\underline{\pi }^{\textbf{A}^1}_2S^{2+(3)}\), it remains to prove that the image of \(\underline{\pi }^{\textbf{A}^1}_2\Sigma ^{(1)}\textbf{P}^2\rightarrow \underline{\pi }^{\textbf{A}^1}_2S^{2+(3)}\) contains the kernel of \(\underline{\pi }^{\textbf{A}^1}_2S^{2+(3)}\rightarrow \underline{\pi }^{\textbf{A}^1}_1\Sigma ^{(1)}\textbf{P}^1\). By construction of the homotopy cofiber sequence, the latter coincides with the kernel of \(\eta :\textbf{K}^{\textsf{MW}}_3\rightarrow \textbf{K}^{\textsf{MW}}_2\), which is \(\textsf{h}\textbf{K}^{\textsf{MW}}_3\) by Theorem 3.2. The map
induces a commutative diagram
in which the identification of the lower horizontal map can be deduced from \(\textbf{P}^1\)-stabilizing first, then observing that its \(\textbf{P}^1\)-stabilization is in the kernel of multiplication with \(\eta \) on the Grothendieck-Witt ring (hence an integer multiple of \(\textsf{h}\) by Theorem 3.2), and finally a degree argument using motivic cohomology or realization, showing that the rank of the integer multiple of \(\textsf{h}\) is 2. Morel’s Theorem [17, Theorem 1.23] then implies that the image of the homomorphism \(\underline{\pi }^{\textbf{A}^1}_2\Sigma ^{(1)}\textbf{P}^1\times \textbf{P}^1\rightarrow \underline{\pi }^{\textbf{A}^1}_2\Sigma ^{(1)}\textbf{P}^2\rightarrow \underline{\pi }^{\textbf{A}^1}_2S^{2+(3)}\) contains \(\textsf{h}\textbf{K}^{\textsf{MW}}_3\). In particular, the top row in diagram (4.8) is also exact at \(\underline{\pi }^{\textbf{A}^1}_2 S^{2+(3)}\). Together with the isomorphism \(\underline{\pi }^{\textbf{A}^1}_2\psi _2\) from Lemma 4.1, a diagram chase then provides that \(\underline{\pi }^{\textbf{A}^1}_2\psi _3\) is an epimorphism.
Diagram (4.2) furthermore implies that \(\psi _{n+1}\) is at least \(\textbf{A}^1\)-2-connected for all \(n>1\). Invoking the \(\textbf{A}^1\)-van Kampen theorem [30, Theorem 3.10], [17, Theorem 7.12] provides with Lemma 4.6 that \(\underline{\pi }^{\textbf{A}^1}_1\theta _{n+1}\) is an isomorphism for all \(n>1\). Hence \(\theta _{n+1}:\Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}} \textbf{SL}_n \rightarrow \textbf{SL}_{n+1}\) is \(\textbf{A}^1\)-2-connected as well. To reach further, let \(n>2\) and consider the transformation
of homotopy fiber sequences, inducing a transformation of long exact sequences of homotopy groups. The vertical map in the middle of diagram (4.9) is \(\textbf{A}^1\)-\((n-1)\)-connected. In fact, as the cobase change of the map \(\Sigma ^{(1)}\textbf{P}^{n-1}\rightarrow \Sigma ^{(1)}\textbf{P}^n\) which is \(\textbf{A}^1\)-\((n-1)\)-connected by Lemma 4.6, it is simplicially \((n-1)\)-connected. To apply [17, Theorem 6.56] or [6, Corollary 2.3.6] and conclude the desired \(\textbf{A}^1\)-connectivity, it remains to prove that \(\underline{\pi }^{\textbf{A}^1}_0\Omega \Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}}\textbf{SL}_n\) is strongly \(\textbf{A}^1\)-invariant. The simplicial van Kampen theorem [30, Corollary 3.5] provides that the Nisnevich sheaf associated with the presheaf of fundamental groups of \(\textrm{Sing}^{\textbf{A}^1}(\Sigma ^{(1)}\textbf{P}^n)\cup _{\textrm{Sing}^{\textbf{A}^1}(\Sigma ^{(1)}\textbf{P}^{n-1})}\textrm{Sing}^{\textbf{A}^1}(\textbf{SL}_n)\) (using \(\textbf{A}^1\)-naiveness provided by [17, Theorem 8.1] for \(\textbf{GL}_n\) and [4, Example 4.2.13]) coincides with \(\textbf{K}^{\textsf{M}}_2\). In particular, it is strictly \(\textbf{A}^1\)-invariant.
The long exact sequence diagram (4.9) induces on \(\textbf{A}^1\)-homotopy groups then provides epimorphisms \(\underline{\pi }^{\textbf{A}^1}_{j+1}S^{n+(n+1)} \cong \underline{\pi }^{\textbf{A}^1}_j\Omega S^{n+(n+1)}\rightarrow \underline{\pi }^{\textbf{A}^1}_j {\text {hofib}}(\theta _{n+1})\) for all \(j<n\). In particular, Morel’s \(\textbf{A}^1\)-connectivity for \(S^{n+(n+1)}\) provides \(\underline{\pi }^{\textbf{A}^1}_j{\text {hofib}}(\theta _{n+1})=0\) for \(j<n-1\), so that \(\theta _{n+1}\) is at least \(\textbf{A}^1\)-\((n-1)\)-connected. To conclude the vanishing of \(\underline{\pi }^{\textbf{A}^1}_{n-1}{\text {hofib}}(\theta _{n+1})\), observe that it is a quotient of \(\underline{\pi }^{\textbf{A}^1}_nS^{n+(n+1)}\cong \textbf{K}^{\textsf{MW}}_{n+1}\). The \(\textbf{A}^1\)-homotopy groups induced by diagram (4.9) are modules over \(\underline{\pi }^{\textbf{A}^1}_1\textbf{SL}_n\cong \underline{\pi }^{\textbf{A}^1}_1(\Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}}\textbf{SL}_n) \cong \textbf{K}^{\textsf{M}}_2\), and all homomorphisms involved are \(\textbf{K}^{\textsf{M}}_2\)-equivariant. However, the action of \(\underline{\pi }^{\textbf{A}^1}_1\textbf{SL}_n\) on \(\underline{\pi }^{\textbf{A}^1}_j \Omega S^{n+(n+1)}\) is trivial because it factors through \(\underline{\pi }^{\textbf{A}^1}_1*\), as the commutative diagram
of fiber sequences implies. Hence the action of \(\underline{\pi }^{\textbf{A}^1}_1(\Sigma ^{(1)}\textbf{P}^n\cup _{\Sigma ^{(1)}\textbf{P}^{n-1}}\textbf{SL}_n)\) on the quotient \(\underline{\pi }^{\textbf{A}^1}_j{\text {hofib}}(\theta _{n+1})\) of \(\underline{\pi }^{\textbf{A}^1}_j\Omega S^{n+(n+1)}\) is also trivial. It follows that the relative Hurewicz homomorphism \(\underline{\pi }^{\textbf{A}^1}_{n-1}{\text {hofib}}(\theta _{n+1})\rightarrow {\underline{H}}_{n}^{\textbf{A}^1}{\text {cone}}(\theta _{n+1})\) introduced in [2, Section 4.2] is an isomorphism by [2, Theorem 4.2.1]. The latter group is trivial by Lemma 4.5. Hence \(\theta _{n+1}\) is \(\textbf{A}^1\)-n-connected. \(\square \)
Theorem 4.8
Let F be an infinite field of characteristic different from 2 and 3, and A an essentially smooth local F-algebra. The image of the Suslin-Hurewicz homomorphism \(K^{\textrm{Quillen}}_4(A) \rightarrow \textbf{K}^{\textsf{M}}_4(A)\) coincides with \(6\textbf{K}^{\textsf{M}}_4(A)\).
Proof
By [3, Theorem 2.18] it suffices to prove that a certain canonical surjection \(\textbf{K}^{\textsf{M}}_4/6 \rightarrow \textbf{S}_4\), obtained from Suslin’s Hurewicz homomorphism, is an isomorphism. One description of \(\textbf{S}_4\) goes as follows. The \(\textbf{A}^1\)-fiber sequence
of motivic spaces induces a long exact sequence of unstable homotopy sheaves terminating with
The sheaf \(\textbf{S}_4\) is isomorphic to the kernel of \(\underline{\pi }^{\textbf{A}^1}_3\textrm{B}\textbf{SL}_3\rightarrow \underline{\pi }^{\textbf{A}^1}_3\textrm{B}\textbf{SL}_4\) by [1, Lemma 3.5]. Homotopical stability provides that \(\underline{\pi }^{\textbf{A}^1}_3\textrm{B}\textbf{SL}_4\cong \underline{\pi }^{\textbf{A}^1}_3\textrm{B}\textbf{SL}_\infty \cong \textbf{K}^{\textsf{Q}}_3\) is the third algebraic K-theory sheaf, as explained in [3]. Morel’s unstable computations provide \(\underline{\pi }^{\textbf{A}^1}_3S^{3+(4)}\cong \textbf{K}^{\textsf{MW}}_4\) [17, Theorem 1.23]. Hence there exists a surjection \(\textbf{K}^{\textsf{MW}}_4\cong \underline{\pi }^{\textbf{A}^1}_3S^{3+(4)}\rightarrow \textbf{S}_4\), which, as is also explained in [3], factors over \(\textbf{K}^{\textsf{M}}_4/6\). In the case where F is a field of characteristic \(p>3\), the map \(\textbf{K}^{\textsf{M}}_4/6 \rightarrow \textbf{K}^{\textsf{M}}_4[p^{-1}]/6\) is injective by [13]. Therefore it suffices to prove that the induced map \(\textbf{K}^{\textsf{M}}_4[p^{-1}]/6\rightarrow \textbf{S}_4[p^{-1}]\) is injective. In the following, the characteristic p of the field F may be implicitly inverted if \(p>3\).
Using the exact sequence (4.10), the image of \(\underline{\pi }^{\textbf{A}^1}_3\textbf{SL}_4\rightarrow \underline{\pi }^{\textbf{A}^1}_3S^{3+(4)}\) (induced by taking the last column of a matrix in \(\textbf{SL}_4\)) contains at least the subsheaves \(6\textbf{K}^{\textsf{MW}}_4\) and \(\eta \textbf{K}^{\textsf{MW}}_5\), and hence their sum. Proposition 4.7 shows that this image coincides with the image of \(\underline{\pi }^{\textbf{A}^1}_3\Sigma ^{(1)}\textbf{P}^3\cup _{\Sigma ^{(1)}\textbf{P}^2}\textbf{SL}_3\xrightarrow {\underline{\pi }^{\textbf{A}^1}_3\theta _4} \underline{\pi }^{\textbf{A}^1}_3\textbf{SL}_4\rightarrow \underline{\pi }^{\textbf{A}^1}_3S^{3+(4)}\). Passage to motivic suspension spectra simplifies the situation via the following commutative diagram
in which the vertical homomorphisms are induced by taking \(\textbf{P}^1\)-suspension spectra. In particular, the vertical homomorphism on the right hand side is an isomorphism by Morel’s theorem. Hence the image in question is contained in the image of the homomorphism \(\underline{\pi }_{3+(0)}\Sigma ^{(1)}\textbf{P}^3\cup _{\Sigma ^{(1)}\textbf{P}^2}\textbf{SL}_3\rightarrow \underline{\pi }_{3+(0)}S^{3+(4)}\) which coincides with the kernel of the homomorphism \(\underline{\pi }_{3+(0)}S^{3+(4)} \rightarrow \underline{\pi }_{2+(0)} \textbf{SL}_3\) because of the cofiber sequence
Using the map \(\psi _3:\Sigma ^{(1)}\textbf{P}^2\rightarrow \textbf{SL}_3\), this kernel contains the kernel of \(\underline{\pi }_{3+(0)}S^{3+(4)} \rightarrow \underline{\pi }_{2+(0)} \Sigma ^{(1)}\textbf{P}^2\). These kernels are equal, because the map \(\underline{\pi }_{2+(0)}\psi _3 :\underline{\pi }_{2+(0)}\Sigma ^{(1)}\textbf{P}^2\rightarrow \underline{\pi }_{2+(0)}\textbf{SL}_3\) is not only surjective (a straightforward consequence of Lemma 4.4), but injective as well (at least after inverting the exponential characteristic of F if it is odd). The latter can be seen from Lemma 4.4 which supplies a homotopy cofiber sequence
It induces a map \(S^{3+(5)}\rightarrow \Sigma ^{1+(1)}\textbf{P}^2\) whose composition with the canonical quotient map \(\Sigma ^{1+(1)}\textbf{P}^2\rightarrow S^{3+(3)}\) gives rise to an element in the Witt ring \(\underline{\pi }_{3+(5)}S^{3+(3)}\cong \textbf{K}^{\textsf{MW}}_{-2}\) by Morel’s theorem. This element is the zero element, because the image of \(\underline{\pi }_{3+(5)}\Sigma ^{1+(1)}\textbf{P}^2\rightarrow \underline{\pi }_{3+(5)}S^{3+(3)}\) is zero by the short exact sequence (3.3). Hence the map \(S^{3+(5)}\rightarrow \Sigma ^{1+(1)}\textbf{P}^2\) factors over the inclusion \(\Sigma ^{1+(1)}\textbf{P}^1\rightarrow \Sigma ^{1+(1)}\textbf{P}^2\) and gives rise to an element in the group \(\underline{\pi }_{3+(5)}S^{2+(2)} =\underline{\pi }_{1+(3)}\textbf{1}_F\) which is trivial by [23, Theorem 5.5] after inverting the characteristic of F if it is odd.
To summarize, the image of the homomorphism \(\underline{\pi }^{\textbf{A}^1}_3\textbf{SL}_4\rightarrow \underline{\pi }^{\textbf{A}^1}_3S^{3+(4)}\) of unstable \(\textbf{A}^1\)-homotopy sheaves is contained in the kernel of the homomorphism of stable \(\textbf{A}^1\)-homotopy sheaves \(\underline{\pi }_{3+(0)}S^{3+(4)} \rightarrow \underline{\pi }_{2+(0)} \Sigma ^{(1)}\textbf{P}^2\). Using \(\textbf{P}^1\)-stability, the latter homomorphism can be identified with the homomorphism \(\underline{\pi }_{2-(1)}S^{2+(3)} \rightarrow \underline{\pi }_{2-(1)} \textbf{P}^2\) induced by the attaching map \(\gamma _2:\textbf{A}^{3}\smallsetminus \{0\}\rightarrow \textbf{P}^2\) of smooth schemes because of the cofibration sequence
The composition
is nullhomotopic essentially because 2 is even. More precisely, by Morel’s Theorem, it suffices to prove this after applying \(\Sigma ^{(1)}\). The composition of the attaching map \(\Sigma ^{(1)} \gamma _2\) with the canonical inclusion to \(\Sigma ^{(1)}\textbf{P}^3\) is nullhomotopic by construction, hence also the composition with \(\psi _4:\Sigma ^{(1)}\textbf{P}^3\rightarrow \textbf{SL}_4\). By the commutative diagram appearing in Corollary 4.3 and exactness, the composition \(\psi _3\circ \Sigma ^{(1)}\gamma _2\) is in the image of the connecting map \(\delta _3:\underline{\pi }^{\textbf{A}^1}_{3+(4)}S^{3+(4)}\rightarrow \underline{\pi }^{\textbf{A}^1}_{2+(4)}\textbf{SL}_3\). The result follows from [1, Lemma 3.5] and Corollary 4.3. Hence the attaching map \(\gamma _2\) corresponds \(\textbf{P}^1\)-stably to an element in the image of \(\pi _{2+(3)}\textbf{P}^1\rightarrow \pi _{2+(3)}\textbf{P}^2\). This element is \(\gamma _2=\pm 2(i\nu )\in \pi _{2+(3)}\textbf{P}^2\cong {\mathbb Z}/12\{i\nu \}\) by Remark 3.5. It follows that the kernel of the induced homomorphism
is generated by \(\eta \) and 6 as a \(\textbf{K}^{\textsf{MW}}\)-module. In particular, in the relevant degree, the image of \(\underline{\pi }^{\textbf{A}^1}_{3}\textbf{SL}_4\rightarrow \underline{\pi }^{\textbf{A}^1}_3S^{3+(4)}\) is contained in the subsheaf \(\eta \textbf{K}^{\textsf{MW}}_5+6\textbf{K}^{\textsf{MW}}_4\). Since it also contains this subsheaf, equality follows. This completes the proof. \(\square \)
Corollary 4.9
Let F be an infinite field with characteristic coprime to 6. The inclusion \(\textrm{B}\textbf{SL}_3\hookrightarrow \textrm{B}\textbf{SL}_\infty \) induces the following short exact sequence of sheaves:
Proof
This is a single case of [1, Theorem 1.1], having identified \(\textbf{S}_4\) with \(\textbf{K}^{\textsf{M}}_4/6\) in the proof of Theorem 4.8. \(\square \)
Notes
It would be better to use \(-2\) and not 2, since the real realization of the algebraic Hopf map is negative.
This element appeared in Sect. 2 without the subscript.
One has to take homotopy fibers at all \(\textbf{A}^1\)-path components in the case (which will not occur here) that the target motivic space is not \(\textbf{A}^1\)-0-connected.
References
Asok, A., Fasel, J.: Algebraic vector bundles on spheres. J. Topol. 7(3), 894–926 (2014)
Asok, A., Fasel, J., Hopkins, M.J.: Localization and nilpotent spaces in -homotopy theory. Compos. Math. 158(3), 654–720 (2022)
Asok, A., Fasel, J., Williams, B.: Motivic spheres and the image of the Suslin-Hurewicz map. Invent. Math. 219(1), 39–73 (2020)
Asok, A., Hoyois, M., Wendt, M.: Affine representability results in \({\textbf{A} }^1\)-homotopy theory, II: principal bundles and homogeneous spaces. Geom. Topol. 22(2), 1181–1225 (2018)
Artin, M., Mazur, B.: Etale homotopy. Lecture Notes in Mathematics, No. 100. Springer-Verlag, Berlin-New York (1969)
Asok, A., Wickelgren, K., Williams, B.: The simplicial suspension sequence in \(\mathbf{{A}} ^1\)-homotopy. Geom. Topol. 21(4), 2093–2160 (2017)
Barratt, M.G.: Track groups. II. Proc. Lond. Math. Soc. 3(5), 285–329 (1955)
Choudhury, U., Hogadi, A.: The Hurewicz map in motivic homotopy theory. Ann. K-Theory 7(1), 179–190 (2022)
Dugger, D., Isaksen, D.C.: Motivic Hopf elements and relations. New York J. Math. 19, 823–871 (2013)
Friedlander, E.M.: Étale homotopy of simplicial schemes. Annals of Mathematics Studies, No. 104. University of Tokyo Press, Tokyo, Princeton University Press, Princeton, N.J. (1982)
Gray, B.: On the sphere of origin of infinite families in the homotopy groups of spheres. Topology 8, 219–232 (1969)
Gille, S., Scully, S., Zhong, C.: Milnor-Witt \(K\)-groups of local rings. Adv. Math. 286, 729–753 (2016)
Izhboldin, O.: On \(p\)-torsion in \(K^M_*\) for fields of characteristic \(p\). In Algebraic \(K\)-theory, volume 4 of Adv. Soviet Math., pp. 129–144. Amer. Math. Soc., Providence, RI, (1991)
Milnor, J.: Algebraic \(K\)-theory and quadratic forms. Invent. Math. 9, 318–344, (1969/1970)
Morel, F.: On the motivic \(\pi _0\) of the sphere spectrum. In Axiomatic, enriched and motivic homotopy theory, volume 131 of NATO Sci. Ser. II Math. Phys. Chem., pp. 219–260. Kluwer Acad. Publ., Dordrecht, (2004)
Morel, F.: The stable \({\textbf{A} }^1\)-connectivity theorems. \(K\)-Theory 35(1–2), 1–68 (2005)
Morel, F.: \({\textbf{A} }^1\)-algebraic topology over a field. Lecture Notes in Mathematics, vol. 2052. Springer, Heidelberg (2012)
Morel, F., Sawant, A.: Cellular \({\textbf{A}}^1\)-homology and the motivic version of Matsumoto’s theorem. Preprint, arXiv:2007.14770
Mukai, J.: The \(S^{1}\)-transfer map and homotopy groups of suspended complex projective spaces. Math. J. Okayama Univ. 24(2), 179–200 (1982)
Mukai, J.: On stable homotopy of the complex projective space. Jpn. J. Math. (N.S.) 19(1), 191–216 (1993)
Morel, F., Voevodsky, V.: \({{\textbf{A} }}^1\)-homotopy theory of schemes. Inst. Hautes Études Sci. Publ. Math. 90, 45–143 (2001). (1999)
Röndigs, O.: Remarks on motivic Moore spectra. In Motivic homotopy theory and refined enumerative geometry, volume 745 of Contemp. Math., pp. 199–215. Amer. Math. Soc., Providence, RI, (2020)
Röndigs, O., Spitzweck, M., Østvær, P.A.: The first stable homotopy groups of motivic spheres. Ann. Math. (2) 189(1), 1–74 (2019)
Röndigs, O., Spitzweck, M., Østvær, P.A.: The second stable homotopy groups of motivic spheres. Preprint, arXiv:2103.17116, (2021)
Suslin, A.A.: Homology of \(GL_ n\), characteristic classes and Milnor K-theory. Algebraic \(K\)-theory, number theory, geometry and analysis, Proc. int. Conf., Bielefeld, Ger.: Lect. Notes Math. 1046(357–375), 1984 (1982)
Toda, H.: Composition methods in homotopy groups of spheres. Annals of Mathematics Studies, No. 49. Princeton University Press, Princeton, N.J. (1962)
Voevodsky, V.: \({\textbf{A}}^1\)-homotopy theory. In: Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), number Extra Vol. I, pp. 579–604, (1998)
Voevodsky, V.: Motivic cohomology with \({{\textbf{Z} }}/2\)-coefficients. Publ. Math. Inst. Hautes Études Sci. 98, 59–104 (2003)
Walter, C.: Grothendieck-Witt groups of projective bundles. Preprint, https://conf.math.illinois.edu/K-theory/0644/ProjBdl.pdf
Wendt, M.: On the \({\textbf{A} }^1\)-fundamental groups of smooth toric varieties. Adv. Math. 223(1), 352–378 (2010)
Williams, B.: The motivic cohomology of Stiefel varieties. J. K-Theory 10(1), 141–163 (2012)
Wu, J.: Homotopy theory of the suspensions of the projective plane. Mem. Am. Math. Soc. 162(769), 130 (2003)
Yokota, I.: On the homology of classical Lie groups. J. Inst. Polytech. Osaka City Univ. Ser. A, 8:93–120, (1957)
Acknowledgements
The author cordially thanks Aravind Asok, Jean Fasel and Ben Williams for their helpful comments, as well as several pleasant discussions on [3]. The anonymous referee provided many valuable comments and corrections for which the author is sincerely grateful. The author would also like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme “K-theory, algebraic cycles and motivic homotopy theory” where the revision of this paper was undertaken. This work was supported by EPSRC grant no EP/R014604/1. Finally, I thankfully acknowledge support by the DFG priority programme 1786 “Homotopy theory and algebraic geometry”, the DFG project “Algebraic bordism spectra”, and the RCN Frontier Research Group Project no. 312472 “Equations in motivic homotopy”. The hospitality of the Universitetet i Oslo is much appreciated.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: modules over Milnor–Witt K-theory
Let F be a field, usually suppressed from the notation. The Milnor-Witt K-theory of F, as defined by Hopkins-Morel [15], is the unital graded associative algebra generated by \(\eta \in \textbf{K}^{\textsf{MW}}_{-1}\cong \pi _{1,1}\textbf{1}\) and the symbols \([u]\in \textbf{K}^{\textsf{MW}}_1(F)\cong \pi _{-1,-1}\textbf{1}_F\) for every unit \(u\in F^\times \), subject to the following relations.
-
Steinberg relation \([u][v] = 0\) whenever \(u+v =1\).
-
\(\eta \)-twisted logarithm \([uv]=[u]+[v]+\eta [u][v]\)
-
Commutativity \([u]\eta =\eta [u]\)
-
Hyperbolic plane \(\eta +\eta ^2[-1]=-\eta \)
If \(u_1,\dotsc ,u_m\in F\) are units, then the element \((1+\eta [u_1])+\cdots +(1+\eta [u_m])\in \textbf{K}^{\textsf{MW}}_0(F)\) corresponds to the quadratic form \(\langle u_1,\dotsc ,u_m\rangle \) given by the appropriate diagonal matrix under the identification of \(\textbf{K}^{\textsf{MW}}_{0}(F)\) with the Grothendieck-Witt ring \(\textbf{GW}(F)\) of F. Milnor K-theory [14] is expressed as the quotient \(\textbf{K}^{\textsf{M}}_\star \cong \textbf{K}^{\textsf{MW}}_\star /\eta \textbf{K}^{\textsf{MW}}_\star \). Often the grading will be suppressed from the notation. Its reduction modulo 2 is denoted \(\textbf{k}^{\textsf{M}}\) for brevity. If A is a (graded) \(\textbf{K}^{\textsf{MW}}\)-module, its degree d part is \(A_d\). For any \(x\in \textbf{K}^{\textsf{MW}}_d\), the kernel and cokernel of multiplication with x on \(A_\ell \) are denoted \({}_xA_\ell \) and \(A_{\ell }/xA_{\ell -d}\). As a warm-up, \(\textbf{K}^{\textsf{M}}\)-modules will be treated first.
Theorem A.1
There is an equality \(\{-1\}\textbf{K}^{\textsf{M}}= {}_{2}\textbf{K}^{\textsf{M}}\) of \(\textbf{K}^{\textsf{M}}\)-modules.
Proof
This follows as an equality of zero modules from [13] if F has characteristic 2. Suppose now that the characteristic of F is different from 2. Since \(2\{-1\}=\{1\} = 0\in \textbf{K}^{\textsf{M}}_1\), there is an inclusion \(\{-1\}\textbf{K}^{\textsf{M}}\subset {}_{2}\textbf{K}^{\textsf{M}}\) of \(\textbf{K}^{\textsf{M}}\)-modules. The cofiber sequence
induces a short exact sequence
of \(\textbf{K}^{\textsf{M}}\)-modules. Let \(\tau \in \pi _{1-(1)}\textbf{M}\mathbb {Z}/2 = h^{0,1}\) denote the class of \(-1\in F\). Then \(\partial ^2_\infty (\tau )=\{-1\}\in \pi _{0-(1)}\textbf{M}\mathbb {Z}= \textbf{K}^{\textsf{M}}_1\) by inspecting the short exact sequence (A.1) in the given weight, using that \(-1\) is the unique nontrivial unit of order two in F. Voevodsky’s solution of the Milnor conjecture on Galois cohomology [28] (or rather the Rost-Voevodsky solution of the Beilinson-Lichtenbaum conjecture relating motivic and étale cohomology with coefficients in \({\mathbb Z}/2\)) provides that multiplication with \(\tau \) is an isomorphism \(\pi _{0+(\star )}\textbf{M}\mathbb {Z}/2 \cong \pi _{1+(\star )}\textbf{M}\mathbb {Z}/2\) of \(\textbf{K}^{\textsf{M}}\)-modules. It follows that multiplication with \(\{-1\}\) on \(\textbf{K}^{\textsf{M}}\) factors as
in which the first three maps are surjective. The result follows. \(\square \)
Lemma A.2
Let A be a \(\textbf{K}^{\textsf{M}}\)-module. There is an isomorphism
which is natural in A.
Proof
The short exact sequence
induces an exact sequence
The short exact sequence
induces an exact sequence
The composition \(\textbf{K}^{\textsf{M}}\rightarrow 2\textbf{K}^{\textsf{M}}\rightarrow \textbf{K}^{\textsf{M}}\) coincides with multiplication by 2, whence naturally \({\text {Hom}}_{\textbf{K}^{\textsf{M}}}(\textbf{k}^{\textsf{M}},A) = {}_2A_0\). In order to identify \({\text {Hom}}_{\textbf{K}^{\textsf{M}}}(2\textbf{K}^{\textsf{M}},A)\) in a similar way, observe the equality
of \(\textbf{K}^{\textsf{M}}\)-modules from Theorem A.1. The composition \(\textbf{K}^{\textsf{M}}\rightarrow \{-1\}\textbf{K}^{\textsf{M}}= {}_2\textbf{K}^{\textsf{M}}\rightarrow \textbf{K}^{\textsf{M}}\) coincides with multiplication by \(\{-1\}\), whence naturally \({\text {Hom}}_{\textbf{K}^{\textsf{M}}}(2\textbf{K}^{\textsf{M}},A) = {}_{\{-1\}}A_0\). The statement follows. \(\square \)
Lemma A.3
Let A be a \(\textbf{K}^{\textsf{MW}}\)-module. There is a natural isomorphism
Proof
Abbreviate \({\text {Hom}}(A,B):={\text {Hom}}_{\textbf{K}^{\textsf{MW}}}(A,B)\). The short exact sequence
induces an exact sequence
The short exact sequence
induces an exact sequence
The composition \(\textbf{K}^{\textsf{MW}}_{\star +1} \rightarrow \eta \textbf{K}^{\textsf{MW}}\rightarrow \textbf{K}^{\textsf{MW}}\) coincides with multiplication by \(\eta \), whence naturally \({\text {Hom}}(\textbf{K}^{\textsf{M}},A) = {}_{\eta }A_0\). In order to identify \({\text {Hom}}(\eta \textbf{K}^{\textsf{MW}},A)\) in a similar way, observe the existence of a further short exact sequence
of \(\textbf{K}^{\textsf{MW}}\)-modules, the surjection being induced by multiplication with \(\textsf{h}\). Note that \(\textsf{h}\textbf{K}^{\textsf{MW}}= \textsf{h}\textbf{K}^{\textsf{M}}= {}_{\eta }\textbf{K}^{\textsf{MW}}\) by Theorem 3.2. The composition \(\textbf{K}^{\textsf{MW}}_{\star +1} \rightarrow {}_{\eta }\textbf{K}^{\textsf{MW}}_{\star +1}\rightarrow \textbf{K}^{\textsf{MW}}_{\star +1}\) coincides with multiplication by \(\textsf{h}\), whence naturally \({\text {Hom}}_{\textbf{K}^{\textsf{MW}}}(\eta \textbf{K}^{\textsf{MW}},A) = {}_{\textsf{h}}A_{-1}\). The statement follows. \(\square \)
Lemma A.4
Let A be a \(\textbf{K}^{\textsf{MW}}\)-module. There is a natural exact sequence
Proof
Abbreviate \({\text {Hom}}(A,B):={\text {Hom}}_{\textbf{K}^{\textsf{MW}}}(A,B)\) and \({{\text {Ext}}}(A,B):={{\text {Ext}}}_{\textbf{K}^{\textsf{MW}}}(A,B)\). The short exact sequence
of \(\textbf{K}^{\textsf{MW}}\)-modules induces an exact sequence
The natural map \({\text {Hom}}_{\textbf{K}^{\textsf{MW}}}(B,A)\rightarrow {\text {Hom}}_{\textbf{K}^{\textsf{M}}}(B, {}_{\eta }A)\) is an isomorphism whenever \(\eta B = 0\). The result then follows from Lemma A.2 and Lemma A.3. \(\square \)
Appendix B: Toda brackets
Consider three composable maps
of pointed motivic spaces or motivic spectra (over any base scheme) such that the compositions \(\beta \circ \gamma \) and \(\alpha \circ \beta \) are nullhomotopic. Choosing nullhomotopies \({\text {cone}}(\textsf{D}):= \textsf{D}\wedge (\Delta ^1,1)\rightarrow \textsf{F}\) and \({\text {cone}}(\textsf{E})=\textsf{E}\wedge (\Delta ^1,1)\rightarrow \textsf{G}\) defines extensions of these compositions displayed in the diagram
and hence a map \(\Sigma \textsf{D}\simeq {\text {cone}}(\textsf{D})\cup _{\textsf{D}}{\text {cone}}(\textsf{E}) \rightarrow \textsf{G}\), where the identification of \(\Sigma \textsf{D}\) with the displayed pushout is canonical. The Toda bracket
is the subset of (pointed) homotopy classes maps which can be obtained this way. It depends only on the homotopy classes of \(\alpha ,\beta ,\gamma \). This definition provides a secondary composition on the level of homotopy categories and is sufficiently general to apply in manifold cases, for example in any pointed simplicial model category. In case \([\Sigma \textsf{D},\textsf{G}]\) is abelian (which is always the case for motivic spectra), then \(\langle \alpha ,\beta ,\gamma \rangle \) is a coset of the subgroup \(\alpha \circ [\Sigma \textsf{D},\textsf{F}]+[\Sigma \textsf{E},\textsf{G}] \circ \Sigma \gamma \subset [\Sigma \textsf{D},\textsf{G}]\) [26, Lemma 1.1]. An equivalent description of \(\langle \alpha ,\beta ,\gamma \rangle \) is obtained by taking homotopy classes of compositions
where \({\widetilde{\alpha }}\) is an extension of \(\alpha \) to \({\text {cone}}(\beta )\) and \(\gamma ^\prime \) is a coextension of \(\gamma \) with respect to \(\beta \) [26, Prop. 1.7]. Any coextension of \(\gamma \) with respect to \(\beta \) is a lift of \(\Sigma \gamma \) along \({\text {cone}}(\beta )\rightarrow \Sigma \textsf{E}\). In the stable case of motivic spectra, a coextension of \(\gamma \) with respect to \(\beta \) is the same as a lift of \(\Sigma \gamma \) along \({\text {cone}}(\beta )\rightarrow \Sigma \textsf{E}\) [11, Prop. 5.2]. Two straightforward extensions of statements from [26] will be stated explicitly for reference purposes.
Proposition B.1
Let three composable maps
of pointed motivic spaces or motivic spectra (over any base scheme) be given such that the compositions \(\beta \circ \gamma \) and \(\alpha \circ \beta \) are nullhomotopic. Let \(\textsf{G}\xrightarrow {i} {\text {cone}}(\alpha )\xrightarrow {q} \Sigma \textsf{F}\) denote the canonical maps. There is an equality
of subsets of \([\Sigma \textsf{D},\textsf{G}]\).
Proof
This follows by translating [26, Proposition 1.8] to the motivic setting. \(\square \)
Proposition B.2
Let three composable maps
of pointed motivic spaces or motivic spectra (over any base scheme) be given such that the compositions \(\beta \circ \gamma \) and \(\alpha \circ \beta \) are nullhomotopic. Then for every \(\lambda \in \langle \alpha ,\beta ,\gamma \rangle \) there exists an extension \({\widetilde{\beta }}:{\text {cone}}(\gamma )\rightarrow \textsf{F}\) of \(\beta \) such that the diagram
commutes up to homotopy. Conversely, for every extension \({\widetilde{\beta }}:{\text {cone}}(\gamma )\rightarrow \textsf{F}\) of \(\beta \) there exists an element \(\lambda \in \langle \alpha ,\beta ,\gamma \rangle \) such that diagram (B.1) commutes up to homotopy.
Proof
This follows by translating [26, Proposition 1.9] to the motivic setting. \(\square \)
By adjointness, an equivalent description in terms of maps to loop spaces can be given. From the definition it follows quite immediately that any functor \(\Phi \) induced by a pointed simplicial left Quillen functor on homotopy categories preserves Toda brackets in the sense of providing an inclusion
whenever the Toda bracket \(\langle \alpha ,\beta ,\gamma \rangle \) is defined. In particular, if the target Toda bracket \(\langle \Phi (\alpha ),\Phi (\beta ),\Phi (\gamma )\rangle \) does not contain the zero element, neither does the source Toda bracket \(\langle \alpha ,\beta ,\gamma \rangle \). This applies in particular to base change functors, stabilization, and to complex and étale realization.
For example, the Toda bracket \(\langle 2,\eta _\textsf{top},2\rangle \subset \pi _5S^3\) in the pointed homotopy category of topological spaces defined by
consists of the single element \(\eta _\textsf{top}^2:S^5\rightarrow S^3\) by [26, Lemma 5.2 and (5.2)]. With the help of the unstable considerations over \({{\text {Spec}}}({\mathbb Z})\) in [9] (see in particular [9, Remark A.10]), the maps
define a Toda bracket \(\langle \textsf{h},\eta ,\textsf{h}\rangle \subset [S^{3+(2)},S^{2+(1)}]\). Comparison with the \(\textbf{P}^1\)-stable situation and [23, Theorem 5.5] shows that any element in this Toda bracket maps to \(\eta \circ \eta _\textsf{top}\in \pi _{1+(1)}\textbf{1}_F\) modulo the subgroup \(2(\textbf{K}^{\textsf{M}}_1(F)/24)\) generated by \(\nu \) over fields F of characteristic not two. Similarly, any element in the Toda bracket
maps to \(\pm 6\nu \in \pi _{1+(2)}\textbf{1}_F\) over fields F of characteristic not two or three, by [23, Theorem 5.5] and [26, (5.4), Prop. 5.6 and its proof]. See [22, Prop. 4.1] for these two and further examples.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Röndigs, O. Endomorphisms of the projective plane and the image of the Suslin–Hurewicz map. Invent. math. 232, 1161–1194 (2023). https://doi.org/10.1007/s00222-023-01179-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-023-01179-4