Asymptotic behavior of class groups and cyclotomic Iwasawa theory of elliptic curves (Q6072963): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
‎Created a new Item
 
ReferenceBot (talk | contribs)
‎Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W4387477125 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3972724 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The weight in Serre's conjectures on modular forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4317713 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On class numbers of division fields of abelian varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local torsion primes and the class numbers associated to an elliptic curve over \(\mathbb{Q}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A remark on the rational points of abelian varieties with values in cyclotomic $Z_p$-extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: On \(\mathbb Z_{\ell}\)-extensions of algebraic number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4831110 / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(p\)-adic analytic groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4254917 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3445917 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Asymptotic lower bound of class numbers along a Galois representation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On higher fitting ideals of certain Iwasawa modules associated with Galois representations and Euler systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relating the Tate-Shafarevich group of an elliptic curve with the class group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Euler Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the class numbers of the fields of the \(p^n\)-torsion points of certain elliptic curves over \(\mathbb{Q}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the class numbers of the fields of the p^n-torsion points of elliptic curves over \protect \mathbb{Q} / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5509717 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5626857 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Galois properties of points of finite order of elliptic curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997322 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Arithmetic of Elliptic Curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Iwasawa Main Conjectures for \(\mathrm{GL}_{2}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relations between \(K_2\) and Galois cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5690489 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 04:44, 3 August 2024

scientific article; zbMATH DE number 7750333
Language Label Description Also known as
English
Asymptotic behavior of class groups and cyclotomic Iwasawa theory of elliptic curves
scientific article; zbMATH DE number 7750333

    Statements

    Asymptotic behavior of class groups and cyclotomic Iwasawa theory of elliptic curves (English)
    0 references
    0 references
    0 references
    13 October 2023
    0 references
    Let \(E\) be an elliptic curve over \(\mathbb Q\) and let \(p\) be an odd prime where \(E\) has good reduction. For any \(n\in {\mathbb Z}_{\geq 0}\) let \(K_n^E={\mathbb Q}(E[p^n])\), the Galois field extension of \({\mathbb Q}\) generated by the coordinates of all \(p^n\)-torsion points of \(E\). Let \({\mathcal O}_{K_n^E}\) and \(\text{Cl}({\mathcal O}_{K_n^E})\) denote, respectively, the ring of integers of \(K_n^E\), and the class group of \(K_n^E\). Let \(K_n={\mathbb Q}(\mu_{p^n})\) where \(\mu_{p^n}\) is the group of \(p^n\)-th roots of unity. In the present paper the authors define a quotient \(A_n^E\) of \(\text{Cl}({\mathcal O}_{K_n^E})\otimes_{\mathbb Z}{\mathbb Z}_p\) and use the fine Selmer group \(\text{Sel}_p(K_n,E[p^n])\) to describe its asymptotic behavior. The main result of the paper is the following theorem. In its statement let \[K_\infty=\bigcup_{n\geq 0}K_n, \hskip .125 in {\mathcal G}_{n,0}=\text{Gal}(K_n/\mathbb Q), \text{and}\] \[R_n={\mathbb Z}/p^n{\mathbb Z}[\mathcal G_{n,0}]={\mathbb Z}_p/p^n{\mathbb Z}_p[\text{Gal}(K_n/\mathbb Q].\] Denote the Pontrjagin dual of \(A_n^E\) by \[(A_n^E)^\vee=\text{Hom}_{{\mathbb Z}_p}(A_n^E, {\mathbb Z}/p^n{\mathbb Z}).\] Theorem 1.1. Let \(E\) be an elliptic curve over \(\mathbb Q\), and \(p\) an odd prime number where \(E\) has good reduction. Suppose that \(E\) satisfies the following conditions (C1), (C2), and (C3). \begin{itemize} \item [(C1)] The Galois representation \[\rho_1^E: G_{K_\infty}:=\text {Gal}(\overline{\mathbb Q}/K_\infty)\rightarrow \text {Aut}_{{\mathbb F}_p}(E[p])\simeq\text{GL}_2({\mathbb F}_p)\] is absolutely irreducible over \({\mathbb F}_p\). \item[(C2)] For any \(n\in {\mathbb Z}_{\geq 1}\) and any place \(v\) of \(K_n\) where the base change \(E_{K_{n,v}}\) of \(E\) has potentially multiplicative reduction, we have \(E(K_{n,v})[p]=0\). \item [(C3)] If \(E\) has complex multiplication, the ring \(\text{End}(E)\) of endomorphisms of \(E\) defined over \(\overline{\mathbb Q}\) is the maximal order of an imaginary quadratic field. \end{itemize} Then, there exists a family of \(R_n\)-homomorphisms \[r_n:\text{Sel}_p(K_n,E[p^n])^{\oplus 2}\rightarrow (A_n^E)^{\vee}\] such that the kernel \(\text{Ker}(r_n)\) and the cokernel \(\text{Coker}(r_n)\) are finite with order bounded independently of \(n\). Now let \(\Delta = \mathcal G_{1,0}\simeq ({\mathbb Z}/p{\mathbb Z})^\times\) and for each \(\chi \in \widehat{\Delta}\) define the \({\mathbb Z}_p[\Delta]\)-algebra \({\mathbb Z}_p(\chi):={\mathbb Z}_p\) where \(\Delta\) acts via \(\chi\). For a \({\mathbb Z}_p[\Delta]\)-module \(M\), set \(M_\chi:=M\otimes_{{\mathbb Z}_p[\Delta]}{\mathbb Z}_p(\chi)\). Let \(h_{n,\chi}^E=\text{ord}_p(\#A_{n,\chi}^K)\) and \(h_n^E=\text{ord}_p(\#A_n^K)\) where \(\text{ord}_p\) is the additive \(p\)-adic valuation normalized by \(\text{ord}_p(p)=1\). Let \[\Gamma = \text{Gal}(K_\infty/K_1), \hskip .125 in \Lambda = {\mathbb Z}_p[ [\Gamma] ],\] and \[\text{Sel}_p(K_\infty,E[p^\infty])=\varinjlim_n \text{Sel}_p(K_n,E[p^\infty]).\] Define the Iwasawa module \(X_\infty\) by \[X_\infty:=\text{Sel}_p(K_\infty,E[p^\infty])^\vee:=\text{Hom}_{{\mathbb Z}_p}(\text{Sel}_p(K_\infty,E[p^\infty]), {\mathbb Q}_p/{\mathbb Z}_p),\] a finitely generated and torsion \(\Lambda\)-module. If \(\{a_n\}_n\) and \(\{b_n\}_n\) are sequences of real numbers such that the sequences \(\{a_n-b_n\}_n\) and \(\{b_n-a_n\}_n\) are bounded below, then write \(a_n\sim b_n\). The authors obtain the following corollary to Theorem 1.1. Corollary 1.8. Let \(E\) be an elliptic curve over \(\mathbb Q\), and \(p\) an odd prime number where \(E\) has good reduction. Suppose that \(E\) satisfies the conditions (C1), (C2), and (C3). Then, for any \(\chi\in \widehat{\Delta}\), we have \[h_{n,\chi}^E\sim 2\ (\mu(X_{\infty, \chi})p^{n-1}+\lambda (X_{\infty, \chi})n),\] and moreover, \(h_n^E\sim 2\ (\mu(X_\infty)p^{n-1}+\lambda (X_\infty)n)\).
    0 references
    class number
    0 references
    elliptic curve
    0 references
    Iwasawa theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references