Deformations of reducible Galois representations to Hida-families

The global deformation theory of residually reducible Galois representations with fixed auxiliary conditions is studied. We show that [Formula: see text] lifts to a Hida line for which the weights range over a congruence class modulo-[Formula: see text]. The advantage of the purely Galois theoretic approach is that it allows us to construct [Formula: see text]-adic families of Galois representations lifting the actual representation [Formula: see text], and not just the semisimplification.

-ADIC -FUNCTIONS FOR UNITARY GROUPS

This paper completes the construction of $p$ -adic $L$ -functions for unitary groups. More precisely, in Harris, Li and Skinner [‘ $p$ -adic $L$ -functions for unitary Shimura varieties. I. Construction of the Eisenstein measure’, Doc. Math.Extra Vol. (2006), 393–464 (electronic)], three of the authors proposed an approach to constructing such $p$ -adic $L$ -functions (Part I). Building on more recent results, including the first named author’s construction of Eisenstein measures and $p$ -adic differential operators [Eischen, ‘A $p$ -adic Eisenstein measure for unitary groups’, J. Reine Angew. Math.699 (2015), 111–142; ‘ $p$ -adic differential operators on automorphic forms on unitary groups’, Ann. Inst. Fourier (Grenoble)62(1) (2012), 177–243], Part II of the present paper provides the calculations of local $\unicode[STIX]{x1D701}$ -integrals occurring in the Euler product (including at $p$ ). Part III of the present paper develops the formalism needed to pair Eisenstein measures with Hida families in the setting of the doubling method.

Congruences with Eisenstein series and -invariants

We study the variation of $\unicode[STIX]{x1D707}$-invariants in Hida families with residually reducible Galois representations. We prove a lower bound for these invariants which is often expressible in terms of the $p$-adic zeta function. This lower bound forces these $\unicode[STIX]{x1D707}$-invariants to be unbounded along the family, and we conjecture that this lower bound is an equality. When $U_{p}-1$ generates the cuspidal Eisenstein ideal, we establish this conjecture and further prove that the $p$-adic $L$-function is simply a power of $p$ up to a unit (i.e. $\unicode[STIX]{x1D706}=0$). On the algebraic side, we prove analogous statements for the associated Selmer groups which, in particular, establishes the main conjecture for such forms.

ON THE -ADIC VARIATION OF HEEGNER POINTS

In this paper, we prove an ‘explicit reciprocity law’ relating Howard’s system of big Heegner points to a two-variable $p$-adic $L$-function (constructed here) interpolating the $p$-adic Rankin $L$-series of Bertolini–Darmon–Prasanna in Hida families. As applications, we obtain a direct relation between classical Heegner cycles and the higher weight specializations of big Heegner points, refining earlier work of the author, and prove the vanishing of Selmer groups of CM elliptic curves twisted by 2-dimensional Artin representations in cases predicted by the equivariant Birch and Swinnerton-Dyer conjecture.

Irregular Weight One Points with Image

Darmon, Lauder, and Rotger conjectured that the relative tangent space of an eigencurve at a classical, ordinary, irregular weight one point is of dimension two. This space can be identified with the space of normalized overconvergent generalized eigenforms, whose Fourier coefficients can be conjecturally described explicitly in terms of $p$-adic logarithms of algebraic numbers. This article presents the proof of this conjecture in the case where the weight one point is the intersection of two Hida families of Hecke theta series.

The geometry of Hida families II: -adic -modules and -adic Hodge theory

We construct the $\unicode[STIX]{x1D6EC}$-adic crystalline and Dieudonné analogues of Hida’s ordinary $\unicode[STIX]{x1D6EC}$-adic étale cohomology, and employ integral $p$-adic Hodge theory to prove $\unicode[STIX]{x1D6EC}$-adic comparison isomorphisms between these cohomologies and the $\unicode[STIX]{x1D6EC}$-adic de Rham cohomology studied in Cais [The geometry of Hida families I:$\unicode[STIX]{x1D6EC}$-adic de Rham cohomology, Math. Ann. (2017), doi:10.1007/s00208-017-1608-1] as well as Hida’s $\unicode[STIX]{x1D6EC}$-adic étale cohomology. As applications of our work, we provide a ‘cohomological’ construction of the family of $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules attached to Hida’s ordinary $\unicode[STIX]{x1D6EC}$-adic étale cohomology by Dee [$\unicode[STIX]{x1D6F7}$–$\unicode[STIX]{x1D6E4}$modules for families of Galois representations, J. Algebra 235 (2001), 636–664], and we give a new and purely geometric proof of Hida’s finiteness and control theorems. We also prove suitable $\unicode[STIX]{x1D6EC}$-adic duality theorems for each of the cohomologies we construct.