Heegner points and Beilinson-Kato elements: a conjecture of Perrin-Riou
type: Item
instance of: scholarly article
title: Heegner points and Beilinson-Kato elements: a conjecture of Perrin-Riou
zbMATH Open document ID: 1495.11066
author: Massimo Bertolini
author: Henri Darmon
author: Rodolfo Venerucci
published in: Advances in Mathematics
publication date: 2022-03-04T00:00:00Z
review text: Let \(E\) be an elliptic curve defined over \(\mathbb{Q}\), and let \(p \geq 3\) be a prime such that \(E\) has semistable reduction at \(p\). The Euler system constructed by \textit{K. Kato} [Astérisque 295, 117--290 (2004; Zbl 1142.11336)] provides, at the bottom layer, a global Galois cohomology class \[ \zeta_E^{\mathrm{Kato}} \in H^1(\mathbb{Q}, V_p(E)), \] where \(V_p(E) = T_p(E) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p\), and \(T_p(E)\) is the \(p\)-adic Tate module of \(E\). In this article, the authors are primarily interested in the situation where \(L(E,1)=0\). In this case, Kato's explicit reciprocity law implies that the local Galois cohomology class \(\mathrm{res}_p(\zeta_E^{\mathrm{Kato}})\) belongs to \(H^1_f(\mathbb{Q}_p, V_p(E))\), and therefore defines a local point in \(E(\mathbb{Q}_p) \otimes \mathbb{Q}_p\). Perrin-Riou has conjectured that this local point is a prescribed element in the natural image of the group of rational points \(E(\mathbb{Q}) \otimes \mathbb{Q}_p\). The authors settle this conjecture by proving the existence of a global point \(P\) in \(E(\mathbb{Q})\) such that \begin{itemize} \item[1.] The point \(P\) has infinite order if and only if \(L(E,s)\) has a simple zero at \(s=1\); \item[2.] The following equality holds in \(\mathbb{Q}_p\) up to multiplication by a non-zero rational number: \[ \log_{\omega_E}(\mathrm{res}_p(\zeta_E^{\mathrm{Kato}})) = \log^2_{\omega_E}(P), \] where \(\omega_E\) is the Néron differential associated to a global minimal Weierstraß equation for \(E\), and \(\log_{\omega_E} \colon E(\mathbb{Q}_p) \to \mathbb{Q}_p\) is the corresponding \(p\)-adic Lie group logarithm. \end{itemize} The authors actually state and prove a natural generalisation of Perrin-Riou's conjecture for modular forms of weight \(k \geq 2\) and level \(\Gamma_0(N)\) which are \(p\)-semistable, which implies the above theorem in the case of elliptic curves. The point \(P\) above is obtained using a Heegner point associated to an imagina…
reviewed by: François Brunault
Mathematics Subject Classification ID: 11F67
Mathematics Subject Classification ID: 11G40
Mathematics Subject Classification ID: 11G35
zbMATH DE Number: 7483895
zbMATH Keywords: elliptic curves
zbMATH Keywords: Heegner points
zbMATH Keywords: Euler systems
zbMATH Keywords: Perrin-Riou
Wikidata QID: Q113880997
MaRDI profile type: Publication
full work available at URL: j.aim.2021.108172
OpenAlex ID: W4210530286
cites work: Triple product \(p\)-adic \(L\)-functions associated to finite slope \(p\)-adic families of modular forms
cites work: Overconvergent Eichler–Shimura isomorphisms
cites work: Q3619556
cites work: Regulators for Rankin-Selberg products of modular forms
cites work: Hida families and rational points on elliptic curves
cites work: Kato's Euler system and rational points on elliptic curves. I: A \(p\)-adic Beilinson formula
cites work: On the eigencurve at classical weight 1 points
cites work: \(p\)-adic Rankin \(L\)-series and rational points on CM elliptic curves
cites work: Generalized Heegner cycles and \(p\)-adic Rankin \(L\)-series. With an appendix by Brian Conrad
cites work: On the failure of Gorensteinness at weight 1 Eisenstein points of the eigencurve
cites work: Beilinson-Flach elements and Euler systems II: The Birch-Swinnerton-Dyer conjecture for Hasse-Weil-Artin 𝐿-series
cites work: Critical \(p\)-adic \(L\)-functions
cites work: p-adic heights and p-adic Hodge theory
cites work: Q4152654
cites work: ON THE EXCEPTIONAL SPECIALIZATIONS OF BIG HEEGNER POINTS
cites work: Q3499975
cites work: STARK POINTS AND -ADIC ITERATED INTEGRALS ATTACHED TO MODULAR FORMS OF WEIGHT ONE
cites work: \(p\)-adic \(L\)-functions and \(p\)-adic periods of modular forms
cites work: Heegner points and derivatives of \(L\)-series
cites work: \(p\)-adic interpolation of real analytic Eisenstein series
cites work: Q4831110
cites work: Overconvergent modular forms and the Fontaine-Mazur conjecture
cites work: Rankin-Eisenstein classes and explicit reciprocity laws
cites work: The \(p\)-adic Gross-Zagier formula for elliptic curves at supersingular primes
cites work: Cohomology of arithmetic families of \((\varphi ,\Gamma)\)-modules
cites work: Triangulation of refined families
cites work: Critical slope \(p\)-adic \(L\)-functions of CM modular forms
cites work: Rankin-Eisenstein classes in Coleman families
cites work: Q4693061
cites work: On \(p\)-adic analogues of the conjectures of Birch and Swinnerton-Dyer
cites work: Non-vanishing of the central derivative of canonical Hecke \(L\)-functions
cites work: Iwasawa theory of de Rham -modules over the Robba ring
cites work: Kolyvagin's method for Chow groups and Kuga-Sato varieties
cites work: Q4316835
cites work: Q3445733
cites work: Syntomic cohomology and \(p\)-adic regulators for varieties over \(p\)-adic fields
cites work: On the two-variable Iwasawa main conjecture
cites work: Ordinary \(p\)-adic étale cohomology groups attached to towers of elliptic modular curves. II
cites work: Analytic families of finite-slope Selmer groups
cites work: Points de Heegner et dérivées de fonctions L p-adiques. (Heegner points and derivatives of p-adic L-functions)
cites work: \(p\)-adic \(L\)-functions of an elliptic curve and rational points
cites work: Iwasawa theory of \(p\)-adic representations over a local field
cites work: Critical slope p ‐adic L ‐functions
cites work: On the L-functions of canonical Hecke characters of imaginary quadratic fields
cites work: On \(L\)-functions of elliptic curves and cyclotomic towers
cites work: L-functions and division towers
cites work: \(p\)-adic \(L\)-functions and rational points on elliptic curves with complex multiplication
cites work: Periods of Hecke characters
cites work: Motives for modular forms
cites work: Nearly Overconvergent Modular Forms
cites work: Exceptional zero formulae and a conjecture of Perrin-Riou
cites work: Q3682554
DOI: 10.1016/J.AIM.2021.108172
description: scientific article; zbMATH DE number 7483895