Values of zeta functions of arithmetic surfaces at $s=1$

S. Lichtenbaum,N. Ramachandran

DOI: https://doi.org/10.48550/arXiv.2101.06530

2021-01-16

Algebraic Geometry

Abstract:We show that the recent conjecture of the first-named author for the special value at $s=1$ of the zeta function of an arithmetic surface is equivalent to the Birch-Swinnerton-Dyer conjecture for the Jacobian of the generic fibre.

What problem does this paper attempt to address?

SPECIAL VALUES OF THE ZETA FUNCTION OF AN ARITHMETIC SURFACE

Matthias Flach,Daniel Siebel

DOI: https://doi.org/10.1017/s1474748021000104

2021-03-15

Journal of the Institute of Mathematics of Jussieu

Abstract:Abstract We prove that the special-value conjecture for the zeta function of a proper, regular, flat arithmetic surface formulated in [6] at $s=1$ is equivalent to the Birch and Swinnerton-Dyer conjecture for the Jacobian of the generic fibre. There are two key results in the proof. The first is the triviality of the correction factor of [6, Conjecture 5.12], which we show for arbitrary regular proper arithmetic schemes. In the proof we need to develop some results for the eh-topology on schemes over finite fields which might be of independent interest. The second result is a different proof of a formula due to Geisser, relating the cardinalities of the Brauer and the Tate–Shafarevich group, which applies to arbitrary rather than only totally imaginary base fields.

mathematics
Zeta functions of regular arithmetic schemes at s=0

Baptiste Morin

DOI: https://doi.org/10.1215/00127094-2681387

2013-10-21

Abstract:Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over $\mathrm{Spec}(\mathbb{Z})$. In particular, we obtain (unconditionally) the right Weil-étale cohomology for geometrically cellular schemes over number rings. We state a conjecture expressing the vanishing order and the special value up to sign of the Zeta function $\zeta(\mathcal{X},s)$ at $s=0$ in terms of a perfect complex of abelian groups $R\Gamma_{W,c}(\mathcal{X},\mathbb{Z})$. Then we relate this conjecture to Soulé's conjecture and to the Tamagawa number conjecture of Bloch-Kato, and deduce its validity in simple cases.

Number Theory,Algebraic Geometry
Weil-étale cohomology and zeta-values of arithmetic schemes at negative integers

Alexey Beshenov

DOI: https://doi.org/10.48550/arXiv.2102.12114

2021-11-26

Abstract:Following the ideas of Flach and Morin (Doc. Math. 23 (2018), 1425--1560), we state a conjecture in terms of Weil-étale cohomology for the vanishing order and special value of the zeta function $\zeta (X, s)$ at $s = n < 0$, where $X$ is a separated scheme of finite type over $\operatorname{Spec} \mathbb{Z}$. We prove that the conjecture is compatible with closed-open decompositions of schemes and with affine bundles, and consequently, that it holds for cellular schemes over certain one-dimensional bases. This is a continuation of <a class="link-https" data-arxiv-id="2012.11034" href="https://arxiv.org/abs/2012.11034">arXiv:2012.11034</a>, which gives a construction of Weil-étale cohomology for $n < 0$ under the mentioned assumptions on $X$.

Algebraic Geometry,Number Theory
Motivic complexes and special values of zeta functions

James Milne,Niranjan Ramachandran

DOI: https://doi.org/10.48550/arXiv.1311.3166

2013-11-13

Abstract:Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other invariants of the variety. In this article, we present the ultimate such conjecture, and provide evidence for it. In particular, we enhance Voevodsky's Z[1/p]-category of etale motivic complexes with a p-integral structure, and show that, for this category, our conjecture follows from the Tate and Beilinson conjectures. As the conjecture is stated in terms of motivic complexes, it (potentially) applies also to algebraic stacks, log varieties, simplicial varieties, etc..

Algebraic Geometry,Number Theory
Zeros of the Selberg zeta function for symmetric infinite area hyperbolic surfaces

Mark Pollicott,Polina Vytnova

DOI: https://doi.org/10.1007/s10711-018-0386-6

