Arxiv:2012.15319V1 [Math.NT]

arXiv:2012.15319v1 [math.NT] 30 Dec 2020 ne h eeaie imn yohss(R) ti expec where is strip it critical (GRH), the Hypothesis Riemann Generalized the under eosof zeroes rv htoe nt edo d adnlt,teproporti the cardinality, odd of field finite conj a Chowla’s over of that prove analog the investigate authors the Florea, e hrcesaeeatythe exactly are characters let ed spr fteWi ojcue,wihaenwtheorems now are which conjectures, Weil the of part as fields htvns at vanish that admc oe spoe ntecs of case the in proven is more) much (and ticular h nt field finite the oe onso h ubro iihe hrces(ordered characters Dirichlet at of vanish number the a on [12] bounds Soundararajan of lower Results found. been have conjecture soitdt udai character quadratic a to associated fgoa ed.S nlg fvrulyeeypeoeo of ques phenomenon above every the insta virtually Specifically, both of investigated. are analogs been they have So as former fields fields. number global of of theory the to ilarities characte positive in fields function over conjecture this of fayodrvnse at vanishes order any of L L fntosi h rtclstrip critical the in -functions fntoscnb se ihreplacing with asked be can -functions AIHN FDRCLTLFNTOSA H ETA ON OVE POINT CENTRAL THE AT L-FUNCTIONS DIRICHLET OF VANISHING vrfnto ed npstv characteristic, positive in fields function Over h rtmtco ainlfntosi n aibeoe fi a over variable one in functions rational of arithmetic The nadfeetdrcin ojcueo hwa[]predict [3] Chowla of conjecture a direction, different a In Let L hrcesoe h ainlfnto field function rational the over characters iihe hrceso te orders. other of characters Dirichlet ec fspriglrsprlitccre oddc cons deduce to curves superelliptic supersingular of tence steeitneo a rmtepoetv uv associate curve projective the from map over cen variety a the at abelian of vanishing existence that observation the the as on based is idea The ubro ui hrcesover characters cubic of number q A L ( BSTRACT s ( = , 1 2 s L χ , p = ( ) χ 4 s n ) , ethe be 1 2 χ o n ainlprime rational any for F s 6 = hsspot h bv xetto.I hsatce est we article, this In expectation. above the supports This . ) egv emti rtro o Dirichlet for criterion geometric a give We . q = a enasbeto nes td nnme hoy npart In theory. number in study intense of subject a been has , hl R ssiloe ntecasclcs fDirichlet of case classical the in open still is GRH While . o any for 0 1 2 L sa ot007 n[] h eodato hwdta h ana the that showed author second the [7], In 0.057. most at is fnto tahdt iihe character Dirichlet a to attached -function L F ( s s q , sn hsgoercciein eoti oe on nt on bound lower a obtain we criterion, geometric this Using . = χ χ ) AIDNPD N ALNLI WANLIN AND DONEPUDI RAVI oegnrly ti xetdta oDirichlet no that expected is it generally, More . L 2 1 aihsaeo h etclline vertical the on are vanishes nti lsia etn,n oneeape oChowla’s to counterexamples no setting, classical this In . fntosatce ohprlitccre.I 2 yBui– by [2] In curves. hyperelliptic to attached -functions { s UCINFIELDS FUNCTION F p .I 1. ∈ q χ ≡ ( t ) C does o .W louercn eut bu h exis- the about results recent use also We 3. mod 2 NTRODUCTION whose | 0 L Q < fntosatce ocaatr vrfunction over characters to attached -functions not F 1 by q L ℜ ( fntosvns ttecnrlpitwhere point central the at vanish -functions t ( ) aihfrayreal any for vanish F s L ovns ttecnrlpoint central the at vanish to ) q fntosatce oqartcDirich- quadratic to attached -functions ( < t ) h edo ainlfntosover functions rational of field the , 1 } L qecsfrthe for equences pcfial h oain fthe of locations the specifically , fntosascae ocyclic to associated -functions ristic. cueoe ucinfilsand fields function over ecture rlpitcnb interpreted be can point tral no hyperelliptic of on otecaatrt some to character the to d dBlytPat[]establish [1] Baluyot-Pratt nd in eadn aihn of vanishing regarding tions htthe that s . cso h eea theory general the of nces ℜ iefil er aysim- many bears field nite e htteol onsin points only the that ted ycnutr htd not do that conductor) by ( χ s h atrstigt the to setting latter the h eairo these of behavior The . = ) s ∈ L 1 2 ( L fntosof -functions . ,1 0, function d h analog the udy s L ) = fntos it -functions, n npar- in and , L L 1/2. -functions -function he L icular, ( s , R log χ ) 2 RAVI DONEPUDI AND WANLIN LI

of Chowla’s conjecture in function fields does not hold and gave an explicit lower bound on the number of counter examples with bounded genus. Even though these results 1 show that there are infinitely many hyperelliptic L-functions that vanish at s = 2 , it is 1 believed that 100% of hyperelliptic L-functions do not vanish at s = 2 in a sense that will be made precise in Section 2. The work of Ellenberg–Li–Shusterman [6] provides evidence supporting this belief. Extending this work beyond hyperelliptic L-functions is the recent work of David– Florea–Lal´ın [5], where the authors show a positive proportion of L-functions associated to cubic characters do not vanish at the critical point s = 1/2 based on their previous work [4] in which they study moments of the central value of cubic L-functions. The strategy used in [7] stems from the observation that the existence of a quadratic F 1 Dirichlet character over q(t) whose L-function vanishes at the central point s = 2 is equivalent to the existence of a hyperelliptic curve over the finite field Fq which admits √q as an eigenvalue for the Frobenius action on the ℓ-adic Tate module of its Jacobian. Moreover, all hyperelliptic curves which admit a dominant map to this curve induce a 1 quadratic character whose L-function also vanishes at s = 2 . Thus, a large part of the work is to prove a lower bound on the number of curves in certain families which admit dominant maps to a fixed curve. While the above article only deals with hyperelliptic L-functions, the machinery devel- oped and strategies used are applicable to more general L-functions. In this article, we extend this work by considering L-functions attached to characters associated to geometric cyclic covers of the projective line, also commonly referred to as superelliptic curves due to the similarity of their defining equations with elliptic curves. See Definition 2.1 for the precise definition of superelliptic curves. We first prove a lower bound on the number of ℓ-th order superelliptic curves admitting a dominant map to a fixed curve when ℓ satisfies some congruence restrictions necessitated by our liberal use of Kummer theory:

Theorem (Theorem 3.6). Let ℓ bean odd primecoprimeto q. Let C0 be an ℓ-th order superelliptic F ℓ ℓ 1 i curve of genus g defined over q with affine equation y = ∏i=−1 fi where the fi are pairwise ℓ 1 coprime, squarefree polynomials of degree di each and d = ∑i=−1 di. Take a model which satisfies ℓ 1 ℓ 1 i ∑ − id 0 mod ℓ and assume f = ∏ − f is not a power of an irreducible polynomial. Then i=1 i ≡ i=1 i for any ǫ > 0, there exist positive constants Bǫ and Nǫ such that the number of superelliptic ℓ ℓ 1 i ℓ 1 curves in the form y = ∏i=−1 Di(x) with ∑i=−1 deg(Di) n that admit a dominant map to C0 2n ǫ ≤ is at least B q d for n > N . ǫ · − ǫ Let ℓ(n) be the set of degree ℓ primitive Dirichlet characters over F (t) whose con- A q ductor has norm at most qn and let ℓ(n) be the subset of ℓ(n) containing characters χ such that L(1/2, χ) = 0. B A If we assume that q 1 mod 3, by the computation in Lemma 2.4 we get ≡ (n) c (n + 1)qn. |A3 | ∼ q Using Theorem 3.6 we have the following result about the size of (n): B3 Theorem (Theorem 4.1). Let Fq be a finite field of odd characteristic p where p 2 mod 3, e ≡ q = p , and e 0 mod 4. Then for any ǫ > 0, there exist positive constants Cǫ and Nǫ, such ≡ 2n ǫ that (n) C q 3 for any n > N . |B3 | ≥ ǫ · − ǫ VANISHING OF DIRICHLET L-FUNCTIONS AT THE CENTRAL POINT OVERFUNCTIONFIELDS 3

Outline of the paper: In section 2, we set up notation and background on the relationship between Dirichlet L-functions over function ﬁelds and zeta functions of curves. In section 3, we recall an explicit parametrization of ℓ-th order superelliptic curves and maps between such curves. We use a result of Poonen [9] to prove Theorem 3.6. In section 4, we give a discussion on the existence of desired base curve for any ℓ to apply Theorem 3.6. In the case of ℓ = 3 with p, q satisfying the congruence condition in Theorem 4.1, we apply Theorem 3.6 to an elliptic curve to prove Theorem 4.1. For other ℓ, we give an existence result Theorem 4.2 for p, q satisfying some congruence conditions and q sufﬁciently large.

Acknowledgments. The authors are grateful to Patrick Allen, Siegfred Baluyot, Jordan Ellenberg and Soumya Sankar for helpful comments and suggestions. The second author was supported by the Simons collaboration on number theory, arithmetic geometry, and computation.

2. NOTATION AND BACKGROUND e Let p be an odd prime number and q = p . Let Fq denote the field with q elements, k = Fq(t) the field of rational functions on Fq in the variable t and A = Fq[t], the ring of polynomials. For a polynomial f A, we define the norm of f as f = qdeg( f ). The ring A is a maximal order in∈ k. By function field we mean a| finite| extension of k.A constant extension of a function field K with constant field Fq is an extension of function fields L/K where L = K F F n . An extension of function fields L/K is called geometric ⊗ q q if L and K have the same constant field Fq. Over finite fields, there are various notions of L-functions and zeta functions. We now describe the relevant notions for our investigation and their relationships.

2.1. L-functions attached to a Dirichlet character. Let f A be a monic polynomial. Then a Dirichlet character of modulus f is a group homomorphism∈ χ : (A/ fA) C . ∗ → ∗ For any multiple mf of f , χ induces a homomorphism (A/mfA)∗ C∗. We call a character χ of modulus f primitive if it cannot be induced from a modulus→ of smaller degree and refer to f as the conductor of χ. We can evaluate a Dirichlet character χ with conductor f at an element g A by ∈ χ(g mod f ) if f and g are coprime, χ(g)= (0 else. To a Dirichlet character χ, we attach a Dirichlet L-function of a complex variable s by

χ(g) 1 s − L(s, χ)= ∑ s = ∏ 1 χ(P) P − g g P − | | | | where the summation is over all monic polynomials in A and the product is over all monic irreducible polynomials in A. Let n deg( f ) be an integer. Let Mn denote the set of monic polynomials of A of degree n.≥ If χ is non-principal, the orthogonality relations for χ imply that the sum ∑ χ(g) = 0 g M ∈ n 4 RAVI DONEPUDI AND WANLIN LI

s and thus L(s, χ) is a polynomial in q− of degree at most deg( f ) 1. If χ(ag) = χ(g) for any a F , g F [t], then χ is said to be even. L-functions associated− to even characters ∈ q∗ ∈ q always have a trivial zero at s = 0. For any primitive character χ, set 1 if χ is even; ψ∞(χ)= (0 else. 1 Let L (s, χ) := (1 ψ∞(χ)) L(s, χ) be the completed L-function of χ. Then it is a ∗ − − consequence of the Riemann-Hypothesis for function fields that all zeroes of L∗(s, χ) have 1 real part equals 2 . 2.2. L-functions attached to a Galois character. A leisurely exposition of the following material can be found in Chapter 9 of [10]. Let L be a function field. A prime of L is, by definition, a discrete valuation ring R L with maximal ideal P that contains the field of constants of L. The zeta function of ⊂L is defined as a function of a complex variable s: s 1 ζL(s)= ∏ 1 P − − . P −| | Here the product is taken over all the primes of L and P is the cardinality of the residue deg(P) | | field at the prime P (and is equal to q in the case when L = Fq(t) and P is identified with a monic irreducible polynomial in Fq[t]). Fix a finite geometric Galois extension L/K of function fields that is abelian with Galois group G. To any prime P lying above a prime P of K that is unramified in L/K, denote the Frobenius at P, an element of G, by FrobP. Denote the group of C-valued multiplicative characters of G by G. Given a character χ G, we evaluate it at the primes of L via the Frobenius. Namely, ∈ b b χ(Frob ) if P does not lie above a ramified prime in L/K, χ(P)= P (0 else. The Artin L-function attached to χ is defined as an Euler product s 1 L(s, χ) = ∏(1 χ(P) P − )− P − | |

where the product runs over all primes of L. Denote by χ0 the principal character in G. Applying the orthogonality properties of characters to the splitting of primes in Galois extensions, we ﬁnd the following decomposition b

ζL(s)= ζK(s) ∏ L(s, χ). χ=χ G 6 0∈ In analogy with the classical theory, each L(s, χb) admits a meromorphic continuation to the entire complex plane and satisfies a functional equation relating it to L(1 s, χ) which has the following important consequence: − L(1/2, χ) = 0 L(1/2, χ)= 0. ⇐⇒ We will be concerned with the specific choice of G = Z/ℓZ and restrict to the case q 1 (mod ℓ). Under this restriction, the base field contains all the ℓ-th roots of unity. By ≡ VANISHING OF DIRICHLET L-FUNCTIONS AT THE CENTRAL POINT OVERFUNCTIONFIELDS 5

Kummer theory, every Galois extension of k = Fq(t) with Galois group Z/ℓZ is obtained by adjoining an ℓ-th root of an element in k.

2.3. Zeta functions attached to curves. Let C be a smooth, projective, geometrically inte- gral curve of genus g defined over Fq. Let C(Fqn ) denote the set of Fqn -points of C. Then s we set T = q− and define the zeta function of C as the following generating series: n C(Fqn ) T Z(C, T) = exp ∑ | | . n 1 n ! ≥ Weil [13] proved in 1949 that Z(C, T) is a rational function which can be written as P(T) Z(C, T)= (1 T)(1 qT) − − where P(T) Z[T] is a polynomial of degree 2g. Moreover, ∈ 2g P(T)= ∏(1 πiT) i=1 − where each π is an algebraic integer with complex norm π = √q under every complex i | i| embedding. P(T) is in fact the characteristic polynomial of the geometric Frobenius acting on the ℓ-adic Tate module of the Jacobian of the curve, denoted as J(C) and the πi are therefore the eigenvalues under this action. The category of smooth projective curves over F with non-constant morphisms to P1 q Fq is canonically equivalent to the category of geometric extensions of Fq(t). The equiva- lence is realized simply by taking a curve C to its function field k(C). This induces the following relation of zeta functions s Z(C, q− )= ζk(C)(s)

2.4. Relations between L-functions. Although our explicitly stated goal is to compute 1 a lower bound on the number of Dirichlet L-functions vanishing at s = 2 , our methods rely on finding curves whose zeta functions have some special properties. So we now describe a construction that relates the above L-functions with the zeta functions of curves. There is, in fact a fourth type of characters that we have not mentioned here. They are called Hecke characters with their own attached L-functions, but since we only use them as intermediaries between Dirichlet L-functions and Artin L-functions, we do not discuss them in detail and refer the interested reader to chapter 9 of [10] for further reading. For a polynomial f , the group (A/ fA)∗ is canonically isomorphic to the divisor class ∞ o group of degree zero for the modulus f , denoted by Cl f ∞. Thus any Dirichlet character χ can be identified with a finite order character of the ray class group of modulus f ∞. By class field theory, this arises from a character of the ray class field k f ∞ whose Galois o group is Gal(k ∞/k) Cl (A/ fA) . The kernel of the character χ, now considered f ≃ f ∞ ≃ ∗ as a homomorphism Gal(k ∞) C fixes a field k k ∞ which is Galois over k and has f → ∗ χ ⊂ f a cyclic Galois group. We will crucially use the fact that under these identifications, the Dirichlet L-function, the Hecke L-function and the Artin L-function attached to χ (considered as a Dirichlet 6 RAVI DONEPUDI AND WANLIN LI

character, ray class character and Galois character respectively) are all identical. It is important for χ to be a primitive Dirichlet character for otherwise the resulting L-functions will be missing some Euler factors. However, we will need quantitative results connecting the degree of the conductor of the character χ and the genus of the smooth projective curve with function field kχ in the above construction. Hence we will make extensive use of explicit class field theory for k involving cyclotomic function fields. Definition 2.1. For positive integers n 2 and a prime power q = pe such that (n, p)= 1, ≥ an n-th order superelliptic curve over Fq is a smooth projective curve C whose function field k(C) has the form k[y]/ yn f (t) where f (t) is an n-th power free polynomial. h − i For the rest of this section, assume that n = ℓ is a prime such that q 1 (mod ℓ). This ≡ is equivalent to the field Fq containing all the ℓ-th roots of unity. Then every ℓ-th order superelliptic curve is a branched Galois covering of P1 with Galois group Z/ℓZ. Fq Conversely, given a Galois cover of P1 with Galois group Z/ℓZ, by Kummer theory, Fq ℓ the function field k(C) = K(√α) for some α Fq[t] an ℓ-th power free polynomial. Then C can be defined as the smooth projective∈ model of an affine, possibly singular curve given by equation: ℓ 2 ℓ 1 y = F1(x)F2 (x) ... Fℓ −1 (x) − where (F1,..., Fℓ 1) are pairwise coprime square-free polynomials of degree (d1,..., dℓ 1) respectively. Of− course, more than one such defining equation could correspond to the− ℓ 1 same (isomorphism class of a) superelliptic curve. From now on, we denote ∑i=−1 di by d. The genus of the curve C is given by (d 2)(ℓ 1) g = − − . 2 We now describe their relationship between primitive ℓ-th order Dirichlet characters 1 ℓ whose L-functions that vanish at s = 2 and -th order superelliptic curves whose zeta 1 functions vanish at s = 2 . Let ℓ(n) be the set of isomorphism classes of ℓ-th order superelliptic curves of • S (ℓ 1)(n 2) genus g − 2 − . ≤ 1 Let ℓ(n) be the subset of curves C in ℓ(n) for which Z(C, q 2 )= 0. • T S − Let ℓ(n) be the set of primitive ℓ-th order Dirichlet characters with conductor m • withA deg m n. ≤ 1 Let ℓ(n) be the subset of ℓ(n) consisting of χ for which L( , χ)= 0. • B A 2 Once ℓ is fixed, there do not exist curves C of genus g for arbitrary genus unless ℓ = 2. This latter case is dealt with in [7] and in this situation there is a bijection between models of hyperelliptic curves y2 = D and primitive quadratic non-principal Dirichlet characters. The following key lemma lets us transfer our attention from Dirichlet L-functions to Zeta functions of superelliptic curves:

Lemma 2.2. If q 1 (mod ℓ), then ℓ(n) ℓ(n) for all positive n. ≡ |B | ≥|T | Proof. We construct a surjective map ϕ : ℓ(n) ℓ(n) such that for each C ℓ(n), A → S ∈ T there is a χ ℓ(n) such that ϕ(χ)= C. ∈ B VANISHING OF DIRICHLET L-FUNCTIONS AT THE CENTRAL POINT OVERFUNCTIONFIELDS 7

For each non-constant polynomial m A, explicit class field theory for k describes a ∈ geometric Galois extension km/k with Gal(km/k) (A/mA)∗. The field km is called the cyclotomic function field associated to the polynomial≃ m. Given a primitive ℓ-th order Dirichlet character χ of conductor m, its kernel determines, via the isomorphism Gal(k /k) (A/mA) , a geometric Galois extension k /k with m ≃ ∗ χ Galois group Z/ℓZ. Since k contains all the ℓ-th roots of unity, by Kummer theory kχ = ℓ k(√D) for some ℓ-th power free polynomial D A, which is the function field of the ℓ ∈ (possibly singular) affine curve y = D, whose normalization is exactly the ℓ-th order superelliptic curve C we call φ(χ). Then by the Riemann-Hurwitz formula,

2g 2 = l(2g 1 2)+ deg(Disc(k(C)/k)) − P − and applying the conductor-discriminant formula for function ﬁelds, we ﬁnd that the genus of the curve and the degree of it’s conductor are related by

(ℓ 1)(n 2) g = − − 2

To show that ϕ is surjective, given a curve C in ℓ(g), the function field of C, k(C), is a geometric abelian extension of k that is unramifiedS or tamely ramified at infinity since all the ramification indices at the ramification points of the covering map C P1 divide ℓ. Again, by the conductor-discriminant formula for function fields, the conductor→ of 2g k(C) is a monic polynomial m of degree ℓ 1 + 2. As a consequence of explicit class field − theory for k, we have an inclusion k k(C) km, where km is the cyclotomic function field associated to the polynomial m.⊂ We may⊂ correspondingly identify a subgroup H ⊂ Gal(km/k) (A/mA)∗ and pick any character . If χ is not primitive for modulus m, we may find an≃ appropriate divisor of m for which it is. Given a prime P of k, it’s behavior in the extension km/k is determined entirely by it’s residue class modulo m (Theorem 12.10 of [10]). As a consequence, the character χ has the same L-function whether it is interpreted as a Dirichlet character on (A/mA)∗ or a Galois character on Gal(km/k). Since the zeta function Z(C, u) decomposes as a product 1 of L-functions of the Galois group Gal(km/k) and the zeta function of P , we find that 1/2 the condition Z(C, q− ) = 0 forces the Dirichlet L-function associated to one of the 1 characters χ ℓ(n) to vanish at s = 2 . Thus the map ϕ has the claimed property and the lemma follows.∈ A

As we are most interested in ﬁnding a lower bound on Bℓ(n) , we restrict our attention to study ℓ-th order superelliptic curves and speak no further| | of Dirichlet characters, thanks to Lemma 2.2. In the next section, we study models of ℓ-th order superelliptic curves C for which 1/2 Z(C, q− ) = 0. Since we are working with isomorphism classes of curves, we can use models for ℓ-order superelliptic curves that are not ramiﬁed at ∞. These models satisfy:

ℓ 1 − ∑ idi 0 mod ℓ. i=1 ≡ 8 RAVI DONEPUDI AND WANLIN LI

2.5. Counting Primitive Characters. We now count the number of primitive Dirichlet characters with conductor of ﬁxed degree, as well as primitive Dirichlet characters of a ﬁxed order. For this section, let ζq(s) denote the zeta function of Fq(t). Lemma 2.3. Denote the number of primitive Dirichlet characters χ whose conductor is a polynomial of degree d by (d). Then, A 1 d = 0 (d)= q2 2q d = 1 A  − q2d 2(q 1)2 d 2 − − ≥ Proof. For a monic polynomial f Fq[t], let Φ( f ) denote the number of characters of modulus f and let Q( f ) denote the∈ number of primitive characters with conductor f . Since abelian groups are isomorphic to their character groups, we have Φ( f )= (Fq[t]/ f )∗ . A consideration of the possible conductors of a character reveals that the functions| Φ( f ) | and Q( f ) are related by: Φ( f )= ∑ Q(g). g f ,monic | The above convolution leads to a relation among the corresponding Dirichlet series: Φ( f ) Q( f ) ∑ = ζq(s) ∑ f s f s f monic | | f monic | |

Here ζq(s) is the afﬁne zeta function of the ring Fq[t]. It differs from the zeta function F 1 s of q(t) by a single factor of 1 q s . Using the substitution u = q− , ζq(s) takes the form − − 1 ζq(s 1) 1 qu (1 qu)− . The left hand side is given by − , which is − 2 . We then reorganize the − ζq(s) 1 q u following expression by grouping together factors of the same− degree:

∞ Q( f ) d ∑ s = ∑  ∑ Q( f ) u f monic f d=0 f monic | |   deg( f )=d    The parenthetical expression is the number of primitive characters with conductor of degree d, denoted (d), It satisﬁes A ∞ 2 ∞ ζq(s 1) (1 qu) ∑ (d)ud = − = − = (1 2uq + q2) ∑ (q2u)d A (ζ (s))2 (1 q2u) − d=0 q − d=0 Comparing the coefﬁcients of ud, we obtain the stated formula.

Since we study L-functions attached to characters of a ﬁxed order, we now count the number of characters of order ℓ whose conductor has prescribed degree d.

Lemma 2.4. Fix odd primes p, ℓ and q = pn such that q 1 (mod ℓ). Let ℓ(d) denote the number of Dirichlet characters of order ℓ whose conductor≡ has degree d. ThenA there exists a ℓ positive constant c ℓ such that ℓ(d) c ℓqdd 2. q, A ∼ q, − VANISHING OF DIRICHLET L-FUNCTIONS AT THE CENTRAL POINT OVERFUNCTIONFIELDS 9

Proof. For this proof, denote A = F [t]. For a monic element f A, the characters of q ∈ modulus f of order ℓ along with the trivial character are given by Hom((A/ fA)∗, Z/ℓZ). r ei We can decompose f into a product of primes ∏i=1 Pi , where r = ω( f ), the number of distinct monic prime factors of f . For any prime P A, the group (A/Pe A) is given as ∈ ∗ an extension of the cyclic group (A/P)∗ by a p-group G: e 1 G (A/P A)∗ (A/P)∗ 1 → → → → e As there are no non-trivial maps from G to Z/ℓZ, every map in Hom((A/P A)∗, Z/ℓZ) factors through (A/P)∗. We conclude that every primitive character of order ℓ has square- free conductor and also that r r Hom((A/ fA)∗, Z/ℓZ) = ∏ Hom(A/PA, Z/ℓZ) = ℓ | | i=1 | | r ℓ r Thus, for a square-free polynomial f = ∏i=1 Pi, there are ( 1) primitive characters with conductor f . In particular, if ℓ = 2, this recovers the fact− that for every square-free polynomial f , there is a unique quadratic character with conductor f . It follows that the generating series ℓ(u) for the number of primitive characters of order ℓ is given by G ∞ d deg P ℓ(u)= ∑ ℓ(d)u = ∏(1 + (ℓ 1)u ), G d=0 A P − where ℓ(d) is the number of primitive order ℓ characters with conductor of degree d. A deg P 1 < 1 Let ζq(u) = ∏P(1 u )− be the zeta function of Fq(t). It converges when u q − 1 | | and is analytically continued to the entire complex plane by the function 1 qu with a 1 − single simple pole at u = q . Since ℓ 1 deg P (ℓ 1) deg P 2deg P ζq(u) − = ∏(1 u )− − = ∏(1 + (ℓ 1)u + O(u )), P − P − 1 it follows that ℓ(u) can be analytically continued to u with only a single pole of G | | ≤ q order ℓ 1 at u = 1 . By a standard Tauberian theorem, e.g. Theorem 17.4 of [10], we − q conclude that there is a positive constant cq,ℓ such that d ℓ 2 ℓ(d) c ℓq d − . A ∼ q,

3. MAPS BETWEEN ℓ-TH ORDER SUPERELLIPTIC CURVES s s Lemma 3.1. Let C0 be a curve over Fq with zeta function Z(C0, q− ). If Z(C0, q− 0 ) = 0 for some s0 C, then the zeta function of any curve C deﬁned over Fq admitting a dominant map to ∈ s C0 also satisﬁes Z(C, q− 0 )= 0.

Proof. The dominant map from C to C0 induces an isogeny from the Jacobian J(C0) to an isogenous factor of J(C). So the eigenvalues of the Frobenius action on the ℓ-adic Tate module of J(C0) also appear as Frobenius eigenvalues of Tℓ J(C). As the roots of the zeta function of a curve exactly correspond to these Frobenius eigenvalues, the result follows. 10 RAVI DONEPUDI AND WANLIN LI

Lemma 3.1 allows us to construct infinitely many curves whose zeta function admits some value as a root from the existence of one such curve. Thus, if we could show the existence of one ℓ-th order superelliptic curve C0 admitting a specific Frobenius eigen- 1 value (namely q 2 , but the specific eigenvalue is not important here), then to give a lower bound on the number of all ℓ-th order superelliptic curves admitting that specific Frobe- nius eigenvalue, it is enough for us to provide a lower bound on the number of ℓ-th order superelliptic curves with genus less or equal to g which admit a dominant map to C0. To do this, we give an explicit construction of such a dominant map.

Lemma 3.2. Let C0 be the smooth projective model of the curve given by affine equation ℓ 2 ℓ 1 y = f1 f2 ... fℓ −1 − where each f F [x] is square-free. If C is the smooth projective model of the curve defined by i ∈ q ℓ 2 ℓ 1 y = f1(h(x)) f2 (h(x)) ... fℓ −1 (h(x)) − for a non-constant rational function h(x) F (x), there exists a dominant map from C to C . ∈ q 0 Proof. A dominant map ψ : C C is given by (x, y) (h(x), y). → 0 7→ Fix an ℓ-th order superelliptic curve C0 of genus g0 with a defining equation ℓ 2 ℓ 1 y = f1(x) f2 (x) ... fℓ −1 (x). − and consider the set G(C0, g) of models of ℓ-th order superelliptic curves C with g(C) g and admitting a dominant map φ : C C . ≤ → 0 To give a lower bound for the size of G(C0, g), using Lemma 3.2 it suffices to count the number of curves of bounded genus, admitting a defining equation of the form ℓ 2 ℓ 1 y = f1(h) f2 (h) ... fℓ −1 (h) − where h(x)= p(x)/q(x) for some p(x), q(x) F [x]. ∈ q Define deg h = max deg p,deg q . { } If deg h (g + ℓ 1)/(g + ℓ 1), ≤ − 0 − then it is guaranteed that the genus of C is bounded by g. Define F1, F2,..., Fℓ 1 to be the homogenized polynomials for f1, f2,..., fℓ 1, i.e. − − deg fi Fi(p, q)= q fi(p/q) and ℓ 1 − F = ∏ Fi. i=1 2g Definition 3.3. Let n = ℓ 1 + 2. Define set − ℓ 1 P(n)= (D1,..., Dℓ 1) (Fq[t]) − : { − ∈ D1,..., Dℓ 1 are pairwise coprime, monic, square-free, deg(D1 Dℓ 1) n . − ··· − ≤ } VANISHING OF DIRICHLET L-FUNCTIONS AT THE CENTRAL POINT OVER FUNCTION FIELDS 11

To give a lower bound on G(C0, g) , it suffices to count the number of tuples | | 2 (D1,..., Dℓ 1) P(n) such that there exists (p, q) (Fq[t]) where − ∈ ∈ (3.1) D1 = F1(p, q), D2 = F2(p, q),..., Dℓ 1 = Fℓ 1(p, q). − − We will do this in two steps. First, we obtain a lower bound on the number of pairs (p, q) (F [t])2 with ∈ q max deg p,deg q (g + ℓ 1)/(g + ℓ 1) { }≤ − 0 − where the product F(p, q) = F1(p, q)F2(p, q) ... Fℓ 1(p, q) is square-free. − Next, for a fixed tuple (D1, D2,..., Dℓ 1) P(n), we give an upper bound on the 2 − ∈ number of pairs (p, q) (Fq[t]) such that Equations 3.1 are satisfied. For the first step, we∈ need the following result.

Proposition 3.4. [9, Theorem 8.1] Let P be a finite set of primesin Fq[t], B be the localization of F [t] by inverting the primes in P, K = F (t), f B[x ,..., x ] be a polynomial that is square- q q ∈ 1 m free as an element of K[x ,..., x ] and for a choice of x F [t]m, we say that f (x) is square-free 1 m ∈ q in B if the ideal ( f (x)) is a product of distinct primes in B. For b B, define b = B/(b) and for b = (b ,..., b ) Bn, define b = max b . Let ∈ | | | | 1 n ∈ | | | i| S := x F [t]m : f (x) is square-free in B , f { ∈ q } b S f : b < N µS := lim |{ ∈ | | }|. f N ∞ Nm → For each nonzero prime π of B, let c be the number of x (A/π2)m that satisfy f (x) = 0 in π ∈ A/π2. The limit µ exists and is equal to ∏ (1 c / π 2m). S f π − π | | Proof. This proposition directly follows from Theorem 8.1 of [9] by setting the “box” to be x ,..., x F [t] : x < N . { 1 m ∈ q | i| } > Remark 3.5. For our purpose, we will take f = F(p, q) and it is crucial to have µS f 0. In order to ensure this, it suffices to check that none of the factors (1 c / π 2m) is zero. We − π | | take m = 2 for our case. If for some prime π in F (t),1 c / π 4 = 0, then this means q − π | | F(u, v) 0 mod π2 ≡ for all (u, v) (F [t])2. Thus F(u, v) 0 mod π for all (u, v) (F [t]/π)2. Since the ∈ q ≡ ∈ q coefficients of F(u, v) are units in Fq[t], it must be the case that (F mod π) is not the zero polynomial. 2 This implies (F mod π) can at most have d Fq[t]/π solutions in (Fq[t]/π) where d = deg F. So | | d F [t]/π F [t]/π 2 | q |≥| q | which is equivalent to π d. Thus, we choose P |be|≤ the set of primes π of F (t) such that π d. Let B be the f q | | ≤ localization of F [t] by inverting all the primes in P . This implies 1 c / p 4 = 0 for any q f − p | | 6 prime p in B, and thus neither is the infinite product µS f .

Theorem 3.6. Let ℓ be an odd prime number coprime to q. Let C0 be an ℓ-th order superel- F ℓ 2 ℓ 1 liptic curve of genus g deﬁned over q with afﬁne equation y = f1(x) f2 (x) ... fℓ −1 where − the fi are pairwise coprime, squarefree polynomials of degree di each. Pick a model such that 12 RAVI DONEPUDI AND WANLIN LI

ℓ 1 ℓ 2 ℓ 1 ∑i=−1 idi 0 mod and assume f1(x) f2 (x) ... fℓ −1 is not a power of an irreducible polyno- ≡ − mial. Then for any ǫ > 0, there exist positive constants Bǫ and Nǫ such that the number of ℓ tuples of polynomials (D1,..., Dℓ 1) P(n) satisfying the condition that curve C : y = 2 ℓ 1 − ∈ 2n ǫ D1(t)D2(t) ... Dℓ 1(t) − admits a dominant map to C0 is at least Bǫ q d − for n > Nǫ where − · d = d1 + ... + dℓ 1. − Proof. Consider curves C satisfying the condition in Lemma 3.2. As was discussed earlier in this section, to give a lower bound on the number of such curves, it sufﬁces to give a lower bound on the number of tuples (D1(t), D2(t),..., Dℓ 1(t)) P(n) such that there − ∈ exists (u(t), v(t)) (F [t])2 and ∈ q

(3.2) D1(t)= F1(u(t), v(t)), D2 (t)= F2(u(t), v(t)),..., Dℓ 1(t)= Fℓ 1(u(t), v(t)). − − n 2 Denote by N = q . By Proposition 3.4, for (u, v) (Fq[t]) with deg u,deg v n/d, 2/d ∈ { } ≤ there are µS N such pairs that satisfy the condition that F1F2...Fℓ 1 ≫ −

F1(u(t), v(t))F2 (u(t), v(t)) ... Fℓ 1(u(t), v(t)) − is a squarefree element in Fq[t] and µS > 0 by taking B as defined in Remark 3.5. F1F2...Fℓ 1 − To conclude, for each fixed tuple (D1,..., Dℓ 1) P(n), we need an upper bound on the number of pairs (u(t), v(t)) such that Equations− ∈ 3.2 hold to correct doublecount. First, we consider the case where there exist integers i, j with 1 i < j ℓ 1 such ≤ ≤ − that Fi, Fj are both non-constant. Without loss of generality, we assume i = 1 and j = 2. Thus, it suffices to bound the number of (u, v) such that Di = Fi(u, v) for i = 1,2. Geometrically, this can be viewed as the intersection locus of two affine curves in A2 . Fq(t) As F1, F2 are coprime, this intersection is 0 dimensional. By Bezout’s theorem, there are at most deg F1 deg F2 sets of solutions for the pair of equations. Now the case left is when there is only one nonzero Fi. Again, we assume i = 1. Then by our assumption F1 is reducible and take a factorization as F1 = F1,1F1,2. Then for a fixed D with deg D = n, it has Nǫ factors where N = qn. Then for each unit 1 1 ≪ a and a factorization D1 = D1,1D1,2, we want to bound the number of (u, v) such that 1 aD1,1 = F1,1(u, v) and a− D1,2 = F1,2(u, v). Again, by Bezout’s theorem, there are at most deg D1,1D1,2 sets of solutions. In any case, for a fixed tuple (D1,..., Dℓ 1) P(n), the number of pairs (u, v) such − ∈ that Equations 3.2 hold is bounded above by qn2 Nǫ which concludes the proof.

Remark 3.7. There is a distinction to be made between the collection of models of ℓ-th order superelliptic curves and the collection of isomorphism classes of ℓ-th order superelliptic curves. However, each such isomorphism class can contain at most ℓ(ℓ 1) PGL2(Fq) models. See [11], Section 2.2 for details. Thus these two sets differ only by− a| multiplica-| tive factor depending only on ℓ and q which are ﬁxed at the start. Since we are content to compute the order of magnitude of a lower bound on the number of curves whose zeta 1 function vanishes at s = 2 , counting curves versus counting models does not affect our answer. So the statement of Theorem 3.6 is equivalent to its description in the introduction. VANISHING OF DIRICHLET L-FUNCTIONS AT THE CENTRAL POINT OVER FUNCTION FIELDS 13

4. THEOREM ON CURVES We finally apply the general results of section 3 to studying the vanishing of zeta func- 1 tions of curves at s = 2 . We recall the notations used in the introduction ℓ(n) := Primitive Dirichlet characters χ of order ℓ with deg f n , A { f ≤ } ℓ(n)= χ ℓ(n) such that L(1/2, χ) = 0 . B { ∈A } Theorem 4.1. Let F be a finite field of odd characteristic p where p 2 mod 3, q = pe, q ≡ and e 0 mod 4. Then for any ǫ > 0, there exist positive constants Cǫ and Nǫ, such that ≡ 2n ǫ (n) C q 3 for any n > N . The constants C and N also depend on q. |B3 | ≥ ǫ · − ǫ ǫ ǫ 2 3 Proof. Let E be the elliptic curve over Fp given by Weierstrass equation y = x + 1. Since p 2 mod 3, E is supersingular with Frobenius eigenvalues i√p and i√p. Thus, ≡ − consider E F Fq, it has Frobenius eigenvalue √q with multiplicity 2. × p Note that E admits a degree 3 cyclic cover of P1 by (x, y) y. Explicitly, by a change of 7→ variable, E has defining equation y3 = x3 x and is therefore an ℓ-th order superelliptic curve with ℓ = 3. − Combining Lemma 3.1 and Theorem 3.6 by taking C0 to be E, we obtain that there are 2n ǫ Cǫq 3 − models of superelliptic curves. By Lemma 2.2, this is also a lower bound on ≫ (n) . |B3 | More generally, for an arbitrary odd primes ℓ, we have the following result for cyclic ℓ covers over Fpd for some finite fields of odd characteristic: Theorem 4.2. Let ℓ > 2 be a prime and p 1 mod ℓ a prime number. Then, there exists an > ℓ ≡ − integer d 0 (depending on and p) such that when we consider curves over the field Fqd, there 2n ǫ exists a positive constant N such that ℓ(n) B q 3 whenever n N. |B | ≥ · − ≥ ℓ ℓ 2 Proof. By remark 3.4 of [8], curve C0 given by affine equation y = x(x 1)(x 2) − 1 − − over Fp is supersingular and is a cyclic ℓ-cover of P after base change to a field Fq where q 1 mod ℓ. Since the Frobenius eigenvalues of C considered as a curve over F are all ≡ 0 p of the form √pζ where ζ is a root of unity, after a base change to a finite extension Fpd , d l C F d acquires p as an eigenvalue. By construction, it has the form y = f (x) where × p ℓ 2 f = x(x 1)(x q2) − is not a power of an irreducible polynomial. Applying Theorem 3.6 combined− with− lemma 2.2, our result follows.

REFERENCES 1. S. Baluyot and K. Pratt, Dirichlet L-functions of quadratic characters of prime conductor at the central point, (2018), arXiv preprint. 2. H. M. Bui and A. Florea, Zeros of quadratic Dirichlet L-functions in the hyperelliptic ensemble, Trans. Amer. Math. Soc. 370 (2018), no. 11, 8013–8045. MR 3852456 3. Sarvadaman Chowla, The Riemann hypothesis and Hilbert’s tenth problem, Mathematics and Its Applica- tions, Vol. 4, Gordon and Breach Science Publishers, New York-London-Paris, 1965. 4. Chantal David, Alexandra Florea, and Matilde Lalin, The mean values of cubic L-functions over function fields, arXiv e-prints (2019), arXiv:1901.00817. 5. , Non-vanishing for cubic L-functions, arXiv e-prints (2020), arXiv:2006.15661. 6. Jordan S. Ellenberg, Wanlin Li, and Mark Shusterman, Nonvanishing of hyperelliptic zeta functions over finite fields, (2019), arXiv:1901.08202. 14 RAVI DONEPUDI AND WANLIN LI

7. Wanlin Li, Vanishing of hyperelliptic L-functions at the central point, J. Number Theory 191 (2018), 85–103. MR 3825462 8. Wanlin Li, Elena Mantovan, Rachel Pries, and Yunqing Tang, Newton polygons of cyclic covers of the projective line branched at three points, (2018), arXiv:1805.04598. 9. Bjorn Poonen, Squarefree values of multivariable polynomials, Duke Math. J. 118 (2003), no. 2, 353–373. MR 1980998 10. Michael Rosen, Number theory in function fields, Graduate Texts in Mathematics, vol. 210, Springer- Verlag, New York, 2002. MR 1876657 11. Soumya Sankar, Proportion of ordinarity in some families of curves over finite fields, arXiv e-prints (2019), arXiv:1904.12173. 1 12. K. Soundararajan, Nonvanishing of quadratic Dirichlet L-functions at s = 2 , Ann. of Math. (2) 152 (2000), no. 2, 447–488. MR 1804529 13. AndréWeil, Numbers of solutions of equations in finite fields, Bull. Amer. Math. Soc. 55 (1949), 497–508. MR 29393

DEPARTMENT OF MATHEMATICS,UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN,URBANA, IL 61801, USA Email address: [email protected]

DEPARTMENT OF MATHEMATICS,MASSACHUSETTS INSTITUTE OF TECHNOLOGY, CAMBRIDGE,MA 02139, USA Email address: [email protected]