{"title":"Cyclic isogenies of elliptic curves over fixed quadratic fields","authors":"Barinder Banwait, Filip Najman, Oana Padurariu","doi":"10.1090/mcom/3894","DOIUrl":null,"url":null,"abstract":"Building on Mazur’s 1978 work on prime degree isogenies, Kenku determined in 1981 all possible cyclic isogenies of elliptic curves over <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q\"> <mml:semantics> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Although more than 40 years have passed, the determination of cyclic isogenies of elliptic curves over a single other number field has hitherto not been realised. In this paper we develop a procedure to assist in establishing such a determination for a given quadratic field. Executing this procedure on all quadratic fields <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q left-parenthesis StartRoot d EndRoot right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msqrt> <mml:mi>d</mml:mi> </mml:msqrt> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}(\\sqrt {d})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"StartAbsoluteValue d EndAbsoluteValue greater-than 10 Superscript 4\"> <mml:semantics> <mml:mrow> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mo stretchy=\"false\">|</mml:mo> </mml:mrow> <mml:mi>d</mml:mi> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mo stretchy=\"false\">|</mml:mo> </mml:mrow> <mml:mo>></mml:mo> <mml:msup> <mml:mn>10</mml:mn> <mml:mn>4</mml:mn> </mml:msup> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">|d| > 10^4</mml:annotation> </mml:semantics> </mml:math> </inline-formula> we obtain, conditional on the Generalised Riemann Hypothesis, the determination of cyclic isogenies of elliptic curves over <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"19\"> <mml:semantics> <mml:mn>19</mml:mn> <mml:annotation encoding=\"application/x-tex\">19</mml:annotation> </mml:semantics> </mml:math> </inline-formula> quadratic fields, including <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q left-parenthesis StartRoot 213 EndRoot right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msqrt> <mml:mn>213</mml:mn> </mml:msqrt> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}(\\sqrt {213})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q left-parenthesis StartRoot negative 2289 EndRoot right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msqrt> <mml:mo>−<!-- − --></mml:mo> <mml:mn>2289</mml:mn> </mml:msqrt> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}(\\sqrt {-2289})</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. To make this procedure work, we determine all of the finitely many quadratic points on the modular curves <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X 0 left-parenthesis 125 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>X</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>125</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">X_0(125)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X 0 left-parenthesis 169 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>X</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>169</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">X_0(169)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, which may be of independent interest.","PeriodicalId":2,"journal":{"name":"ACS Applied Bio Materials","volume":null,"pages":null},"PeriodicalIF":4.6000,"publicationDate":"2023-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACS Applied Bio Materials","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/mcom/3894","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATERIALS SCIENCE, BIOMATERIALS","Score":null,"Total":0}
引用次数: 1
Abstract
Building on Mazur’s 1978 work on prime degree isogenies, Kenku determined in 1981 all possible cyclic isogenies of elliptic curves over Q\mathbb {Q}. Although more than 40 years have passed, the determination of cyclic isogenies of elliptic curves over a single other number field has hitherto not been realised. In this paper we develop a procedure to assist in establishing such a determination for a given quadratic field. Executing this procedure on all quadratic fields Q(d)\mathbb {Q}(\sqrt {d}) with |d|>104|d| > 10^4 we obtain, conditional on the Generalised Riemann Hypothesis, the determination of cyclic isogenies of elliptic curves over 1919 quadratic fields, including Q(213)\mathbb {Q}(\sqrt {213}) and Q(−2289)\mathbb {Q}(\sqrt {-2289}). To make this procedure work, we determine all of the finitely many quadratic points on the modular curves X0(125)X_0(125) and X0(169)X_0(169), which may be of independent interest.