2022-04-18

Abstract:In the present paper we give a simple mathematical foundation for describing the zeros of the Selberg zeta functions $Z_X$ for certain very symmetric infinite area surfaces $X$. For definiteness, we consider the case of three funneled surfaces. We show that the zeta function is a complex almost periodic function which can be approximated by complex trigonometric polynomials on large domains (in Theorem 4.2). As our main application, we provide an explanation of the striking empirical results of Borthwick (<a class="link-https" data-arxiv-id="1305.4850" href="https://arxiv.org/abs/1305.4850">arXiv:1305.4850</a>) (in Theorem 1.5) in terms of convergence of the affinely scaled zero sets to standard curves $\mathcal C$.

Dynamical Systems,Spectral Theory
A Nygaard Approach to Values of Zeta Functions of Schemes over Finite Fields

Logan Hyslop

2024-10-02

Abstract:In this note, we discuss a streamlined proof of a result due to Milne computing special values of zeta functions for smooth proper schemes over a finite field $\mathbb{F}_q$. The proof will give a natural interpretation of the correction factor in terms of invariants constructed from prismatic cohomology, studied by Morin. We then discuss the modifications needed when passing from the smooth case to an arbitrary scheme $X$ of finite type over $\mathbb{F}_q$, at least assuming a strong form of resolution of singularities.

Algebraic Geometry,K-Theory and Homology,Number Theory
Values of zeta functions at negative integers, Dedekind sums and toric geometry

Stavros Garoufalidis,James Pommersheim

DOI: https://doi.org/10.48550/arXiv.alg-geom/9705021

1998-09-22

Abstract:This is an expanded version. We study relations among special values of zeta functions, invariants of toric varieties, and generalized Dedekind sums. In particular, we use invariants arising in the Todd class of a toric variety to give a new explicit formula for the values of the zeta function of a real quadratic field at nonpositive integers. We also express these invariants in terms of the generalized Dedekind sums studied previously by several authors. The paper includes conceptual proofs of the above mentioned relations and explicit computations of the various zeta values and Dedekind sums involved.

Algebraic Geometry,Quantum Algebra
On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

David Loeffler,Sarah Livia Zerbes

DOI: https://doi.org/10.48550/arXiv.2110.13102

2023-07-13

Abstract:Let $A$ be a modular abelian surface over $Q$ which either has trivial geometric endomorphism ring, or arises as the restriction of scalars of an elliptic curve over an imaginary quadratic field which is modular and is not a $Q$-curve. In the former case, assume that there exists an odd Dirichlet character $\chi$ such that $L(A,\chi,1)\neq 0$. We prove the following implication: if $L(A, 1) \ne 0$, and the $p$-adic eigenvariety for $GSp_4$ is smooth at the point corresponding to $A$ (and some auxiliary technical hypotheses hold), then $A(Q)$ is finite, as predicted by the Birch--Swinnerton-Dyer conjecture, and the $p$-part of the Tate--Shafarevich group is also finite. We also prove one inclusion of the cyclotomic Iwasawa Main Conjecture for $A$. Moreover, we also prove analogous results for cohomological automorphic representations of $GSp_4$, removing many of the restrictive hypotheses in our earlier work [<a class="link-https" data-arxiv-id="2003.05960" href="https://arxiv.org/abs/2003.05960">2003.05960</a>]; for cohomological representations we do not need to assume smoothness of the eigenvariety, since it is automatic in this case. The main ingredient in the proof is the Euler system attached to the spin representations of genus $2$ Siegel modular forms constructed in our earlier work with Skinner.

Number Theory
Zeros of the Goss zeta function

Joe Kramer-Miller,James Upton

2023-12-03

