On a conjecture of Gross and Zagier

Abstract

Gross and Zagier conjectured that if the analytic rank of a rational elliptic curve is 1, then the order of the rational torsion subgroup of the elliptic curve divides the product of Tamagawa number, Manin constant, and the square root of the order of Tate--Shafarevich group over an imaginary quadratic field. In this paper, we show that this conjecture is true.

arXiv comment22 pages; major revision: proved the whole conjecture without any other conjecture, deleted some routine computations (will be given upon request)