On the Fourier expansion of Gan-Gurevich lifts on the exceptional group of type $G_2$

Henry H. Kim,Takuya Yamauchi
2024-11-26
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.
Number Theory,Representation Theory
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.