Abstract:Let $X$ be a smooth proper curve over a finite field and let $\infty \in X$ be a closed point. Let $A$ be the ring of functions on $X - \infty$. The Goss zeta function $\zeta_A$ of $A$ is an equicharacteristic analogue of the Riemann zeta function. In this article we study the zeros of $\zeta_A$ under the generic condition that $X$ is ordinary. We prove an analogue of the Riemann hypothesis, which verifies a corrected version of a conjecture of Goss. We also show that the zeros of $\zeta_A$ at negative even integers are `simple' and that $\zeta_A$ is nonzero at negative odd integers. This answers questions posed by Goss and Thakur. Both of these results were previously only known under the restrictive hypothesis that $A$ has class number one. Finally, we prove versions of these results for $v$-adic interpolations of the Goss zeta function.

Number Theory
Zeta elements for elliptic curves and applications

Ashay Burungale,Christopher Skinner,Ye Tian,Xin Wan

2024-09-12

Abstract:Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with conductor $N$ and $p\nmid 2N$ a prime. Let $L$ be an imaginary quadratic field with $p$ split. We prove the existence of $p$-adic zeta element for $E$ over $L$, encoding two different $p$-adic $L$-functions associated to $E$ over $L$ via explicit reciprocity laws at the primes above $p$. We formulate a main conjecture for $E$ over $L$ in terms of the zeta element, mediating different main conjectures in which the $p$-adic $L$-functions appear, and prove some results toward them. The zeta element has various applications to the arithmetic of elliptic curves. This includes a proof of main conjecture for semistable elliptic curves $E$ over $\mathbb{Q}$ at supersingular primes $p$, as conjectured by Kobayashi in 2002. It leads to the $p$-part of the conjectural Birch and Swinnerton-Dyer (BSD) formula for such curves of analytic rank zero or one, and enables us to present the first infinite families of non-CM elliptic curves for which the BSD conjecture is true. We provide further evidence towards the BSD conjecture: new cases of $p$-converse to the Gross--Zagier and Kolyvagin theorem, and $p$-part of the BSD formula for ordinary primes $p$. Along the way, we give a proof of a conjecture of Perrin-Riou connecting Beilinson--Kato elements with rational points.

Number Theory
On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Emmanuel Lecouturier,Jun Wang

2023-10-07

Abstract:Let $N$ and $p$ be primes $\geq 5$ such that $p \mid \mid N-1$. In this situation, Mazur defined and studied the $p$-Eisenstein quotient $\tilde{J}^{(p)}$ of $J_0(N)$. We prove a kind of modulo $p$ version of the Birch and Swinnerton-Dyer conjecture for the ``$p$-Eisenstein part'' of even quadratic twists of $\tilde{J}^{(p)}$. Our result is the analogue for even quadratic twists of a result of Mazur concerning odd quadratic twists.

Number Theory
Limit heights and special values of the Riemann zeta function

Roberto Gualdi,Martín Sombra

2023-04-05

Abstract:We study the distribution of the height of the intersection between the projective line defined by the linear polynomial $x_{0}+x_{1}+x_{2}$ and its translate by a torsion point. We show that for a strict sequence of torsion points, the corresponding heights converge to a real number that is a rational multiple of a quotient of special values of the Riemann zeta function. We also determine the range of these heights, characterize the extremal cases, and study their limit for sequences of torsion points that are strict in proper algebraic subgroups. In addition, we interpret our main result from the viewpoint of Arakelov geometry, showing that for a strict sequence of torsion points the limit of the corresponding heights coincides with an Arakelov height of the cycle of the projective plane over the integers defined by the same linear polynomial. This is a particular case of a conjectural asymptotic version of the arithmetic Bézout theorem. Using the interplay between arithmetic and convex objects from the Arakelov geometry of toric varieties, we show that this Arakelov height can be expressed as the mean of a piecewise linear function on the amoeba of the projective line, which in turn can be computed as the aforementioned real number.

Number Theory,Algebraic Geometry
Zeta functions of orders on surfaces

Daniel Chan,Sean B. Lynch

2024-10-22

Abstract:In this manuscript, we give effective methods for computing the zeta function of maximal orders on surfaces.

Number Theory
The Generalized Riemann Hypothesis from zeros of the zeta function

William D. Banks

2023-09-08

Abstract:We show that the Generalized Riemann Hypothesis for all Dirichlet L-functions is a consequence of certain conjectural properties of the zeros of the Riemann zeta function. Conversely, we prove that the zeros of $\zeta(s)$ satisfy those properties under GRH.

Number Theory
Irrationality proofs for zeta values, moduli spaces and dinner parties

Francis Brown

DOI: https://doi.org/10.48550/arXiv.1412.6508

2014-12-20

Abstract:A simple geometric construction on the moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points is described which gives a common framework for many irrationality proofs for zeta values. This construction yields Apéry's approximations to $\zeta(2)$ and $\zeta(3)$, and for larger $n$, an infinite family of small linear forms in multiple zeta values with an interesting algebraic structure. It also contains a generalisation of the linear forms used by Ball and Rivoal to prove that infinitely many odd zeta values are irrational.

Number Theory
On the functional equation of twisted Ruelle zeta function and Fried's conjecture

Jay Jorgenson,Min Lee,Lejla Smajlovic

2024-02-05

Abstract:Let $M$ be a finite volume hyperbolic Riemann surface with arbitrary signature, and let $\chi$ be an arbitrary $m$-dimensional multiplier system of weight $k$. Let $R(s,\chi)$ be the associated Ruelle zeta function, and $\varphi(s,\chi)$ the determinant of the scattering matrix. We prove the functional equation that $R(s,\chi)\varphi(s,\chi) = R(-s,\chi)\varphi(s,\chi)H(s,\chi)$ where $H(s,\chi)$ is a meromorphic function of order one explicitly determined using the topological data of $M$ and of $\chi$, and the trigonometric function $\sin(s)$. From this, we determine the order of the divisor of $R(s,\chi)$ at $s=0$ and compute the lead coefficient in its Laurent expansion at $s=0$. When combined with results by Kitano and by Yamaguchi, we prove further instances of the Fried conjecture, which states that the R-torsion of the above data is simply expressed in terms of $R(0,\chi)$.

Number Theory,Geometric Topology
Values and derivative values at nonpositive integers of generalized multiple Hurwitz zeta functions, applications to Witten zeta functions

Simon Rutard

2024-05-13

Abstract:We aim to provide explicit formulas for values and derivative values along a direction of some generalized Hurwitz multizeta functions at nonpositive integers. We will express these values in terms of Bernoulli polynomials, and the derivative values in terms of Bernoulli polynomials, of derivative values at nonpositive integers of the Hurwitz zeta function, and of derivative values at nonpositive integers of some generalized Barnes zeta functions. Then we will apply these formulas in order to compute the values and the derivative values at $s=0$ of the Witten zeta functions $\zeta_{\mathfrak{g}_2}$ and $\zeta_{\mathfrak{so}(5)}$. As an application, we will find an explicit asymptotic formula for the number of representations of dimension $n$ of the exceptional Lie algebra $\mathfrak{g}_2$ using a generalized Meinardus-type theorem proved by Bridges, Brindle, Bringmann, and Franke.

Number Theory
On the behavior of multiple zeta-functions with identical arguments on the real line

Kohji Matsumoto,Toshiki Matsusaka,Ilija Tanackov

DOI: https://doi.org/10.48550/arXiv.2012.01720

2020-12-14

Abstract:We study the behavior of $r$-fold zeta-functions of Euler-Zagier type with identical arguments $\zeta_r(s,s,\ldots,s)$ on the real line. Our basic tool is an "infinite'' version of Newton's classical identities. We carry out numerical computations, and draw graphs of $\zeta_r(s,s,\ldots,s)$ for real $s$, for several small values of $r$. Those graphs suggest various properties of $\zeta_r(s,s,\ldots,s)$, some of which we prove rigorously. When $s \in [0,1]$, we show that $\zeta_r(s,s,\ldots,s)$ has $r$ asymptotes at $\Re s=1/k$ ($1\leq k\leq r$), and determine the asymptotic behavior of $\zeta_r(s,s,\ldots,s)$ close to those asymptotes. Numerical computations establish the existence of several real zeros for $2\leq r\leq 10$ (in which only the case $r=2$ was previously known). Based on those computations, we raise a conjecture on the number of zeros for general $r$, and gives a formula for calculating the number of zeros. We also consider the behavior of $\zeta_r(s,s,\ldots,s)$ outside the interval $[0,1]$. We prove asymptotic formulas for $\zeta_r(-k,-k,\ldots,-k)$, where $k$ takes odd positive integer values and tends to $+\infty$. Moreover, on the number of real zeros of $\zeta_r(s,s,\ldots,s)$, we prove that there are exactly $(r-1)$ real zeros on the interrval $(-2n,-2(n-1))$ for any $n \geq 2$.

Number Theory
G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Stephen Pietromonaco

DOI: https://doi.org/10.1007/s40687-021-00298-9

2021-12-07

Research in the Mathematical Sciences

Abstract:For an Abelian surface A with a symplectic action by a finite group G, one can define the partition function for G-invariant Hilbert schemes ZA,G(q)=∑d=0∞e(Hilbd(A)G)qd.\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\begin{aligned} Z_{A, G}(q) = \sum _{d=0}^{\infty } e(\text {Hilb}^{d}(A)^{G})q^{d}. \end{aligned}$$\end{document}We prove the reciprocal ZA,G-1$$Z_{A,G}^{-1}$$ is a modular form of weight 12e(A/G)$$\frac{1}{2}e(A/G)$$ for the congruence subgroup Γ0(|G|)$$\Gamma _{0}(|G|)$$ and give explicit expressions in terms of eta products. Refined formulas for the χy$$\chi _{y}$$-genera of Hilb(A)G$$\text {Hilb}(A)^{G}$$ are also given. For the group generated by the standard involution τ:A→A$$\tau : A \rightarrow A$$, our formulas arise from the enumerative geometry of the orbifold Kummer surface [A/τ]$$[A/\tau ]$$. We prove that a virtual count of curves in the stack is governed by χy(Hilb(A)τ)$$\chi _{y}(\text {Hilb}(A)^{\tau })$$. Moreover, the coefficients of ZA,τ$$Z_{A, \tau }$$ are true (weighted) counts of rational curves, consistent with hyperelliptic counts of Bryan, Oberdieck, Pandharipande, and Yin.

mathematics
Well-rounded zeta-function of planar arithmetic lattices

Lenny Fukshansky

DOI: https://doi.org/10.48550/arXiv.1204.3826

2012-04-18

Abstract:We investigate the properties of the zeta-function of well-rounded sublattices of a fixed arithmetic lattice in the plane. In particular, we show that this function has abscissa of convergence at $s=1$ with a real pole of order 2, improving upon a recent result of S. Kuehnlein. We use this result to show that the number of well-rounded sublattices of a planar arithmetic lattice of index less or equal $N$ is $O(N \log N)$ as $N \to \infty$. To obtain these results, we produce a description of integral well-rounded sublattices of a fixed planar integral well-rounded lattice and investigate convergence properties of a zeta-function of similarity classes of such lattices, building on some previous results of the author.

Number Theory

Values of zeta functions of arithmetic surfaces at $s=1$

SPECIAL VALUES OF THE ZETA FUNCTION OF AN ARITHMETIC SURFACE

Zeta functions of regular arithmetic schemes at s=0

Weil-étale cohomology and zeta-values of arithmetic schemes at negative integers

Motivic complexes and special values of zeta functions

Zeros of the Selberg zeta function for symmetric infinite area hyperbolic surfaces

A Nygaard Approach to Values of Zeta Functions of Schemes over Finite Fields

Values of zeta functions at negative integers, Dedekind sums and toric geometry

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

Zeros of the Goss zeta function

Zeta elements for elliptic curves and applications

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Limit heights and special values of the Riemann zeta function

Zeta functions of orders on surfaces

The Generalized Riemann Hypothesis from zeros of the zeta function

Irrationality proofs for zeta values, moduli spaces and dinner parties

On the functional equation of twisted Ruelle zeta function and Fried's conjecture

Values and derivative values at nonpositive integers of generalized multiple Hurwitz zeta functions, applications to Witten zeta functions

On the behavior of multiple zeta-functions with identical arguments on the real line

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Well-rounded zeta-function of planar arithmetic lattices