arxiv: v1 [math.nt] 6 Jul 2011

Transcription

1 UPPER BOUNDS FOR THE NUMBER OF NUMBER FIELDS WITH ALTERNATING GALOIS GROUP ERIC LARSON AND LARRY ROLEN arxiv: v1 [math.nt] 6 Jul 011 Abstract. We study the number N(n,A n,x) of number fields of degree n whose Galois closure has Galois group A n and whose discriminant is bounded by X. By a conjecture of Malle, we expect that N(n,A n,x) C n X 1 (logx) bn for constants b n and C n. For 6 n 84393, the best known upper bound is N(n,A n,x) X n+ 4 ; this bound follows from Schmidt s Theorem, which implies there are X n+ 4 number fields of degree n. (For n > 84393, there are better bounds due to Ellenberg and Venkatesh.) We show, using the important work of Pila on counting integral points on curves, that N(n,A n,x) X n 4(n 1) +ǫ, thereby improving the best previous exponent by approximately 1 4 for 6 n Introduction and Statement of Results ForanypositiveintegersnandX andforanyfixedtransitivepermutationgroupg, wewouldliketocountn(n,g,x), definedtobethenumberofdegreennumberfields K whose Galois closure has Galois group G and for which D K X. Further let N(n, X) denote the number of all degree n number fields with discriminant bounded in absolute value by X. It is an old conjecture, sometimes attributed to Linnik, that N(n,X) c n X (n fixed, X ). The conjecture is trivial when n =, and was proven for n = 3 by Davenport and Heilbronn [4] and for n = 4,5 by Bhargava [1], []. For all but finitely many n, the current best upper bound, due to Ellenberg and Venkatesh [5] states: N(n,X) (X B n ) exp(c log n). Here, B n depends only on n and C is an absolute constant. For 6 n 84393, the best bound, due to Schmidt [8], is N(n,X) X n+ 4. The authors are grateful for the support of the NSF in funding the Emory 011 REU. The authors would like to thank our advisor Andy Yang, as well as Ken Ono for their guidance, useful conversations, improving the quality of exposition of this article, and hosting the REU. 1

2 ERIC LARSON AND LARRY ROLEN In this note, we study the case when G = A n. By a conjecture of Malle [6], we expect that N(n,A n,x)? c(n) X 1 (logx) b(n) 1, for some constant c(n) and an explicit constant b(n). Here we improve Schmidt s general bound in our case. In particular, we can use Pila s results on counting integral points on geometrically irreducible curves [7] to show the following: Theorem 1.1. We have N(n,A n,x) X n 4(n 1) log(x) n+1, where the implied constant depends only on n. Remark 1.. Throughout this note, we write f g to mean that f c g for a constant c depending only on the degree of number field (or degree of the algebraic variety) in question. Note that the exponent improves on the previous record by a power of X of about 1 for these n. The method uses point counting on varieties in a similar manner as 4 in [5]. The improvement follows from viewing these varieties as fibrations of curves, controlling the fibers which are not geometrically irreducible, and using a bound of Pila on counting integral points on geometrically irreducible curves.. Upper Bounds via Point Counting If K is a number field of discriminant D K and degree n, then Minkowski theory implies there is an element α O K of trace zero with α D 1 K (under any archimedian valuation), where the implied constant depends only on n. WhenGal(K gal /Q) A n,thenk mustbeaprimitiveextensionofq, sok = Q(α) and the characteristic polynomial of α will determine K. One can use this to give an upper bound on N(n,A n,x). To see this, note that every pair (K,α) as above gives a Z-point of SpecR, for R = Z[x 1,x,...,x n ] An /(s 1 ) where s 1 = x 1 +x + +x n. (Here Z[x 1,x,...,x n ] An denotes the ring of A n -invariants in Z[x 1,x,...,x n ].) Now, it is a classical theorem that the ring of A n -invariant functions is generated by the symmetric functions and the square root of the discriminant, i.e. we have Z[x 1,x,...,x n ] An Z[s 1,s,...,s n,d]/ ( D = Disc(t n s 1 t n 1 + ±s n ) ), so therefore R Z[s 1,s,...,s n,d]/ ( D = Disc(t n +s t n + ±s n ) ).

