Arxiv:2101.01489V2 [Math.AG]

Home , Gerbe

arXiv:2101.01489v2 [math.AG] 25 Feb 2021 r ietv o all for bijective are A h bv asaeaaoost h ueizmpta ehv nto in have we that map Hurewicz for the morphism to Hurewicz analogous the are setup, maps above The smrhs od o all for holds isomorphism sauieslmpt strictly a to map universal a is oe,i i onainlwr n[ in work foundational his in Morel, etesevso ipiilhmtp ruso batreplaceme fibrant a of groups homotopy simplicial of sheaves the be hsi o h aein case the not is This h lss nw eutt h ueiztheorem. 1.1. Hurewicz Theorem the to result known closest the H aueof nature hspprw rv hssretvt yuigGru’ hoyo non of theory Giraud’s using 1.2. by Theorem surjectivity this prove we paper this H theorem. Hurewicz the as result this to refer A will We connected. is one ipiilsheaf simplicial pointed oooy hnteHrwc map Hurewicz the Then topology. A hoe 1.3. Theorem and ∆ 1 1 1 i op A ivrat(e [ (see -invariant hmtp hoy(e [ (see theory -homotopy mdlsrcuea endi [ in defined as structure -model ealta ha fgroups of sheaf a that Recall ntplg,tesretvt fteHrwc a sams ietc direct a almost is map Hurewicz the of surjectivity the topology, In 2000 o field a For h bv hoe ilb eue rmtefloigrsl,wihi o is which result, following the from deduced be will theorem above The 1 Sh ( G X ( → n aoia ueizmorphisms Hurewicz canonical and ) ahmtc ujc Classification. Subject Mathematics Sm/k Abstract. ueizmap Hurewicz h blaiainmp ntecus fpoigti result this proving of course the In map. abelianisation the fstrongly of A H 1 H UEIZMPI OII OOOYTHEORY HOMOTOPY MOTIVIC IN MAP HUREWICZ THE firn elcmns o-xlctfo h iwon fmkn ex making of viewpoint the from non-explicit replacements; -fibrant ea pmrhs.Then epimorphism. an be eoetectgr fsmlca hae ntecategory the on sheaves simplicial of category the denote ) k let , Let Let [ 5 A 5 o an For 6.35] , 1 .,6.23]). 6.1, , ivratsevso rus h mg n enlof kernel and image the groups, of sheaves -invariant k U Sm/k k π eapretfil and field perfect a be 1 A eapretfil.Let field. perfect a be in 1 X A ( A X o once ipiilsheaf simplicial connected a For Sm/k 1 i 1 ) 5 hmtp hoy h ansuc fdffiut isi h non-explicit the in lies difficulty of source main The theory. -homotopy n∆ in cnetdpitdsmlca sheaf simplicial pointed -connected ≥ eoetectgr fsmooth of category the denote .6) u o e nw.Hwvrtefloigtermb Morel by theorem following the However known. yet not but 6.36]), , → 0. TA HUHR N MTHOGADI AMIT AND CHOUDHURY UTSAV H op A If . G 1 A π 6 1 1 Sh 1 A soeo h anojcso td in study of objects main the of one is ] ivratsefo bla groups. abelian of sheaf -invariant π scle strongly called is ( i 1 X 1 A skont eteaeinsto hnteudryn space underlying the when abelianisation the be to known is 1 = ( ( G 5 1 ssretv.W loosreta h ueizmpfor map Hurewicz the that observe also We surjective. is ) H X Sm/k h ]hsdfie,freeyinteger every for defined, has 6] Ch. , ( 14F42. X saein hni scle strictly called is it then abelian, is sstrongly is ) i H ( ) U, π π 1. sstrongly is → i 1 A A n ensthe defines one ) G X 1 1 Introduction ( ( ) H X X G eapitdsmlca ha on sheaf simplicial pointed a be → 1 A ) ) eastrongly a be 1 → → H ( 1 X i H H A ( A ) U A 1 i 1 1 A A ssurjective. is ivratand -invariant ivrati for if -invariant 1 1 1 × ivrati tis it iff -invariant ( ( X X X A X eas hwta o n morphism any for that show also we , ) ) 1 vrapretfield perfect a over k , h ueizmorphism Hurewicz the , A vreiswt invc oooy Let topology. Nisnevich with -varieties G A 1 ) hmtp ru sheaves, group -homotopy 1 ivratsefo ruson groups of sheaf -invariant φ tof nt r lostrongly also are aeincohomology. -abelian H rwc hoe sepce in expected is theorem urewicz i 1 neuneo h definitions. the of onsequence A Sm/k A X 0 = 1 1 ( ooy ntetopological the In pology. A hmtp hoy o any For theory. -homotopy nthe in X needn interest. independent f A k , 1 skont estrictly be to known is ) epoeta the that prove we , h maps the 1 -invariant. 1 hsctor ihits with cateogry This . i Sm/k ivrati h above the if -invariant , lctcluain.In calculations. plicit A A A 1 1 hmlg groups -homology 1 mdlstructure. -model -invariant. nteNisnevich the in P k 1 π is i φ A 1 ( X Sm/k ,to ), is 2 UTSAV CHOUDHURY AND AMIT HOGADI

