Ordinary \(p\)-adic Eisenstein series and \(p\)-adic \(L\)-functions for unitary groups (Q660441)

Author's introduction: Iwasawa main conjecture for totally real fields was proved by \textit{A. Wiles} in one of his celebrated papers [Ann. Math. (2) 131, No. 3, 493--540 (1990; Zbl 0719.11071)]. His proof, modeled upon Ribet's proof of the converse of Herbrand's theorem, relies on the study of Eisenstein congruence for Hilbert cusp forms. One of the key ingredients in Wiles' proof is to realize the Deligne-Ribet \(p\)-adic \(L\)-function as constant terms of a particular Hida family of Eisenstein series over totally real fields, and then construct congruence between this particular family of Eisenstein series and Hida families of Hilbert cusp forms modulo the Deligne-Ribet \(p\)-adic \(L\)-function. The first generalization of Wiles' work to Iwasawa main conjecture for non-abelian motives is due to \textit{E. Urban}. In [Duke Math. J. 106, No. 3, 485--525 (2001; Zbl 1061.11027)] and [``Groupes de Selmer et fonctions \(L\) \(p\)-adiques pour les représentations modulaires adjointes'', preprint (2006), \url{http://www.math.jussieu.fr/~urban/eurp/ADJMC.pdf}], he established one-sided divisibility result on Iwasawa main conjecture for adjoint representations. In particular, he constructed a Hida family of Klingen-Eisenstein series on \(\mathrm{Gsp}(4)\) such that the constant terms at all cusps are divisible by the \(p\)-adic \(L\)-function for adjoint representations, and he deduced Eisenstein congruence on \(\mathrm{Gsp}(4)\) by proving the non-vanishing modulo p of this Eisenstein series. In this article, we consider certain Iwasawa main conjecture for \(\mathrm{GL}_2\times K^\times\), where \(K\) is an imaginary quadratic field. Following Ribet, Wiles and Urban, we propose a four-step program towards a one-sided divisibility result for this main conjecture. It turns out that we will need to consider Eisenstein congruence on certain unitary groups. Our main result is the construction of a particular Hida family of Eisenstein series on the unitary group \(\mathrm{U}(3,1)\) such that the constant terms (the image of Siegel boundary operator) at all cusps are divisible by a product of Kubota-Leopoldt \(p\)-adic \(L\)-function and a \(p\)-adic \(L\)-function for \(\mathrm{GL}_2\times K^\times\).