Geodesic
Complete verification of strong BSD for many modular abelian surfaces over ${\mathbf {Q}}$
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e20

Voir la notice de l'article provenant de la source Cambridge University Press

We develop the theory and algorithms necessary to be able to verify the strong Birch–Swinnerton-Dyer Conjecture for absolutely simple modular abelian varieties over ${\mathbf {Q}}$. We apply our methods to all 28 Atkin–Lehner quotients of $X_0(N)$ of genus $2$, all 97 genus $2$ curves from the LMFDB whose Jacobian is of this type and six further curves originally found by Wang. We are able to verify the strong BSD Conjecture unconditionally and exactly in all these cases; this is the first time that strong BSD has been confirmed for absolutely simple abelian varieties of dimension at least $2$. We also give an example where we verify that the order of the Tate–Shafarevich group is $7^2$ and agrees with the order predicted by the BSD Conjecture. 
Keller, Timo; Stoll, Michael. Complete verification of strong BSD for many modular abelian surfaces over ${\mathbf {Q}}$. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e20. doi: 10.1017/fms.2024.133
@article{10_1017_fms_2024_133,
     author = {Keller, Timo and Stoll, Michael},
     title = {Complete verification of strong {BSD} for many modular abelian surfaces over ${\mathbf {Q}}$},
     journal = {Forum of Mathematics, Sigma},
     pages = {e20},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2024.133},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2024.133/}
}
TY  - JOUR
AU  - Keller, Timo
AU  - Stoll, Michael
TI  - Complete verification of strong BSD for many modular abelian surfaces over ${\mathbf {Q}}$
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e20
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2024.133/
DO  - 10.1017/fms.2024.133
ID  - 10_1017_fms_2024_133
ER  - 
%0 Journal Article
%A Keller, Timo
%A Stoll, Michael
%T Complete verification of strong BSD for many modular abelian surfaces over ${\mathbf {Q}}$
%J Forum of Mathematics, Sigma
%D 2025
%P e20
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2024.133/
%R 10.1017/fms.2024.133
%F 10_1017_fms_2024_133

[1] Agashe, A., Ribet, K. and Stein, W. A., ‘The Manin constant’, Pure Appl. Math. Q. 2(2) (2006), 617–636. Google Scholar | DOI

[2] Agashe, A. and Stein, W., ‘Visibility of Shafarevich-Tate groups of abelian varieties’, J. Number Theory 97(1) (2002), 171–185. Google Scholar | DOI

[3] Agashe, A. and Stein, W., ‘Visible evidence for the Birch and Swinnerton-Dyer conjecture for modular abelian varieties of analytic rank zero’, Math. Comp. 74(249) (2005), 455–484, With an appendix by J. Cremona and B. Mazur. Google Scholar | DOI

[4] Arbarello, E., Cornalba, M., Griffiths, P. A. and Harris, J., Geometry of Algebraic Curves. Vol. I(Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]) vol. 267 (Springer-Verlag, New York, 1985). Google Scholar | DOI

[5] Balakrishnan, J. S., Müller, J. S. and Stein, W. A., ‘A -adic analogue of the conjecture of Birch and Swinnerton-Dyer for modular abelian varieties’, Math. Comp. 85(298) (2016), 983–1016. Google Scholar | DOI

[6] Belabas, K. and Perrin-Riou, B., ‘Overconvergent modular symboles and -adic -functions’, Preprint, 2021, . Google Scholar | arXiv

[7] Bending, P. R., ‘Curves of genus 2 with multiplication’, Preprint, 1999, . Google Scholar | arXiv

[8] Birch, B. J. and Swinnerton-Dyer, H. P. F., ‘Notes on elliptic curves. II’, J. Reine Angew. Math. 218 (1965), 79–108. Google Scholar | DOI

[9] Birkenhake, C. and Lange, H., Complex Abelian Varieties, second edn. (Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]) vol. 302 (Springer-Verlag, Berlin, 2004). Google Scholar | DOI

[10] Bombieri, E. and Gubler, W., Heights in Diophantine Geometry (New Mathematical Monographs) vol. 4 (Cambridge University Press, Cambridge, 2006). Google Scholar

[11] Van Bommel, R., ‘Numerical verification of the Birch and Swinnerton-Dyer conjecture for hyperelliptic curves of higher genus over up to squares’, Exp. Math. (2019), 1–8. Google Scholar

[12] Bosch, S., Lütkebohmert, W. and Raynaud, M., Néron Models (Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]) vol. 21 (Springer-Verlag, Berlin, 1990). Google Scholar | DOI

