Iwasawa theory of elliptic curves and Galois module structure
type: Item
instance of: scholarly article
title: Iwasawa theory of elliptic curves and Galois module structure
zbMATH Open document ID: 0802.11051
DOI: 10.1215/S0012-7094-93-07118-9
published in: Duke Mathematical Journal
publication date: 1994-12-15T00:00:00Z
review text: Let \(E\) be an elliptic curve with complex multiplication by the ring of integers of \(K\), an imaginary quadratic field. Assume the class number of \(K\) is 1, and \(E\) is defined over \(K\) and has everywhere good reduction over \(F\), an abelian extension of \(K\). Let \(p\) be an odd prime which splits as \(p= \pi\pi^*\) over \(K\). Let \({\mathcal B}_ i\) be the \({\mathcal O}_ F\)-Hopf algebra representing \(\ker [\pi^{*i}]: E(\mathbb{Q}^ c)\to E(\mathbb{Q}^ c)\), and \({\mathcal A}_ i\) the Cartier dual of \({\mathcal B}_ i\). For \(Q\) in \(E(F)\) let \(G_ Q(i)\) be the preimage of \(Q\) under \([\pi^{*i}]\), and let \(C_ Q(i)\) be the maximal \({\mathcal A}_ i\)-stable submodule of the integral closure of \(\mathbb{Z}\) in the Kummer algebra \(F_ Q(i)= \text{Map}_{\Omega_ F} (G_ Q(i), \mathbb{Q}^ c)\). Then, as \textit{M. Taylor} [Ill. J. Math. 32, 428-452 (1988; Zbl 0648.14019)] shows, \(C_ Q(i)\) is a \({\mathcal B}_ i\)-principal homogeneous space, hence a locally free \({\mathcal A}_ i\)-module. Thus, for \({\mathcal M}_ i\) the maximal order of \({\mathcal A}_ i\), there is a map \(\psi_ i: E(F)/ [\pi^{*i} ]E(F)\to C\ell({\mathcal M}_ i)\) into the locally free class group of \({\mathcal M}_ i\), by \(\psi_ i(Q)= (C_ Q (i)\cdot {\mathcal M}_ i)\). The author shows that if the algebraic \(p\)-adic height pairing for \(E/F\) of \textit{B. Perrin-Riou} [Invent. Math. 70, 369-398 (1983; Zbl 0547.14025)] is non-degenerate modulo torsion, that the \(p\)-primary component of the Tate-Shafarevich group of \(E/F\) is finite and that the rank of a certain eigenspace obtained from \(E(F)\) is 1, then there is some point \(Q\) of infinite order with \(\psi_ i(Q)=0\) for all \(i\).
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 11R33
zbMATH DE Number: 495427
zbMATH Keywords: elliptic curve with complex multiplication
zbMATH Keywords: ring of integers
zbMATH Keywords: \(p\)-adic height pairing
zbMATH Keywords: \(p\)-primary component
zbMATH Keywords: Tate-Shafarevich group
author: A. Agboola
reviewed by: Lindsay N. Childs
MaRDI profile type: Publication
cites work: Abelian varieties and Galois module structure in global function fields
cites work: Class invariants of Mordell-Weil groups.
cites work: On the units of algebraic number fields
cites work: Q4012330
cites work: On Taylor's conjecture for Kummer orders
cites work: Elliptic functions and rings or integers
cites work: Q3328665
cites work: Q3995220
cites work: On the conjecture of Birch and Swinnerton-Dyer
cites work: Q3966247
cites work: Q3972988
cites work: Q3347985
cites work: An Orthogonality Relation on the Points of an Elliptic Curve
cites work: Infinite descent and \(p\)-adic heights over elliptic curves with complex multiplication
cites work: Arithmétique des courbes elliptiques et théorie d'Iwasawa
cites work: \(p\)-adic \(L\)-functions and rational points on elliptic curves with complex multiplication
cites work: Q3710637
cites work: Elliptic curves with complex multiplication and Galois module structure
cites work: Mordell-Weil groups and the Galois module structure of rings of integers
cites work: Q3729029
cites work: The M(atrix) model of M-theory
cites work: The Galois module structure of certain arithmetic principal homogeneous spaces
Recommended article: On p-adic height pairings and locally free classgroups of Hopf orders
Recommended article: Class invariants of Mordell-Weil groups.
Recommended article: Torsion points on elliptic curves and Galois module structure
Recommended article: Derived P-Adic Heights
Recommended article: On a Galois extension with restricted ramification related to the Selmer group of an elliptic curve with complex multiplication.
Recommended article: An Orthogonality Relation on the Points of an Elliptic Curve
Recommended article: Local Galois Symbols on E x E
Recommended article: Galois structure and elliptic curves
Recommended article: Q4317830
Recommended article: Q4316835
description: scientific article; zbMATH DE number 495427