Watkins's Conjecture for Elliptic Curves with Rational Two-Torsion

Primarily AI-generated textHuman understanding: no partsmath.NT — Number Theorymath.AG — Algebraic Geometry

Contributed by Qiyue Tang ↗

Version 1 / Nov 11, 2026 / CC BY 4.0

Abstract

We prove that the modular degree of every elliptic curve E/QE/\mathbb Q with E(Q)[2]≠0E(\mathbb Q)[2]\ne 0 is divisible by 2rank⁡E(Q)2^{\operatorname{rank}E(\mathbb Q)}.

Author comments: By posting this manuscript on this platform, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in preparing a finished account or checking the arguments; the eventual scholarly credit should go to those who undertake that work.

Provenance statement

GPT-6-Pro was used for 8 hours during the initial research round in which the proof was developed. GPT-6-Pro was also used to review the mathematical arguments and polish the manuscript. An additional independent audit by Rethlas-OSV will be included at a later stage.

References

  1. A. Agashe, K. A. Ribet, and W. A. Stein, The modular degree, congruence primes, and multiplicity one , in Number Theory, Analysis and Geometry: In Memory of Serge Lang , Springer, New York, 2012, 19--49. doi:10.1007/978-1-4614-1260-1_2 (https://doi.org/10.1007/978-1-4614-1260-1_2).DOI
  2. P. B. Allen, Powers of 22 in the modular degree via 22-adic R=TR=T , preprint, https://patrick-allen.github.io/research/watkins.pdf, accessed November 10, 2026.link
  3. A. O. L. Atkin and W.-C. W. Li, Twists of newforms and pseudo-eigenvalues of WW-operators , Invent. Math. 48 (1978), no. 3, 221--243.
  4. F. Bars, The group structure of the normalizer of Γ0(N)\Gamma_0(N) after Atkin--Lehner , preprint, 2007, arXiv:math/0701636 (https://arxiv.org/abs/math/0701636).arXiv
  5. S. Bhakta and S. Krishnamoorthy, Watkins's conjecture for elliptic curves with a rational torsion , preprint, 2024, arXiv:2407.17680 (https://arxiv.org/abs/2407.17680).arXiv
  6. S. Bhakta, S. Krishnamoorthy, and S. K. Pasupulati, Modular degree and a conjecture of Watkins , preprint, 2023, revised 2025, arXiv:2308.13708v3 (https://arxiv.org/abs/2308.13708v3).arXiv
  7. S. Bosch, W. Lütkebohmert, and M. Raynaud, Néron Models , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 21, Springer-Verlag, Berlin, 1990.
  8. C. Breuil, B. Conrad, F. Diamond, and R. Taylor, On the modularity of elliptic curves over \(\Q\): wild 33-adic exercises , J. Amer. Math. Soc. 14 (2001), no. 4, 843--939.
  9. F. Calegari, V. Dimitrov, and Y. Tang, The unbounded denominators conjecture , J. Amer. Math. Soc. 38 (2025), no. 3, 627--702. doi:10.1090/jams/1053 (https://doi.org/10.1090/jams/1053).DOI
  10. F. Calegari and M. Emerton, Elliptic curves of odd modular degree , Israel J. Math. 169 (2009), 417--444.
Show all 35 referencesShow fewer references
  1. J. Caro, Watkins's conjecture for quadratic twists of elliptic curves with prime power conductor , J. Théor. Nombres Bordeaux 37 (2025), no. 2, 647--663. doi:10.5802/jtnb.1335 (https://doi.org/10.5802/jtnb.1335).DOI
  2. J. Caro and H. Pasten, Watkins's conjecture for elliptic curves with non-split multiplicative reduction , Proc. Amer. Math. Soc. 150 (2022), no. 8, 3245--3251. doi:10.1090/proc/15942 (https://doi.org/10.1090/proc/15942).DOI
  3. K. Česnavičius, The Manin constant in the semistable case , Compos. Math. 154 (2018), no. 9, 1889--1920.
  4. Z. Chi, S. Liu, and P. Nie, On the Manin constant , preprint, 2026, arXiv:2610.25672v1 (https://arxiv.org/abs/2610.25672v1).arXiv
  5. D. A. Cox, Primes of the Form x2+ny2x^2+ny^2: Fermat, Class Field Theory, and Complex Multiplication , 2nd ed., John Wiley & Sons, Hoboken, NJ, 2013.
  6. V. G. Drinfeld, Two theorems on modular curves , Funct. Anal. Appl. 7 (1973), 155--156.
  7. N. Dummigan, On a conjecture of Watkins , J. Théor. Nombres Bordeaux 18 (2006), no. 2, 345--355.
  8. N. Dummigan and S. Krishnamoorthy, Powers of 22 in modular degrees of modular abelian varieties , J. Number Theory 133 (2013), no. 2, 501--522.
  9. J. A. Esparza-Lozano and H. Pasten, A conjecture of Watkins for quadratic twists , Proc. Amer. Math. Soc. 149 (2021), no. 6, 2381--2385. doi:10.1090/proc/15376 (https://doi.org/10.1090/proc/15376).DOI
  10. S. D. Galbraith, Rational points on X0+(N)X_0^+(N) and quadratic \(\Q\)-curves , J. Théor. Nombres Bordeaux 14 (2002), no. 1, 205--219; expanded author version, February 1, 2011, https://www.math.auckland.ac.nz/~sgal018/x0n.pdf.link
  11. J. Hatley and D. Kundu, Elliptic curves of conductor 2mp2^m p, quadratic twists, and Watkins' conjecture , Ann. Math. Qué. 50 (2026), 143--165. doi:10.1007/s40316-025-00249-8 (https://doi.org/10.1007/s40316-025-00249-8).DOI
  12. N. M. Katz and B. Mazur, Arithmetic Moduli of Elliptic Curves , Annals of Mathematics Studies, vol. 108, Princeton University Press, Princeton, NJ, 1985.
  13. M. Kazalicki and D. Kohen, On a special case of Watkins' conjecture , Proc. Amer. Math. Soc. 146 (2018), no. 2, 541--545.
  14. M. Kazalicki and D. Kohen, Corrigendum to ``On a special case of Watkins' conjecture'' , Proc. Amer. Math. Soc. 147 (2019), no. 10, 4563.
  15. M. Kazalicki and S. Slijepčević, Gross vectors modulo 22 and elliptic curves of prime conductor , preprint, 2026, arXiv:2608.13371 (https://arxiv.org/abs/2608.13371).arXiv
  16. V. A. Kolyvagin, Finiteness of \(E(\Q)\) and \(\mathrm{Sha}(E,\Q)\) for a subclass of Weil curves , Math. USSR-Izv. 32 (1989), no. 3, 523--541.
  17. W.-C. W. Li, Newforms and functional equations , Math. Ann. 212 (1975), no. 4, 285--315.
  18. Yu. I. Manin, Parabolic points and zeta-functions of modular curves , Math. USSR-Izv. 6 (1972), 19--64.
  19. J. S. Milne, Class Field Theory , version 4.03, August 6, 2020, https://www.jmilne.org/math/CourseNotes/CFT.pdf.link
  20. D. E. Rohrlich, Galois theory, elliptic curves, and root numbers , Compos. Math. 100 (1996), no. 3, 311--349.
  21. J. H. Silverman, The Arithmetic of Elliptic Curves , 2nd ed., Graduate Texts in Mathematics, vol. 106, Springer, Dordrecht, 2009.
  22. W. A. Stein and M. Watkins, Modular parametrizations of Neumann--Setzer elliptic curves , Int. Math. Res. Not. 2004 (2004), no. 27, 1395--1405. doi:10.1155/S1073792804133916 (https://doi.org/10.1155/S1073792804133916).DOI
  23. M. Watkins, Computing the modular degree of an elliptic curve , Experiment. Math. 11 (2002), no. 4, 487--502.
  24. K. Wohlfahrt, An extension of F. Klein's level concept , Illinois J. Math. 8 (1964), 529--535.
  25. S. Yazdani, Modular abelian varieties of odd modular degree , Algebra Number Theory 5 (2011), no. 1, 37--62.

Version history

  1. v1 · 35 pagesSubmitted by Qiyue TangBy posting this manuscript on this platform, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in preparing a finished account or checking the arguments; the eventual scholarly credit should go to those who undertake that work.CurrentNov 10, 2026