[13] Bosma, W., Cannon, J. and Playoust, C., ‘The Magma algebra system. I. The user language’, J. Symbolic Comput. 24(3–4) (1997), 235–265, Computational algebra and number theory (London, 1993). Google Scholar | DOI

[14] Boxer, G., Calegari, F., Gee, T. and Pilloni, V., ‘Abelian surfaces over totally real fields are potentially modular’, Publ. Math. Inst. Hautes Études Sci. 134 (2021), 153–501. Google Scholar | DOI

[15] Breuil, C., Conrad, B., Diamond, F. and Taylor, R., ‘On the modularity of elliptic curves over : wild 3-adic exercises’, J. Amer. Math. Soc. 14(4) (2001), 843–939. Google Scholar | DOI

[16] Bruin, N., Poonen, B. and Stoll, M., ‘Generalized explicit descent and its application to curves of genus 3’, Forum Math. Sigma 4 (2016), Paper No. e6, 80. Google Scholar | DOI

[17] Burungale, A., Skinner, C., Tian, Y. and Wan, X., ‘Zeta elements for elliptic curves and applications’, Preprint, 2024, . Google Scholar | arXiv

[18] Cassels, J. W. S. and Flynn, E. V., Prolegomena to a Middlebrow Arithmetic of Curves of Genus , (London Mathematical Society Lecture Note Series) vol. 230 (Cambridge University Press, Cambridge, 1996). Google Scholar

[19] Castella, F., Grossi, G., Lee, J. and Skinner, C., ‘On the anticyclotomic Iwasawa theory of rational elliptic curves at Eisenstein primes’, Invent. Math. 227 (2022), 517–580. Google Scholar | DOI

[20] Castella, F., Grossi, G. and Skinner, C., ‘Mazur’s main conjecture at Eisenstein primes’, Preprint, 2023, . Google Scholar | arXiv

[21] Castella, F., Çiperiani, M., Skinner, C. and Sprung, F., ‘On the Iwasawa main conjectures for modular forms at non-ordinary primes’, Preprint, 2018, . Google Scholar | arXiv

[22] Česnavičius, K., ‘The Manin constant in the semistable case’, Compos. Math. 154(9) (2018), 1889–1920. Google Scholar | DOI

[23] Cha, B., ‘Vanishing of some cohomology groups and bounds for the Shafarevich-Tate groups of elliptic curves’, J. Number Theory 111(1) (2005), 154–178. Google Scholar | DOI

[24] Coates, J. and Schmidt, C.-G., ‘Iwasawa theory for the symmetric square of an elliptic curve’, J. Reine Angew. Math. 375/376 (1987), 104–156. Google Scholar

[25] Cohen, H., ‘Haberland’s formula and numerical computation of Petersson scalar products’, in ANTS X—Proceedings of the Tenth Algorithmic Number Theory Symposium (Open Book Ser.) vol. 1 (Math. Sci. Publ., Berkeley, CA, 2013), 249–270. Google Scholar

[26] Cojocaru, A. C., ‘On the surjectivity of the Galois representations associated to non-CM elliptic curves’, Canad. Math. Bull. 48(1) (2005), 16–31, With an appendix by Ernst Kani. Google Scholar | DOI

[27] Cremona, J. E., Fisher, T. A., O’Neil, C., Simon, D. and Stoll, M., ‘Explicit -descent on elliptic curves. I. Algebra’, J. Reine Angew. Math. 615 (2008), 121–155. Google Scholar

[28] Cremona, J. E., Fisher, T. A., O’Neil, C., Simon, D. and Stoll, M., ‘Explicit -descent on elliptic curves. II. Geometry’, J. Reine Angew. Math. 632 (2009), 63–84. Google Scholar

[29] Cremona, J. E., Fisher, T. A., O’Neil, C., Simon, D. and Stoll, M., ‘Explicit -descent on elliptic curves III. Algorithms’, Math. Comp. 84(292) (2015), 895–922. Google Scholar | DOI

[30] Cremona, J. E. and Mazur, B., ‘Visualizing elements in the Shafarevich-Tate group’, Experiment. Math. 9(1) (2000), 13–28. Google Scholar | DOI

[31] Cremona, J. E., Algorithms for Modular Elliptic Curves, second edn. (Cambridge University Press, Cambridge, 1997). Google Scholar

