Abstract:Let K/F be a CM extension satisfying the ordinary assumption for an odd prime p. In this article, we construct Hida families that interpolate theta lifts of algebraic Hecke characters to a definite unitary group U(2) defined from skew-Hermitian spaces over K, and show that the Hida family is primitive when the central L-value of the branch character of the family satisfies certain non-vanishing modulo p conditions.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct Hida families of theta lifts from \(U(1)\) to the definite \(U(2)\) unitary group defined on the skew - Hermitian space, and prove that these Hida families are primitive under certain conditions. Specifically, the author hopes to construct a Hida family of theta lifts that can interpolate algebraic Hecke characters, and verify that this Hida family is primitive when the central L - value of the ramified character satisfies the non - mod p condition.
The following is a more detailed explanation:
### Research Background
What is discussed in the paper is theta correspondence, which is a powerful method for testing Langlands functoriality and period relations of automorphic forms. In particular, when theta correspondence can preserve the integral structure of the ambient space of automorphic functions, one can compare the congruence relations between two automorphic functions. This is helpful for studying problems such as the Iwasawa main conjecture or the Bloch - Kato - type conjecture.
### Main Problems
The core problems of the paper are:
- **Constructing Hida Families**: The author hopes to construct Hida families of theta lifts from \(U(1)\) to the definite \(U(2)\).
- **Verifying Primitivity**: Prove that the constructed Hida families are primitive when the central L - value of the ramified character satisfies the non - mod p condition.
### Solutions
The author solves these problems through the following steps:
1. **Selecting Appropriate Schwartz Functions**: Select Schwartz functions adapted to specific characters.
2. **Calculating Local Integrals**: Calculate the Fourier coefficients, inner products, and toric periods of theta lifts.
3. **Using Seesaw Arguments**: Simplify the problem to known results through seesaw arguments.
4. **Applying Hida Theory**: Use Hida theory on the definite \(U(2)\) to prove that the inner products and toric integrals of the constructed theta lifts produce the required p - adic L - functions.
### Formula Display
The key formulas involved include:
- Definition of theta lift:
\[
\theta_\phi(f)=\sum_{a\subset\mathcal{O}_K}\chi(a)e^{2\pi i N(a)z}
\]
- Definition of Hida family:
\[
F^\circ_s\in M(K(n),\Lambda^-_s)
\]
where \(\Lambda^-_s = R[[G^-_s]]\), and \(G^-_s\) is the Galois group of the maximal pro - p anti - cyclic sub - extension.
- Inner product formula:
\[
B_n(F^\circ_s,U^{-1}_sF^\circ_s)\in\Lambda^-_s
\]
Through these formulas, the author successfully constructs the required Hida families and proves their primitivity.
### Summary
The main contribution of the paper lies in successfully constructing Hida families of theta lifts from \(U(1)\) to the definite \(U(2)\) and proving that these Hida families are primitive under specific conditions. This result provides new tools and perspectives for further research on automorphic forms and their related arithmetic properties.