Remark 1.4. If k is perfect field, a theorem of Morel [5, 5.46] says that any strongly A1-invariant Nisnevich sheaf of abelian groups on Sm/k is also strictly A1-invariant. Unfortunately it is not yet known if this statement holds for imperfect fields. This is the sole reason for assuming k to be perfect in Theorems 1.3 and 1.2. Also note that strongly A1-invariant is a stronger notion than just A1-invariant. In particular, there exists A1-invariant sheaves which are not strongly A1-invariant (see [7, Lemma 5.6]). For a morphism of strongly A1-invariant abelian sheaves over a perfect field, the kernel and image of the morphism are also strongly A1-invariant. This result is a consequence of a nontrivial theorem of Morel (see [5, 6.24]) that the category of strongly A1-invariant sheaves of abelian groups is an abelian category, as it is obtained as a heart of a t-structure. The theorem below, can be viewed as a generalization of this result for non-abelian strongly A1-invariant sheaves. Moreover the proof of this generalization is completely different and is more direct in the sense that it does not appeal to the existence of t-structures. φ Theorem 1.5. Let G −→ H be a morphism of strongly A1-invariant sheaves of groups. Then the image and the kernel of φ are strongly A1-invariant. Proof. The image Image(φ) is A1-invariant, since it is a subsheaf of an A1-invariant sheaf H. Thus by Theorem 1.3 it is strongly A1-invariant. The kernel K is strongly A1-invariant as it fits in the following exact sequence 1 → K → G → Image(φ) → 1 where the other two sheaves are strongly A1-invariant. Acknowledgement: We thank Fabien Morel, Tom Bachmann and O. Röndigs for their comments.

2. Preliminaries on Gerbes and Giraud’s non-abelian cohomology Let C be any small site (e.g. Sm/k with Nisnevich topology) and ∆op(C) be the category of simplicial sheaves on C. The goal of this section is to recall the main results of Giraud on non-abelian cohomology. Everything in this section is a subset of [3]. We work with the following definition of a gerbe. Definition 2.1. A simplicial sheaf X on C is called a gerbe if it is connected and if for any U ∈ C and any x ∈ X (U), the homotopy sheaves of groups πi(X|U , x) = 0 for all i ∈ N. Given any simplicial sheaf X (not necessarily a gerbe), one gets a category fibered in groupoids over C defined by the fundamental groupoid construction: i.e. for every U ∈C, the fiber category X|U is the fundamental groupoid of the space X (U), a category whose objects are elements of X (U) and morphisms are paths up to homotopy. This category fibered in groupoids is in fact a gerbe in the sense of [4, 3.2] if X is connected. If X was a gerbe to start with, then it can be recovered, up to weak equivalence, using this category fibered in groupoids using the simplicial nerve construction. A gerbe X , is called neutral if it has a global section. In this case, by making a choice of a global section, one can define the fundamental group of X . Since X is connected, a different choice gives a fundamental group which can be canonically identified with the previous one, modulo an inner automorphism. This motivates the following definition by Giraud. Definition 2.2. [3, 1.1.3] For two sheaves of groups F and G, let Isex(F, G) denote the set of isomorphisms from F onto G modulo the action of inner automorphisms of F (acting on the left) and the action of inner automorphisms of G. Consider the pre-stack whose objects over U are sheaves of groups over U (small w.r.t to a fixed universe) with morphisms between F and G defined as elements of Isex(F, G). One can stackify this pre-stack (see [4]) and objects of this stack are called bands. In particular, every sheaf of groups defines a band. Since every band is represented locally by a sheaf of groups, all those concepts related to sheaves of groups which are local in nature (e.g. exact sequence, epimorphism, kernel, center) HUREWICZ MAP 3