[32] Cremona, J. E., ‘The BSD formula over number fields’, Preprint, 2023, https://github.com/JohnCremona/BSD/blob/master/BSD.pdf (Version 2023-01-18). Google Scholar

[33] Creutz, B., ‘Second -descents on elliptic curves’, Math. Comp. 83(285) (2014), 365–409. Google Scholar | DOI

[34] Creutz, B. and Miller, R. L., ‘Second isogeny descents and the Birch and Swinnerton-Dyer conjectural formula’, J. Algebra 372 (2012), 673–701. Google Scholar | DOI

[35] Darmon, H. and Pollack, R., ‘Magma code for -adic -functions’, https://www.math.mcgill.ca/darmon/programs/programs.html. Google Scholar

[36] Darmon, H. and Pollack, R., ‘Efficient calculation of Stark-Heegner points via overconvergent modular symbols’, Israel J. Math. 153 (2006), 319–354. Google Scholar | DOI

[37] Deligne, P., ‘Formes modulaires et représentations -adiques’, in Séminaire Bourbaki. Vol. 1968/69: Exposés 347–363 (Lecture Notes in Math.) vol. 175 (Springer, Berlin, 1971), Exp. No. 355, 139–172. Google Scholar

[38] Dieulefait, L. V., ‘Explicit determination of the images of the Galois representations attached to abelian surfaces with ’, Experiment. Math. 11(4) (2002), 503–512 (2003). Google Scholar | DOI

[39] Dogra, N. and Le Fourn, S., ‘Quadratic Chabauty for modular curves and modular forms of rank one’, Math. Ann. 380(1–2) (2021), 393–448. Google Scholar | DOI

[40] Dokchitser, T., ‘Computing special values of motivic -functions’, Experiment. Math. 13(2) (2004), 137–149. Google Scholar | DOI

[41] Dokchitser, T. and Silverman, J., ‘Answers to question ‘BSD conjecture for ’, https://mathoverflow.net/questions/139575 (version: 2013-08-17). Google Scholar

[42] Edixhoven, B., ‘Néron models and tame ramification’, Compos. Math. 81(3) (1992), 291–306. Google Scholar

[43] Fisher, T., ‘Visualizing elements of order 7 in the Tate-Shafarevich group of an elliptic curve’, LMS J. Comput. Math. 19 (2016), no. suppl. A, 100–114. Google Scholar | DOI

[44] Fisher, T. and Yan, J., ‘Computing the Cassels-Tate pairing on the 2-Selmer group of a genus 2 Jacobian’, Preprint, 2023, . Google Scholar | arXiv

[45] Flynn, E. V., Leprévost, F., Schaefer, E. F., Stein, W. A., Stoll, M. and Wetherell, J. L., ‘Empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves’, Math. Comp. 70(236) (2001), 1675–1697. Google Scholar | DOI

[46] Frengley, S., ‘Explicit moduli spaces for curves of genus 1 and 2’, 2023, PhD Thesis, University of Cambridge. https://www.repository.cam.ac.uk/handle/1810/369243Permalink Google Scholar

[47] Frengley, S., ‘Explicit -torsion in the Tate-Shafarevich groups of genus Jacobians’, Preprint, 2024, . Google Scholar | arXiv

[48] Gajović, S. and Müller, J. S., ‘Computing -adic heights on hyperelliptic curves’, Preprint, 2023, . Google Scholar | arXiv | DOI

[49] Greenberg, M., ‘Lifting modular symbols of non-critical slope’, Israel J. Math. 161 (2007), 141–155. Google Scholar | DOI

[50] Grigorov, G., Jorza, A., Patrikis, S., Stein, W. A. and Tarniţǎ, C., ‘Computational verification of the Birch and Swinnerton-Dyer conjecture for individual elliptic curves’, Math. Comp. 78(268) (2009), 2397–2425. Google Scholar | DOI

[51] Gross, B. H., ‘Heegner points on ’, in Modular Forms (Durham, 1983) (Ellis Horwood Ser. Math. Appl.) (Statist. Oper. Res., Horwood, Chichester, 1984), 87–105. Google Scholar

[52] Gross, B. H. and Zagier, D. B., ‘Heegner points and derivatives of -series’, Invent. Math. 84(2) (1986), 225–320. Google Scholar | DOI

[53] Halle, L. H. and Nicaise, J., Néron Models and Base Change (Lecture Notes in Mathematics) vol. 2156 (Springer, Cham, 2016). Google Scholar | DOI

