arXiv:2102.05344v4 [math.AG] 19 Aug 2021 eateto tmcEeg,Gvrmn fIda ne proje under India, of Government Energy, Atomic of Department whether question, open an is [ and It ﬁeld) arbitrary an implication. (over implications horizontal the Bloch the [ of ﬁeld in proof a the shown over in been input closur has crucial algebraic a It the are varieties to norm passing standard after properties, near-rationality vraﬁeld a Over once fe aecag to change base after connected sfollows: as ainlt [ rationality hr variety a where h es f[ of sense the omvreisoe edcntutdb otVeosy[ Rost-Voevodsky by question constructed following the ﬁeld by a motivated over is varieties paper norm This geometry. algebraic rational nn aatakolde h upr fSR tr-pResea Start-up SERB of Gra MATRICS support the SERB-DST acknowledges of Sawant support Anand the acknowledges Balwe Chetan h td fna-ainlt rpriso leri aite sac a is varieties algebraic of properties near-rationality of study The Abstract. A ecaatrzda h odto httergnrcpitcnb co be can point generic their that condition the as characterized be on sn ntncsaiynaive) necessarily (not using point oeso hm(vra lerial lsdﬁl fcaatrsi 0) characteristic of ﬁeld closed algebraically an (over them of models aecag oa leri lsr of closure algebraic an to change base sa plcto fteersls eso httesadr norm standard the that show we results, these k of application an As EMTI RTRAFOR CRITERIA GEOMETRIC 1 fcaatrsi become 0 characteristic of cnetdsot rjcievreis(vra rirr ﬁeld) arbitrary an (over varieties projective smooth -connected ⇒ k 4 k eak2.3.11]. Remark , tbyrational stably crepnigt ybli h mod- the in symbol a to (corresponding 18 fcaatrsi ,vrosna-ainlt rpriso variet of properties near-rationality various 0, characteristic of X )i h rva snl on)sef e [ See sheaf. point) (single trivial the is ]) HTNBLE MTHGD,ADAADSAWANT ANAND AND HOGADI, AMIT BALWE, CHETAN eso that show We is PLCTOST OMVARIETIES NORM TO APPLICATIONS A 1 3 cnetdi h ha fits of sheaf the if -connected rpsto . n eak29 htsadr omvarieties norm standard that 2.9] Remark and 2.6 Proposition , ⇒ A 1 A k erc rational retract cnetdeso ag ls fvreisoe ﬁeld a over varieties of class large a of -connectedness 1 A oee,i sntkoni hyaertatrational. retract are they if known not is it However, . cnetd(n osqety universally consequently, (and -connected 1 1. -connected A 1 hmtpe.W loso htsmercpwr of powers symmetric that show also We -homotopies. Introduction k ⇓ . 1 A A 1 ⇒ 1 CNETDESAND -CONNECTEDNESS cnetdesi qiaett retract to equivalent is -connectedness A ℓ unirational 1 Milnor cnetdcomponents -connected tn.12-R&D-TFR-5.01-0500. no. ct 4 hoe ..]frtevertical the for 2.3.6] Theorem , c rn R/00003 n the and SRG/2020/000237 Grant rch 8 eto ] o xml,for example, for 1], Section , 20 K swl ssot proper smooth as well as seas [ also (see ] t MTR/2017/000690. nt: nce oa to nnected gopof -group ftebs ed The ﬁeld? base the of e ⇒ aite vraﬁeld a over varieties are Kt ojcue[ conjecture -Kato ainlyconnected rationally R A tiil after -trivial) nrlpolmin problem entral otestandard the do - 1 -connected. k k 22 r rationally are ) -rational e r related are ies )amtany admit ]) k π can 0 A 1 ( X (in ) 23 ]. 2 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

Pﬁster quadrics corrresponding to symbols in mod-2 Milnor K-theory are norm varieties and are obviously A1-connected over an algebraically closed ﬁeld, being rational. By the main results of [19], Pﬁster quadrics are birational to standard norm varieties. Conse- quently, standard norm varieties in the case ℓ = 2 are rational and hence, A1-connected.

Let ℓ be an arbitrary prime number. Given an ordered sequence α = {a1,...,an} in × k , the standard norm variety Xα is constructed by an inductive procedure (see Section 4 for an outline of the construction following [20] and [22]). The standard norm variety M Xα has nice splitting properties with respect to the symbol {a1,...,an} ∈ Kn (k)/ℓ (see [22]). Note that it is not clear how standard norm varieties associated with given two ordered sequences of units a1,...,an and b1,...,bn in k such that equality of the associated M symbols {a1,...,an} = {b1,...,bn} ∈ Kn (k)/ℓ holds are related. It has been conjectured [19, Conjecture 1.1] that such standard norm varieties are birational. For a pair of units {a1, a2}, the standard norm variety is the Severi-Brauer variety associated with the cyclic M A1 algebra corresponding to the symbol {a1, a2} ∈ K2 (k)/ℓ, which is -connected precisely when it admits a k-rational point (since it is isomorphic to a projective space). The main result of this paper shows that a standard norm variety is A1-connected, after passing to the algebraic closure k of the base ﬁeld k (see Theorem 4.4). Theorem 1. Let k be a ﬁeld of characteristic 0 and let ℓ be any prime number. Let n ≥ 2 × be an integer and a1,...,an ∈ k . Let Xα denote the standard norm variety associated A1 with the ordered sequence α = {a1,...,an}. Then (Xα)k is -connected. Since A1-connectedness is equivalent to universal R-triviality for smooth proper vari- eties, Theorem 1 says that the standard norm varieties over a ﬁeld of characteristic 0 are universally R-trivial after base change to the algebraic closure of the base ﬁeld. A result of Karpenko and Merkurjev [15] states that the standard norm variety Xα is universally CH0-trivial. It is known that universal CH0-triviality is a strictly stronger condition than universal R-triviality. Thus, Theorem 1 gives additional information about Xα on base change to k. The proof of Theorem 1 contains two key ingredients, both of which are of independent interest. The ﬁrst ingredient is the following criterion for A1-connectedness of a variety X over a ﬁeld (see Theorem 2.2). Theorem 2. Let X be a variety over a perfect ﬁeld k. Suppose that there exists a point x0 ∈ X(k) such that for any x ∈ X, one of the following conditions hold: A1 (a) {x} contains x0, and x and x0 have the same image in π0 ({x})(k(x)); (b) there exists a smooth, irreducible curve in X passing through x and not contained in {x}. Then X is A1-connected. A straightforward consequence of Theorem 2 is the characterization of A1-connectedness of a smooth proper variety X over a ﬁeld k in terms of the condition that the generic point of X can be connected to a k-rational point using naive A1-homotopies or equivalently, a chain of P1’s (see Corollary 2.4). The hypotheses of Theorem 2 imply that the generic GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES 3

