{"title":"Curves with few bad primes over cyclotomic ℤℓ-extensions","authors":"Samir Siksek, Robin Visser","doi":"10.2140/ant.2025.19.113","DOIUrl":null,"url":null,"abstract":"<p>Let <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math> be a number field, and <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>S</mi></math> a finite set of nonarchimedean places of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math>, and write <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mi mathvariant=\"bold-script\">𝒪</mi></mrow><mrow><mo>×</mo></mrow></msup></math> for the group of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>S</mi></math>-units of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math>. A famous theorem of Siegel asserts that the <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>S</mi></math>-unit equation <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>𝜀</mi>\n<mo>+</mo>\n<mi>δ</mi>\n<mo>=</mo> <mn>1</mn></math>, with <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>𝜀</mi></math>, <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>δ</mi>\n<mo>∈</mo><msup><mrow><mi mathvariant=\"bold-script\">𝒪</mi></mrow><mrow><mo>×</mo></mrow></msup></math>, has only finitely many solutions. A famous theorem of Shafarevich asserts that there are only finitely many isomorphism classes of elliptic curves over <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math> with good reduction outside <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>S</mi></math>. Now instead of a number field, let <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi>\n<mo>=</mo> <msub><mrow><mi>ℚ</mi></mrow><mrow><mi>∞</mi><mo>,</mo><mi>ℓ</mi></mrow></msub></math> which denotes the <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msub><mrow><mi>ℤ</mi></mrow><mrow><mi>ℓ</mi></mrow></msub></math>-cyclotomic extension of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>ℚ</mi></math>. We show that the <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>S</mi></math>-unit equation <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>𝜀</mi>\n<mo>+</mo>\n<mi>δ</mi>\n<mo>=</mo> <mn>1</mn></math>, with <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>𝜀</mi></math>, <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>δ</mi>\n<mo>∈</mo><msup><mrow><mi mathvariant=\"bold-script\">𝒪</mi></mrow><mrow><mo>×</mo></mrow></msup></math>, has infinitely many solutions for <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>ℓ</mi>\n<mo>∈</mo><mo stretchy=\"false\">{</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>,</mo><mn>5</mn><mo>,</mo><mn>7</mn><mo stretchy=\"false\">}</mo></math>, where <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>S</mi></math> consists only of the totally ramified prime above <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>ℓ</mi></math>. Moreover, for every prime <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>ℓ</mi></math>, we construct infinitely many elliptic or hyperelliptic curves defined over <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math> with good reduction away from <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mn>2</mn></math> and <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>ℓ</mi></math>. For certain primes <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>ℓ</mi></math> we show that the Jacobians of these curves in fact belong to infinitely many distinct isogeny classes. </p>","PeriodicalId":50828,"journal":{"name":"Algebra & Number Theory","volume":"47 1","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2024-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra & Number Theory","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2140/ant.2025.19.113","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be a number field, and a finite set of nonarchimedean places of , and write for the group of -units of . A famous theorem of Siegel asserts that the -unit equation , with , , has only finitely many solutions. A famous theorem of Shafarevich asserts that there are only finitely many isomorphism classes of elliptic curves over with good reduction outside . Now instead of a number field, let which denotes the -cyclotomic extension of . We show that the -unit equation , with , , has infinitely many solutions for , where consists only of the totally ramified prime above . Moreover, for every prime , we construct infinitely many elliptic or hyperelliptic curves defined over with good reduction away from and . For certain primes we show that the Jacobians of these curves in fact belong to infinitely many distinct isogeny classes.
期刊介绍:
ANT’s inclusive definition of algebra and number theory allows it to print research covering a wide range of subtopics, including algebraic and arithmetic geometry. ANT publishes high-quality articles of interest to a broad readership, at a level surpassing all but the top four or five mathematics journals. It exists in both print and electronic forms.
The policies of ANT are set by the editorial board — a group of working mathematicians — rather than by a profit-oriented company, so they will remain friendly to mathematicians'' interests. In particular, they will promote broad dissemination, easy electronic access, and permissive use of content to the greatest extent compatible with survival of the journal. All electronic content becomes free and open access 5 years after publication.