[54] Hasegawa, Y., ‘Table of quotient curves of modular curves with genus ’, Proc. Japan Acad. Ser. A Math. Sci. 71(10) (1995), 235–239 (1996). Google Scholar | DOI

[55] Howard, B., ‘Iwasawa theory of Heegner points on abelian varieties of type’, Duke Math. J. 124(1) (2004), 1–45. Google Scholar | DOI

[56] Jetchev, D., ‘Global divisibility of Heegner points and Tamagawa numbers’, Compos. Math. 144(4) (2008), 811–826. Google Scholar | DOI

[57] Jorza, A., ‘The Birch and Swinnerton-Dyer Conjecture for abelian varieties over number fields’, 2005, https://www3.nd.edu/ ajorza/notes/bsd.pdf. Google Scholar

[58] Kato, K., ‘-adic Hodge theory and values of zeta functions of modular forms’, in Astérisque no. 295 (2004), ix, 117–290. Cohomologies -adiques et applications arithmétiques. III. Google Scholar

[59] Keller, T. and Stoll, M., ‘Exact verification of the strong BSD conjecture for some absolutely simple abelian surfaces’, C. R. Math. Acad. Sci. Paris 360 (2022), 483–489. Google Scholar | DOI

[60] Keller, T. and Yin, M., ‘On the anticyclotomic Iwasawa theory of newforms at Eisenstein primes of semistable reduction’, Preprint, 2024, . Google Scholar | arXiv

[61] Khare, C. and Wintenberger, J.-P., ‘Serre’s modularity conjecture’, in Proceedings of the International Congress of Mathematicians. Volume II (Hindustan Book Agency, New Delhi, 2010), 280–293. Google Scholar

[62] King, O. H., ‘The subgroup structure of finite classical groups in terms of geometric configurations’, in Surveys in Combinatorics (London Math. Soc. Lecture Note Ser.) vol. 327 (Cambridge Univ. Press, Cambridge, 2005), 29–56. Google Scholar

[63] Kolyvagin, V. A., ‘Finiteness of and for a subclass of Weil curves’, Izv. Akad. Nauk SSSR Ser. Mat. 52(3) (1988), 522–540, 670–671 (Russian). Google Scholar

[64] Kolyvagin, V. A. and Logachëv, D. Yu., ‘Finiteness of the Shafarevich-Tate group and the group of rational points for some modular abelian varieties’, Algebra i Analiz 1(5) (1989), 171–196 (Russian). Google Scholar

[65] Lang, S., Algebra (Graduate Texts in Mathematics) vol. 211, third edn. (Springer-Verlag, New York, 2002). Google Scholar | DOI

[66] Larson, E. and Vaintrob, D., ‘On the surjectivity of Galois representations associated to elliptic curves over number fields’, Bull. Lond. Math. Soc. 46(1) (2014), 197–209. Google Scholar | DOI

[67] Lawson, T. and Wuthrich, C., ‘Vanishing of some Galois cohomology groups for elliptic curves’, in Elliptic Curves, Modular Forms and Iwasawa Theory (Springer Proc. Math. Stat.) vol. 188 (Springer, Cham, 2016), 373–399. Google Scholar | DOI

[68] The LMFDB collaboration, ‘L-functions and modular forms database’, https://www.lmfdb.org/Genus2Curve/Q/. Google Scholar

[69] Lombardo, D., ‘Explicit surjectivity of Galois representations for abelian surfaces and -varieties’, J. Algebra 460 (2016), 26–59. Google Scholar | DOI

[70] Lombardo, D., ‘Computing the geometric endomorphism ring of a genus-2 Jacobian’, Math. Comp. 88(316) (2019), 889–929. Google Scholar | DOI

[71] Mazur, B., Tate, J. and Teitelbaum, J., ‘On -adic analogues of the conjectures of Birch and Swinnerton-Dyer’, Invent. Math. 84(1) (1986), 1–48. Google Scholar | DOI

[72] Merriman, J. R. and Smart, N. P., ‘Curves of genus with good reduction away from with a rational Weierstrass point’, Math. Proc. Cambridge Philos. Soc. 114(2) (1993), 203–214. Google Scholar | DOI

[73] Miller, R. L., ‘Empirical evidence for the Birch and Swinnerton-Dyer conjecture’, 2010, PhD Thesis, University of Washington, ProQuest LLC, Ann Arbor, MI. Google Scholar

[74] Miller, R. L., ‘Proving the Birch and Swinnerton-Dyer conjecture for specific elliptic curves of analytic rank zero and one’, LMS J. Comput. Math. 14 (2011), 327–350. Google Scholar | DOI