also make sense for bands. It is a simple exercise to show that the center of a band is necessarily represented by a sheaf of groups. The ’fundamental group’ of any gerbe X (neutral or not) is always defined as a band. For a band L, a gerbe banded by L (or simply an L-gerbe) will mean a gerbe together with an isomorphism of L with the band defined by X . An equivalence of L-gerbes means an equivalence of the gerbes compatible with the given isomorphisms of their bands with L. Definition 2.3. [3, 3.1.1] For a band L on a site C, let H2(C,L) or simply H2(L) denote the equivalence class of L-gerbes. The subset represented by neutral classes in H2(C,L) is denoted by H2(C,L)′ or simply (H2(L)′). Remark 2.4. Note that H2(L)′ is non-empty if and only if L can be represented by a sheaf of groups (see [3, 3.2.4]), in which case it is a singleton set, as can be seen for e.g. by Theorem 2.8 stated below. Remark 2.5. If a band L is representable by a sheaf of abelian groups A, then H2(L) defined above is in canonical bijection with the H2(A) as defined by sheaf cohomology [3, 3.4]. Given an exact sequence of sheaves of groups a b 1 → A −→ B −→ C → 1 one has a long exact sequence 1 → H0(A) → H0(B) → H0(C) → H1(A) → H1(B) → H1(C). One of the goals of introducing the non-abelian H2 is to extend this exact sequence on the right. We first note that B acts on itself by inner automorphisms. Since A is normal in B, this action also induces an action on A. Thus B also acts on band(A), where band(A) denotes the band defined by A. This action factors through C. We need the following definition to state the result extending the above long exact sequence to H2: Definition 2.6. [3, 4.2.3] For an epimorphism of bands v : M → N, one defines a pointed set O(v) := N(v)/R where (1) N(v) is the set of all triples (K,L,u) where K is a gerbe with band L and u : L → M is a monomorphism which makes the following sequence exact u v 1 → L −→ M −→ N → 1. (2) R is the equivalence relation defined by declaring (K,L,u) ∼ (K′,L′,u′) if there exists a morphism of gerbes α : K → K′ such that the induced morphism α : L → L′ on bands makes the following diagram commute u L / M

α u′ L / M (3) O(v)′ denotes the subset of O(v) defined by all those (K,L,u) where K is a neutral L-gerbe. Now one has the following general result. f g Theorem 2.7. [3, 4.2.8, 4.2.10] Given an exact sequence of sheaves of groups 1 → A −→ B −→ C → 1, we have the following long exact sequence d 1 → H0(A) → H0(B) → H0(C) → H1(A) → H1(B) → H1(C) −→ O(g) → H2(B) → H2(C). where the map d is as defined in [3, 4.7.2.4] and exactness of the sequence is defined similar to that in the case of pointed sets with subsets O(g)′ and H2(B)′, H2(C)′ playing the role of base points. When the action of C on band(A) is trivial, on has a canonical bijection O(g) =∼ H2(A). Another important result of Giraud we need is the following. 4 UTSAV CHOUDHURY AND AMIT HOGADI

