{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:47:55Z","timestamp":1776836875628,"version":"3.51.2"},"reference-count":37,"publisher":"American Mathematical Society (AMS)","issue":"342","license":[{"start":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T00:00:00Z","timestamp":1707436800000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"funder":[{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["KK.01.1.1.01.0004"],"award-info":[{"award-number":["KK.01.1.1.01.0004"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["IP-2018- 01-1313"],"award-info":[{"award-number":["IP-2018- 01-1313"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004488","name":"Hrvatska Zaklada za Znanost","doi-asserted-by":"publisher","award":["KK.01.1.1.01.0004"],"award-info":[{"award-number":["KK.01.1.1.01.0004"]}],"id":[{"id":"10.13039\/501100004488","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004488","name":"Hrvatska Zaklada za Znanost","doi-asserted-by":"publisher","award":["IP-2018- 01-1313"],"award-info":[{"award-number":["IP-2018- 01-1313"]}],"id":[{"id":"10.13039\/501100004488","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"

\n Bruin and Najman [LMS J.\u00a0Comput. Math.\u00a018 (2015), pp.\u00a0578\u2013602], Ozman and Siksek [Math. Comp.\u00a088 (2019), pp.\u00a02461\u20132484], and Box [Math. Comp.\u00a090 (2021), pp.\u00a0321\u2013343] described all the quadratic points on the modular curves of genus\n \n \n \n \n 2<\/mml:mn>\n \n \u2264\n \n <\/mml:mo>\n g<\/mml:mi>\n (<\/mml:mo>\n \n X<\/mml:mi>\n 0<\/mml:mn>\n <\/mml:msub>\n (<\/mml:mo>\n n<\/mml:mi>\n )<\/mml:mo>\n )<\/mml:mo>\n \n \u2264\n \n <\/mml:mo>\n 5<\/mml:mn>\n <\/mml:mrow>\n 2\\leq g(X_0(n)) \\leq 5<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . Since all the hyperelliptic curves\n \n \n \n \n \n X<\/mml:mi>\n 0<\/mml:mn>\n <\/mml:msub>\n (<\/mml:mo>\n n<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n X_0(n)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n are of genus\n \n \n \n \n \n \u2264\n \n <\/mml:mo>\n 5<\/mml:mn>\n <\/mml:mrow>\n \\leq 5<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and as a curve can have infinitely many quadratic points only if it is either of genus\n \n \n \n \n \n \u2264\n \n <\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n \\leq 1<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n , hyperelliptic or bielliptic, the question of describing the quadratic points on the bielliptic modular curves\n \n \n \n \n \n X<\/mml:mi>\n 0<\/mml:mn>\n <\/mml:msub>\n (<\/mml:mo>\n n<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n X_0(n)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n naturally arises; this question has recently also been posed by Mazur.\n <\/p>\n

\n We answer Mazur\u2019s question completely and describe the quadratic points on all the bielliptic modular curves\n \n \n \n \n \n X<\/mml:mi>\n 0<\/mml:mn>\n <\/mml:msub>\n (<\/mml:mo>\n n<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n X_0(n)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n for which this has not been done already. The values of\n \n \n \n n<\/mml:mi>\n n<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n that we deal with are\n \n \n \n \n n<\/mml:mi>\n =<\/mml:mo>\n 60<\/mml:mn>\n <\/mml:mrow>\n n=60<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 62<\/mml:mn>\n 62<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 69<\/mml:mn>\n 69<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 79<\/mml:mn>\n 79<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 83<\/mml:mn>\n 83<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 89<\/mml:mn>\n 89<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 92<\/mml:mn>\n 92<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 94<\/mml:mn>\n 94<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 95<\/mml:mn>\n 95<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 101<\/mml:mn>\n 101<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n 119<\/mml:mn>\n 119<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and\n \n \n \n 131<\/mml:mn>\n 131<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ; the curves\n \n \n \n \n \n X<\/mml:mi>\n 0<\/mml:mn>\n <\/mml:msub>\n (<\/mml:mo>\n n<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n X_0(n)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n are of genus up to\n \n \n \n 11<\/mml:mn>\n 11<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . We find all the exceptional points on these curves and show that they all correspond to CM elliptic curves. The two main methods we use are Box\u2019s relative symmetric Chabauty method and an application of a moduli description of\n \n \n \n \n Q<\/mml:mi>\n <\/mml:mrow>\n \\mathbb {Q}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -curves of degree\n \n \n \n d<\/mml:mi>\n d<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n with an independent isogeny of degree\n \n \n \n m<\/mml:mi>\n m<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n , which reduces the problem to finding the rational points on several quotients of modular curves.\n <\/p>","DOI":"10.1090\/mcom\/3805","type":"journal-article","created":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T10:17:30Z","timestamp":1668593850000},"page":"1791-1816","source":"Crossref","is-referenced-by-count":9,"title":["Quadratic points on bielliptic modular curves"],"prefix":"10.1090","volume":"92","author":[{"given":"Filip","family":"Najman","sequence":"first","affiliation":[]},{"given":"Borna","family":"Vukorepa","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2023,2,9]]},"reference":[{"key":"1","unstructured":"B. S. Banwait, Explicit isogenies of prime degree over quadratic fields, preprint, available at arXiv:2101.02673."},{"issue":"1","key":"2","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1006\/jnth.1998.2343","article-title":"Bielliptic modular curves","volume":"76","author":"Bars, Francesc","year":"1999","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"issue":"327","key":"3","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1090\/mcom\/3547","article-title":"Quadratic points on modular curves with infinite Mordell-Weil group","volume":"90","author":"Box, Josha","year":"2021","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"4","unstructured":"J. Box, S. Gajovi\u0107, and P. Goodman, Cubic and quartic points on modular curves using generalised symmetric Chabauty, to appear in Int. Math. Res. Not. IMRN, available at arXiv:2102.08236v2."},{"issue":"1","key":"5","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1112\/S1461157015000157","article-title":"Hyperelliptic modular curves \ud835\udc4b\u2080(\ud835\udc5b) and isogenies of elliptic curves over quadratic fields","volume":"18","author":"Bruin, Peter","year":"2015","journal-title":"LMS J. Comput. Math."},{"key":"6","doi-asserted-by":"publisher","first-page":"Paper No. 3, 13","DOI":"10.1007\/s40993-015-0031-5","article-title":"A criterion to rule out torsion groups for elliptic curves over number fields","volume":"2","author":"Bruin, Peter","year":"2016","journal-title":"Res. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/2522-0160","issn-type":"print"},{"issue":"2","key":"7","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1112\/jlms.12518","article-title":"The least degree of a CM point on a modular curve","volume":"105","author":"Clark, Pete L.","year":"2022","journal-title":"J. Lond. Math. Soc. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0024-6107","issn-type":"print"},{"issue":"4","key":"8","doi-asserted-by":"publisher","first-page":"Paper No. 62, 30","DOI":"10.1007\/s40993-021-00270-0","article-title":"\u211a-curves over odd degree number fields","volume":"7","author":"Cremona, J. E.","year":"2021","journal-title":"Res. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/2522-0160","issn-type":"print"},{"key":"9","first-page":"143","article-title":"Les sch\u00e9mas de modules de courbes elliptiques","author":"Deligne, P.","year":"1973"},{"issue":"7","key":"10","doi-asserted-by":"publisher","first-page":"1837","DOI":"10.2140\/ant.2021.15.1837","article-title":"Sporadic cubic torsion","volume":"15","author":"Derickx, Maarten","year":"2021","journal-title":"Algebra Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/1937-0652","issn-type":"print"},{"key":"11","unstructured":"M. Derickx, S. Kamienny, W. Stein, and M. Stoll, Torsion points on elliptic curves over number fields of small degree, Algebra Number Theory, to appear, arXiv:1707.00364."},{"key":"12","isbn-type":"print","first-page":"81","article-title":"On elliptic \ud835\udc3e-curves","author":"Elkies, Noam D.","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3764365862"},{"issue":"4","key":"13","first-page":"763","article-title":"Galois representations attached to \u211a-curves and the generalized Fermat equation \ud835\udd38\u2074+\ud835\udd39\u00b2=\u2102^{\ud835\udd61}","volume":"126","author":"Ellenberg, Jordan S.","year":"2004","journal-title":"Amer. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9327","issn-type":"print"},{"issue":"1","key":"14","first-page":"45","article-title":"Equations of bielliptic modular curves","volume":"27","author":"Gonz\u00e1lez, Josep","year":"2012","journal-title":"JP J. Algebra Number Theory Appl.","ISSN":"https:\/\/id.crossref.org\/issn\/0972-5555","issn-type":"print"},{"issue":"2","key":"15","doi-asserted-by":"publisher","first-page":"347","DOI":"10.2307\/2048726","article-title":"Bielliptic curves and symmetric products","volume":"112","author":"Harris, Joe","year":"1991","journal-title":"Proc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9939","issn-type":"print"},{"issue":"2","key":"16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF01232025","article-title":"Torsion points on elliptic curves and \ud835\udc5e-coefficients of modular forms","volume":"109","author":"Kamienny, S.","year":"1992","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"},{"issue":"3","key":"17","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BF01394256","article-title":"Galois properties of torsion points on abelian varieties","volume":"62","author":"Katz, Nicholas M.","year":"1981","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"},{"issue":"3","key":"18","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1112\/jlms\/s2-23.3.415","article-title":"On the modular curves \ud835\udc4b\u2080(125), \ud835\udc4b\u2081(25) and \ud835\udc4b\u2081(49)","volume":"23","author":"Kenku, M. A.","year":"1981","journal-title":"J. London Math. Soc. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0024-6107","issn-type":"print"},{"key":"19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1017\/S0027763000002816","article-title":"Torsion points on elliptic curves defined over quadratic fields","volume":"109","author":"Kenku, M. A.","year":"1988","journal-title":"Nagoya Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0027-7630","issn-type":"print"},{"issue":"5","key":"20","first-page":"171","article-title":"Finiteness of the Shafarevich-Tate group and the group of rational points for some modular abelian varieties","volume":"1","author":"Kolyvagin, V. A.","year":"1989","journal-title":"Algebra i Analiz","ISSN":"https:\/\/id.crossref.org\/issn\/0234-0852","issn-type":"print"},{"issue":"3","key":"21","doi-asserted-by":"publisher","first-page":"747","DOI":"10.2140\/ant.2021.15.747","article-title":"Residual Galois representations of elliptic curves with image contained in the normaliser of a nonsplit Cartan","volume":"15","author":"Le Fourn, Samuel","year":"2021","journal-title":"Algebra Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/1937-0652","issn-type":"print"},{"key":"22","unstructured":"B. Mazur, A question about quadratic points on \ud835\udc4b\u2080(\ud835\udc41), available at \\url{https:\/\/people.math.harvard.edu\/ mazur\/papers\/2021.07.20.Scorecard.pdf}."},{"key":"23","doi-asserted-by":"crossref","unstructured":"B. Mazur, Modular curves and the Eisenstein ideal, Inst. Hautes \u00c9tudes Sci. Publ. Math. (1977), pp. 33\u2013186 (1978).","DOI":"10.1007\/BF02684339"},{"issue":"2","key":"24","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01390348","article-title":"Rational isogenies of prime degree (with an appendix by D. Goldfeld)","volume":"44","author":"Mazur, B.","year":"1978","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"},{"issue":"1-3","key":"25","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s002220050059","article-title":"Bornes pour la torsion des courbes elliptiques sur les corps de nombres","volume":"124","author":"Merel, Lo\u00efc","year":"1996","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"},{"issue":"2","key":"26","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2969\/jmsj\/03920269","article-title":"Rational points on the modular curves \ud835\udc4b\u207a\u2080(\ud835\udc41)","volume":"39","author":"Momose, Fumiyuki","year":"1987","journal-title":"J. Math. Soc. Japan","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5645","issn-type":"print"},{"issue":"3","key":"27","first-page":"329","article-title":"Isogenies of prime degree over number fields","volume":"97","author":"Momose, Fumiyuki","year":"1995","journal-title":"Compositio Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-437X","issn-type":"print"},{"issue":"9","key":"28","doi-asserted-by":"publisher","first-page":"1964","DOI":"10.1016\/j.jnt.2009.12.008","article-title":"Complete classification of torsion of elliptic curves over quadratic cyclotomic fields","volume":"130","author":"Najman, Filip","year":"2010","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"issue":"1","key":"29","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1017\/S0305004117000160","article-title":"Isogenies of non-CM elliptic curves with rational \ud835\udc57-invariants over number fields","volume":"164","author":"Najman, Filip","year":"2018","journal-title":"Math. Proc. Cambridge Philos. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0305-0041","issn-type":"print"},{"issue":"319","key":"30","doi-asserted-by":"publisher","first-page":"2461","DOI":"10.1090\/mcom\/3407","article-title":"Quadratic points on modular curves","volume":"88","author":"Ozman, Ekin","year":"2019","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"2","key":"31","doi-asserted-by":"publisher","first-page":"209","DOI":"10.2140\/ant.2009.3.209","article-title":"Chabauty for symmetric powers of curves","volume":"3","author":"Siksek, Samir","year":"2009","journal-title":"Algebra Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/1937-0652","issn-type":"print"},{"key":"32","isbn-type":"print","volume-title":"Explicit approaches to modular abelian varieties","author":"Stein, William Arthur","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/9780599860940"},{"key":"33","series-title":"Graduate Studies in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/079","volume-title":"Modular forms, a computational approach","volume":"79","author":"Stein, William","year":"2007","ISBN":"https:\/\/id.crossref.org\/isbn\/9780821839607"},{"issue":"2","key":"34","doi-asserted-by":"publisher","first-page":"141","DOI":"10.4064\/aa180725-8-1","article-title":"Torsion groups of elliptic curves over quadratic fields \u211a(\u221a\ud835\udd55), 0<\ud835\udd55<100","volume":"192","author":"Trbovi\u0107, Antonela","year":"2020","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"key":"35","first-page":"A238--A241","article-title":"Isog\u00e9nies entre courbes elliptiques","volume":"273","author":"V\u00e9lu, Jacques","year":"1971","journal-title":"C. R. Acad. Sci. Paris S\\'{e}r. A-B","ISSN":"https:\/\/id.crossref.org\/issn\/0151-0509","issn-type":"print"},{"key":"36","series-title":"Discrete Mathematics and its Applications (Boca Raton)","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1201\/9781420071474","volume-title":"Elliptic curves","author":"Washington, Lawrence C.","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9781420071467","edition":"2"},{"key":"37","unstructured":"H. Yoo, The rational torsion of \ud835\udc3d\u2080(\ud835\udc5b), preprint, available at arXiv:2106.01020."}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-342\/S0025-5718-2023-03805-4\/mcom3805_AM.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-342\/S0025-5718-2023-03805-4\/S0025-5718-2023-03805-4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T04:58:42Z","timestamp":1776833922000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-342\/S0025-5718-2023-03805-4\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,9]]},"references-count":37,"journal-issue":{"issue":"342","published-print":{"date-parts":[[2023,7]]}},"alternative-id":["S0025-5718-2023-03805-4"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3805","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2023,2,9]]}}}