[75] Miller, R. L. and Stoll, M., ‘Explicit isogeny descent on elliptic curves’, Math. Comp. 82(281) (2013), 513–529. Google Scholar | DOI

[76] Milne, J. S., ‘Abelian varieties’, in Arithmetic Geometry (Storrs, Conn. 1984) (Springer, New York, 1986), 103–150. Google Scholar | DOI

[77] Milne, J. S., ‘On the arithmetic of abelian varieties’, Invent. Math. 17 (1972), 177–190. Google Scholar | DOI

[78] Milne, J. S., Arithmetic Duality Theorems, second edn. (BookSurge, LLC, Charleston, SC, 2006). Google Scholar

[79] Namikawa, Y. and Ueno, K., ‘The complete classification of fibres in pencils of curves of genus two’, Manuscripta Math. 9 (1973), 143–186. Google Scholar | DOI

[80] Nekovář, J., ‘The Euler system method for CM points on Shimura curves’, in -functions and Galois Representations (London Math. Soc. Lecture Note Ser.) vol. 320 (Cambridge Univ. Press, Cambridge, 2007), 471–547. Google Scholar | DOI

[81] Neukirch, J., Schmidt, A. and Wingberg, K., Cohomology of Number Fields (Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]) vol. 323, second edn. (Springer-Verlag, Berlin, 2008). https://www.mathi.uni-heidelberg.de/ schmidt/NSW2e/NSW2.3.pdf Google Scholar | DOI

[82] Pal, V., ‘Periods of quadratic twists of elliptic curves’, Proc. Amer. Math. Soc. 140(5) (2012), 1513–1525. With an appendix by Amod Agashe. Google Scholar | DOI

[83] Petersson, H., ‘Über die Berechnung der Skalarprodukte ganzer Modulformen’, Comment. Math. Helv. 22 (1949), 168–199. Google Scholar | DOI

[84] Pollack, R. and Stevens, G., ‘Overconvergent modular symbols and -adic -functions’, Ann. Sci. Éc. Norm. Supér. (4) 44(1) (2011), 1–42. Google Scholar | DOI

[85] Poonen, B., Schaefer, E. F. and Stoll, M., ‘Twists of and primitive solutions to ’, Duke Math. J. 137(1) (2007), 103–158. Google Scholar | DOI

[86] Poonen, B. and Stoll, M., ‘The Cassels-Tate pairing on polarized abelian varieties’, Ann. of Math. (2) 150(3) (1999), 1109–1149. Google Scholar | DOI

[87] Raynaud, M., ‘Schémas en groupes de type ’, Bull. Soc. Math. France 102 (1974), 241–280 (French). Google Scholar | DOI

[88] Ribet, K. A., ‘Galois representations attached to eigenforms with Nebentypus’, in Modular Functions of One Variable, V (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976) (Lecture Notes in Math.) vol. 601 (Springer, Berlin, 1977), 17–51. Google Scholar

[89] Ribet, K. A., ‘Galois action on division points of Abelian varieties with real multiplications’, Amer. J. Math. 98(3) (1976), 751–804. Google Scholar | DOI

[90] Ribet, K. A., ‘Images of semistable Galois representations’, Pacific J. Math. (1997), 277–297. Olga Taussky-Todd: in memoriam. Google Scholar | DOI

[91] Ribet, K. A., ‘Abelian varieties over and modular forms’, in Modular Curves and Abelian Varieties (Progr. Math.) vol. 224 (Birkhäuser, Basel, 2004), 241–261. Google Scholar | DOI

[92] Schaefer, E. F., ‘Class groups and Selmer groups’, J. Number Theory 56(1) (1996), 79–114. Google Scholar | DOI

[93] Schaefer, E. F. and Stoll, M., ‘How to do a p-descent on an elliptic curve’, Trans. Amer. Math. Soc. 356(3) (2004), 1209–1231. Google Scholar | DOI

[94] Schmidt, C.-G., ‘ -adic measures attached to automorphic representations of GL(3)’, Invent. Math. 92(3) (1988), 597–631. Google Scholar | DOI

[95] Schneider, P., ‘-adic height pairings. II’, Invent. Math. 79(2) (1985), 329–374. Google Scholar | DOI

[96] Schütt, M., ‘CM newforms with rational coefficients’, Ramanujan J. 19(2) (2009), 187–205. Google Scholar | DOI

