A Birch and Swinnerton-Dyer conjecture for the Mazur-Tate circle pairing (Q707487)

Let \(E\) be an elliptic curve over \(\mathbb{Q}\) attached to a new form \(f\) of weight 2 on \(\Gamma_0(N)\) and let \(K\) be a real quadratic field in which all the primes dividing \(N\) split. Given a quadratic character \(\chi\) of the narrow class group of \(K\), the authors define two integrals (``periods'') \(I(f,\chi)\) and \(J'(f,\chi)\) and prove that \(I(f,\chi)\) vanishes if and only if \(L(E/K,\chi,1)\) does. Assuming \(I(f,\chi)= 0\), the authors formulate an analogue of the Birch and Swinnerton-Dyer conjecture in which \(J'(f,\chi)\) replaces the derivative \(L'(E/K,\chi,1)\) and the circle pairing, defined by \textit{B. Mazur} and \textit{J. Tate} [Arithmetic and geometry, Pap. dedic. I. R. Shafarevich, Vol. I: Arithmetic, Prog. Math. 35, 195--237 (1983; Zbl 0574.14036)], replaces the Néron-Tate height. According to the authors, their conjecture ``emerges naturally as an Archimedean fragment of the theory of anticyclotomic \(p\)-adic \(L\)-functions'' developed in the authors' earlier work [\textit{M. Bertolini} and \textit{H. Darmon}, Invent. Math. 126, No. 3, 413--456 (1996; Zbl 0882.11034)], moreover, that conjecture ``has been tested numerically in a variety of situations'' (some of the numerical evidence for the conjecture is summarised in the paper). The authors' second conjecture gives a formula for the Mazur-Tate circle pairing of two explicitly given Heegner elements, analogous to one of the formulae in the work of \textit{B. Gross}, \textit{W. Kohnen} and \textit{D. Zagier} [Math. Ann. 278, 497--562 (1987; Zbl 0641.14013)] this second conjecture is said ``to be more tractable'' than the first one.