The rationality of Stark-Heegner points over genus fields of real quadratic fields
type: Item
instance of: scholarly article
title: The rationality of Stark-Heegner points over genus fields of real quadratic fields
zbMATH Open document ID: 1203.11045
author: Massimo Bertolini
author: Henri Darmon
published in: Annals of Mathematics. Second Series
publication date: 2009-07-15T00:00:00Z
full work available at URL: p09.xhtml
review text: Let \(E\) be an elliptic curve over \(\mathbb Q\) of conductor \(N=pM\), where \(p\) is an odd prime not dividing \(M\), and let \(f\) be the normalised cusp form of weight 2 on \(\Gamma_0(N)\) attached to \(E\). Let \(K\) be a real quadratic field such that \(p\) is inert in \(K\) and all prime factors of \(M\) are split. As an analogue to the classical theory of Heegner points, the second author [Ann. Math. (2) 154, No. 3, 589--639 (2001; Zbl 1035.11027)] constructed so-called Stark--Heegner points \(P_\tau\), points on \(E\) over the completion \(K_p\), determined by \(f\) and by an element \(\tau\) of \(K\) belonging to the \(p\)-adic upper half plane \({\mathbb C}_p - {\mathbb Q}_p\). He predicted that some integral multiple of \(P_\tau\) is defined over a ring class field of \(K\) depending on \(\tau\). The main result of the present article gives some evidence for this prediction. To state the result, let us explain the situation. A genus character \(\chi\) of \(K\) determines an extension \(H_\chi={\mathbb Q}(\sqrt{D_1},\,\sqrt{D_2})\) with \(D_1D_2=D\), the discriminant of \(K\). Let \(G_D\) denote the group of \(\text{SL}_2({\mathbb Z})\)-equivalence classes of primitive integral binary quadratic forms of discriminant \(D\), so that, by class field theory, there is an isomorphism \(\text{{rec}}:\,G_D \longrightarrow \text{{Gal}}(H_D/K)\). Here \(H_D\) denotes the narrow ring class field attached to \({\mathcal O}_D\). Define \(P_\chi = \sum_{g\in G_D} \chi(g)P_{\tau^g} \in E(K_p)\). Conjectures by the second author [op.\,cit.] predict that \(P_{\tau^g}= \text{{rec}}(g)^{-1}(P_\tau)\) for all \(g\in G_D\), and thus an integral multiple of \(P_\chi\) belongs to \(E(H_\chi)^\chi\), and moreover that the point \(P_\chi\) is of infinite order if and only if the twisted Hasse--Weil \(L\)-series \(L(E/K,\chi,s)\) has nonzero derivative at \(s=1\). Define log\(_E\) on \(E(K_p)\) by \(\text{{log}}_E(P) = \text{{log}}_q(\Phi^{-1}(P))\), where \(q\in p{\mathbb Z}_p\)…
Mathematics Subject Classification ID: 11G18
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 11G40
Mathematics Subject Classification ID: 11F67
Mathematics Subject Classification ID: 11R11
zbMATH DE Number: 5578963
zbMATH Keywords: arithmetic aspects of modular varieties
zbMATH Keywords: elliptic curves over global fields
zbMATH Keywords: \(L\)-functions of varieties over global fields
zbMATH Keywords: special values of automorphic \(L\)-series
zbMATH Keywords: quadratic fields
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2113325034
cites work: Heegner points, \(p\)-adic \(L\)-functions, and the Cherednik-Drinfeld uniformization
cites work: Hida families and rational points on elliptic curves
cites work: Q4657450
cites work: Q3579575
cites work: Integration on \({\mathcal H_p}\times\mathcal H\) and arithmetic applications.
cites work: Stark–Heegner points on modular Jacobians
cites work: Elliptic units for real quadratic fields
cites work: Elliptic Curves and Class Fields of Real Quadratic Fields: Algorithms and Evidence
cites work: Efficient calculation of Stark-Heegner points via overconvergent modular symbols
cites work: \(p\)-adic \(L\)-functions and \(p\)-adic periods of modular forms
cites work: Q3754673
cites work: Central values of Rankin $L$-series over real quadratic fields
cites work: Q3934463
cites work: Q4079943
DOI: 10.4007/ANNALS.2009.170.343
description: scientific article; zbMATH DE number 5578963