VANISHING OF DIRICHLET L-FUNCTIONS AT THE CENTRAL POINT OVER FUNCTION FIELDS RAVI DONEPUDI AND WANLIN LI ABSTRACT. We give a geometric criterion for Dirichlet L-functions associated to cyclic characters over the rational function field Fq(t) to vanish at the central point s = 1/2. The idea is based on the observation that vanishing at the central point can be interpreted as the existence of a map from the projective curve associated to the character to some abelian variety over Fq. Using this geometric criterion, we obtain a lower bound on the number of cubic characters over Fq(t) whose L-functions vanish at the central point where q = p4n for any rational prime p 2 mod 3. We also use recent results about the exis- tence of supersingular superelliptic≡ curves to deduce consequences for the L-functions of Dirichlet characters of other orders. 1. INTRODUCTION Let L(s, χ) be the L-function attached to a Dirichlet character χ. The behavior of these L-functions in the critical strip s C 0 < (s) < 1 , specifically the locations of the zeroes of L(s, χ), has been a subject{ ∈ of| intenseℜ study} in number theory. In particular, under the Generalized Riemann Hypothesis (GRH), it is expected that the only points in 1 the critical strip where L(s, χ) vanishes are on the vertical line (s)= 2 . In a different direction, a conjecture of Chowla [3] predictsℜ that the L function L(s, χ) associated to a quadratic character χ does not vanish for any real s (0,1), and in par- 1 ∈ ticular L( 2 , χ) = 0 for any χ. More generally, it is expected that no Dirichlet L-function 6 1 of any order vanishes at s = 2 . In this classical setting, no counterexamples to Chowla’s conjecture have been found. Results of Soundararajan [12] and Baluyot-Pratt [1] establish lower bounds on the number of Dirichlet characters (ordered by conductor) that do not 1 vanish at s = 2 . This supports the above expectation. In this article, we study the analog of this conjecture over function fields in positive characteristic. arXiv:2012.15319v1 [math.NT] 30 Dec 2020 The arithmetic of rational functions in one variable over a finite field bears many sim- ilarities to the theory of number fields as they are both instances of the general theory of global fields. So analogs of virtually every phenomenon of the latter setting to the former have been investigated. Specifically, the above questions regarding vanishing of L-functions can be asked with replacing Q by Fq(t), the field of rational functions over the finite field Fq. While GRH is still open in the classical case of Dirichlet L-functions, it (and much more) is proven in the case of L-functions attached to characters over function fields as part of the Weil conjectures, which are now theorems. Over function fields in positive characteristic, L-functions attached to quadratic Dirich- let characters are exactly the L-functions attached to hyperelliptic curves. In [2] by Bui– Florea, the authors investigate the analog of Chowla’s conjecture over function fields and prove that over a finite field of odd cardinality, the proportion of hyperelliptic L-functions 1 that vanish at s = 2 is at most 0.057. In [7], the second author showed that the analog 1 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 geomet- ric 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 num- ber 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 relation- ship between Dirichlet L-functions over function fields 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 sufficiently 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∗.