Arxiv:1510.04733V2 [Math.NT] 7 Jun 2016 of Hs Flclebdigdimension Embedding Local of Those N O Any for and Hoe 1.1
Total Page:16
File Type:pdf, Size:1020Kb
RANDOM HYPERSURFACES AND EMBEDDING CURVES IN SURFACES OVER FINITE FIELDS JOSEPH GUNTHER Abstract. We use Poonen’s closed point sieve to prove two independent results. First, we show that the obvious obstruction to embedding a curve in an unspecified smooth surface is the only obstruction over a perfect field, by proving the finite field analogue of a Bertini-type result of Altman and Kleiman. Second, we prove a conjecture of Vakil and Wood on the asymptotic probability of hypersurface sections having a prescribed number of singularities. 1. Introduction Poonen’s geometric closed point sieve was first introduced in [Poo04] to prove a finite field version of the classical Bertini smoothness theorem. The sieve has since been applied and adapted to a range of subjects, including point-counting distributions within families of curves [BDFL10, BK12, EW15] and arithmetic dynamics [Poo13]. In this paper, we use it to prove embedding results for quasi-projective schemes over finite fields, as well as to prove a hypersurface stabilization conjecture of Vakil and Wood. Given a curve, when does there exist some smooth surface into which it can be embedded? There is an obvious requirement: the curve must have no more than two tangent directions at any point, since this would be true on an ambient smooth surface. Altman and Kleiman proved that over an infinite perfect field, this local obstruction is the only obstruction [KA79]. In this paper we prove the same for finite fields, thus removing their infinite hypothesis. The result follows from Corollary 1.2 of the following theorem. (Each ζ below indicates a zeta function, and for ease of notation we define the empty set to have dimension −∞; see Section 2 for full notation and definitions.) Pn Theorem 1.1. Let X be a smooth subscheme of Fq of dimension m, Z a closed subscheme Pn Pn of Fq , and HZ,d the set of degree d hypersurfaces in Fq that contain Z. Let V = X ∩ Z, arXiv:1510.04733v2 [math.NT] 7 Jun 2016 and for any e ≥ 0, let Ve be the (locally closed) subset of V whose closed points are exactly those of local embedding dimension e in V . Then if max{dim(Ve)+ e} < m, we have e #{H ∈ H | X ∩ H is smooth of dimension m − 1} 1 lim Z,d = . d→∞ #HZ,d ζX−V (m + 1) ζVe (m − e) e Y Conversely, if for some value of e we have dim(Ve)+ e ≥ m, then the limit is 0. Roughly speaking, the above theorem says that, with positive probability, a hypersurface section of a smooth scheme X containing a given subscheme V is again smooth, provided that the dimension and singularities of the subscheme are adequately controlled. Furthermore, that positive probability is given by special values of zeta functions, which is what a naive point-by-point heuristic predicts. 1 2 JOSEPH GUNTHER Remark. In the case where the subscheme V is smooth, Theorem 1.1 gives the central theorem of [Poo08]. While our result is more general, its proof is ultimately inspired by that paper. Over an infinite perfect field, under similar hypotheses on local embedding dimensions, the existence of smooth hypersurface sections was proved in [KA79, Theorem 7]. After sub- mitting this paper for publication, the author learned that Theorem 1.1 was independently obtained by Wutz in her recent thesis [Wut14, Theorem 2.1]. Corollary 1.2. Let C be a reduced quasi-projective curve over Fq, not necessarily smooth, irreducible, or projective. Then there exists a smooth r-dimensional scheme over Fq in which C can be embedded if and only if the maximal ideal at each closed point of C can be generated by r elements. If C is projective, the smooth scheme can be chosen projective as well. Proof of Corollary 1.2 from Theorem 1.1. Necessity is clear. For sufficiency, consider C em- Pn Pn Pr bedded in Fq for some n. If n = r, we’re done. If n<r, embed Fq linearly into Fq , and ¯ Pn ¯ we’re again done. Otherwise, let Z = C and X = Fq − (C − C). Applying Theorem 1.1 recursively n − r times to find smooth hypersurface sections containing X ∩ Z, we construct a smooth, r-dimensional Fq-scheme X ∩ H1 ∩ ... ∩ Hn−r containing C. It is projective if C is. Remark. Over an infinite perfect field, this corollary was proven in [KA79, Corollary 9], using methods inspired by Bloch’s thesis [Blo71, Proposition 1.2]. This paper shows the corollary is in fact true over any perfect field. The starting idea of both proofs is the same: embed your curve in some large projective space, and then try to show there exist hypersurfaces that contain your curve and whose mutual intersection is smooth of the correct dimension. Altman and Kleiman’s proof in the infinite case proceeds via a Bertini-type argument that fails over finite fields since Fq-points aren’t dense in a rational variety; instead, we adapt Poonen’s closed point sieve to prove the quantitative result in Theorem 1.1. The local embedding dimension at a simple node or cusp on a reduced curve is 2, so we have the following special case. Corollary 1.3. Let C be a reduced, quasi-projective curve over Fq with only simple nodes and cusps. Then C can be embedded in some smooth surface over Fq. Remark. In his thesis [Ngu05, Theorem 1.0.2], N. Nguyen proved a different embedding result, answering the question of when a smooth variety X over Fq of dimension m admits Pn a closed immersion into Fq , for n ≥ 2m + 1. In that case, the only obstruction is also an obvious one, though of an arithmetic nature: embedding fails exactly if, for some e ≥ 1, X Pn has more closed points of degree e than Fq itself. Theorem 1.1 also applies to higher-dimensional schemes, not just curves. In particular, Pn we obtain some appealing probabilistic corollaries about subschemes V ⊂ Fq if we take Pn ¯ X = Fq and Z = V in the theorem. Pn Corollary 1.4. Let V ⊂ Fq be an arbitrary subscheme. Then the probability that a random hypersurface containing V will be smooth is ¯ 1/[ζPn−V¯ (n + 1) ζ(V¯ ) (n − e)], if max{dim((V )e)+ e} < n, e e e Y 0, otherwise. RANDOM HYPERSURFACES AND EMBEDDING CURVES 3 Remark. By rationality of the zeta function [Dwo60], the probabilities in Theorem 1.1 and Corollary 1.4 are always rational numbers. P3 2 3 2 Example. Let C be the rational curve defined in Fq by w = 0 and y z − x + x z = 0. −1 1−q1−s −1 −s −1 −s 2−s 3−s Then ζV1 (s) = 1−q−s , ζV2 (s) =1 − q , and ζX−V (s) = (1 − q )(1 − q )(1 − q ). P3 So, for example, the probability that a hypersurface in F2 containing C will be smooth is −1 15 [ζX−V (4) · ζV1 (2) · ζV2 (1)] = 128 . Remark. We should caution that just because an asymptotic probability in Theorem 1.1 or Corollary 1.4 is 0, this does not in general rule out the existence of any smooth hypersurface sections containing the given scheme. For example, the non-reduced scheme cut out by 2 A3 P3 y = 0 and z = 0 in Fq ⊂ Fq is contained in smooth affine hypersurfaces of arbitrarily high degree (such as those given by z − yd = 0); however, in accordance with Theorem 1.1, the proportion of smooth hypersurfaces decreases to 0 (exponentially with the degree, in fact). P3 Conversely, a curve in Fq with a point of local embedding dimension 3 is contained in no smooth hypersurfaces at all. The second main theorem of this paper is also an application of Poonen’s sieve; in Section 4, we prove a recent conjecture of Vakil and Wood on hypersurface sections with a prescribed number of singularities. Before stating it, we provide some motivation. Let X be a smooth, quasi-projective, m-dimensional scheme over Fq. Roughly speaking, [Poo04, Theorem 1.1] showed that a hypersurface section of X has zero singularities with probability 1 . At the other extreme, [Poo04, Theorem 3.2] showed that a section has ζX (m+1) infinitely many singularities with probability 0. It is then natural to ask how the probabilities are distributed across the remaining possible numbers of singularities (one, two, etc.): 1 +?+? + ... =1. ζX (m + 1) To answer this question, we need a little notation. Let X be a finite-type scheme over F ∞ n F n q, and define ZX (t) = n=0 |(Sym X)( q)|t . Then a standard computation shows that −s n ZX (q ) = ζX (s), as defined in the next section. The points of Sym X correspond to P n formal sums of n points on X, with possible repetition; let Sym[ℓ]X be the natural subset comprising just those sums supported on exactly ℓ geometric points. Analogously, define [ℓ] ∞ n F n [ℓ] [ℓ] −s ZX (t) = n=0 |(Sym[ℓ]X)( q)|t , and let ζX (s) = ZX (q ). Based on their own motivic results about the Grothendieck ring of varieties, Vakil and Wood conjectured the following generalizationP of Poonen’s Bertini theorem [VW15, Conjecture A]. Pn Theorem 1.5. Let X be a smooth m-dimensional subscheme of Fq , ℓ ≥ 0 an integer, and Pn Hd the set of degree d hypersurfaces in Fq . Then #{H ∈ H | X ∩ H has exactly ℓ singular geometric points} ζ[ℓ](m + 1) lim d = X . d→∞ #Hd ζX (m + 1) Remark.