Abstract:We prove the asymptotic formula for the fourth moment of automorphic $L$-functions of level $p^{\nu}$, where $p$ is a fixed prime number and $\nu \rightarrow \infty$. This paper is a continuation of work by Rouymi, who computed asymptotics of the first three moments at prime power level, and a generalization of results obtained for prime level by Duke, Friedlander & Iwaniec and Kowalski, Michel & Vanderkam.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to study the asymptotic formula for the fourth moment of automorphic L - functions at prime - power levels. Specifically, the author Olga Balkanova explores the following problems:
1. **Asymptotic formula for the fourth moment**: For the automorphic L - function \(L(s, f)\), where \(f\in H^*_k(q)\) and \(q = p^{\nu}\) (\(p\) is a fixed prime and \(\nu\rightarrow\infty\)), calculate the asymptotic formula for its fourth moment. This is an extension of the results for the first, second, and third moments in previous studies.
2. **Analysis of off - diagonal terms**: In order to break through the convexity barrier and better understand the contribution of off - diagonal terms, the author introduces a small shift of the L - function, which simplifies the analysis of off - diagonal terms and reveals the combinatorial structure of the mean value.
3. **Verification of the random matrix theory conjecture**: By introducing the shift, the author is able to verify the random matrix theory conjecture (the conjecture proposed by Conrey, Farmer, Keating, Rubinstein, and Snaith), including all lower - order terms.
4. **Proof of the main theorem**: The main achievement of the paper is to prove that the fourth moment can be decomposed into the main diagonal term (MD), the off - diagonal term (MOD), and the non - off - diagonal term (MOOD), and to give the specific expressions for each part.
### Main conclusions
The main conclusions of the paper include:
- **Asymptotic formulas for the main diagonal and off - diagonal terms**: By decomposing the fourth moment of the automorphic L - function, the author obtains the asymptotic formulas for the main diagonal and off - diagonal terms. These formulas involve special functions such as the gamma function, the zeta function, and the Kloosterman sum.
- **Double integral representation of the non - off - diagonal term**: The author shows that the non - off - diagonal term can be represented by a double integral, which provides a new tool for further analysis.
- **Fourth moment at the critical point**: By letting the shift tend to zero, the author obtains the asymptotic formula for the fourth moment at the critical point \(s = 1/2\), where the leading term is a sixth - degree polynomial in \(\log q\) with the leading coefficient \(\frac{(\varphi(q)/q)^7p^2}{p^2 - 1}\cdot\frac{1}{60\pi^2}\).
### Markdown representation of formulas
The following are the Markdown representations of some key formulas in the paper:
1. **Definition of the fourth moment**:
\[
M_4(t, r)=h\sum_{f\in H^*_k(q)}|L(1/2 + t_1+ir_1, f)|^2|L(1/2 + t_2+ir_2, f)|^2
\]
2. **Asymptotic formulas for the main diagonal and off - diagonal terms**:
\[
M_D + M_{OD}=\frac{\varphi(q)}{q}\sum_{\epsilon_1,\epsilon_2 = \pm 1}\hat{q}^{-2t_1 - 2t_2+2\epsilon_1t_1 + 2\epsilon_2t_2}\frac{\Gamma(\epsilon_1t_1+ir_1 + k/2)\Gamma(\epsilon_1t_1 - ir_1+ k/2)}{\Gamma(t_1+ir_1 + k/2)\Gamma(t_1 - ir_1+ k/2)}
\]
\[
\times\frac{\Gamma(\epsilon_2t_2+ir_2 + k/2)\Gamma(\epsilon_2t_2 - ir_2+ k/2)}{\Gamma(t_2+ir_2 + k/2)\Gamma(t_2 - ir_2+ k/2)}\zeta_q(1 + 2\epsilon_1t_1)\zeta_q(1 + 2\epsilon_2t_2)
\]