Hida family of theta lift from U(1) to definite U(2)

Yu-Sheng Lee
2024-06-18
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.
Number Theory
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.