Serre's uniformity problem in the split Cartan case

We prove that there exists an integer p_0 such that X_split(p)(Q) is made of cusps and CM-points for any prime p>p_0. Equivalently, for any non-CM elliptic curve E over Q and any prime p>p_0 the image of the Galois representation induced by the Galois action on the p-division points of E is not contained in the normalizer of a split Cartan subgroup. This gives a partial answer to an old question of Serre.

[1]  D. Kubert,et al.  Modular units , 1981 .

[2]  Towards the triviality of $X_0^+ (p^r) (\mathbb{Q})$ for r > 1 , 2005, Compositio Mathematica.

[3]  G. Wüstholz,et al.  Estimating isogenies on elliptic curves , 1990 .

[4]  Barry Mazur,et al.  Rational points on modular curves , 1977 .

[5]  Sur une majoration explicite pour un degré d'isogénie liant deux courbes elliptiques , 2001 .

[6]  A. Levin.  Variations on a theme of Runge: effective determination of integral points on certain varieties , 2008, 0805.1345.

[7]  志村 五郎,et al.  Introduction to the arithmetic theory of automorphic functions , 1971 .

[8]  A. Scholl.  On modular units , 1989 .

[9]  Sur les modules de torsion des courbes elliptiques , 1998 .

[10]  Normalizers of split Cartan subgroups and supersingular elliptic curves , 2006 .

[11]  Runge's Method and Modular Curves , 2009, 0907.3306.

[12]  Jean-Pierre Serre.  Propriétés galoisiennes des points d'ordre fini des courbes elliptiques , 1971 .

[13]  B. Mazur,et al.  Rational isogenies of prime degree , 1978 .

[14]  G. Faltings.  Endlichkeitssätze für abelsche Varietäten über Zahlkörpern , 1983 .

[15]  Galois Properties of Division Fields of Elliptic Curves , 1993 .

[16]  Jean-Pierre Serre,et al.  Quelques applications du théorème de densité de Chebotarev , 1981 .

[17]  F. Momose.  Rational points on the modular curves $X_{\mathrm {split}}(p)$ , 1984 .

[18]  Chris Hall,et al.  Uniform results for Serre's theorem for elliptic curves , 2005 .

[19]  E. Kani,et al.  On the Surjectivity of the Galois Representations Associated to Non-CM Elliptic Curves , 2005, Canadian Mathematical Bulletin.

[20]  Alain Robert,et al.  Introduction to modular forms , 1976 .

[21]  Heights and Elliptic Curves , 1986 .

[22]  Module supersingulier, formule de Gross–Kudla et points rationnels de courbes modulaires , 2008 .

[23]  Barry Mazur,et al.  Modular curves and the eisenstein ideal , 1977 .

[24]  Integral j-invariants and Cartan structures for elliptic curves , 2008 .

[25]  A. Kraus.  Une remarque sur les points de torsion des courbes elliptiques , 1995 .

[26]  E. Bombieri.  ON WEIL'S "THEOREME DE DECOMPOSITION" , 1983 .

[27]  Jacobians of modular curves associated to normalizers of Cartan subgroups of level pn , 2004 .