Theorem 2.8. [3, 3.3.3] Let L be a band and C be its center. Then one has a canonical action of H2(C) on H2(L) which is free and transitive. This theorem, loosely speaking, says that the non-abelian cohomology set H2(L) is essentially all abelian as it ”comes from” its center. Note however that if H2(L) has no class represented by a neutral gerbe, then there is no canonical bijection between H2(L) and H2(C).

The following is a direct consequence of the above theorem and the deﬁnition of

f g Lemma 2.9. Let 1 → A −→ B −→ C → 1 be an exact sequence of sheaves of groups. Assume that H2(A) is trivial. Then O(g)′ = O(g). Proof. Let (K,L,u) be any triple where L is a band which ﬁts in the exact sequence u 1 → L −→ band(B) → band(C) → 1 and K is an L-gerbe. To prove the theorem it is enough to show that K is neutral. However we note that center Z(L) coincides with Z(A), the center of A. The result then directly follows from the above theorem.

3. Strong A1-invariance of the center and applications The goal of this section is to prove the theorems mentioned in the introduction. We start by proving the following. Theorem 3.1. Let G be a strongly A1-invariant sheaf of groups on Sm/k. Then Z(G), the center of G is also strongly A1-invariant. Proof. Since G is strongly A1-invariant, BG is A1-local. By choosing a simplicially fibrant model for BG we may further assume, without loss of generality, that BG is A1-fibrant. To show Z(G) u is strongly A1-invariant, we need to show BZ(G) is A1-local. Let BZ(G) −→X be an A1-fibrant replacement (in the category of pointed spaces). Thus u is a trivial A1-cofibration. To prove the theorem, it suffices to show that u is a simplicial weak equivalence. Equivalently, it suffices to show that the map on sheaves of fundamental groups

π1(BZ(G)) −→ π1(X )(=: H) is an isomorphism. Since BG is A1-ﬁbrant and u is a trivial A1-coﬁbration, we have a factorization h as below BZ(G) ✈/ BG ✈✈ : ✈✈ u ✈✈ ✈✈ ∃h ✈ X which gives a commutative diagram of the maps induces on the fundamental groups

/ Z(G) ③/= G ③③ = ③③ u∗ ③③ ③ h∗ ③ H

In the above diagram, if we show that the image of h∗ is Z(G), then it will follow that Z(G) is a retract of the strongly A1-invariant sheaf H and hence is itself strongly A1-invariant. Thus it suﬃces to show that image of h∗ is contained in Z(G). This is equivalent to showing that for every smooth k-scheme U and an element g ∈ G(U), the map h|U is homotopic to the composite of

−1 h|U x7→gxg X|U −−→ BG|U −−−−−−→ BG|U . HUREWICZ MAP 5

But note that the base change functor from ∆op(Sh(k)) → ∆op(Sh(U)) preserves trivial A1-coﬁbrations since it is a left quillen functor. Moreover it also preserves A1-ﬁbrations. Thus

ν|U BZ(G)|U −−→X|U

ν U 1 | is a trivial A -coﬁbration. Since Z(G) is the center of G, the map BZ(G)|U −−→ BG|U is homotopic (in fact equal) to the composite 1 x7→gxg− BZ(G)|U → BG|U −−−−−−→ BG|U . A1 The proof now follows from commutative diagram below, using the fact that ν|U is an -weak 1 equivalence and the fact that BG|U is A -local by Lemma 3.2.

1 x7→gxg− BZ(G)|U / BG|U / BG|U tt9 ttt ν|U tt tt h U t | X|U

