Abstract:Utilizing inverse Mellin transform of the symmetric square $L$-function attached to Ramanujan tau function, Hafner and Stopple proved a conjecture of Zagier, which states that the constant term of the automorphic function $y^{12}|\Delta(z)|^2$ i.e., the Lambert series $y^{12}\sum_{n=1}^\infty \tau(n)^2 e^{-4 \pi n y}$ can be expressed in terms of the non-trivial zeros of the Riemann zeta function. This study examines certain Lambert series associated to Siegel cusp forms of degree $n$ twisted by a character $\chi$ and observes a similar phenomenon.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the asymptotic expansion of certain Lambert series related to Siegel cusp forms. Specifically, the authors consider the Lambert series of Siegel cusp forms twisted by Dirichlet characters χ, and observe a phenomenon similar to Zagier's conjecture, that is, there is a connection between these series and the non - trivial zeros of Dirichlet L - functions.
### Main problem description
1. **Background and motivation**:
- Zagier proposed a conjecture about the relationship between the Ramanujan tau function and the non - trivial zeros of the Riemann zeta function. Hafner and Stopple proved this conjecture by studying the automorphic functions of the Ramanujan delta function.
- This paper aims to extend this result to Siegel cusp forms of higher dimensions and explore the relationship between their Fourier - Jacobi coefficients and the non - trivial zeros of Dirichlet L - functions.
2. **Specific problems**:
- Study the asymptotic behavior of Lambert series related to Siegel cusp forms.
- Explore the connection between these series and the non - trivial zeros of Dirichlet L - functions.
- Provide a specific asymptotic expansion formula involving special functions such as Whittaker functions and Gamma functions.
### Mathematical expressions
- **Lambert series**:
\[
\sum_{m = 1}^{\infty}\chi(m)\langle\varphi_m,\psi_m\rangle\exp(- 4\pi m\alpha)
\]
where $\chi$ is a Dirichlet character modulo $N$, and $\varphi_m$ and $\psi_m$ are the $m$ - th Fourier - Jacobi coefficients of Siegel cusp forms $F$ and $G$ respectively.
- **Asymptotic expansion formula**:
\[
\sum_{m = 1}^{\infty}\chi(m)\langle\varphi_m,\psi_m\rangle\exp(-4\pi m\alpha)=\left(\frac{\beta^{2k - n}N^{2n - 2k + 2}}{\pi^{n - 1/2}g(\overline{\chi})^4g(\chi^2)}\right)\sum_{m = 1}^{\infty}a_{F,G}(m,\chi)\left(\frac{4\pi m\beta}{N^2}\right)^{\frac{n - 1 - k}{2}}W_{\frac{n + k}{2}-1,\frac{k - n}{2}}\left(\frac{4\pi m\beta}{N^2}\right)\exp\left(-\frac{2\pi m\beta}{N^2}\right)
\]
\[
+\sum_{\rho}D_{F,G,\chi}^*\left(\frac{\rho}{2}+k - n\right)\frac{(4\pi\alpha)^{\frac{n - k-\rho}{2}}}{(2\pi/N)^{2n - 2k-\rho}\Gamma\left(\frac{\rho}{2}\right)L'(\rho,\chi^2)}+R_k
\]
where $W_{\kappa,\mu}(z)$ is the Whittaker function, $D_{F,G,\chi}^*(s)$ is the completed Rankin - Selberg L - function, $\rho$ represents the non - trivial zeros of the Dirichlet L - function $L(s,\chi^2)$, and $R_k$ is the residual term.