[论文解读] 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-Primary 部分同构于 (Z[ζ]/(λ³))²，并将此结果应用于证明：在 Q 上，J₇,₁₋₈ 的 Mordell-Weil 秩为 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-Primary 部分非平凡且具有特定结构的条件。
• 解决文献中关于非单连通雅可比簇与野性约化类型之间的不一致之处。
• 将结果应用于计算 Mordell-Weil 秩并分类费马曲线上的二次点。
• 在可约或野性非分裂约化的情况下，建立沙法列维奇-塔特群的精确结构。

提出的方法

• 在费马曲线 yᵖ = xᵃ(1−x)ᵇ（满足 a+b+c=0）的雅可比簇 Jₐ,ᵦ,𝒸 上使用同态 λ = ζ−1。
• 对 Cassels-Tate 配对应用高阶下降技术，以分析 Sh[λᵏ]（k=1,2,3,4）的结构。
• 利用 p-进赋值函数 q(x) = (xᵖ⁻¹−1)/p mod p 来分类约化类型（可约、野性分裂、野性非分裂）。
• 利用陶泊尔曼特征标及 K_w^×/K_w^×ᵖ 的特征子空间 V(i)，分析 U 在 V(i) 中的像。
• 应用 Faddeev 对 Selmer 群的界估计，以及 [GR78] 中关于 Mordell-Weil 秩的结果，以限制沙法列维奇-塔特群的大小与结构。
• 在 Z[ζ] 中运用代数数论及 Z[ζ]/(λᵏ) 上有限模的结构定理，推导出 Sh[p^∞] 的精确形式。

实验结果

研究问题

• RQ1 在何种条件下，费马曲线雅可比簇的沙法列维奇-塔特群 Sh[λ] 非平凡？
• RQ2 沙法列维奇-塔特群的 p-Primary 部分何时具有 (Z[ζ]/(λ³))² 的结构？
• RQ3 约化类型（可约、野性分裂、野性非分裂）以及 U 在 V(i) 中的像如何影响 Sh[λᵏ] 的结构？
• RQ4 能否从沙法列维奇-塔特群的结构确定 Jₐ,ᵦ,𝒸 在 Q 上的 Mordell-Weil 秩？
• RQ5 费马曲线 Xᵖ+Yᵖ+Zᵖ=0 上的所有二次点是否均由格罗斯和罗赫里奇已知的构造完全覆盖？

主要发现

• 当 p=19，a=7，b=1，c=−8 时，沙法列维奇-塔特群满足 Sh[p^∞] ≅ (Z[ζ]/(λ³))²。
• 在 Q 上，J₇,₁₋₈ 的 Mordell-Weil 秩恰好为 1。
• 费马曲线 X¹⁹+Y¹⁹+Z¹⁹=0 上的所有二次点均由格罗斯和罗赫里奇所描述的构造完全覆盖。
• 在所述条件下，沙法列维奇-塔特群 Sh[λ³] 是 Z[ζ]/(λ³) 上的秩为 2 的自由模。
• 假设 Jₐ,ᵦ,𝒸 是非单连通的，与野性分裂约化不相容，纠正了先前文献中的一个错误。
• 当 p≥19 且满足 q(aᵃbᵇcᶜ)³+abcBₚ₋₃≢0 mod p 时，有 Sh[λ³]≠0，这意味着 |Sh[p^∞]|≥p³。