Lemma 3.2. U ∈ Sm/k. Then the restriction functor ∆op(Sh(k)) → ∆op(Sh(U)) takes A1-fibrant objects to A1-local objects. op 1 Proof. Let Y ∈ ∆ (Sh(k)) be an A -fibrant object. Then Y|U has BG property, since BG property is defined in terms of Nisnevich distinguished triangles and every Nisnevich distinguished triangle in the category Sm/U is also a Nisnevich disntinguished triangle in Sm/k. Moreover, since Y(V × A1) → 1 Y(V ) is a weak equivalence for every V/U. Thus by arguments given as in [5, A.6], Y|U is A -local. Proof of 1.3. Let K denote the kernel of the the epimorphism G → H. Thus we have a short exact sequence of Nisnevich sheaves of groups 1 → K → G → H → 1. Step 1: For every smooth k-scheme U, this gives us an exact sequence (see [3, 3.3.1]) of pointed cohomology sets 1 → H0(U,K) → H0(U, G) → H0(U,H) → H1(U,K) → H1(U, G) → H1(U,H) Using functoriality of the above exact sequence in the case when U is Hensel local, we deduce that the A1-invariance of H implies (in fact is equivalent to) strong A1-invariance of K. By Theorem 3.1, Z(K), the center of K is strictly A1-invariant sheaf.

Step 2: To show strong A1-invariance of H, it is enough to show that for all henselian local essentially 1 A1 smooth schemes U/k, H (U × k,H) is trivial. By [3, 4.7.2.4], we have an exact sequence of pointed sets 1 A1 1 A1 → H (U × k, G) → H (U × k,H) → O(φ) where φ denotes restriction of G → H to the over-category (Sm/k)/U × A1 which will be denoted by 1 Smk/U × A for simplicity and O(φ) is as deﬁned in 2.6. It is enough to show O(φ) is trivial. This follows from Lemma 2.9 and the strict A1-invariance of Z(K).

Let F be a sheaf on Sm/k. For U ∈ Sm/k we say α, β ∈ F(U) are naive A1-homotopic if there exists a γ ∈F(U × A1) such that ∗ ∗ α = σ0 (γ) and β = σ1 (γ) 1 where σ0, σ1 : U → U × A are the sections deﬁned by 0 and 1 respectively. As in [2, 2.9], let S(F) denote the sheaf associated to the presheaf F(U) U 7→ ∼ 6 UTSAV CHOUDHURY AND AMIT HOGADI

where ∼ denotes the equivalence relation generated by naive A1-homotopies. There is a canonical epimorphism F → S(F). Let S∞(F) := lim Sn(F) n→∞ The following lemma is straightforward to check. Lemma 3.3. (see [2, 2.13]) The canonical morphism F → S∞(F) is an epimorphism and is a universal map from F to an A1-invariant sheaf. Moreover if F is a sheaf of groups, then so is S∞(F). Proof of Theorem 1.2. By lemma 3.3, the map A1 h A1 π1 (X ) −→ H1 (X ) factors uniquely through 1 1 A s ∞ A ab π1 (X ) −→ S π1 (X ) . 1 ∞ A ab A1 Since the map s is an epimorphism, Theorem 1.3 implies that S π1 (X ) is strongly -invariant sheaf of abelian groups. Thus s is a universal map to strictly A1-invariant sheaf of abelian groups. 1 1 ∞ A ab A However by [5, 6.35], so is h. Thus the induced map from S π1 (X ) → H1 (X ) must be an isomorphism. In particular h must be an epimorphism.

