Nikola Adžaga, Timo Keller, Philippe Michaud-Jacobs, Filip Najman, Ekin Ozman, Borna Vukorepa
{"title":"Computing quadratic points on modular curves 𝑋₀(𝑁)","authors":"Nikola Adžaga, Timo Keller, Philippe Michaud-Jacobs, Filip Najman, Ekin Ozman, Borna Vukorepa","doi":"10.1090/mcom/3902","DOIUrl":null,"url":null,"abstract":"In this paper we improve on existing methods to compute quadratic points on modular curves and apply them to successfully find all the quadratic points on all 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 upper N 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:mi>N</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">X_0(N)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of genus up to <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"8\"> <mml:semantics> <mml:mn>8</mml:mn> <mml:annotation encoding=\"application/x-tex\">8</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, and genus up to <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"10\"> <mml:semantics> <mml:mn>10</mml:mn> <mml:annotation encoding=\"application/x-tex\">10</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=\"upper N\"> <mml:semantics> <mml:mi>N</mml:mi> <mml:annotation encoding=\"application/x-tex\">N</mml:annotation> </mml:semantics> </mml:math> </inline-formula> prime, for which they were previously unknown. The values of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper N\"> <mml:semantics> <mml:mi>N</mml:mi> <mml:annotation encoding=\"application/x-tex\">N</mml:annotation> </mml:semantics> </mml:math> </inline-formula> we consider are contained in the set <disp-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper L equals StartSet 58 comma 68 comma 74 comma 76 comma 80 comma 85 comma 97 comma 98 comma 100 comma 103 comma 107 comma 109 comma 113 comma 121 comma 127 EndSet period\"> <mml:semantics> <mml:mrow> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">L</mml:mi> </mml:mrow> <mml:mo>=</mml:mo> <mml:mo fence=\"false\" stretchy=\"false\">{</mml:mo> <mml:mn>58</mml:mn> <mml:mo>,</mml:mo> <mml:mn>68</mml:mn> <mml:mo>,</mml:mo> <mml:mn>74</mml:mn> <mml:mo>,</mml:mo> <mml:mn>76</mml:mn> <mml:mo>,</mml:mo> <mml:mn>80</mml:mn> <mml:mo>,</mml:mo> <mml:mn>85</mml:mn> <mml:mo>,</mml:mo> <mml:mn>97</mml:mn> <mml:mo>,</mml:mo> <mml:mn>98</mml:mn> <mml:mo>,</mml:mo> <mml:mn>100</mml:mn> <mml:mo>,</mml:mo> <mml:mn>103</mml:mn> <mml:mo>,</mml:mo> <mml:mn>107</mml:mn> <mml:mo>,</mml:mo> <mml:mn>109</mml:mn> <mml:mo>,</mml:mo> <mml:mn>113</mml:mn> <mml:mo>,</mml:mo> <mml:mn>121</mml:mn> <mml:mo>,</mml:mo> <mml:mn>127</mml:mn> <mml:mo fence=\"false\" stretchy=\"false\">}</mml:mo> <mml:mo>.</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\begin{equation*} \\mathcal {L}=\\{58, 68, 74, 76, 80, 85, 97, 98, 100, 103, 107, 109, 113, 121, 127 \\}. \\end{equation*}</mml:annotation> </mml:semantics> </mml:math> </disp-formula> We obtain that all the non-cuspidal quadratic points on <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X 0 left-parenthesis upper N 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:mi>N</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">X_0(N)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper N element-of script upper L\"> <mml:semantics> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>∈<!-- ∈ --></mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">L</mml:mi> </mml:mrow> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">N\\in \\mathcal {L}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> are complex multiplication (CM) points, except for one pair of Galois conjugate points on <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X 0 left-parenthesis 103 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>103</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">X_0(103)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> defined over <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 2885 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>2885</mml:mn> </mml:msqrt> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}(\\sqrt {2885})</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We also compute the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"j\"> <mml:semantics> <mml:mi>j</mml:mi> <mml:annotation encoding=\"application/x-tex\">j</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-invariants of the elliptic curves parametrised by these points, and for the CM points determine their geometric endomorphism rings.","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"9 1","pages":"0"},"PeriodicalIF":2.2000,"publicationDate":"2023-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematics of Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/mcom/3902","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 5
Abstract
In this paper we improve on existing methods to compute quadratic points on modular curves and apply them to successfully find all the quadratic points on all modular curves X0(N)X_0(N) of genus up to 88, and genus up to 1010 with NN prime, for which they were previously unknown. The values of NN we consider are contained in the set L={58,68,74,76,80,85,97,98,100,103,107,109,113,121,127}.\begin{equation*} \mathcal {L}=\{58, 68, 74, 76, 80, 85, 97, 98, 100, 103, 107, 109, 113, 121, 127 \}. \end{equation*} We obtain that all the non-cuspidal quadratic points on X0(N)X_0(N) for N∈LN\in \mathcal {L} are complex multiplication (CM) points, except for one pair of Galois conjugate points on X0(103)X_0(103) defined over Q(2885)\mathbb {Q}(\sqrt {2885}). We also compute the jj-invariants of the elliptic curves parametrised by these points, and for the CM points determine their geometric endomorphism rings.
期刊介绍:
All articles submitted to this journal are peer-reviewed. The AMS has a single blind peer-review process in which the reviewers know who the authors of the manuscript are, but the authors do not have access to the information on who the peer reviewers are.
This journal is devoted to research articles of the highest quality in computational mathematics. Areas covered include numerical analysis, computational discrete mathematics, including number theory, algebra and combinatorics, and related fields such as stochastic numerical methods. Articles must be of significant computational interest and contain original and substantial mathematical analysis or development of computational methodology.