Iwasawa theory for elliptic curves at supersingular primes (Q1396673)

From MaRDI portal
Revision as of 03:14, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Iwasawa theory for elliptic curves at supersingular primes
scientific article

    Statements

    Iwasawa theory for elliptic curves at supersingular primes (English)
    0 references
    8 July 2003
    0 references
    Let \(p\) be an odd prime, \({\mathbb Q}_{\infty} = \bigcup_{n}\;F_{n}\) the cyclotomic \({\mathbb Z}_{p}\)-extension of \({\mathbb Q},\) \(\wedge\) the usual Iwasawa algebra. In the Iwasawa theory of elliptic curves at good ordinary primes, the Main Conjecture states that the Selmer group over \({\mathbb Q}_{\infty}\) is \(\wedge\)-cotorsion and the characteristic ideal is generated by the Mazur and Swinnerton-Dyer \(p\)-adic \(L\)-function. But at supersingular primes, the Selmer group is no longer cotorsion and the \(p\)-adic \(L\)-function does not live in \(\wedge \otimes \overline{\mathbb Q}_{p}.\) In this paper, the author proposes a new formulation at good supersingular primes by modifying both the Selmer group and the \(p\)-adic \(L\)-function. More precisely, let \(E\) be an elliptic curve over \({\mathbb Q}\) with good supersingular reduction at \(p,\) and such that \(a_{p} =0\) (this is automatically satisfied for a supersingular \(p > 3).\) The modified Selmer groups \(\text{Sel}^{\pm}(E/F_{n})\) are defined by replacing the groups of local points by the modified groups \(E^{\pm}(F_{n, p})\) introduced by \textit{B. Perrin-Riou} [Invent. Math. 99, No. 2, 247--292 (1990; Zbl 0715.11030)] and \textit{H. Knospe} [Manuscr. Math. 87, 225--258 (1995; Zbl 0847.14026)]. The relevant analytical objects are Pollack's \(p\)-adic \(L\)-functions \({\mathcal L}^{\pm}_{p} (E, X),\) which interpolate special values of the Hasse-Weil \(L\)-function and live in \(\wedge.\) The author shows that the modified Selmer groups \(\text{Sel}^{\pm}(E/{\mathbb Q}_{\infty})\) are \(\wedge\)-cotorsion, and he conjectures that char \((\text{Sel}^{\pm}(E/{\mathbb Q}_{\infty})^{\vee}) = ({\mathcal L}_{p}^{\pm} (E, X)).\) He shows that this supersingular Main Conjecture (say SSMC) is equivalent to the conjecture formulated in cohomological terms (for general motives) by \textit{K. Kato} [Arithmetic algebraic geometry. Lect. Notes Math. 1553, 50--163 (1993; Zbl 0815.11051)] and Perrin-Riou (loc. cit.)]. The SSMC was recently proved in the CM case by \textit{R. Pollack} and \textit{K. Rubin} [Ann. Math. (2) 159, No. 1, 447--464 (2004; Zbl 1082.11035)]. Here, in the non-CM case, the author shows half of the SSMC, namely that \({\mathcal L}^{\pm}_{p}(E, X)\) lives in the corresponding characteristic ideal. He also derives an asymptotic formula for the \(p\)-adic order of the Tate-Shafarevich groups \(\text{ Ш} (E/F_{n})\) (assuming their finiteness) involving the \(\lambda\)-and \(\mu\)-invariants of \(\text{ Sel}^{\pm}(E/F_{\infty})^{\vee}.\) This improves upon similar formulas obtained previously by Kurihara and Perrin-Riou with unspecified rational numbers \(\lambda\) and \(\mu\); here, the invariants are specified as \(\lambda_{\pm}\) and \(\mu_{\pm}\) as in Pollack's analytic counterpart. The key point is the construction of \(\wedge\)-valued \(\pm\) Coleman maps which send Kato's zeta element to Pollack's \(p\)-adic \(L\)-function. Once these maps are constructed, the proofs proceed in the same way as in the good ordinary case.
    0 references
    supersingular Main Conjecture
    0 references

    Identifiers