Hurewicz map for P1 4. k 1 H In this section we reserve the notation H to denote the Hurewicz map for P1, i.e. πA (P1) −→ 1 1 A P1 H1 ( ). The goal of this section is to prove the following propositions P1 Proposition 4.1. The kernel of the Hurewicz map for k, 1 1 A P1 H A P1 π1 ( ) −→ H1 ( ) 1 A P1 is equal to the commutator subgroup of π1 ( ). As a consequence of the explicit computation of the Hurewicz map we obtain the following : Proposition 4.2. The sequence of Nisnevich sheaves MW MW η MW 0 → hK2 → K2 −→ K1 is exact. Remark 4.3. We do not know if there is an elementary way to prove the above proposition, using generator and relations. In particular we do not know if MW MW η MW 0 → hKn → Kn −→ Kn−1 is exact for every n ≥ 1. However, as pointed out to us by O. Röndigs, it is possible that the above short exact sequence is induced by a cofiber sequence given in [1, Prop. 11]. The most difficult part of the computation in the above propositions is the universality of the 1 Hurewicz map and the computation of πA (P1) itself, both of which has been elegantly done in [5, 6.35, 1 1 A P1 7.3]. We first restate Morel’s computation of π1 ( ) as it will also help us to build notation for use in subsequent calculation. 1 1 A A P1 Let F (1) := π1 ( ). First we recall the following two maps defined by Morel: 1 G A A1 P1 G (1) A map θ : m → F (1) which is a result of an -equivalence k ∼ Σ( m). 1 MW A A2 P1 (2) A map K2 → F (1) which is a result of applying π1 to the map − 0 → and a 1 MW ∼ A A2 theorem of Morel which shows K2 = π1 ( − 0). MW In what follows, we will freely use standard notation for denoting elements of K∗ used in [5, Chapter 3], e.g. h−1i , h, [U] etc. HUREWICZ MAP 7

1 A MW Theorem 4.4. [5, 7.29] As a sheaf of sets F (1) is a product K ×Gm and the following describes 1 2 the structure of F A (1) completely: (i) The sequence MW A1 γ G 1 → K2 → F (1) −→ m → 1 is exact and is a central extension. (ii) For two units U, V in any ﬁeld extension F of k, the following hold θ(U)θ(V )−1 = [−U][−V ]θ(U −1V )−1 θ(U)−1θ(V ) = [U −1][−V ]θ(U −1V ). The following is the main calculation in the proof of Proposition 4.1.

1 Lemma 4.5. For any essentially smooth ﬁeld extension F/k, the commutator subgroup of F A (1)(F ) MW is equal to hK2 (F ). 1 MW A Proof. Since K2 (F ) is in the center of F (1)(F ), we have that the commutator subgroup A1 A1 [F (1)(F ), F (1)(F )] = θ(U)θ(V )θ(U)−1θ(V )−1| U, V ∈ F where the angle brackets on RHS denote subgroup generated by the elements within. θ(U)θ(V )= h−1i [U][V ]θ(UV ) ...(by [5, 7.31]) θ(V )θ(U)= h−1i [U][V ]θ(UV ) θ(U)θ(V )θ(U)−1θ(V )−1 = h−1i [U][V ]θ(UV ) · − h−1i [V ][U]θ(UV )−1 ...(by [5, 7.29(ii)]) = h−1i [U][V ] − [V ][U]) ...(∵ KMW is in the center) 2 = [U][V ] h−1i + h−1i2 ...(using [5, 3.7(3)]) = h(h − 1)[U][V ] ...(∵ h =1+ h−1i) Thus we have A1 A1 [F (1)(F ), F (1)(F )] = hh(h − 1)[U][V ] | U, V ∈ F i MW = h(h − 1)K2 (F ) ...(using [5, 3.6(1)]) MW ∵ = h · K2 (F ) ...( h − 1= h−1i is a unit by [5, 3.5(4)])

1 A P1 A1 Proof of Proposition 4.1. Recall that H is a universal map from π1 ( ) to a strongly -invariant 1 A P1 sheaf of abelian groups. Thus it is enough to show that the abelianisation of π1 ( ) is strongly 1 A1 A P1 ab A1 -invariant. π1 ( ) is a quotient of a strongly -invariant sheaf therefore by Theorem 1.3, we 1 1 A P1 ab A P1 ab need to show that π1 ( ) is homotopy invariant. However by (4.4) and Lemma 4.5, π1 ( ) ﬁts in the following exact sequence

MW 1 K2 A P1 ab G 0 → MW → π1 ( ) → m → 0. hK2 MW K2 1 MW 1 Thus it is enough to show that MW is A -invariant or equivalently hK is strongly A -invariant. hK2 2 However this follows from [5, 3.32]. The following lemmas give explicit description of the Hurewicz morphism H.

