Adjoint Kudla Lift and Lambda-adic Interpolation
- Adjoint Kudla Lift is a p-adic analytic extension of the classical theta correspondence, interpolating automorphic forms in Lambda-adic families.
- It utilizes Hecke-equivariant methods and integrality properties to connect Hida families of ordinary Picard modular forms with special cycle generating series.
- Its construction leverages étale Iwasawa cohomology, ordinary projectors, and explicit Fourier–Jacobi expansions to bridge arithmetic geometry with p-adic L-functions.
The -adic Kudla lift is a canonical -adic analytic family of automorphic lifts from Hida families of ordinary Picard modular forms to families of higher-dimensional Picard modular forms, interpolating the (classical and -modified) Kudla theta lift across weights and characters. The construction, centered on the arithmetic geometry of unitary Shimura varieties and their associated Iwasawa-theoretic cohomology, provides a powerful extension of the classical integral theta correspondences to the field of -adic analytic families and enables deep links to -adic -functions, special cycles, and arithmetic geometry on Picard modular surfaces. The -adic Kudla lift constitutes a key structural component in the nascent -adic Kudla program and underpins recent advances on the -adic interpolation of special cycle generating series, including the adjoint Kudla (Cogdell) lift.
1. Classical Kudla Lift for Picard Modular Forms
The classical Kudla lift is an automorphic theta lift associated with the reductive dual pair over an imaginary quadratic field of discriminant (Iudica, 2024). Consider the Hermitian space with signature , the similitude unitary group , and its subgroup . Picard modular forms of weight and level are scalar-valued functions transforming by the usual automorphy factor.
Given a modular form and an unramified Hecke character , Kudla’s kernel forms an adelic theta series on . The Kudla lift is defined by integrating against this kernel,
yielding a Picard modular form in . The Fourier–Jacobi expansion along the Siegel parabolic reveals the image as a sum over theta-type functions, indexed by fractional ideals and integer variables, with explicit coefficients provided by Finis’s formula in terms of special values of [F99].
2. Formulation of the -adic Kudla Lift
The -adic Kudla lift interpolates the -modified Kudla lift in ordinary -adic families, formalized in the Iwasawa-algebraic context. Let , the cyclotomic Iwasawa algebra, and the -adic weight space. Hida families of ordinary Picard modular forms are formal -expansions in such that each specialization at an arithmetic point yields a classical -stabilized newform.
The -adic Kudla lift is given by a formal -expansion
where the coefficients are obtained by a -valued (Poincaré) pairing of big Iwasawa-theoretic cycle classes with the modular form family (Iudica, 2024, Iudica, 15 Jan 2026). For each arithmetic specialization corresponding to , the -expansion specializes to the -modified (ordinary) Kudla lift in weight and Nebentypus ,
This family is uniquely characterized by its interpolation property, Hecke equivariance, and integrality of coefficients.
3. Structural Properties and -adic Analyticity
The main structural attributes of the -adic Kudla lift are as follows:
- Hecke-Equivariance: For all primes , the lift commutes with Hecke operators: .
- Integrality: The coefficients lie in , reflecting the integrality of the input cycles and modular forms.
- Control Theorems: Specialization at arithmetic points realizes the classical (or -modified) Kudla lift.
- Finite Generation: The formal -expansion coefficients are assembled from explicit theta-type series whose coefficients admit -adic analytic variation in the Iwasawa algebra (Iudica, 2024).
- -adic Cohomology: The construction uses families of ordinary cycle classes in the étale Iwasawa cohomology of towers of Picard varieties, with U-compatibility ensuring analytic continuation over the weight space (Iudica, 15 Jan 2026).
The Finis formula gives explicit Fourier–Jacobi coefficients as sums over cosets, theta polynomials, and -adic modular data, which package into finite free -modules parameterizing -adic theta bundles.
4. Construction Methodology
The construction synthesizes analytic, automorphic, and arithmetic tools in several key steps (Iudica, 2024, Iudica, 15 Jan 2026):
- Big Special Cycle Classes: For each , a compatible system of étale (Iwasawa) cohomology classes is constructed, satisfying -recurrence.
- Ordinary Projectors: Use of Hida’s ordinary projector restricts to 'ordinary' parts, yielding modules of finite rank over .
- Pairing with Modular Forms: Poincaré duality enables pairings between cycle classes and -adic modular forms, defining -expansion coefficients.
- Hecke and Weight Interpolation: The formal -expansion so obtained is shown to interpolate the Kudla lift at all algebraic specializations and is compatible with Hecke actions outside .
- Fourier–Jacobi Expansion: Explicit formulas for the period polynomials and theta-type coefficients enable the analytic variation across the family ().
5. Extension to Special Cycles, Adjoint Lifts, and Applications
The -adic Kudla lift plays a vital role in the -adic interpolation of generating series of special cycles. This includes the adjoint (Kudla–Millson) and Cogdell lifts, where intersection numbers of special cycles on Picard surfaces are -expansion coefficients of modular forms (Iudica, 15 Jan 2026). Loeffler’s norm-relation techniques yield Iwasawa-theoretic classes of special cycles, compatible with the big cycles of the Kudla lift, facilitating -adic analytic families whose specialization recovers the classical cycle-generating modular forms.
Furthermore, the -adic Kudla lift is expected to enable:
- Construction of -adic -functions via triple product and pullback formulas.
- Interpolation of geometric invariants and regulators associated to CM cycles in Iwasawa theory.
- Linkage with overconvergent and small-slope families beyond the ordinary setting, providing a pathway to extensions in the context of -adic Hodge theory.
- Development of multivariable -adic theta lifts for higher rank unitary groups.
6. Context within the -adic Kudla Program and -adic Generalizations
The -adic Kudla lift is situated at the center of the emerging -adic Kudla program, which seeks to generalize classical theta correspondences, generating series of cycles, and automorphic periods to the -adic analytic and Iwasawa-theoretic setting (Negrini, 2024). A complementary approach constructs -adic variants of the Shintani and Borcherds lifts for rigid analytic cocycles, indicating that the full suite of classical arithmetic theta lifting machinery, including the Eichler–Shimura–Shintani–Kudla formalism, admits robust -adic and -adic analogues.
A plausible implication is that the ordinary and overconvergent -adic Kudla lifts will continue to enable new -adic and geometric results on the arithmetic of Picard modular forms, CM cycles, and modularity of generating series for higher-dimensional cycles.
References: (Iudica, 2024, Iudica, 15 Jan 2026, Negrini, 2024).