Henry H. Kim,Takuya Yamauchi
Abstract:By using the degenerate Whittaker functions, we study the Fourier expansion of the Gan-Gurevich lifts which are Hecke eigen quaternionic cusp forms of weight $k$ ($k\geq 2$, even) on the split exceptional group $G_2$ over $\mathbb{Q}$ which come from elliptic newforms of weight $2k$ without supercuspidal local components. In particular, our results give a partial answer to Gross' conjecture.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the Fourier expansion problem of the Gan - Gurevich lift on the exceptional group \(G_2\). Specifically, the author studied the Fourier expansion of Hecke - characteristic quaternionic cusp forms on the split - type exceptional group \(G_2\), which come from elliptic newforms without supercuspidal local components. Through the study of degenerate Whittaker functions, the author gave a partial answer to Gross's conjecture.
### Main research content
1. **Background and motivation**:
- The author pointed out that for a group \(G\) of non - Hermitian symmetric spaces, such as \(G_2\), holomorphic automorphic forms cannot be constructed, but Fourier expansion along large unipotent subgroups can be considered.
- The focus of the research is on the Gan - Gurevich lift on \(G_2\), which is a Hecke - characteristic quaternionic cusp form derived from elliptic newforms.
2. **Main results**:
- The author studied the Fourier expansion of these lifts using degenerate Whittaker functions.
- In this way, they obtained some important conclusions about the Fourier coefficients of these forms, in particular, these coefficients completely characterize the corresponding automorphic form \(F_f\).
- The paper also partially verified Gross's conjecture about the existence and properties of these forms.
3. **Technical details**:
- The author discussed in detail the structure of \(G_2\) and its related Heisenberg parabolic subgroups and maximal parabolic subgroups.
- Some important functions were defined using Jacquet integrals, which played a key role in calculating the Fourier expansion.
- The Fourier - Jacobi expansion of the constant and non - constant terms of these forms was also studied.
### Relevance of Gross's conjecture
- Gross's conjecture proposes the existence of a Hecke - characteristic quaternionic cusp form from \(S_{2k}(SL_2(\mathbb{Z}))\) and its standard L - function satisfies a specific formula.
- The author's results verified this conjecture under the condition that \(L(1/2,\pi_f)\neq0\), indicating that when \(k\) is even, this form does indeed exist.
In conclusion, through in - depth research on the Gan - Gurevich lift on \(G_2\), this paper not only promotes the understanding of this special type of automorphic forms but also provides partial evidence for Gross's conjecture.