On the value distribution of the Epstein zeta function in the critical strip

Anders Södergren
DOI: https://doi.org/10.1215/00127094-1903389
2011-05-14
Abstract:We study the value distribution of the Epstein zeta function $E_n(L,s)$ for $0<s<\frac{n}{2}$ and a random lattice $L$ of large dimension $n$. For any fixed $c\in(1/4,1/2)$ and $n\to\infty$, we prove that the random variable $V_n^{-2c}E_n(\cdot,cn)$ has a limit distribution, which we give explicitly (here $V_n$ is the volume of the $n$-dimensional unit ball). More generally, for any fixed $\ve>0$ we determine the limit distribution of the random function $c\mapsto V_n^{-2c}E_n(\cdot,cn)$, $c\in[1/4 +\ve, 1/2-\ve]$. After compensating for the pole at $c=\frac12$ we even obtain a limit result on the whole interval $[\frac14+\ve,\frac12]$, and as a special case we deduce the following strengthening of a result by Sarnak and Strömbergsson concerning the height function $h_n(L)$ of the flat torus $\R^n/L$: The random variable $n\big\{h_n(L)-(\log(4\pi)-\gamma+1)\big\}+\log n$ has a limit distribution as $n\to\infty$, which we give explicitly. Finally we discuss a question posed by Sarnak and Strömbergsson as to whether there exists a lattice $L\subset\R^n$ for which $E_n(L,s)$ has no zeros in $(0,\infty)$.
Number Theory
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the value - distribution characteristics of the Epstein Zeta function \(E_n(L, s)\) in the critical strip \(0 < \Re(s) < \frac{n}{2}\), especially the behavior when the dimension \(n\) tends to infinity. Specifically: 1. **Research on value distribution**: For a fixed \(c\in(\frac{1}{4},\frac{1}{2})\) and when the dimension \(n\) tends to infinity, the paper proves that the random variable \(V^{- 2c}_nE_n(\cdot, cn)\) has a limit distribution and gives the specific expression form (where \(V_n\) is the volume of the \(n - \)dimensional unit ball). More generally, for any fixed \(\varepsilon>0\), the limit distribution of the random function from \(c\mapsto V^{-2c}_nE_n(\cdot, cn)\), \(c\in[\frac{1}{4}+\varepsilon,\frac{1}{2}-\varepsilon]\) is determined. 2. **Overall interval results after pole treatment**: After compensating for the pole at \(c = \frac{1}{2}\), the paper also obtains the limit results on the entire interval \([\frac{1}{4}+\varepsilon,\frac{1}{2}]\). As a special case, a strengthened result for the height function \(h_n(L)\) of the flat torus \(\mathbb{R}^n/L\) is derived: \[ n\left(h_n(L)-(\log(4\pi)-\gamma + 1)\right)+\log n \] has a definite limit distribution when \(n\rightarrow\infty\). 3. **Discussion on the zero - point problem**: The paper also discusses a problem proposed by Sarnak and Strömbergsson, that is, whether there exists a lattice \(L\subset\mathbb{R}^n\) such that \(E_n(L, s)\) has no zero - points in \((0,\infty)\). Through the above research, the author conducts an in - depth exploration of this problem and points out that as \(n\) tends to infinity, almost all lattices \(L\) will make \(E_n(L, s)\) have zero - points in \((0,\infty)\), which makes this problem very delicate. In summary, this paper mainly focuses on the value - distribution behavior of the Epstein Zeta function in high dimensions, especially the properties in the critical strip, and provides specific descriptions of these behaviors and results of limit distributions through strict mathematical analysis.