Abstract:Let $\pi$ be a unitary cuspidal automorphic representation of $\text{GL}_{4}(\mathbb{A}_{\mathbb{Q}})$. Let $f \geq 1$ be given. We show that there exists infinitely many primitive even (resp. odd) Dirichlet characters $\chi$ with conductor co-prime to $f$ such that $L(s, \pi \otimes \chi)$ is non-vanishing at the central point.
Our result has applications for the construction of $p$-adic $L$-functions for $\text{GSp}_{4}$ following Loeffler-Pilloni-Skinner-Zerbes, the Bloch-Kato conjecture and the Birch-Swinnerton-Dyer conjecture for abelian surfaces following Loeffler-Zerbes, strong multiplicity one results for paramodular cuspidal representations of $\text{GSp}_{4}(\mathbb{A}_{\mathbb{Q}})$ and the rationality of the central values of $\text{GSp}_{4}(\mathbb{A}_{\mathbb{Q}})$ $L$-functions in the remaining non-regular weight case.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the existence of non - zero values at the central point of the L - function of the GL4(AQ) automorphic representation. Specifically, the main result of the paper (Theorem 1) shows that: for any given \( f \geq 1 \), there exist infinitely many primitive even (or odd) Dirichlet characters \(\chi\), whose moduli are coprime to \(f\), and the corresponding twisted L - function \( L\left(\frac{1}{2}, \pi \otimes \chi\right) \) is non - zero at the central point.
Expressed in a formula:
\[ L\left(\frac{1}{2}, \pi \otimes \chi\right) \neq 0 \]
where \(\pi\) is a unitary cuspidal automorphic representation on GL4(AQ), and \(\chi\) is a Dirichlet character with specific properties.
The importance of this problem lies in its wide applications in multiple mathematical fields, including but not limited to:
1. **Construction of p - adic L - functions**: Especially for the p - adic L - functions of GSp4.
2. **Bloch - Kato conjecture**: Regarding the relationship between the rank of the Selmer group of certain arithmetic objects and the special values of the L - function.
3. **Birch - Swinnerton - Dyer conjecture**: For the special case of abelian surfaces.
4. **Strong multiplicity one result**: For the paramodular cuspidal automorphic representations of GSp4(AQ).
5. **Rationality of central values**: For the central values of the L - function of GSp4(AQ) in the case of remaining non - regular weights.
By proving this non - zero result, the author provides crucial technical support for the above applications and promotes further research in related fields.