Congruences between Modular Forms, Cyclic Isogenies of Modular Elliptic Curves, and Integrality of $p$-adic $L$-Functions
HTML articles powered by AMS MathViewer
- by Shu-Leung Tang PDF
- Trans. Amer. Math. Soc. 349 (1997), 837-856 Request permission
Abstract:
Let $\Gamma$ be a congruence subgroup of type $(N_1,N_2)$ and of level $N$. We study congruences between weight 2 normalized newforms $f$ and Eisenstein series $E$ on $\Gamma$ modulo a prime $\mathfrak {p}$ above a rational prime $p$. Assume that $p\nmid 6N$, $E$ is a common eigenfunction for all Hecke operators and $f$ is ordinary at $\mathfrak {p}$. We show that the abelian variety associated to $f$ and the cuspidal subgroup associated to $E$ intersect non-trivially in their $p$-torsion points. Let $A$ be a modular elliptic curve over $\mathbb {Q}$ with good ordinary reduction at $p$. We apply the above result to show that an isogeny of degree divisible by $p$ from the optimal curve $A_1$ in the $\mathbb {Q}$-isogeny class of elliptic curves containing $A$ to $A$ extends to an étale morphism of Néron models over $\mathbb {Z}_p$ if $p>7$. We use this to show that $p$-adic distributions associated to the $p$-adic $L$-functions of $A$ are $\mathbb {Z}_p$-valued.References
- Siegfried Bosch, Werner Lütkebohmert, and Michel Raynaud, Néron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 21, Springer-Verlag, Berlin, 1990. MR 1045822, DOI 10.1007/978-3-642-51438-8
- S. Minakshi Sundaram, On non-linear partial differential equations of the hyperbolic type, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 495–503. MR 0000089, DOI 10.1007/BF03046994
- Cahit Arf, Untersuchungen über reinverzweigte Erweiterungen diskret bewerteter perfekter Körper, J. Reine Angew. Math. 181 (1939), 1–44 (German). MR 18, DOI 10.1515/crll.1940.181.1
- J. Coates and C.-G. Schmidt, Iwasawa theory for the symmetric square of an elliptic curve, J. Reine Angew. Math. 375/376 (1987), 104–156. MR 882294, DOI 10.1515/crll.1987.375-376.104
- P. Deligne and M. Rapoport, Les schémas de modules de courbes elliptiques, Modular functions of one variable, II (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) Lecture Notes in Math., Vol. 349, Springer, Berlin, 1973, pp. 143–316 (French). MR 0337993
- Haruzo Hida, On congruence divisors of cusp forms as factors of the special values of their zeta functions, Invent. Math. 64 (1981), no. 2, 221–262. MR 629471, DOI 10.1007/BF01389169
- M. A. Kenku, On the number of $\textbf {Q}$-isomorphism classes of elliptic curves in each $\textbf {Q}$-isogeny class, J. Number Theory 15 (1982), no. 2, 199–202. MR 675184, DOI 10.1016/0022-314X(82)90025-7
- Ju. I. Manin, Parabolic points and zeta functions of modular curves, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 19–66 (Russian). MR 0314846
- B. Mazur and P. Swinnerton-Dyer, Arithmetic of Weil curves, Invent. Math. 25 (1974), 1–61. MR 354674, DOI 10.1007/BF01389997
- B. Mazur, Modular curves and the Eisenstein ideal, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 33–186 (1978). With an appendix by Mazur and M. Rapoport. MR 488287, DOI 10.1007/BF02684339
- B. Mazur, Rational isogenies of prime degree (with an appendix by D. Goldfeld), Invent. Math. 44 (1978), no. 2, 129–162. MR 482230, DOI 10.1007/BF01390348
- B. Mazur, J. Tate, and J. Teitelbaum, On $p$-adic analogues of the conjectures of Birch and Swinnerton-Dyer, Invent. Math. 84 (1986), no. 1, 1–48. MR 830037, DOI 10.1007/BF01388731
- David Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, vol. 5, Published for the Tata Institute of Fundamental Research, Bombay by Oxford University Press, London, 1970. MR 0282985
- K. A. Ribet, On modular representations of $\textrm {Gal}(\overline \textbf {Q}/\textbf {Q})$ arising from modular forms, Invent. Math. 100 (1990), no. 2, 431–476. MR 1047143, DOI 10.1007/BF01231195
- Jean-Pierre Serre, Sur la topologie des variétés algébriques en caractéristique $p$, Symposium internacional de topología algebraica International symposium on algebraic topology, Universidad Nacional Autónoma de México and UNESCO, Mexico City, 1958, pp. 24–53 (French). MR 0098097
- Jean-Pierre Serre, Propriétés galoisiennes des points d’ordre fini des courbes elliptiques, Invent. Math. 15 (1972), no. 4, 259–331 (French). MR 387283, DOI 10.1007/BF01405086
- Tadasi Nakayama, On Frobeniusean algebras. I, Ann. of Math. (2) 40 (1939), 611–633. MR 16, DOI 10.2307/1968946
- Goro Shimura, Introduction to the arithmetic theory of automorphic functions, Kanô Memorial Lectures, No. 1, Iwanami Shoten Publishers, Tokyo; Princeton University Press, Princeton, N.J., 1971. Publications of the Mathematical Society of Japan, No. 11. MR 0314766
- Goro Shimura, The special values of the zeta functions associated with Hilbert modular forms, Duke Math. J. 45 (1978), no. 3, 637–679. MR 507462
- J.H. Silverman, The Arithmetic of Elliptic Curves, Graduate Texts in Math., vol. 106, Springer-Verlag, New York, Berlin and Heidelberg, 1986.
- Radu Bǎdescu, On a problem of Goursat, Gaz. Mat. 44 (1939), 571–577. MR 0000087
- Glenn Stevens, The cuspidal group and special values of $L$-functions, Trans. Amer. Math. Soc. 291 (1985), no. 2, 519–550. MR 800251, DOI 10.1090/S0002-9947-1985-0800251-4
- Glenn Stevens, Stickelberger elements and modular parametrizations of elliptic curves, Invent. Math. 98 (1989), no. 1, 75–106. MR 1010156, DOI 10.1007/BF01388845
- Andrew Wiles, Modular curves and the class group of $\textbf {Q}(\zeta _{p})$, Invent. Math. 58 (1980), no. 1, 1–35. MR 570872, DOI 10.1007/BF01402272
- A. Wiles, On $p$-adic representations for totally real fields, Ann. of Math. (2) 123 (1986), no. 3, 407–456. MR 840720, DOI 10.2307/1971332
Additional Information
- Shu-Leung Tang
- Affiliation: Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada L8S 4K1
- Address at time of publication: Department of Mathematics, The University of Hong Kong, Pokfulam Road, Hong Kong
- Received by editor(s): May 10, 1995
- Received by editor(s) in revised form: September 21, 1995
- © Copyright 1997 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 349 (1997), 837-856
- MSC (1991): Primary 11G05, 11G18; Secondary 11S40
- DOI: https://doi.org/10.1090/S0002-9947-97-01748-0
- MathSciNet review: 1376558