Data Entry: Please note that the research database will be replaced by UNIverse by the end of October 2023. Please enter your data into the system https://universe-intern.unibas.ch. Thanks
An effective "theorem of André" for CM-points on a plane curve
Journal
Mathematical proceedings of the Cambridge Philosophical Society
Volume
154
Number
1
Pages / Article-Number
145–152
Abstract
It is a well known result of Y. Andre (a basic special case of the Andre-Oort conjecture) that an irreducible algebraic plane curve containing infinitely many points whose coordinates are CM-invariants is either a horizontal or vertical line, or a modular curve Y-0(n). Andre's proof was partially ineffective, due to the use of (Siegel's) class-number estimates. Here we observe that his arguments may be modified to yield an effective proof. For example, with the diagonal line X-1 + X-2 = 1 or the hyperbola X1X2 = 1 it may be shown quite quickly that there are no imaginary quadratic tau(1), tau(2) with j(tau(1))+ j(tau(2)) = 1 or j (tau(1)) j (tau(2)) = 1, where j is the classical modular function. 2010 MSC codes 11G30, 11G15, 11G18.