[論文レビュー] 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$ の非自明な整数解が存在しないことを証明している。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の超楕円曲線 $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$ のヤコビアンのモジュラー性は、ガロア表現を制御し、議論を可能にする上で不可欠な役割を果たしている。
• インナーシャー・イナーシャ・アーギュメントは、可能なガロア表現を効果的に制約し、非自明な解に対して矛盾を引き起こした。
• この手法は、モジュラー性と局所的ガロアデータを組み合わせることで、高次の指数をもつ一般化されたフェルマー方程式を攻撃する新しい道筋を提供する。
• この結果は、古典的な障害機構を克服する上で、アーベル曲面のモジュラー性の有効性を示している。