sign in sign up
<<
Home , Generic point, Rational variety, Smooth scheme

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 field) arbitrary an implication. (over implications horizontal the Bloch the [ of field 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 vrafield 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 field 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 lsdfil fcaatrsi 0) characteristic of field 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 field) 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 . 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 field 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 field? base the of e ⇒ aite vrafield 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

Pfister quadrics corrresponding to symbols in mod-2 Milnor K-theory are norm varieties and are obviously A1-connected over an algebraically closed field, being rational. By the main results of [19], Pfister 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- (since it is isomorphic to a ). 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 field k (see Theorem 4.4). Theorem 1. Let k be a field 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 field of characteristic 0 are universally R-trivial after base change to the algebraic closure of the base field. 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 first ingredient is the following criterion for A1-connectedness of a variety X over a field (see Theorem 2.2). Theorem 2. Let X be a variety over a perfect field 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 field 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, Definition 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 field 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 compactifications of the symmetric powers of an A1-connected variety over a field, studied in Section 3. We show that the symmetric power of an A1-connected smooth is A1- connected (see Theorem A.1) as a consequence of Theorem 2 in the appendix. However, this is not sufficient to conclude A1-connectedness of smooth compactifications 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 find 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 field 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 compactifications of norm 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 field k, we mean a reduced and irre- ducible of finite type over k. We will always work with the big Nisnevich site Sm/k of smooth schemes over a field k. Given a simplicial sheaf of sets X on Sm/k and an affine 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 field of a scheme-theoretic point x will be denoted by κ(x). In case X is a scheme over over a field k, we will sometimes denote the residue field 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 finite 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. Definition 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 field 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 fibrant approximation functor [18, §2, Lemma 2.6, page 107] for A1 A1 1 the -model structure. We define 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 finitely 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 defined 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 finite 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), defined 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 fibration since W ֒→ V1 is a 1 cofibration and X is simplicially fibrant. 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 define 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 , defined 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 compactification 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 defined 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 field 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 field of characteristic 0 and Y −→ X be a generically smooth morphism of smooth proper varieties over k. If X and the generic fiber of f are A1- connected, then Y is A1-connected.

Proof. Let η be the generic point of X and Yη be the generic fiber 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 find a smooth proper variety X over k and a birational e X −→π X such that the rational section s defines 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 field and U be a variety over k, which has a k-rational point x0 ∈ U(k). Assume that for any field extension F/k and any point x ∈ U(F ), there exists P1 99K P1 a rational map h : F U, defined 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 field. 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 compactification 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 first 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 affine 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 compactification of the symmetric power of an A1-connected smooth projective variety. The A1-connectedness of any smooth proper compactification 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 field 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 finite n, the sheaf Jn(X) is a scheme and is called the m-jet scheme of X. 8 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

Definition 3.1. A parametrized pointed curve is defined 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 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. Definition 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 fix 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 defined p−1 by the ideal hπ1,...,πpi for some p ≤ d. Thus, X is the closed subscheme of X × P defined 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 defined 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 defined 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 and its function field is isomorphic to E. 10 CHETANBALWE,AMITHOGADI,ANDANANDSAWANT

Let F be any field extension of k in which k is algebraically closed. Let F ′ denote the p function field 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 first construct an explicit smooth proper compactification of SymmX, which is A1-connected. This compactification will be constructed by first considering a particular blowup X of X and then taking a suitable compactification 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 field k of characteristic 0. Let x0 ∈ X(k). Let M be a finitely generated field 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 first claim that the image of fM cannot be normal at fM (0). To see this, we first 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 fiber 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 finitely 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 field 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 field 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 field 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 field k of characteristic 0 and fix 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 suffices 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 find 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-definede 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 defined 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 affine 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. Definition 4.1. Let F be a field and let K/F be a finite field 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 defined 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 field 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 field 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 finite, surjective morphism π : X × Symℓ−1X → SymℓX of degree ℓ and its restriction π−1(U) → U is a finite ´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 on U. Since E is a locally free sheaf of OU -algebras, there is a well-defined 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) defined by the equation N = a. Then, Y is smooth over U and geometrically irreducible, by [22, Lemma 2.1]. Define N(X,a,ℓ) to be a smooth compactification of Y , which exists since k has characteristic 0. We may further arrange that N(X,a,ℓ) is proper and surjective over a smooth compactification of U with smooth generic fiber, 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).

× Definition 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 defined as follows. Define 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 define

Xα = X{a1,...,an} := N(X{a1,...,an−1}, an,ℓ), for n> 2. Theorem 4.4. Let k be an algebraically closed field 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 fiber of this morphism is a smooth ℓ compactification of the norm hypersurface N = an over k(Sym X). Since k is algebraically × ℓ closed and an ∈ k , this generic fiber 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 satisfied 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 field are A1-connected. Theorem A.1. Let X be an A1-connected smooth projective variety over an arbitrary field 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 field 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 define 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 fix 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 Definition 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 suffices 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 definitions, 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: Torification 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 fields of invariants under linear algebraic groups (with special regards to the ), 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: 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 field 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 field 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: with Z/ℓ-coefficients, 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]