[97] Serre, J.-P., ‘Sur les représentations modulaires de degré de ’, Duke Math. J. 54(1) (1987), 179–230. Google Scholar | DOI

[98] Serre, J.-P., ‘Propriétés galoisiennes des points d’ordre fini des courbes elliptiques’, Invent. Math. 15(4) (1972), 259–331 (French). Google Scholar | DOI

[99] Serre, J.-P., ‘Quelques applications du théorème de densité de Chebotarev’, Inst. Hautes Études Sci. Publ. Math. 54 (1981), 323–401 (French). Google Scholar | DOI

[100] Serre, J.-P., Abelian -adic Representations and Elliptic Curves (Research Notes in Mathematics) vol. 7 (A K Peters, Ltd., Wellesley, MA, 1998) With the collaboration of Willem Kuyk and John Labute; Revised reprint of the 1968 original. Google Scholar

[101] Shimura, G., Abelian Varieties with Complex Multiplication and Modular Functions (Princeton Mathematical Series) vol. 46 (Princeton University Press, Princeton, NJ, 1998). Google Scholar | DOI

[102] Shimura, G., Introduction to the Arithmetic Theory of Automorphic Functions (Publications of the Mathematical Society of Japan) No. 11 (Iwanami Shoten, Publishers, Tokyo; Princeton University Press, Princeton, NJ, 1971). Kanô Memorial Lectures, No. 1. Google Scholar

[103] Shimura, G., ‘On the holomorphy of certain Dirichlet series’, Proc. London Math. Soc. (3) 31(1) (1975), 79–98. Google Scholar | DOI

[104] Shimura, G., ‘The special values of the zeta functions associated with cusp forms’, Comm. Pure Appl. Math. 29(6) (1976), 783–804. Google Scholar | DOI

[105] Shnidman, A. and Weiss, A., ‘Elements of prime order in Tate-Shafarevich groups of abelian varieties over ’, Forum Math. Sigma 10 (2022), Paper No. e98, 10. Google Scholar | DOI

[106] Skinner, C., ‘Multiplicative reduction and the cyclotomic main conjecture for ’, Pacific J. Math. 283(1) (2016), 171–200. Google Scholar | DOI

[107] Skinner, C. and Urban, E., ‘The Iwasawa main conjectures for ’, Invent. Math. 195(1) (2014), 1–277. Google Scholar | DOI

[108] Stein, W., ‘Gross-Zagier: Heegner points and derivatives of L-series’, 2008, https://389a.blogspot.com/2008/11/gross-zagier-heegner-points-and.html. Google Scholar

[109] Stein, W. and Wuthrich, C., ‘Algorithms for the arithmetic of elliptic curves using Iwasawa theory’, Math. Comp. 82(283) (2013), 1757–1792. Google Scholar | DOI

[110] Stoll, M., ‘Descent on elliptic curves’, in Explicit Methods in Number Theory (Panor. Synthèses) vol. 36 (Soc. Math. France, Paris, 2012), 51–80. Google Scholar

[111] Stoll, M., ‘On the height constant for curves of genus two’, Acta Arith. 90(2) (1999), 183–201. Google Scholar | DOI

[112] Stoll, M., ‘Implementing 2-descent for Jacobians of hyperelliptic curves’, Acta Arith. 98(3) (2001), 245–277. Google Scholar | DOI

[113] Tate, J., ‘On the conjectures of Birch and Swinnerton-Dyer and a geometric analog’, in Séminaire Bourbaki, Vol. 9 (Soc. Math. France, Paris, 1995), Exp. No. 306, 415–440. Google Scholar

[114] Taylor, R. and Wiles, A., ‘Ring-theoretic properties of certain Hecke algebras’, Ann. of Math. (2) 141(3) (1995), 553–572. Google Scholar | DOI

[115] user334725 (https://mathoverflow.net/users/334725/user334725), ‘Computing the Petersson norm of newforms of weight 2 from the symmetric square -function’, https://mathoverflow.net/q/410483 (version: 2021-12-11). Google Scholar

[116] Wiles, A., ‘Modular elliptic curves and Fermat’s last theorem’, Ann. of Math. (2) 141(3) (1995), 443–551. Google Scholar | DOI

[117] Wuthrich, C., ‘Numerical modular symbols for elliptic curves’, Math. Comp. 87(313) (2018), 2393–2423. Google Scholar | DOI

[118] Zhang, W., ‘Selmer groups and the indivisibility of Heegner points’, Camb. J. Math. 2(2) (2014), 191–253. Google Scholar | DOI

Cité par Sources :