TY - JOUR

T1 - Higher-rank zeta functions for elliptic curves

AU - Weng, Lin

AU - Zagier, Don

N1 - Funding Information:
ACKNOWLEDGMENTS. L.W. thanks the Japan Society for the Promotion of Science, which partially supported this work. We also thank the Max Planck Institute for Mathematics and Kyushu University for providing excellent research environments.
Publisher Copyright:
© 2020 National Academy of Sciences. All rights reserved.

PY - 2020/3/3

Y1 - 2020/3/3

N2 - In earlier work by L.W., a nonabelian zeta function was defined for any smooth curve X over a finite field Fq and any integer n ≥ 1 by ζX/Fq,n(s) = X |H0(X, V)r{0}| q−deg(V)s ((s) > 1), |Aut(V)| [V] where the sum is over isomorphism classes of Fq-rational semistable vector bundles V of rank n on X with degree divisible by n. This function, which agrees with the usual Artin zeta function of X/Fq if n = 1, is a rational function of q−s with denominator (1 − q−ns)(1 − qn−ns) and conjecturally satisfies the Riemann hypothesis. In this paper we study the case of genus 1 curves in detail. We show that in that case the Dirichlet series 1 X/Fq(s) = X [V] |Aut(V)| q−rank(V)s ((s) > 0), where the sum is now over isomorphism classes of Fq-rational semistable vector bundles V of degree 0 on X, is equal to Q∞ k=1 ζX/Fq(s + k), and use this fact to prove the Riemann hypothesis for ζX ,n(s) for all n.

AB - In earlier work by L.W., a nonabelian zeta function was defined for any smooth curve X over a finite field Fq and any integer n ≥ 1 by ζX/Fq,n(s) = X |H0(X, V)r{0}| q−deg(V)s ((s) > 1), |Aut(V)| [V] where the sum is over isomorphism classes of Fq-rational semistable vector bundles V of rank n on X with degree divisible by n. This function, which agrees with the usual Artin zeta function of X/Fq if n = 1, is a rational function of q−s with denominator (1 − q−ns)(1 − qn−ns) and conjecturally satisfies the Riemann hypothesis. In this paper we study the case of genus 1 curves in detail. We show that in that case the Dirichlet series 1 X/Fq(s) = X [V] |Aut(V)| q−rank(V)s ((s) > 0), where the sum is now over isomorphism classes of Fq-rational semistable vector bundles V of degree 0 on X, is equal to Q∞ k=1 ζX/Fq(s + k), and use this fact to prove the Riemann hypothesis for ζX ,n(s) for all n.

UR - http://www.scopus.com/inward/record.url?scp=85081140528&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85081140528&partnerID=8YFLogxK

U2 - 10.1073/pnas.1912023117

DO - 10.1073/pnas.1912023117

M3 - Article

C2 - 32071252

AN - SCOPUS:85081140528

VL - 117

SP - 4546

EP - 4558

JO - Proceedings of the National Academy of Sciences of the United States of America

JF - Proceedings of the National Academy of Sciences of the United States of America

SN - 0027-8424

IS - 9

ER -