3 UPPER BOUNDS FOR THE NUMBER OF NUMBER FIELDS WITH ALTERNATING GALOIS GROUP3 Thus, to give an upper bound on N(n,A n,x), it suffices to bound the number of Z-points of Spec R which satisfy the inequalities (1) s j X j and D X n Proof of Theorem 1.1 when n is Even When n is even, Theorem 1.1 is relatively straight-forward; therefore, we begin by examining this case. Lemma 3.1. Theorem 1.1 holds when n is even. Proof. By fixing s,s 3,...,s n 1, we can view SpecR as a fibration of plane curves over A n. Each of these curves is then the zero locus of a polynomial of the form () D = a polynomial of odd degree in s n. In particular, these curves are geometrically irreducible. Therefore, we can apply Pila s bound [7], which states that the number of integral points on a geometrically irreducible plane curve of degree d whose coordinates are bounded in absolute value by B is at most (3d) 4d+8 B 1 d (logb) d+3 B 1 d (logb) d+3. For the curves defined by (), we seek to count integral points with s n X n and D X n 4. By Pila s result above, the number of such points is ( ) X n 1 ) 4 n 1 (log(x n (n 1)+3 n 4 ) X 4(n 1) (logx) (n+1). Therefore, using the bounds (1) on the other s j from the previous section, we have ( n 1 ) N(n,A n,x) X j X n 4(n 1) (logx) n+1 = X n 4(n 1) (logx) n+1. j= 4. Proof of Theorem 1.1 when n is Odd In the case when n is odd, the argument of Lemma 3.1 breaks down because the curves in the fibration do not have to be geometrically irreducible. In order to circumvent this difficulty, we will show in this section that most of the fibers of the map SpecR A n are geometrically irreducible. We will then bound the number of integral points on the fibers that fail to be geometrically irreducible. Definition 4.1. Wesaytwopolynomialsf,g C[z]areequivalent iff(z) = g(az+b) for some a C and b C.

4 4 ERIC LARSON AND LARRY ROLEN Definition 4.. We say that c is a critical value of a polynomial f if c = f(d) for some d with f (d) = 0. Lemma 4.3. Fix a finite set of points S C and an integer d. Then there are finitely many equivalence classes of polynomials of degree d whose set of critical values is contained in S. Proof. Write S = {z 1,z,...,z n }, and fix some z 0 / S. Then any polynomial of degree d whose set of critical values f is contained in S gives rise to a map f : π 1 (C S) Aut(f 1 (z 0 )) S d. Since S is finite, π 1 (C S) is finitely generated; moreover, S d is finite, so there are only finitely many possibilities for f. Thus, it suffices to show that any two polynomials f and g for which f = g are equivalent. But the classical theory of covering spaces implies that when f = g, then f and g must differ by a deck transformation, which must be analytic because f and g are analytic coverings. The desired conclusion then follows from the wellknown fact that any automorphism of Ĉ fixing is of the form z a z +b with a C and b C. Lemma 4.4. Let n be an integer. For any monic polynomial p(z) C[z] of degree n 1, there are only finitely many values of (a,a 3,,a n 1 ) C n such that p(z) is the discriminant of the polynomial q(t) = t n +a t n + +a n 1 t z. Proof. In order for p(z) to be the discriminant of q(t), every root r of p(z) must be (with multiplicity) a critical value of the polynomial q 0 (t) = t n +a 1 t n a n 1 t. Since q 0 is a polynomial of degree n, it has n 1 critical values (counted with multiplicity); since p(z) is a polynomial of degree of n 1, it has n 1 zeros (counted with multiplicity). Therefore, every critical value of q 0 is a root of p(z). This completes the proof by Lemma 4.3. Lemma 4.5. The locus of (s,s 3,...,s n 1 ) A n such that the plane curve x = Disc(t n +s t n + ±s n 1 t y) fails to be geometrically irreducible is an affine variety of dimension at most n 1. Proof. The corresponding plane curve fails to be geometrically irreducible if and only if the polynomial p(y) = Disc(t n +s t n + ±s n 1 t y) isaperfectsquare. Butthecoefficientsofp(y)areregularfunctionsins,s 3,...,s n 1. Moreover, the map A n A n 1 induced by these regular functions is a finite map by Lemma 4.4.

5 UPPER BOUNDS FOR THE NUMBER OF NUMBER FIELDS WITH ALTERNATING GALOIS GROUP5 Since the locus of (b 1,b,...,b n 1 ) A n 1 such that t n 1 +b 1 t n + +b n 1 is a perfect square is a Zariski-closed set of dimension n 1, this completes the proof. Using the above lemma together with the ideas from Section 3, we can complete the proof of Theorem 1.1. Proof of Theorem 1.1 for n odd. When n = 3, this follows from a result of Wright [9], and when n = 5, this follows from a result of Bhargava []. Thus, we can assume n 7. Again, we consider the fibration SpecR A n given by fixing s,s 3,...,s n 1. The argument given in Lemma 3.1 implies the number of integral points lying on the geometrically irreducible fibers satisfies the required bound; it remains to see that the number of integral points lying on the geometrically reducible fibers also satisfies the required bound. To prove this, we first note that by Lemma 4.5, all such points are contained in a subvariety of SpecR of dimension at most n 1 +1 = n+1. Moreover, the projection map SpecR A n 1 given by fixing s,s 3,...,s n is finite, so it suffices to bound the number of integral points in the box s j X j lying in a particular affine variety of dimension n+1. But the number of such points can be bounded by the product of the n+1 largest sides of the box, and therefore is n X j (3n+1)(n+1) = X 16(n 1), j= n+1 and therefore satisfies the required bound, as long as n 7. References [1] M. Bhargava. The Density of Discriminants of Quartic Rings and Fields. Ann. of Math. () 16 (005), no., []. The Density of Discriminants of Quintic Rings and Fields. Ann. of Math. () 17 (010), no. 3, [3] H. Cohen. A Survey of Discriminant Counting. Algorithmic Number Theory (Sydney 00), [4] H. Davenport and H. Heilbronn. On the Density of Discriminants of Cubic Fields II. Proc. Roy. Soc. London Ser. A 3 (1971), no. 1551, [5] J. Ellenberg and A. Venkatesh. The Number of Extensions of a Number Field with Fixed Degree and Bounded Discriminant. Ann. of Math. () 163 (006), no., [6] G. Malle. On the Distribution of Galois Groups II. J. Number Theory 9(00), no., [7] J. Pila. Density of Integer Points on Plane Algebraic Curves. Internat. Math. Res. Notices 1996, no. 18,

6 6 ERIC LARSON AND LARRY ROLEN [8] W. M. Schmidt. Number Fields of Given Degree and Bounded Discriminant. Columbia University Number Theory Seminar (New York 199), Astérisque 8 (1995), [9] D. Wright. Distribution of Discriminants of Abelian Extensions. Proc. London Math. Soc. (3) 58 (1989), no. 1, Department of Mathematics. Harvard University, Cambridge, MA address: elarson3@gmail.com Department of Mathematics and Computer Science, Emory University, Atlanta, GA address: larry.rolen@mathcs.emory.edu