Heegner points and the arithmetic of elliptic curves over ring class extensions
type: Item
instance of: scholarly article
title: Heegner points and the arithmetic of elliptic curves over ring class extensions
zbMATH Open document ID: 1276.11088
published in: Journal of Number Theory
publication date: 2012-06-04T00:00:00Z
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 11G40
zbMATH DE Number: 6042414
zbMATH Keywords: elliptic curve
zbMATH Keywords: Gross-Zagier formula
zbMATH Keywords: Birch and Swinnerton-Dyer conjecture
zbMATH Keywords: Shafarevich-Tate groups
reviewed by: Cristian D. Gonzales-Aviles
describes a project that uses: SageMath
MaRDI profile type: Publication
full work available at URL: j.jnt.2011.12.018
OpenAlex ID: W2049508988
cites work: The Manin constant. (With an appendix by J. Cremona)
cites work: On the modularity of elliptic curves over \(\mathbb Q\): wild 3-adic exercises
cites work: Kolyvagin's descent and Mordell-Weil groups over ring class fields.
cites work: Report on the Birch and Swinnerton-Dyer conjecture
cites work: Néron Models
cites work: Vanishing of some cohomology groups and bounds for the Shafarevich-Tate groups of elliptic curves
cites work: Number Theory
cites work: Computing Special Values of MotivicL-Functions
cites work: Q3995206
cites work: Computational verification of the Birch and Swinnerton-Dyer conjecture for individual elliptic curves
cites work: Q3347985
cites work: Q3972775
cites work: Heegner points and derivatives of \(L\)-series
cites work: The Rankin's \(L\)-function and Heegner points for general discriminants
cites work: Global divisibility of Heegner points and Tamagawa numbers
cites work: Explicit Heegner points: Kolyvagin's conjecture and non-trivial elements in the Shafarevich-Tate group
cites work: Number theory III: Diophantine geometry
cites work: Proving the Birch and Swinnerton-Dyer conjecture for specific elliptic curves of analytic rank zero and one
cites work: Explicit isogeny descent on elliptic curves
cites work: Q4672849
cites work: Toward a Generalization of the Gross-Zagier Conjecture
cites work: Algorithms for the arithmetic of elliptic curves using Iwasawa theory
cites work: Q4981688
cites work: Modular elliptic curves and Fermat's Last Theorem
cites work: On the conjecture of Birch and Swinnerton-Dyer
cites work: The Gross-Zagier Formula on Shimura Curves
cites work: Gross-Zagier formula for \(\text{GL}_ 2\).
cites work: Heights of Heegner points on Shimura curves.
cites work: Q4657445
DOI: 10.1016/J.JNT.2011.12.018
Recommended article: Heegner points on modular elliptic curves
Recommended article: Heegner Points and the Rank of Elliptic Curves over Large Extensions of Global Fields
Recommended article: Q4657449
Recommended article: Heegner points and Mordell-Weil groups of elliptic curves over large fields
Recommended article: Heegner points on elliptic curves with a rational torsion point
Recommended article: Higher Heegner points on elliptic curves over function fields.
Recommended article: Heegner points and \(p\)-adic \(L\)-functions for elliptic curves over certain totally real fields
Recommended article: Heegner modules and elliptic curves
Recommended article: Hecke points on modular curves
Recommended article: Q3655915
author: Robert Bradshaw
author: William Stein
review text: Let \(E\) be an elliptic curve defined over \(\mathbb Q\) and let \(K\) be a quadratic imaginary field such that all primes dividing the conductor \(N\) of \(E\) split in \(K\). Then \(N\mathcal O_{K}=\mathcal N\bar{\mathcal N}\) for an ideal \(\mathcal N\) of \(\mathcal O_{K}\). For each positive squarefree product \(c\) of rational primes that are inert in \(K\) and coprime to \(N\), let \(K_{c}\) denote the ring class field of conductor \(c\) and let \(G\) denote the abelian group \(\mathrm{Gal}(K_{c}/K)\). Note that \(\#G\) equals the class number \(h_{c}\) of \(\mathcal O_{c}:=\mathbb Z+c\,\mathcal O_{K}\). The pair \((\mathbb C/\mathcal O_{c},(\mathcal N\cap\mathcal O_{c})^{-1}/\mathcal O_{c})\) defines a CM elliptic curve equipped with a cyclic subgroup of order \(N\), and the isomorphism class of this pair defines a point \(x_c\in X_{0}(N)(K_{c})\). Let \(y_{c}=\phi_{E}(x_c)\in E(K_c)\) be the corresponding Heegner point, where \(\phi: X_{0}(N)\to E\) is a fixed modular parametrization of minimal degree, and let \(W=\mathbb Z[G]y_{c}\).NEWLINENEWLINEThe main result of the paper is the following: assuming the truth of the Birch and Swinnerton-Dyer formula, the validity of another conjecture involving the value at 1 of a certain \(L\)-function attached to a character and a newform and certain other conditions which insure, in particular, that \(E(K)+W\) is a subgroup of finite index in \(E(K_{c})\), the authors derive a formula for the index \([E(K_{c})/\text{tors}: (E(K)+W)/\text{tors}]\) in terms of the class number \(h_{c}\) and various other familiar arithmetical constants, e.g., orders of Tate-Shafarevich groups and Tamagawa factors. A specific example is given involving the curve \(y^{2}+y=x^{3}+x^{2}-2x\). As a result of their work on the index formula mentioned above, the authors realize that previously published explicit generalizations of the Gross-Zagier to ring class field appear to be wrong and offer a conjecturally correct formula.
description: scientific article; zbMATH DE number 6042414