[論文レビュー] On Shafarevich-Tate groups and the arithmetic of Fermat Curves

William G. McCallum, Pavlos Tzermias|ArXiv.org|Oct 31, 2002

Algebraic Geometry and Number Theory参考文献 10被引用数 4

ひとこと要約

この論文は、フェルマー曲線のヤコビアンのシャファレヴィチ・タウ研究における先行研究を拡張し、巡回体 Q(ζ) 内の自己準同型 λ = ζ−1 を用いた高次降下を分析することで、p-主部分群が (Z[ζ]/(λ³))² に同型であるような条件を確立する。この結果を応用して、Q 上の J₇,₁₋₈ のモーデル・ヴェイユランクが 1 であり、フェルマー曲線 X¹⁹+Y¹⁹+Z¹⁹=0 上のすべての二次点がグロスとローリヒの記述する点に一致することを証明する。

ABSTRACT

We extend the results of the first author on nontrivial elements in the Shafarevich-Tate group of the jacobian of a quotient of a Fermat curve of prime degree, and use the methods of the second author to derive a result bounding the quadratic points on the Fermat curve of degree 19.

研究の動機と目的

• フェルマー曲線のヤコビアンのシャファレヴィチ・タウ群における、Cassels-Tateペアリングの高次 λ-降下への拡張を目的とする。
• シャファレヴィチ・タウ群の p-主部分群が非自明であり、特定の構造を持つような条件を同定することを目的とする。
• 非単純ヤコビアンおよび野生的還元型に関する文献における矛盾を解消することを目的とする。
• 得られた結果を応用して、モーデル・ヴェイユランクの計算およびフェルマー曲線上の二次点の分類を実施することを目的とする。
• 包あらゆる還元型（包あらゆる還元型）の下で、シャファレヴィチ・タウ群の正確な構造を確立することを目的とする。

提案手法

• フェルマー曲線 yᵖ = xᵃ(1−x)ᵇ に付随するヤコビアン Jₐ,ᵦ,𝒸 に自己準同型 λ = ζ−1 を適用する。
• Cassels-Tateペアリングに対する高次降下技術を用いて、k=1,2,3,4 の各 k に対して Sh[λᵏ] の構造を分析する。
• p-進付値関数 q(x) = (xᵖ⁻¹−1)/p mod p を用いて還元型（包あらゆる還元型、野生的分裂型、野生的非分裂型）を分類する。
• タイクミュラー指標および K_w^×/K_w^×ᵖ の固有空間 V(i) を用いて、U の像を V(i) で分析する。
• Faddeevのセレマー群に関する境界と [GR78] のモーデル・ヴェイユランクに関する結果を用いて、シャファレヴィチ・タウ群のサイズおよび構造を制限する。
• Z[ζ] における代数的数論および Z[ζ]/(λᵏ) 上の有限加群の構造定理を用いて、Sh[p^∞] の正確な形を導出する。

実験結果

リサーチクエスチョン

• RQ1 フェルマー曲線のヤコビアンに対して、シャファレヴィチ・タウ群 Sh[λ] が非自明であるような条件は何か？
• RQ2 シャファレヴィチ・タウ群の p-主部分群が (Z[ζ]/(λ³))² の構造を持つのはどのような場合か？
• RQ3 還元型（包あらゆる還元型、野生的分裂型、野生的非分裂型）および U の V(i) における像が、Sh[λᵏ] の構造にどのように影響するか？
• RQ4 Q 上の Jₐ,ᵦ,𝒸 のモーデル・ヴェイユランクは、シャファレヴィチ・タウ群の構造から同定可能か？
• RQ5 フェルマー曲線 Xᵖ+Yᵖ+Zᵖ=0 上のすべての二次点は、グロスとローリヒの既知の構成によってカバーされているか？

主な発見

• p=19, a=7, b=1, c=−8 のとき、シャファレヴィチ・タウ群は Sh[p^∞] ≅ (Z[ζ]/(λ³))² を満たす。
• Q 上の J₇,₁₋₈ のモーデル・ヴェイユランクは正確に 1 である。
• フェルマー曲線 X¹⁹+Y¹⁹+Z¹⁹=0 上のすべての二次点は、グロスとローリヒが記述する点に一致する。
• 上記の条件下で、シャファレヴィチ・タウ群 Sh[λ³] は Z[ζ]/(λ³) 上のランク 2 の自由加群である。
• Jₐ,ᵦ,𝒸 が非単純であるという仮定は、野生的分裂還元と整合しない。これは先行文献における誤りを是正する。
• p≥19 で、q(aᵃbᵇcᶜ)³+abcBₚ₋₃≢0 mod p を満たす正則な p に対して、Sh[λ³]≠0 であり、|Sh[p^∞]|≥p³ が成り立つ。