Explicit mean value theorems for toric periods and automorphic $L$-functions

Miyu Suzuki,Satoshi Wakatsuki
2024-06-04
Abstract:Let $F$ be a number field and $D$ a quaternion algebra over $F$. Take a cuspidal automorphic representation $\pi$ of $D_{\mathbb{A}}^\times$ with trivial central character and a cusp form $\phi$ in $\pi$. Using the prehomogeneous zeta function, we find an explicit mean value of the toric periods of $\phi$ with respect to quadratic algebras over $F$. The result can also be written as a mean value formula for the central values of automorphic $L$-functions twisted by quadratic characters.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the mean value theorems of toric periods and automorphic L - functions. Specifically, the author tries to find the explicit mean value formula of toric periods related to quadratic algebras by the zeta - function method of pre - homogeneous vector spaces, and transform it into the mean value formula of the central values of automorphic L - functions. ### Main problems of the paper 1. **Mean value theorem of toric periods**: - The author considers a number field \(F\) and a quaternion algebra \(D\), and takes a cuspidal automorphic representation \(\pi\) of \(D^{\times}_{A}\) and a cuspidal form \(\varphi\) in it. - Using the zeta - function method of pre - homogeneous vector spaces, the author finds the explicit mean value formula of toric periods of quadratic algebras over \(F\). 2. **Mean value formula of automorphic L - functions**: - Through the Waldspurger formula, the above results are restated as the mean value formula of the central values of automorphic L - functions. ### Main conclusions - For a given \(\varphi\in\pi\), there exists a limit \[ \lim_{x\rightarrow\infty}x^{-1}\sum_{E\in X(D, E_S), N(f^S_E)<x}L(1,\eta_E)^2\alpha_{E,S}(\varphi)^{-1}|P_E(\varphi)|^2 \] where \(E\) is a quadratic algebra over \(F\), \(N(f^S_E)\) is the conductor norm of \(E\), \(P_E(\varphi)\) is the toric period integral, and \(\alpha_{E,S}(\varphi)\) is the product of local period integrals. This limit value can be explicitly expressed as: \[ \frac{L\left(\frac{1}{2},\pi\right)^2c_F^2}{|\Delta_F|^{1/2}}\prod_{v\in S}\frac{L(1,\eta_{E_v})^2}{c_vL\left(\frac{1}{2},\pi_v\right)}\prod_{v\notin S}\left\{1-\frac{q_v^{-3}-q_v^{-1}}{(q_v + 1)q_v^{-3}\lambda_v^2}\right\} \] - When \(F = \mathbb{Q}\) and \(D\) is a split quaternion algebra, this formula can be further simplified to the case of elliptic modular forms. For example, for a Hecke eigenform \(f\in S_k(SL_2(\mathbb{Z}))\), we have: \[ \lim_{x\rightarrow\infty}x^{-1}\sum_{E\text{ real quadratic field},|\Delta_E|<x}L\left(\frac{1}{2},\sigma\otimes\eta_E\right) \] exists, and its value is: \[ \frac{6(8\pi)^{k/2}\Gamma(k/2)}{\pi\Gamma(k)\langle f,f\rangle}\prod_p\left\{1-\frac{p^{-3}-p^{-1}}{(p + 1)p^{-k - 1}a_p^2}\right\} \] ### Methods and related work - The author uses the Tauberian theorem and the zeta - function method of pre - homogeneous vector spaces to prove the main theorems. - The advantage of this method is that it can explicitly calculate the mean value and can be verified numerically. - Compared with other methods, this method...