Abstract:We establish a theory of scalar Fourier coefficients for a class of non-holomorphic, automorphic forms on the quaternionic real Lie group $\mathrm{U}(2,n)$. By studying the theta lifts of holomorphic modular forms from $\mathrm{U}(1,1)$, we apply this theory to obtain examples of non-holomorphic cusp forms on $\mathrm{U}(2,n)$ whose Fourier coefficients are algebraic numbers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the theory of Fourier coefficients of a class of non - holomorphic automorphic forms defined on the real unitary group \(U(2,n)\). Specifically, the authors aim to establish a theory of scalar Fourier coefficients and obtain some non - holomorphic cusp forms whose Fourier coefficients are algebraic numbers by studying the theta - liftings of holomorphic modular forms from \(U(1,1)\).
### The core problems of the paper can be summarized as the following points:
1. **Establishing the theory of Fourier coefficients**:
- The authors hope to establish a theory of scalar Fourier coefficients for a class of non - holomorphic automorphic forms defined on \(U(2,n)\). These forms can be defined by the Schmid differential operators \(D^\pm_\ell\) related to certain discrete series representations.
- Specifically, they studied the dimension of the generalized Whittaker space and gave an explicit formula for the generalized Whittaker functions related to the minimal \(K\)-type \(V_\ell=\text{Sym}^\ell V\).
2. **Constructing non - holomorphic cusp forms with algebraic Fourier coefficients**:
- The authors constructed non - holomorphic cusp forms on \(U(2,n)\) from holomorphic cusp forms of \(U(1,1)\) by the method of theta - liftings, making their Fourier coefficients algebraic numbers.
- This construction uses a specific choice of Archimedean test data and obtains a specific formula through theta - liftings.
3. **Proving key theorems**:
- The two main theorems in the paper are respectively about the dimension of the generalized Whittaker space and the specific construction of theta - liftings.
- The first theorem (Theorem 1.1) gives the dimension formula of the generalized Whittaker space and provides an explicit expression of the generalized Whittaker function.
- The second theorem (Theorem 1.4) shows that the Fourier coefficients of the non - holomorphic cusp forms obtained by theta - liftings are algebraic numbers.
### Display of mathematical formulas:
- Dimension formula of the generalized Whittaker space:
\[
\dim_C \left( C^{\infty}_{\text{md},N,T}(U(2,n), V_\ell)_{D_\ell = 0}^{K_\infty} \right)=
\begin{cases}
1 & \text{if }\langle T, T\rangle\geq0,\\
0 & \text{if }\langle T, T\rangle < 0.
\end{cases}
\]
- Explicit expression of the generalized Whittaker function:
\[
W_T(h,z):=\sum_{-l\leq v\leq l} |z|^{2l + 2}\left(\frac{|\beta_T(h,z)|}{\beta_T(h,z)}\right)^v K_v(|\beta_T(h,z)|)[u_1^{\ell - v}][u_2^{\ell + v}]
\]
where \(K_v(x)=\frac{1}{2}\int_0^\infty t^{v - 1}e^{-x(t + t^{-1})}dt\) is the modified Bessel function.
Through these studies, the authors not only established new mathematical theories, but also provided tools and methods for future research, especially in the aspects of automorphic forms and the algebraic properties of Fourier coefficients.