
doi: 10.4171/dms/4/13
Let \(p>3\) be prime. Let \(F\) be a totally real number field, \(M/F\) a totally imaginary quadratic extension in which all prime ideals dividing \(p\) are unramified, \(\Sigma\) a \(p\)-ordinary CM type of \(M\), \(\overline{W}\) the completion of the ring of integers in an algebraic closure of \(\mathbb Q_p\), and \(\psi: \text{Gal}(\overline{F}/M)\to \overline{W}^{\times}\) an anticyclotomic character of finite order prime to \(p\). Assume that the conductor of \(\psi\), regarded as a Hecke character, is a product of primes above \(p\) and primes that split in \(M/F\), that the local characters \(\psi_{\mathfrak P}\) are non-trivial for all \({\mathfrak P}\in \Sigma_p\), and that \(\psi\) restricted to \(\text{Gal}(\overline{F}/M(\sqrt{(-1)^{(p-1)/2}p}))\) is nontrivial. Let \(L_p^-(\psi)\) be the anticyclotomic \(p\)-adic Hecke \(L\)-function, regarded as an element of \(\overline{W}[[\Gamma_M^-]]\), where \(\Gamma_M^-\) is the Galois group of the composite of the anticyclotomic \(\mathbb Z_p\)-extensions of \(M\). Let \(X=\text{Gal}(L_{\infty}/M_{\infty}^-M(\psi))\), where \(M(\psi)\) is the fixed field of the kernel of \(\psi\) and \(L_{\infty}/M_{\infty}^-M(\psi)\) is the maximal abelian \(p\)-extension unramified outside \(\Sigma_p\). Then \(\text{Gal}(M_{\infty}^-M(\psi)/M)\) acts on \(X\) by conjugation. Let \({\mathcal F}^-(\psi)\) be the characteristic polynomial of \(X[\psi]\). The main result of the paper is that \({\mathcal F}^-(\psi)= L_p^-(\psi)\) up to a unit in \(\overline{W}[[\Gamma_M^-]]\). It was already known from work of the author [in: \(L\)-functions and Galois representations, Burns, David (ed.) et al., Based on the symposium, Durham, UK, July 19--30, 2004. Cambridge: Cambridge University Press. London Mathematical Society Lecture Note Series 320, 207--269 (2007; Zbl 1159.11023)] that \(L_p^-(\psi)\) divides \({\mathcal F}^-(\psi)\). The reverse divisibility is proved by reducing it to an integrality statement, and this is proved using generalized Eisenstein series, introduced by \textit{G. Shimura} [Ann. Math. (2) 111, 313--375 (1980; Zbl 0438.12003)], [Ann. Math. 114, 127--164 (1981; Zbl 0468.10016); ibid. 569--607 (1981; Zbl 0486.10021)], on orthogonal groups of signature \((n,2)\). The present paper extends work of \textit{K. Rubin} [Invent. Math. 93, 701--713 (1988; Zbl 0673.12004)], [Invent. Math. 103, No. 1, 25--68 (1991; Zbl 0737.11030)], \textit{B. Mazur} and \textit{J. Tilouine} [Publ. Math., Inst. Hautes Étud. Sci. 71, 65--103 (1990; Zbl 0744.11053)], and \textit{J. Tilouine} [Duke. Math. J. 59, 629--673 (1989; Zbl 0707.11079)]. The methods of the present paper are based on those of the author and \textit{J. Tilouine} [Ann. Sci. Éc. Norm. Sup. 4-th series 26, 189--259 (1993; Zbl 0778.11061), Invent. Math. 117, 89--147 (1994; Zbl 0819.11047)] and the author [in: \(L\)-functions and Galois representations, Burns, David (ed.) et al., Based on the symposium, Durham, UK, July 19--30, 2004. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Series 320, 207--269 (2007; Zbl 1159.11023)]. More recent work of the author [Int. Math. Res. Not. 5, 912--952 (2009; Zbl 1193.11103)] removes the condition that the primes not above \(p\) in the conductor of \(\psi\) split completely in \(M/F\).
Shimura series, CM field, Galois representations, Hecke-Petersson operators, differential operators (several variables), Galois cohomology, Complex multiplication and moduli of abelian varieties, Automorphic forms on \(\mbox{GL}(2)\); Hilbert and Hilbert-Siegel modular groups and their modular and automorphic forms; Hilbert modular surfaces, Congruences for modular and \(p\)-adic modular forms, anticyclotomic, Fourier coefficients of automorphic forms, Eisenstein series, Main conjecture, Basis problem, Theta series; Weil representation; theta correspondences, Zeta functions and \(L\)-functions of number fields, Arithmetic aspects of modular and Shimura varieties, CM abelian variety, Iwasawa theory
Shimura series, CM field, Galois representations, Hecke-Petersson operators, differential operators (several variables), Galois cohomology, Complex multiplication and moduli of abelian varieties, Automorphic forms on \(\mbox{GL}(2)\); Hilbert and Hilbert-Siegel modular groups and their modular and automorphic forms; Hilbert modular surfaces, Congruences for modular and \(p\)-adic modular forms, anticyclotomic, Fourier coefficients of automorphic forms, Eisenstein series, Main conjecture, Basis problem, Theta series; Weil representation; theta correspondences, Zeta functions and \(L\)-functions of number fields, Arithmetic aspects of modular and Shimura varieties, CM abelian variety, Iwasawa theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 10 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
