Anticyclotomic Iwasawa's main conjecture for Hilbert modular forms (Q424806): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(4 intermediate revisions by 4 users not shown)
Property / review text
 
Let \(F\) be a totally real number field and \(f\) a Hilbert modular cusp form of level \(\mathfrak{n}\), with trivial central character and parallel weight 2, which is an eigenform for the action of the Hecke algebra. Fix a prime \(\wp\) of \(F\) dividing \(\mathfrak{n}\), of residual characteristic \(p \leq 5\). Let \(K\) be a quadratic imaginary extension of \(F\) and \(K_{\wp^\infty}\) be the \(\wp\)-anticyclotomic \(\mathbb{Z}_p\)-extension of \(K\). Suppose for simplicity that \(p\) is unramified in \(F\) and in \(K_f\), where \(K_f\) is the field generated over \(\mathbb Q\) by the eigenvalues of the Hecke algebra acting on \(f\). Fix an embedding of \(\overline{\mathbb Q}\) into \(\overline{\mathbb Q}_{p}\) and denote by \(\pi\) the prime ideal of the ring of integers \(O_f\) of \(K_f\). Assuming certain technical conditions on \(\wp\) and \(\mathfrak{n}\), it is possible to associate to f a \(p\)-adic \(L\)-function \(L_{\wp,\pi} (f/K)\) which is an element of the Iwasawa algebra \(\Lambda_{\wp,\pi}\) of the Galois group of \(K_{\wp^\infty }/K\) over the completion \(O_{f,\pi}\) of \(O_f\) at \(\pi\). The so-called anticyclotomic Iwasawa Main Conjecture (AMC for short) states that the ideals of \(\Lambda_{\wp,\pi}\) generated by \(L_{\wp,\pi} (f/K)\) and by the characteristic series \([[\text{Char}]]_{\wp,\pi} (f/K)\) of the Pontryagin dual of the Selmer group attached to \((f, K_{\wp^\infty})\) must coincide. The central result of this paper is that, under suitable arithmetic assumptions and some technical conditions (among them, a condition which consists in a version of Ihara's lemma for Shimura curves over totally real fields), \([[\text{Char}]]_{\wp,\pi} (f/K)\) divides \(L_{\wp,\pi} (f/K)\). This generalizes the analogous result proved by \textit{M. Bertolini} and \textit{H. Darmon} when \(F = \mathbb Q\) and \(O_{f,\pi} = \mathbb Z_p\) [Ann. Math. (2) 162, No. 1, 1--64 (2005; Zbl 1093.11037)]. The author hopes that, using the techniques announced by Skinner and Urban, it should be possible to prove the opposite divisibility property, hence the AMC. Several structural properties on Selmer and Shafarevich groups above \(K_{\wp^\infty}\) can be derived from the central theorem.
Property / review text: Let \(F\) be a totally real number field and \(f\) a Hilbert modular cusp form of level \(\mathfrak{n}\), with trivial central character and parallel weight 2, which is an eigenform for the action of the Hecke algebra. Fix a prime \(\wp\) of \(F\) dividing \(\mathfrak{n}\), of residual characteristic \(p \leq 5\). Let \(K\) be a quadratic imaginary extension of \(F\) and \(K_{\wp^\infty}\) be the \(\wp\)-anticyclotomic \(\mathbb{Z}_p\)-extension of \(K\). Suppose for simplicity that \(p\) is unramified in \(F\) and in \(K_f\), where \(K_f\) is the field generated over \(\mathbb Q\) by the eigenvalues of the Hecke algebra acting on \(f\). Fix an embedding of \(\overline{\mathbb Q}\) into \(\overline{\mathbb Q}_{p}\) and denote by \(\pi\) the prime ideal of the ring of integers \(O_f\) of \(K_f\). Assuming certain technical conditions on \(\wp\) and \(\mathfrak{n}\), it is possible to associate to f a \(p\)-adic \(L\)-function \(L_{\wp,\pi} (f/K)\) which is an element of the Iwasawa algebra \(\Lambda_{\wp,\pi}\) of the Galois group of \(K_{\wp^\infty }/K\) over the completion \(O_{f,\pi}\) of \(O_f\) at \(\pi\). The so-called anticyclotomic Iwasawa Main Conjecture (AMC for short) states that the ideals of \(\Lambda_{\wp,\pi}\) generated by \(L_{\wp,\pi} (f/K)\) and by the characteristic series \([[\text{Char}]]_{\wp,\pi} (f/K)\) of the Pontryagin dual of the Selmer group attached to \((f, K_{\wp^\infty})\) must coincide. The central result of this paper is that, under suitable arithmetic assumptions and some technical conditions (among them, a condition which consists in a version of Ihara's lemma for Shimura curves over totally real fields), \([[\text{Char}]]_{\wp,\pi} (f/K)\) divides \(L_{\wp,\pi} (f/K)\). This generalizes the analogous result proved by \textit{M. Bertolini} and \textit{H. Darmon} when \(F = \mathbb Q\) and \(O_{f,\pi} = \mathbb Z_p\) [Ann. Math. (2) 162, No. 1, 1--64 (2005; Zbl 1093.11037)]. The author hopes that, using the techniques announced by Skinner and Urban, it should be possible to prove the opposite divisibility property, hence the AMC. Several structural properties on Selmer and Shafarevich groups above \(K_{\wp^\infty}\) can be derived from the central theorem. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Thong Nguyen Quang Do / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11R23 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11F41 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11G10 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11G40 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6043061 / rank
 
Normal rank
Property / zbMATH Keywords
 
anticyclotomic Iwasawa main conjecture
Property / zbMATH Keywords: anticyclotomic Iwasawa main conjecture / rank
 
Normal rank
Property / zbMATH Keywords
 
Hilbert modular forms
Property / zbMATH Keywords: Hilbert modular forms / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q122962276 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.4171/cmh/255 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2079571699 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:44, 30 July 2024

scientific article
Language Label Description Also known as
English
Anticyclotomic Iwasawa's main conjecture for Hilbert modular forms
scientific article

    Statements

    Anticyclotomic Iwasawa's main conjecture for Hilbert modular forms (English)
    0 references
    0 references
    0 references
    5 June 2012
    0 references
    Let \(F\) be a totally real number field and \(f\) a Hilbert modular cusp form of level \(\mathfrak{n}\), with trivial central character and parallel weight 2, which is an eigenform for the action of the Hecke algebra. Fix a prime \(\wp\) of \(F\) dividing \(\mathfrak{n}\), of residual characteristic \(p \leq 5\). Let \(K\) be a quadratic imaginary extension of \(F\) and \(K_{\wp^\infty}\) be the \(\wp\)-anticyclotomic \(\mathbb{Z}_p\)-extension of \(K\). Suppose for simplicity that \(p\) is unramified in \(F\) and in \(K_f\), where \(K_f\) is the field generated over \(\mathbb Q\) by the eigenvalues of the Hecke algebra acting on \(f\). Fix an embedding of \(\overline{\mathbb Q}\) into \(\overline{\mathbb Q}_{p}\) and denote by \(\pi\) the prime ideal of the ring of integers \(O_f\) of \(K_f\). Assuming certain technical conditions on \(\wp\) and \(\mathfrak{n}\), it is possible to associate to f a \(p\)-adic \(L\)-function \(L_{\wp,\pi} (f/K)\) which is an element of the Iwasawa algebra \(\Lambda_{\wp,\pi}\) of the Galois group of \(K_{\wp^\infty }/K\) over the completion \(O_{f,\pi}\) of \(O_f\) at \(\pi\). The so-called anticyclotomic Iwasawa Main Conjecture (AMC for short) states that the ideals of \(\Lambda_{\wp,\pi}\) generated by \(L_{\wp,\pi} (f/K)\) and by the characteristic series \([[\text{Char}]]_{\wp,\pi} (f/K)\) of the Pontryagin dual of the Selmer group attached to \((f, K_{\wp^\infty})\) must coincide. The central result of this paper is that, under suitable arithmetic assumptions and some technical conditions (among them, a condition which consists in a version of Ihara's lemma for Shimura curves over totally real fields), \([[\text{Char}]]_{\wp,\pi} (f/K)\) divides \(L_{\wp,\pi} (f/K)\). This generalizes the analogous result proved by \textit{M. Bertolini} and \textit{H. Darmon} when \(F = \mathbb Q\) and \(O_{f,\pi} = \mathbb Z_p\) [Ann. Math. (2) 162, No. 1, 1--64 (2005; Zbl 1093.11037)]. The author hopes that, using the techniques announced by Skinner and Urban, it should be possible to prove the opposite divisibility property, hence the AMC. Several structural properties on Selmer and Shafarevich groups above \(K_{\wp^\infty}\) can be derived from the central theorem.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    anticyclotomic Iwasawa main conjecture
    0 references
    Hilbert modular forms
    0 references
    0 references
    0 references