point of X can be connected to x0 by an n-ghost homotopy in the sense of [6, Deﬁnition 2.7], thanks to the results of [5]. The proof of Theorem 2 involves showing that the given 1 A -ghost homotopy between the generic point of X and x0 can be systematically enlarged to show that any two points of X over a given essentially smooth ﬁeld extension F of k A1 map to the same element of π0 (X)(F ), which allows one to conclude using [17, Lemma 6.1.3]. Theorem 2 and several useful consequences of it are proved in Section 2. The second key ingredient in the proof is A1-connectedness of smooth compactiﬁcations of the symmetric powers of an A1-connected variety over a ﬁeld, studied in Section 3. We show that the symmetric power of an A1-connected smooth projective variety is A1- connected (see Theorem A.1) as a consequence of Theorem 2 in the appendix. However, this is not suﬃcient to conclude A1-connectedness of smooth compactiﬁcations of the symmetric powers as they are not smooth in general. Since A1-connectedness is a birationally invariant property of smooth proper schemes, we only need to ﬁnd one smooth birational proper model of the symmetric power of an A1-connected smooth projective variety. This is done with the help of some tricky geometric arguments involving approximating points on rational varieties by rational curves and the geometric structure of symmetric powers. The main result of Section 3 is as follows (see Theorem 3.10). Theorem 3. Let X be an A1-connected smooth projective variety over an algebraically closed ﬁeld k of characteristic 0. Then any smooth proper variety birational to SymmX is A1-connected, where m ≥ 1 and SymmX denotes the quotient of Xm by the action of the symmetric group Sm by permutation of factors. Given the above two ingredients, the proof of Theorem 1 follows from the inductive construction of the standard norm varieties and the observation that compactiﬁcations of norm hypersurfaces are A1-connected (see Proposition 4.2). The details can be found in Section 4. Acknowledgement. We thank Aravind Asok, Jean-Louis Colliot-Th´el`ene, Bruno Kahn, Burt Totaro, Suraj Yadav and the anonymous referee for their comments. Conventions and notation. By a variety over a ﬁeld k, we mean a reduced and irre- ducible scheme of ﬁnite type over k. We will always work with the big Nisnevich site Sm/k of smooth schemes over a ﬁeld k. Given a simplicial sheaf of sets X on Sm/k and an aﬃne scheme Spec A over k, we will write X (A) for X (Spec A) for the sake of brevity. For a scheme X (over Spec Z), the residue ﬁeld of a scheme-theoretic point x will be denoted by κ(x). In case X is a scheme over over a ﬁeld k, we will sometimes denote the residue ﬁeld of x by k(x).

2. Geometric criteria for A1-connectedness We will freely use the notation and terminology from [18], [5] and [6], especially regarding the sheaves of naive and genuine A1-connected components. 1 For any scheme U over k, we let σ0 and σ1 denote the morphisms U → U × A given by u 7→ (u, 0) and u 7→ (u, 1), respectively. An A1-homotopy of U in a scheme X over k 4 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

is a morphism h : U × A1 → X and we say that h connects h(0) and h(1). An A1-chain 1 homotopy of U in X is a ﬁnite sequence h =(h1,...,hr) where each hi is an A -homotopy of U in X such that hi(1) = hi+1(0) for 1 ≤ i ≤ r − 1. In this case, we say that h1(0) and 1 hr(1) are A -chain homotopic. Deﬁnition 2.1. A point x of a scheme X is said to be movable, if there exists a smooth, irreducible curve C over κ(x), a point c0 ∈ C(κ(x)) and a morphism γ : C → X such that γ(c0)= x and the image of γ is not contained in the closure {x} of x in X. It is easy to see that every non-generic smooth point of a variety is movable. In fact, a non-movable point on a variety has to be a singular point of every closed subvariety that properly contains it. The main result of this section is the following geometric criterion for A1-connectedness. Theorem 2.2. Let X be a variety over a perfect ﬁeld k. Suppose that there exists a point x0 ∈ X(k) such that for any x ∈ X, one of the following conditions hold: A1 (a) {x} contains x0, and the x and x0 have the same image in π0 ({x})(k(x)). (b) x is a movable point of X. Then X is A1-connected.

Proof. Let LA1 denote the ﬁbrant approximation functor [18, §2, Lemma 2.6, page 107] for A1 A1 1 the -model structure. We deﬁne X := LA (X), so that π0 (X)= π0(X ). A1 We will prove that for any point x of X, the images of x and x0 in π0 (X)(k(x)) are the A1 same. This will prove that π0 (X)(F ) is a singleton for every ﬁnitely generated extension F/k. We can then deduce by [17, Lemma 6.1.3] that X is A1-connected. The strategy of the proof is to inductively construct a sequence of open subsets

φ =: U−1 ⊂ U0 ⊂ U1 ⊂···⊂ X such that the following conditions hold:

(A) For every i ≥ 0, Zi := Ui\Ui−1 is irreducible and Zi is non-empty unless Ui−1 = X. B) For every i ≥ 0, let ji,gi ∈ X (Zi) be deﬁned as the compositions Zi ֒→ X → X) x0 and Zi → Spec k → X → X respectively. Then, there exists a morphism Hi : 1 Zi × ∆ → X such that Hi|Zi×{0} = ji and Hi|Zi×{1} = gi. As X is noetherian, this sequence of open sets is of ﬁnite length and must stabilize with UN = X for some integer N. Note that

π0(X )(k(X)) = lim π0(X )(U). U⊂X open

Thus, there exists an open subset U0 ⊂ X such that the elements j0,g0 of X (U0), deﬁned as in condition (B) above, are simplicially homotopic. Thus, we have a morphism of simplicial 1 sheaves H0 : U0 × ∆ → X connecting j0 and g0. We now suppose that U−1 ⊂ U0 ⊂···⊂ Ui have been chosen. Let Z be a component of the closed subset X\Ui, let z be its generic point and let L = k(z). We claim that the images of z and x0 in X (L) are simplicially homotopic. One of the two conditions in the GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES 5

statement of the theorem must hold for z. If condition (a) holds, our claim is trivially true. Thus, we now assume that (a) does not hold for z and hence, z is movable.

Thus, there exists a smooth, irreducible curve C over L, a point c0 ∈ C(L) and a non- constant morphism γ : C → X such that γ(c0)= z and the image of γ is not contained in

Z. Clearly, γ maps the generic point of the curve C into some Zi0 where i0 ≤ i. −1 Let V1 := γ (Ui0 ) ∪{c0}, which is an open subset of C. Choose an ´etale morphism A1 f1 : V1 → L such that f(c0) = 0. By replacing V1 by a smaller open neighbourhood of c0 if −1 A1 A1 necessary, we may also assume that f1 (0) = {c0}. Let V2 = L\{0} and let f2 : V2 → L A1 be the inclusion map. Then {fi : Vi → L|i = 1, 2} is an elementary Nisnevich cover of 1 A . Let W := V ×A1 V . We observe that the morphism W → V is an open immersion. L 1 L 2 1 Let h1 : V1 → X be the morphism γ V1 ֒→ C → X → X

and let h2 : V2 → X be the morphism x0 V2 → Spec k → X → X .

The morphism h1|W is the same as Hi0 |U×{0} ◦ γ|W and the morphism h2|W is the same as

Hi0 |U×{1} ◦ γ|W . Thus, Hi0 ◦ γ|W gives us a simplicial homotopy connecting h1|W and h2|W . Thus, we have the diagram

∗ / X (V1) 7 ♦ ♦ ♦ ♦ ♦ ♦ ∆1 ♦ / X (W ) Hi0 ◦γ|W of simplicial sets, where the morphism on the right is a ﬁbration since W ֒→ V1 is a 1 coﬁbration and X is simplicially ﬁbrant. Thus, there exists a morphism from ∆ to X (V1), indicated by the dotted arrow in the above diagram, making the diagram commutative. We ′ ′ ′ ′ denote this morphism by H . Let h1 := H |V1×{1}. Then h1 and h2 can be glued together A1 to deﬁne morphism from L to X. This shows that the images of z and x0 in X (L) are simplicially homotopic, concluding the proof of our claim. This simplicial homotopy can be extended to a suitable open subset of Z. In other words, there exists an open subset Zi+1 of Z such that the following conditions hold:

→ The morphisms ji+1,gj+1 : Zi+1 → X , deﬁned as Zi+1 ֒→ X → X and Zi+1 (1) x0 Spec k → X → X respectively, are connected by a simplicial homotopy Hi+1 : 1 Zi+1 × ∆ → X . (2) Zi+1 does not meet any component of X\Ui other than Z.

Condition (2) ensures that Zi+1 ∪ Ui is an open subset of X, which we denote by Ui+1. This completes the induction step. Remark 2.3. Let X be a variety over k and let x, y ∈ X(k) be distinct points such that A1 x and y map to the same element of π0 (X)(k). Then x must be a movable point of X. 6 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

A1 Indeed, let X be a compactiﬁcation of X. Then π0 (X)(k) = S(X)(k), by [4, Theorem 2.4.3] or [5, Theorem 2]. Thus, x and y are A1-chain connected on X. It follows from this that x is a movable point of X. This observation implies that if X/k is A1-connected and has more than one k-rational point, then every k-rational point must be movable. This allows us to see that Theorem 2.2 may not hold for a variety X if some points of X are not movable. A simple example 2 2 2 is given by the curve C in PR deﬁned by the homogeneous polynomial Y − X (X − 1). This is a rational curve, and so its generic point can certainly be connected to an R-valued point. However, it is easy to see that the point (0 : 0 : 1) is not movable. A useful consequence of Theorem 2.2 for smooth proper varieties is that A1-connectedness can be characterized as the condition that the generic point of the variety can be connected to a k-rational point of it by a chain of P1’s (also see [14, Theorem 8.5.1] for an equivalent treatment in terms of R-equivalence classes). Corollary 2.4. A smooth proper variety X over a ﬁeld k is A1-connected if and only if X has a k-rational point and the generic point of X can be connected to it (and hence, to any k-rational point of X) by an A1-chain homotopy. Proof. By Theorem 2.2, it follows that any smooth variety X is A1-connected if and only A1 if the generic point of X has the same image in π0 (X)(k(X)) as a k-rational point of X. If X is proper in addition, the latter statement is equivalent to the statement that the generic point of X can be connected to a k-rational point of X by an A1-chain homotopy, by [4, Theorem 2.4.3] or [5, Theorem 2]. We end this section with two direct consequences of Corollary 2.4, which will be used to show A1-connectedness of norm varieties in Section 4. f Corollary 2.5. Let k be a ﬁeld of characteristic 0 and Y −→ X be a generically smooth morphism of smooth proper varieties over k. If X and the generic ﬁber of f are A1- connected, then Y is A1-connected.

Proof. Let η be the generic point of X and Yη be the generic ﬁber of f. Let ξ be the generic point of Yη. Note that this is also the generic point of Y . 1 Since Yη is A -connected, it has a k(η)-rational point. In other words, the map f has a s rational section X 99K Y . Since k has characteristic 0, we may resolve the singularities of the section and ﬁnd a smooth proper variety X over k and a birational proper morphism e X −→π X such that the rational section s deﬁnes a morphism X −→s Y . e e X s / Y e ❅ g▼ e ❅❅ ❉ ❅❅ f ✤ s π ❅❅ e ❅ ③ X q Since X is birational to X and both X, X are smooth, we see that A1-connectedness of X implies that of X by [2, Theorem 3]. Thus, its generic point η is A1-chain homotopic to e e e GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES 7

a k-rational point x0 ∈ X(k), which can be chosen to lie in the open set over which π is an isomorphism. Note that s(η) is a k(η)-rational point of Yη. Thus by applying s, we see 1 that s(η) is A -chain homotopic to the k-rational point s(x0) in Y . However since Yη is an A1 A1 -connected variety over k(eη), we see that s(η) is -chain homotopic to its generice point A1 ξ, whiche is also the generic point of Y . Thus, the generice point of Y is -chain homotopic to the k-rational point s(x0). e Remark 2.6. Since A1-connectedness is equivalent to universal R-triviality, Corollary 2.5 is, in a sense, well-knowne to experts. Indeed, birational invariance of R-equivalence classes in a smooth proper variety has been already observed in [7, Proposition 10] (in characteristic 0) and in [14, Corollary 6.6.6] (in arbitrary characteristic). Corollary 2.7. Let k be a ﬁeld and U be a variety over k, which has a k-rational point x0 ∈ U(k). Assume that for any ﬁeld extension F/k and any point x ∈ U(F ), there exists P1 99K P1 a rational map h : F U, deﬁned at 0, 1 ∈ k such that h(0) = x and h(1) = x0. Then any smooth proper model of U is A1-connected.

Proof. Let X be a smooth proper model of U and F = k(X) be its function ﬁeld. Let η ∈ U(F ) be the generic point. By hypothesis, we get a morphism P1 99K X connecting x to x0. Since X is proper, this map extends to give a morphism, which in turn gives an 1 1 A -homotopy connecting x to x0. Theorem 2.4 now implies that X is A -connected.

3. Compactifications of symmetric products of A1-connected varieties The aim of this section is to show that any smooth proper compactiﬁcation of the symmetric power of an A1-connected smooth projective variety is A1-connected. The proof of this result is quite tricky and relies on two geometric inputs. The ﬁrst one is that any point on a rational smooth proper variety can be moved by a rational curve into an open subset that is isomorphic to the open subset of an aﬃne space. The proof of this result, which uses jet schemes, is discussed in Section 3.1. The second input, discussed in Section 3.2, is the construction of a particular A1-connected smooth proper compactiﬁcation of the symmetric power of an A1-connected smooth projective variety. The A1-connectedness of any smooth proper compactiﬁcation of the symmetric power of an A1-connected smooth projective variety then follows from birational invariance of A1-connectedness for smooth proper varieties. Throughout this section, we will assume that k is an algebraically closed ﬁeld of char- acteristic 0.

3.1. Rational approximation of curves. Let t be a variable and for any n ≥ 0, set n+1 Dn := Spec k[[t]]/ht i. Let D∞ denote the scheme Spec k[[t]]. For any variety X over k and any non-negative integer n, let Jn(X) denote the sheaf U 7→ X(U × Dn). It is well-known that (see [12]) for any ﬁnite n, the sheaf Jn(X) is a scheme and is called the m-jet scheme of X. 8 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

Deﬁnition 3.1. A parametrized pointed curve is deﬁned to be a triple (C,c,π) where C is a smooth curve, c is a point of C and π is a uniformizing parameter of the ring OC,c. ≃ There exists a unique isomorphism OC,c −→ κ(c)[[t]] such that π 7→ t. Thus, if (X, x) is a variety, a morphism f : (C,c) → (X, x) determines a κ(c)-valued point of J∞(X) (which depends on π), which we denote by fb∞. The image of f∞ in Jn(X) will be denoted by fn for any non-negative integer n. Deﬁnition 3.2. We say that a variety X over k admits rational approximation of curves if it has the property that for any point x of X, non-negative integer n, parametrized pointed curve (C,c,π) and morphism f : (C,c) → (X, x), there exists a morphism g : (V, 0) → 1 (X, x) for some open subset U of A containing 0 such that fn = gn (here we use the parameter T on V ⊂ A1 = Spec k[T ]). We say that g approximates f to order n. We will abuse the notation and call such a g a pointed rational curve (A1, 0) → (X, x). It is easy to see that the property of admitting rational approximation of curves is respected by blow-downs. Lemma 3.3 below shows that this property is also respected under blowups at smooth centers. Lemma 3.3. Let X be a smooth variety which admits rational approximation of curves. If X is a blowup of X at a smooth center Z, then X too admits rational approximation of curves. e e Proof. We ﬁx a point x of X. Let n be a non-negative integer. We prove that for any parametrized pointed curve (C,c,π) and morphism f : (C,c) → (X, x), there exists an integer m such that if g :(A1, 0) → (X, x) approximates f to order n + m, then the lift of g to X approximates the lift of f to order n. Clearly, this will imply the result. Without any loss of generality, we will assume that κ(c)= κ(x)= k. If xe∈ / Z, the result is trivial. Thus, we now assume that x is in Z. Choose a system of parameters π1,...,πd at x (where d = dim(X)). By replacing X with an open neigh- bourhood if necessary, we may assume that the πi are regular on X and that Z is deﬁned p−1 by the ideal hπ1,...,πpi for some p ≤ d. Thus, X is the closed subscheme of X × P deﬁned by the equations Tiπj = Tjπi for 1 ≤ i, j ≤ p, where T1,...,Tp denote homogeneous coordinates on Pp−1. e ∗ For 1 ≤ i ≤ d, let αi = f∞(πi). Let i0 be such that ordt(αi0 ) ≤ ordt(αi) for 1 ≤ i ≤ p. Without loss of generality, we may take i0 = 1. We set m := ordt(α1). Since X admits rational approximation of curves, there exists a pointed rational curve g :(A1, 0) → (X, x), ∗ which approximates f to order n+m. For1 ≤ i ≤ d, let βi = g∞(πi). Since g approximates m+n+1 f to order n + m, we have αi ≡ βi mod (t ) for all i. Thus, ordt(β1)= m ≤ ordt(βi) for 1 ≤ i ≤ p. Let f and g denote the lifts of f and g to X. Then f maps the closed point of D to a point x in the open subset of X deﬁned by T1 =6 0. Let us denote the generic point of D by η0 ande thee closed point by η1. Then e e e p−1 ef(η0)=(f(η0), (α1 : ··· : αp))=(f(η0), (γ1 : ··· : γp)) ∈ (X × P )(k((t))),

e GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES 9

where γi = αi/α1 ∈ k[[t]] ⊂ k((t)). We also have p−1 f(η1)=(f(η1), (γ1(0) : ··· : γp(0)) ∈ (X × P )(k),

where γi(0) is the image of γi under the quotient homomorphism k[[t]] → k[[t]]/hti = k. As e γ1 = 1, the point f(η1) lies in the open subscheme of X deﬁned by the condition T1 =6 0. Similarly, we have e e p−1 g(η0)=(g(η0), (β1 : ··· : βp))(g(η0), (δ1 : ··· : δp)) ∈ (X × P )(k((t))),

where δi = βi/β1 ∈ k[[t]]. Also, e p−1 g(η1)=(g(η1), (δ1(0) : ··· : δp(0)) ∈ (X × P )(k).

Again, we observe that δ1 = 1 and so the point g(η1) lies in the open subcheme T1 =6 0. e n+1 In fact, since γi ≡ δi mod (t ) for all i, we have f(η1) = g(η1). At the point f(η1), the functions e π1, T2/T1,...,Tp/T1, πp+1,...,πe d e e m+n+1 n+1 form a system of parameters. Since α1 ≡ β1 mod (t ), γi ≡ δi mod (t ) for m+n+1 2 ≤ i ≤ p and αj ≡ δj mod (t ) for p ≤ j ≤ d, we conclude that g approximates f to order n. Proposition 3.4. Any smooth rational variety admits rational approximatione of curves.e Proof. It is clear that the projective space admits rational approximation of curves. Now, the result follows from Lemma 3.3 and the weak factorization theorem [1, Theorem 0.1.1]. Corollary 3.5. Let X be a smooth projective variety and U ⊂ X be an open subset. Then, for any point x ∈ X\U, there exists a rational curve through x which intersects U. Proof. Let Z = X\U. Choose a pointed pointed parametrized curve (C,c,π) with κ(c)= κ(x), and a morphism f : (C,c) → (X, x) such that f(C) intersects U. If we have fn ∈ Jn(Z)(κ(x)) for all n ≥ 0, then we must have f∞ ∈ J∞(Z). Thus, f must map the generic point of C into Z, and hence f(C) ⊂ Z, which is a contradiction. Thus, there exists some positive integer n such that fn ∈/ Jn(Z)(κ(x)). Since X admits rational approximation of curves, there exists a pointed rational curve g : (A1, 0) → (X, x) which approximates f to order n. Then, g(A1) must also intersect U. 3.2. A1-connectedness of symmetric powers. Notation 3.6. For an integer m ≥ 2, we let SymmX denote the m-th symmetric power m of X, that is, the quotient of X by the action of the symmetric group Sm. Note that SymmX is singular in general. Let ∆ denote the union of all the partial diagonals of Xm. m The geometric quotient U := (X \ ∆)/Sm is a smooth scheme. We let η, ξ and θ denote the generic points of X, Xm and SymmX, respectively. Let K := k(η) and E := k(ξ) and L := k(θ). Since X is geometrically integral, it follows from the Grothendieck-Sharp theorem (see [13, Remarque (4.2.1.4)], [21, Theorem]) that Spec K⊗m is an integral domain and its function ﬁeld is isomorphic to E. 10 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

Let F be any ﬁeld extension of k in which k is algebraically closed. Let F ′ denote the p function ﬁeld of Spec F ⊗m. For any F -rational point Spec F −→ X, we denote by pm the corresponding Spec F ′-valued point of Xm. Given an A1-connected smooth projective variety X over k, we ﬁrst construct an explicit smooth proper compactiﬁcation of SymmX, which is A1-connected. This compactiﬁcation will be constructed by ﬁrst considering a particular blowup X of X and then taking a suitable compactiﬁcation of SymmX. Lemma 3.7 below gives the required X. Lemma 3.7. Let X be a smooth projective A1-connected varietye over an algebraically closed e e ﬁeld k of characteristic 0. Let x0 ∈ X(k). Let M be a ﬁnitely generated ﬁeld extension of k and let C be a smooth curve over M with a point 0 ∈ C(M). Let f : C → X be a morphism with f(0) = x0. Further, assume that k is algebraically closed in M and that the image of generic point of C in X is a point of dimension ≥ 2. Then there exists a proper birational morphism X′ −→α X such that

(1) α is obtained by successively blowing up k-rational points lying over x0; ′ ′ ′ ′ (2) x0 := f (0) is a k-rational point, where f is the lift of f to X ; and π ′ ′ ′ (3) if X −→ X is the blowup of X at x0, then f(0) is a positive-dimensional point of X, where f is the lift of f ′ to X. e e Proof. Let f : C → X be the induced map obtained by the base change of X to M. e M e M e By replacing C with the normalization of the image of fM , we may assume without loss of generality that C is the normalization of its image.

We ﬁrst claim that the image of fM cannot be normal at fM (0). To see this, we ﬁrst spread the morphism f, that is, consider the diagram

f

" / / ; C ;/ C / X ; fˆ 0 s η Spec M / B in which • B is an integral k-scheme and η : Spec M → B is the generic point of B; • C→ B is smooth curve with a section s; and • the square is cartesian, so the curve (C, 0) is the generic ﬁber of C → B. ˆ Since f(0) is a k-rational point, f ◦ s is a constant map. If the image fM (C) is normal at fM (0), then since C also happens to be the normalization of its image, we deduce that fM is an immersion in a neighbourhood of 0. By a standard limiting argument, we can 0 conclude that there exists an open set U ⊂ B and an open neighbourhood C ⊂ CU of the ˆ 0 image of the section s(U), such that (f|C0 )M : C → XM is an immersion. However, this is impossible if fˆ◦ s is a constant map, since dim(s(U)) = dim(B) ≥ 2 by assumption. This shows that if fM (C) is normal at the image of 0, then f(0) cannot be a k-rational point. GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES11

Let X → X be the blowup of X at f(0). The map f lifts uniquely to give a map f : C → X. If f(0) is a positive dimensional point, then we are done. Assume the contrary;e then f(0) has to be a k-rational point, since k is algebraically closed in M. Note

thate the mape XM e→ XM is also the blowup of XM at fM (0). We may replace X with X without losse of generality. However, by the embedded desingularization of a curve, this process can onlye be repeated ﬁnitely many times until fM (C) becomes regular at fM (0) in whiche case, f(0) cannot be a k-rational point as observed in the above paragraph. This completes the proof of the lemma. e e e Lemma 3.8. We follow the notation described in Notation 3.6. Let K be the function ﬁeld of a variety X over k and let p ∈ X(K) be a K-rational point, which is not in the image of X(k). Then the image of pm is not contained in ∆. Proof. Let Z be the closure of p (that is, the image of p). Since K is the function ﬁeld of a X, which is a geometrically irreducible variety, we see that Z is geometrically irreducible. In particular, it is zero dimensional if and only if it is a k-rational point. However, by hypothesis, p is not k-rational. Hence dim(Z) > 0. The closure of the image of pm, that is, the closure of the image of pm Spec (E) −→≃ Spec (K)m −→ Xm is precisely Zm. Since dim(Z) > 0, it follows that Zm is not contained in any partial diagonal in Xm. P1 Lemma 3.9. Let X,K,E,L be as in Notation 3.6. Let p, q ∈ X(E). Let φ : K → X be a morphism with φ(0) = p and φ(1) = q. Then there exists a morphism P1 m ψ : L → S X connecting the images of pm and qm in Sm(X).

⊗m Proof. Note that E is the function ﬁeld of the integral scheme Spec K . Note that Sm ⊗m acts on Spec K by permutation of factors and hence we have an induced Sm-action on E. We have an Sm-equivariant isomorphism P1 m ≃ P1 m ( K) −→ ( k) ×k E,

where the Sm-action on the right is the diagonal action. Taking m-fold product of the morphism φ, we get an Sm-equivariant morphism m P1 m ∼ P1 m m φ :( k) ×k E = ( K) → X . P1 ∆×idE P1 m Now precomposing the above map with the diagonal k ×k E −−−−→ ( k) ×k E, we get an Sm-equivariant morphism P1 m k ×k E → X .

We obtain the desired morphism ψ after taking quotient by Sm. 12 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

We are now set to prove the main result of this section. Theorem 3.10. Let X be a smooth projective A1-connected variety over an algebraically closed ﬁeld k of characteristic 0 and ﬁx a positive integer m. Then any smooth proper variety birational to SymmX is A1-connected.

Proof. Since A1-connectedness is a birationally invariant property of smooth proper va- rieties [2, Theorem 3.9], it suﬃces to obtain one smooth proper A1-connected variety birational to SymmX. Since X is A1-connected, there exists an A1-chain homotopy connecting a k-rational point x0 ∈ X(k) to the generic point η of X by Corollary 2.4. Since X is proper, this A1-chain homotopy gives rise to a morphism r P1 ∪fi f : C = L −−→ X i=1 [ satisfying f1(0) = x0, fi(1) = fi+1(0) for 1 ≤ i ≤ r − 1, and fr(1) = η. Applying Lemma 3.7, we can ﬁnd a blowup π : X → X (obtained by successively blowing up points over

x0) and fi. If we denote the lift of fi to X by fi for every i, we see by Lemma 3.7 that x0 := f1(0) is a positive dimensionale point of X. Since π : X → X is an isomorphism outside xe0, the lifts fi glue to give a well-deﬁnede e map f : C → X lifting f. Thus, f is ae chaine of rational curves in X connecting x0 toe η. Note thate x0 lies in the exceptional divisor E of π. e e e e

We now apply Lemma 3.9 toe each of the efi and get a chain ofe rational curves deﬁned m m over the generic point θ of Sym X. This chain of curves joins x0 to θ. All nodes of this m m chain are in the free locus of Sym X, thankse to Lemma 3.8. The point x0 is also in the m m free locus by the same argument.e In addition, x0 ∈ Sym E (considerede as a subscheme m of Sym X). e Note that E is a projective space and consequently,e SymmE is rational by [16] (see also [10, Chaptere 4, Theorem 2.8]). Let U be an open subscheme of SymmE that is isomorphic to an open subscheme of an aﬃne space. Therefore, any point of U(F ) can be connected by an A1-homotopy to a point of U(F ) lying in the image of the natural map U(k) → U(F ). m A1 If x0 ∈ U, then we are done. If not, we apply Proposition 3.4 to obtain an -homotopy A1 m m h : → Sym E connecting x0 to a point in U. We thus get a chain of rational curves in m m Syme X, which joins a k-rational point in the free locus of Sym X to the generic point of SymmX, and all whose nodese are in the free locus. Let Ye → SymmX be a desingularization which is an isomorphisme over the smooth locus of SymemX. Such a desingularization exists since k is assumed to be of characteristic 0. Then the chain ofe rational curves found in the above paragraph lifts to give a chain of rational curvese in Y . This gives an A1-chain homotopy connecting a k-rational point of Y to its generic point. Hence, Y is A1-connected by Corollary 2.4. Since Y is also a desingularization of SymmX, this completes the proof of the theorem. GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES13

4. A1-connectedness of norm varieties In this section, we use the results of Sections 2 and 3 to prove Theorem 1 stated in the introduction. We begin with some preliminaries on norm hypersurfaces. Deﬁnition 4.1. Let F be a ﬁeld and let K/F be a ﬁnite ﬁeld extension of degree n. If we pick a basis for the F -vector space K, the norm function NK/F : K → F is seen to be given by a polynomial in n variables. Thus, there exists a homomorphism of algebraic groups N : RK/F (Gm,K ) → Gm,F such that NK/F describes the behaviour of N on F -valued × −1 points. For any a ∈ F = Gm(F ), we denote the scheme N (a) by HK,a and call it the norm hypersurface deﬁned by the extension K/F and the element a ∈ F ×.

× Clearly, HK,1(F ) =6 ∅. For any x ∈ K , the morphism mx : Gm,K → Gm,K , y 7→ xy induces a k-automorphism of RK/k(mx) of RK/F (Gm,K ). This automorphism maps HK,1 × isomorphically onto HK,NK/F (x). Note that an element x of K corresponds to a F -rational point of RK/F (GK,m). Thus, we see that if HK,a(F ) =6 ∅, then HK,a is isomorphic to HK,1. Proposition 4.2. Let ℓ be a prime number. Let K/F be a separable extension of a ﬁeld F and let L/F be its Galois closure. Suppose that Gal(L/F )= Sℓ, the symmetric group on ℓ ∼ letters, and that Gal(L/K) is the stabilizer of one of the letters (so that Gal(L/K) = Sℓ−1). × If a ∈ F is such that HK,a(F ) =6 ∅, then any birational smooth proper model X of HK,a is A1-connected. ∼ Proof. As we saw above, the condition HK,a(F ) =6 ∅ implies that HK,a = HK,1. Thus, we may assume that a = 1. By [9, Theorem 4.1], HK,1 is retract rational. Now, it follows from 1 [4, Theorem 2.3.6] that any smooth proper model of HK,1 is A -connected.

We are now set to put all the ingredients together and give a proof of Theorem 1 stated in the introduction. We start with a brief recollection of the construction of norm varieties given in [22, §2]. Let X be a smooth projective variety over a ﬁeld k of characteristic 0 and let ℓ be a ℓ ℓ prime number. Let Sym X = X /Sℓ be the ℓth symmetric power of X, which need not be smooth in general. Let ∆ denote the union of all the partial diagonals of Xℓ. The ℓ geometric quotient U := (X \ ∆)/Sℓ is a smooth scheme. There is a ﬁnite, surjective morphism π : X × Symℓ−1X → SymℓX of degree ℓ and its restriction π−1(U) → U is a ﬁnite ´etale morphism of degree ℓ. The sheaf

− E := π∗(OX×Symℓ 1X )|U is a locally free sheaf of OU -algebras of rank ℓ. Let V(E) denote the associated vector bundle on U. Since E is a locally free sheaf of OU -algebras, there is a well-deﬁned norm morphism

N : E → OU , which can be viewed as a section of the degree ℓ component SymℓE ∨ of the symmetric algebra on the dual of E. 14 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

× Any element a ∈ k can be viewed as a section of OU . Let Y denote the closed subscheme of V(E) deﬁned by the equation N = a. Then, Y is smooth over U and geometrically irreducible, by [22, Lemma 2.1]. Deﬁne N(X,a,ℓ) to be a smooth compactiﬁcation of Y , which exists since k has characteristic 0. We may further arrange that N(X,a,ℓ) is proper and surjective over a smooth compactiﬁcation of U with smooth generic ﬁber, by resolution of indeterminacy and resolution of singularities. In other words, N(X,a,ℓ) admits a surjective proper morphism to a smooth proper variety birational to SymℓX. This observation will be crucial to our proof of Theorem 1 (see Theorem 4.4 below).

× Deﬁnition 4.3. Let n ≥ 2 be an integer. Let a1,...,an ∈ k and consider the symbol α := M {a1,...,an} ∈ Kn (k)/ℓ. The norm variety Xα associated with the symbol α is inductively deﬁned as follows. Deﬁne X{a1,a2} to be the Severi-Brauer variety associated with the cyclic algebra corresponding to {a1, a2} (see [11, Chapter 5]). Inductively proceeding, we deﬁne

Xα = X{a1,...,an} := N(X{a1,...,an−1}, an,ℓ), for n> 2. Theorem 4.4. Let k be an algebraically closed ﬁeld of characteristic 0. Let n ≥ 2 be × an integer and a1,...,an ∈ k . Then the norm variety Xα associated with the ordered 1 sequence α = {a1,...,an} is A -connected. Proof. We proceed by induction on n. As noted in the introduction, in the case n = 2, the norm variety Xα is the Severi-Brauer variety associated with the cyclic algebra M A1 corresponding to the symbol {a1, a2} ∈ K2 (k)/ℓ. In this case, Xα is clearly -connected as it is isomorphic to a projective space. A1 Now, let n> 2 and assume by induction that X = X{a1,...,an−1} is -connected. Recall from the construction of Xα that it admits a surjective proper morphism to a smooth proper variety birational to SymℓX. The generic ﬁber of this morphism is a smooth ℓ compactiﬁcation of the norm hypersurface N = an over k(Sym X). Since k is algebraically × ℓ closed and an ∈ k , this generic ﬁber admits a k(Sym X)-rational point. We can apply 1 the criterion given by Corollary 2.5 to this morphism to conclude that Xα is A -connected. Note that the hypotheses of Corollary 2.5 are satisﬁed by Proposition 4.2 and Theorem 3.10.

Appendix A. A1-connectedness of symmetric powers In this appendix, we show that the symmetric powers of smooth projective A1-connected varieties over an arbitrary ﬁeld are A1-connected. Theorem A.1. Let X be an A1-connected smooth projective variety over an arbitrary ﬁeld k. Then SymmX is A1-connected, for any positive integer m.

Proof. Let [m] = {1,...,m} and let A = (A1,...,Am) be an m-tuple of subsets of [m], which partition [m], where some of the Ai may be equal to ∅. For any ﬁeld extension L/k, m a point x = (x1,...,xm) of X (L) is said to be of type A if for any 1 ≤ l ≤ m and any GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES15

m i, j ∈ Al, we have xi = xj. We denote the closure of the set of all points of X of type A m by (X )A. Clearly, m ∼ (X )A = X. AYi6=∅ Let mult(A)=(λ1,...,λm), where λi is the number of indices j, 1 ≤ j ≤ m such that m m |Aj| = i. Let π : X → Sym X denote the quotient map. It is clear that the image m of (X )A is a closed subvariety depending only on mult(A) and hence, we denote it by m Sym Xmult(A). Let m

Λm = (λ1,...,λm) | λi =0,λi ∈ Z≥0 ∀i \{(m, 0,..., 0)}. ( i=1 ) m X For any λ ∈ Λm, observe that i=1 λi · i is a partition of m, where the integer i occurs λi times. Note that λ is not allowed to take the value (m, 0,..., 0). Thus, Λm describes the partitions of m in which thereP is at least one integer greater than 1. Also note that for λ =(λ1,...,λm) ∈ Λm, we have λi < m for any i. −1 m m Since the action of Sm on π (Sym X \ λ∈Λm Sym Xλ) is free, we see that the singular m m locus of Sym X is contained in Sym Xλ. λ∈Λm S Fix a λ =(λ ,...,λ ) ∈ Λ . We deﬁne 1 m m S i−1 i

Ai := j ∈ [m] | λl < j ≤ λl . ( ) Xl=1 Xl=1 Let A =(A1,...,Am). Then mult(A)= λ. m m Let H := {σ ∈ Sm | σ(x) = x, for all x ∈ (X )A}. Then H is isomorphic to i=1 Sλi . m m m The variety Sym Xλ is the quotient of (X )A under the action of H. Thus, Sym Xλ is isomorphic to the quotient of Q X = Xλi , AYi6=∅ λYi6=0 m λi by the action of i=1 Sλi , where Sλi acts on the factor X by permutation of coordinates. Thus, SymmX is isomorphic to m Symλi X. λ λi6=0 Q m We ﬁx a point x0 ∈ X(k). By Lemma 3.9, the generic point of Sym X is connected to m Q x0 by a rational curve. For any integer m, let P(m) be the statement that for any point x of SymmX, one of the following conditions holds: m m A1 (1) {x} contains x0 , and x and x0 have the same image in π0 ({x})(κ(x)). (2) x is a movable point of X (in the sense of Deﬁnition 2.1). We see by Theorem 2.2 that proving the statement P(m) for all m ∈ N will complete the m proof. Since any point outside the closed subscheme λ∈Λm Sym Xλ is a smooth point m 1 (and hence, movable), we see that it suﬃces to show that Sym Xλ is A -connected and m m Sm contains x0 for any λ ∈ Λm. The fact that x0 ∈ Sym Xλ follows form the deﬁnitions, and so it remains to prove that this subscheme is A1-connected. 16 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

We prove the statement P(m) by induction on m. The case m = 1 is trivial. Indeed, as X is smooth, every point of X other than the generic point is movable. Let x0 be any A1 A1 element of X(k). As X is -connected, η and x0 map to the same element of π0 (X)(K). Suppose that P(l) is known to be true for any l < m. Then, for any λ ∈ Λm, we see that m m λi Sym Xλ = Sym X λYi6=0 1 1 is A -connected (since λi < m for every i) as it is a product of A -connected varieties. This completes the proof.

References [1] D. Abramovich, K. Karu, K. Matsuki, J. Wlodarczyk: Toriﬁcation and factorization of birational maps, J. Amer. Math. Soc. 15(3) (2002), 531–572. 9 [2] A. Asok: Birational invariants and A1-connectedness, J. Reine Angew. Math. 681 (2013), 39–64. 6, 12 [3] A. Asok: Rationality problems and conjectures of Milnor and Bloch-Kato, Compos. Math. 149 (2013), no. 8, 1312–1326. 1 [4] A. Asok, F. Morel: Smooth varieties up to A1-homotopy and algebraic h-cobordisms, Adv. Math. 227(2011), no. 5, 1990–2058. 1, 6, 13 [5] C. Balwe, A. Hogadi, A. Sawant: A1-connected components of schemes, Adv. Math. 282 (2015), 335–361. 3, 6 [6] C. Balwe and A. Sawant: A1-connected components of ruled surfaces, Preprint, arXiv:1911.05549 [math.AG], Geom. Topol. (2021) to appear. 3 [7] J.-L. Colliot-Th´el`ene and J.-J. Sansuc: La R-´equivalence sur les tores, Ann. Sci. Ecole´ Norm. Sup. (4) 10 (1977), no. 2, 175–229. 7 [8] J.-L. Colliot-Th´el`ene, J.-J. Sansuc: The rationality problem for ﬁelds of invariants under linear algebraic groups (with special regards to the Brauer group), Algebraic groups and homogeneous spaces, 113–186, Tata Inst. Fund. Res. Stud. Math., 19, 2007. 1 [9] S. Endo: The rationality problem for norm one tori, Nagoya Math. J. 202 (2011), 83–106. 13 [10] I. Gelfand, M. Kapranov, A. Zelevinsky: Discriminants, resultants and multidimensional determi- nants, Birkh¨auser, Boston, 1994. 12 [11] P. Gille, T. Szamuely: Central Simple Algebras and Galois Cohomology, Cambridge Studies in Advanced Mathematics 101, Cambridge University Press, 2006. 14 [12] M. Greenberg: Schemata over local rings, Ann. of Math. (2) 73 (1961), 624–648. 7 [13] A. Grothendieck: El´ements´ de g´eom´etrie alg´ebrique. IV. Etude´ locale des sch´emas et des morphismes de sch´emas IV, Inst. Hautes Etudes´ Sci. Publ. Math. No. 32 (1967). 9 [14] B. Kahn, R. Sujatha: Birational geometry and localisation of categories. With appendices by Jean- Louis Colliot-Th´el`ene and Ofer Gabber, Doc. Math. 2015, Extra vol.: Alexander S. Merkurjev’s sixtieth birthday, 277–334. 6, 7 [15] N. Karpenko, A. Merkurjev: On standard norm varieties, Ann. Sci. Ec.´ Norm. Sup´er. (4) 46 (2013), no. 1, 175–214. 2 [16] A. Mattuck: The ﬁeld of multisymmetric functions, Proc. Amer. Math. Soc. 19 (1968), 764–765. 12 [17] F. Morel: The stable A1-connectivity theorems, K-Theory 35 (2005), 1–68. 3, 4 [18] F. Morel, V. Voevodsky: A1-homotopy theory of schemes, Inst. Hautes Etudes´ Sci. Publ. Math. 90 (1999), 45–143. 1, 3, 4 [19] D. H. Nguyen: Standard norm varieties for Milnor symbols mod p, Ann. K-Theory 1 (2016), no. 4, 457–475. 2 GEOMETRIC CRITERIA FOR A1-CONNECTEDNESS AND APPLICATIONS TO NORM VARIETIES17

[20] M. Rost: Norm varieties and algebraic cobordism, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), 77–85, Higher Ed. Press, Beijing, 2002. 1, 2 [21] R. Y. Sharp: The dimension of the tensor product of two ﬁeld extensions, Bull. London Math. Soc. 9 (1977), no. 1, 42–48. 9 [22] A. Suslin, S. Joukhovitski: Norm varieties, J. Pure Appl. Algebra 206 (2006), 245–276. 1, 2, 13, 14 [23] V. Voevodsky: Motivic cohomology with Z/ℓ-coeﬃcients, Ann. of Math. 174(2011), 401–438. 1

Department of Mathematical Sciences, Indian Institute of Science Education and Re- search Mohali, Knowledge City, Sector-81, Mohali 140306, India. Email address: [email protected]

Department of Mathematical Sciences, Indian Institute of Science Education and Re- search Pune, Dr. Homi Bhabha Road, Pashan, Pune 411008, India. Email address: [email protected]

School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Colaba, Mumbai 400005, India. Email address: [email protected]