[论文解读] An image of inertia argument for abelian surfaces and Fermat equations of signature (13,13,n)

Nicolas Billerey, Iimin Chen+3 more|arXiv (Cornell University)|Feb 12, 2018

Algebraic Geometry and Number Theory参考文献 23被引用 1

一句话总结

本文证明了对任意 $ n \geq 2 $，方程 $ x^{13} + y^{13} = 3z^n $ 不存在非平凡整数解。通过解决与一个亏格 2 曲线的雅可比簇中 7-挠点相关的伽罗瓦模障碍，作者应用了‘惯性像论证’于模形式的阿贝尔曲面，借助模性理论排除了解的存在性。

ABSTRACT

Building on previous work, we show that, for any integer $n \geq 2$, the equation $$x^{13} + y^{13} = 3 z^n$$ has no non-trivial solutions. For this, we need to deal with the obstruction which arises from the fact that the $7$-torsion of one of the Frey curves associated to this equation is a Galois submodule of the $7$-torsion of the Jacobian of a certain genus $2$ hyperelliptic curve~$C$. We remove this obstruction by combining the modularity of the Jacobian of $C$ with an `image of inertia argument' applied to that surface.

研究动机与目标

• 解决与方程 $ x^{13} + y^{13} = 3z^n $ 相关的弗雷曲线的 7-挠点在亏格 2 曲线雅可比簇中作为伽罗瓦模所产生的障碍。
• 在广义费马方程的背景下，将模性技巧推广至阿贝尔曲面。
• 克服由于挠点上伽罗瓦作用非平凡而导致的标准模提升定理失效的问题。
• 通过几何与伽罗瓦理论方法，确立给定丢番图方程无非平凡解。

提出的方法

• 利用亏格 2 超椭圆曲线 $ C $ 的雅可比簇的模性，以获取伽罗瓦表示。
• 分析弗雷曲线的 7-挠结构及其与 $ C $ 的雅可比簇之间的伽罗瓦子模关系。
• 应用‘惯性像论证’以控制阿贝尔曲面上模 7 伽罗瓦表示的像。
• 利用伽罗瓦表示与阿贝尔曲面模性之间的相容性，排除非平凡解。
• 将障碍分析与相关弗雷曲线的结构相结合，对非平凡解导出矛盾。
• 利用弗雷曲线的 7-挠点嵌入到 $ C $ 的雅可比簇的 7-挠点中这一事实，施加全局伽罗瓦理论约束。

实验结果

研究问题

• RQ1 能否在丢番图应用中克服弗雷曲线的 7-挠点作为亏格 2 曲线雅可比簇的伽罗瓦子模所引起的障碍？
• RQ2 阿贝尔曲面的模性如何用于解决广义费马方程中的伽罗瓦模障碍？
• RQ3 惯性像在排除 $ x^{13} + y^{13} = 3z^n $ 解的过程中起到何种作用？
• RQ4 方程 $ x^{13} + y^{13} = 3z^n $ 对任意 $ n \geq 2 $ 是否存在非平凡整数解？
• RQ5 模性与惯性像论证的结合能否系统性地应用于其他形式的费马型方程？

主要发现

• 对任意整数 $ n \geq 2 $，方程 $ x^{13} + y^{13} = 3z^n $ 均无非平凡整数解。
• 通过惯性像论证，成功消除了弗雷曲线的 7-挠点作为亏格 2 曲线雅可比簇的伽罗瓦子模所引起的障碍。
• 亏格 2 曲线 $ C $ 的雅可比簇的模性在控制伽罗瓦表示并使论证成立中至关重要。
• 惯性像论证有效约束了可能的伽罗瓦表示，从而对非平凡解导出矛盾。
• 该方法为通过结合模性与局部伽罗瓦数据来攻击高指数的广义费马方程提供了新途径。
• 结果表明，阿贝尔曲面的模性在克服丢番图方程中经典障碍机制方面具有显著有效性。