1 A P1 ∼ MW Lemma 4.6. There exists an isomorphism φ : H1 ( ) = K1 such that φ ◦ H([U][V ]θ(W )) = η[U −1][V ] + [W ]

where U,V,W are sections of Gm on an object in Gm. 8 UTSAV CHOUDHURY AND AMIT HOGADI

A1 P1 ∼ G Proof. Since there is an -equivalence k = Σ m, we have 1 1 1 A P1 ∼ A G ∼ A G H1 ( k) = H1 (Σ m) = H0 ( m) e where the second isomorphism is due to A1-suspension theorem for homology [5, 6.30]. In the above 1 statement Gm is considered as a sheaf of sets pointed by 1. By the deﬁnition of A -homology groups, 1 A G A1 G H0 ( m) is the strictly -invariant sheaf of abelian groups generated by the pointed sheaf m. MW Bye [5, 3.2], this must be isomorphic to K1 . Now recall that we have the following commutative diagram θ

' 1 G G A P1 m / π1(Σ m) / π1 ( k)

U7→[U] H MW A1 A1 K o H (Gm) o H (ΣGm) 1 f ∼ 0 ∼ 1 f e

φ The diagram commutes because all morphisms in this diagram are a result of some universal property. The commutativity of the diagram gives us the formula (1) φ(H([W ])) = [W ] Now, using the following equality proved in [5, 7.29(1)] θ(U −1)−1θ(U −1V )θ(V )−1 = [U][V ] we get φ(H([U][V ]θ(W ))) = φ(H(θ(U −1)−1θ(U −1V )θ(V )−1θ(W ))) = −[U −1] + [U −1V ] − [V ] + [W ] ...(using eqn(1) above) = η[U −1][V ] + [W ] ...(using [5, 3.1(2)])

MW A1 To state the next lemma, recall that K2 is the free strongly -invariant sheaf of abelian groups generated by the pointed sheaf of sets Gm ∧ Gm. Thus any automorphism of Gm ∧ Gm gives rise to MW MW an automorphism of K2 . In particular, the automorphism of K2 induced by

Gm ∧ Gm −→ Gm ∧ Gm (U, V ) 7→ (U −1, V ) will be denoted by τ.

MW MW −1 Lemma 4.7. Let τ : K2 → K2 denote the automorphism which sends [U][V ] 7→ [U ][V ]. Then MW the restriction of the Hurewicz map H to K2 coincides with the composition MW τ MW ·η MW K2 −→ K2 −→ K1 Proof. This follows directly from the explicit formula for H in the above lemma.

A1 γ Proof of Proposition 4.2. By universality of H, as noted before, the map F (1) −→ Gm factors through H. Thus MW Ker(H) ⊂ Ker(γ)= K2 . MW Ker(H) must coincide with the kernel of restriction of H to K2 . Now the proposition follows from Lemmas 4.5 and 4.7. HUREWICZ MAP 9

References

[1] A. Ananyevskiy, O. Röndigs, P. Østvær ; On very effective hermitian K-theory. Math. Z. 294 (2020), no. 3-4, 1021–1034. 6 [2] Chetan Balwe, Amit Hogadi and Anand Sawant; A1-connected components of schemes. Adv. Math. 282 (2015), 335–361. 5, 6 [3] Giraud, Jean; Cohomologie non abélienne. Die Grundlehren der mathematischen Wissenschaften, Band 179. Springer-Verlag, Berlin-New York, 1971. 2, 3, 4, 5 [4] G. Laumon, L. Moret-Bailly; Champs algébriques. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 39. Springer-Verlag, Berlin, 2000. 2 [5] F. Morel, A1-algebraic topology over a field, LNM 2052, Springer, Heidelberg, 2012. 1, 2, 5, 6, 7, 8 [6] F. Morel, V. Voevodsky, A1-homotopy theory of schemes. Inst. Hautes Etudes´ Sci. Publ. Math. No. 90 (1999), 45–143 (2001). 1 [7] U. Choudhury; Connectivity of motivic H-spaces. Algebraic and Geometric Topology 14 (2014) 37–55. 2