Hostname: page-component-586b7cd67f-l7hp2 Total loading time: 0 Render date: 2024-11-29T10:50:22.690Z Has data issue: false hasContentIssue false

An effective “Theorem of André” for CM-points on a plane curve

Published online by Cambridge University Press:  04 October 2012

YURI BILU
Affiliation:
Institut de Mathématiques de Bordeaux, Université Bordeaux 1, 351 cours de la Libération, 33405 Talence, France. e-mail: [email protected]
DAVID MASSER
Affiliation:
Mathematisches Institut, Universität Basel, Rheinsprung 21, 4051 Basel, Switzerland. e-mail: [email protected]
UMBERTO ZANNIER
Affiliation:
Scuola Normale Superiore, Piazza Cavalieri 7, 56126 Pisa, Italy. e-mail: [email protected]

Abstract

It is a well known result of Y. André (a basic special case of the André-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 Y0(n). André'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 X1+X2=1 or the hyperbola X1X2=1 it may be shown quite quickly that there are no imaginary quadratic τ12 with j1)+j2)=1 or j1)j2)=1, where j is the classical modular function.

Keywords

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[A]André, Y.Finitude des couples d'invariants modulaires singuliers sur une courbe algébrique plane non modulaire. J. Reine Angew. Math. 505 (1998), 203208.CrossRefGoogle Scholar
[GZ]Gross, B. H. and Zagier, D. B.On singular moduli. J. Reine Angew. Math. 355 (1985), 191220.Google Scholar
[H]Husemöller, D.Elliptic Curves (Springer–Verlag, 1987).CrossRefGoogle Scholar
[K1]Kühne, L.An effective result of André–Oort type. Ann. Math. 176 (2012), 651671.CrossRefGoogle Scholar
[K2]Kühne, L. An effective result of André–Oort type II. Submitted.Google Scholar
[L]Lang, S.Elliptic Functions (Addison–Wesley, 1973).Google Scholar
[M]Masser, D.Elliptic functions and transcendence. Lecture Notes in Math. vol 437 (Springer–Verlag, 1975).CrossRefGoogle Scholar