ファルティングスの定理

数論において、モーデル予想(英: Mordell conjecture)とは、Mordell (1922) で提示された予想であり、有理数体 Q 上に定義された 1 よりも大きな種数を持つ曲線は、有限個の有理点しか持たないであろうという予想である。後にこの予想は Q を任意の数体へ置き換えた予想へ一般化された。この予想は Gerd Faltings (1983) により証明されたため、ファルティングスの定理(英: Faltings' theorem)として知られている。 C を Q 上の種数 g の非特異代数曲線とすると、C の有理点の集合は次のように決定することができる。 g = 0 の場合：有理点が存在しないか、もしくは無限個存在する： C は円錐曲線である。 g = 1 の場合：有理点が存在しないか、もしくは C が楕円曲線で、有理点が有限生成アーベル群をなす。（モーデル定理(Mordell's Theorem)は、後にモーデル・ヴェイユの定理(Mordell–Weil theorem)へ一般化された。さらにメイザーの捩れ定理は捩れ部分群の構造を制限している。） g > 1 の場合：ファルティングスの定理（モーデル予想）に該当する。C は有限個の有理点しか持たない。 ファルティングスの元々の証明は、テイト予想の既知の場合へ帰着させるとともに、ネロンモデルの理論を含む代数幾何学の多くのツールを用いるものであった。ディオファントス近似を基礎とする全く異なる証明は、ポール・ヴォイタ（英語版）(Paul Vojta)により得られている。さらにヴォイタの証明の初等的な証明はエンリコ・ボンビエリが与えた。 1983年のファルティングスの論文は、それ以前に予想されていた多くの主張の結果として得られた。 モーデル予想(Mordell conjecture)：数体上の種数が 1 よりも大きな曲線は有限個の有理点しか持たない。 シャファレビッチ予想(Shafarevich conjecture)：決められた次元の、決められた数体上の偏極次数を持ち、決められた有限個の座(place)の有限集合の外側では良い還元（英語版）(good reduction)を持つアーベル多様体の同型類は、有限個しか存在しない。 同種定理(Isogeny theorem)：同型なテイト加群（英語版）(Tate module)を（ガロア作用、Ql-加群として）もつアーベル多様体は同種である。 モーデルの予想は、Parshin (1971) によってシャファレビッチ予想へ帰着された。ファルティングスの定理の応用の例として、フェルマーの最終定理の弱い形がある。決められた n > 4 に対し、an + bn = cn には有限個の整数解しか存在しない。なぜなら、n に対し、曲線 xn + yn = 1 は種数が 1 よりも大きいからである。 モーデル・ヴェイユの定理により、ファルテングスの定理はアーベル多様体 A の有限生成部分群 Γ を持つ曲線 C の交点理論についての主張として再定式化することができる。C を A の任意の部分多様体に置き換え、Γ を任意の A の有限ランクの部分群へ置き換えることで、モーデル・ラング予想（英語版）(Mordell–Lang conjecture)が導出される。 ファルテングスの定理の別の高次元への一般化は、ラング・ボンビエリ予想（英語版）(Bombieri–Lang conjecture)であり、X が数体 k 上の準標準多様体（英語版）(pseudo-canonical variety)（すなわち、一般型の多様体）であれば、X(k) は X でザリスキー稠密ではない。さらに一般的な予想がポール・ヴォイタ（英語版）(Paul Vojta)により提示されている。 函数体のモーデル予想は、Manin (1963) と Grauert (1965) により証明された。Coleman (1990) はマーニンの証明のギャップを見つけ修正した。 ファルティングスの定理は計算可能性を備えていない（有効でない）。ファルティングスの定理の証明に用いられる議論からは、ヤコビ多様体の構造を用いて、有理点の個数に対して、具体的な上からの評価を求めることはできるが、有理点の大きさの上界が得られるわけではない。そのため、この定理を使って有理点をすべて求めることはできない。 モーデル予想の解決に先立って、Chabauty (1941a, 1941b)はヤコビ多様体の階数が小さいときに、有理点の個数の上界を求める方法を開発し、Coleman (1985)は実際にいくつかの場合に具体的な上界を得ている。 たとえば p が 2g より大きい素数で C が p を法として良い還元をもつとすると、有理点の個数は高々 # C ( F p ) + 2 g − 2 {\displaystyle \#C(\mathbb {F} _{p})+2g-2} となる（上記論文Corollary 4aおよびMcCallum & Poonen (2012, Theorem 5.3(b))）。ここで # C ( F p ) {\displaystyle \#C(\mathbb {F} _{p})} は C を、p を法として還元したときの点の個数である。さらに場合によってはこれらの方法を使って有理点をすべて決定することができる。たとえば y 2 = x ( x − 1 ) ( x − 2 ) ( x − 5 ) ( x − 6 ) {\displaystyle y^{2}=x(x-1)(x-2)(x-5)(x-6)} の有理点は (x, y) = (0, 0), (1, 0), (2, 0), (5, 0), (6, 0), (3, ±6), (10, ±120) のみであることがGrant (1994)により示されている。また、平川義之輔と松村英樹（Hirakawa & Matsumura (2018)）はこの方法を使って辺の長さが整数となる直角三角形と二等辺三角形の組で、周長と面積が共に一致するものは（相似を除いては）、3辺の長さがそれぞれ (377, 135, 352) と (366, 366, 132) であるものしか存在しないことを示している。 ^ メイザーの捩れ定理は、バリー・メイザーによる定理で、有理数体上の楕円曲線上の有理点の群の可能である捩れ部分群を分類した定理である。 Cn で位数 n の巡回群を表すと、可能な捩れ部分群は、1 ≤ n ≤ 10 に対しての Cn と C12 とさらに、C2 と C2, C4, C6 あるいは C8 との直和である[疑問点 – ノート]。 この逆の結果は、対応するモジュラ曲線が有理点ではみな種数 0 となるので、全てのこれらの捩れ構造は、Q 上に無限個の捩れ構造が現れる。 ^ モーデル・ラング予想は、アーベル多様体と準アーベル多様体上のモーデル予想とマーニン・マンフォード予想を統合するサージ・ラングの一連の予想である。Michael (1995) によって証明された。 Bombieri, Enrico (1990). “The Mordell conjecture revisited”. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 17 (4): 615–640.  Chabauty, C. (1941a). “Sur les points rationels des courbes algébriques de genre supérieur à unité”. C. R. Acad. Sei. Paris 212: 882–884.  Chabauty, C. (1941b). “Sur les points rationels des variétés algebriques dont l’irregularité est supérieur à la dimension”. C. R. Acad. Sci. Paris 212: 1022–1024.  Coleman, Robert F. (1990). “Manin's proof of the Mordell conjecture over function fields”. L'Enseignement Mathématique. Revue Internationale. IIe Série 36 (3): 393–427. ISSN 0013-8584. MR1096426. http://retro.seals.ch/digbib/view?rid=ensmat-001:1990:36::560&id=&id2=&id3=  Coleman, Robert F. (1985). “Effective Chabauty”. Duke Math. J. 52: 765–770. doi:10.1215/S0012-7094-85-05240-8. MR808103.  Cornell, Gary; Silverman, Joseph H. (1986). Arithmetic geometry. New York: Springer. ISBN 0-387-96311-1  → Contains an English translation of Faltings (1983) Faltings, Gerd (1983). “Endlichkeitssätze für abelsche Varietäten über Zahlkörpern”. Inventiones Mathematicae 73 (3): 349–366. doi:10.1007/BF01388432.  Grant, David (1994). “A curve for which Coleman's effective Chabauty bound is sharp”. Proc. Amer. Math. Soc. 122: 317–319. doi:10.1090/S0002-9939-1994-1242084-4.  Grauert, Hans (1965). “Mordells Vermutung über rationale Punkte auf algebraischen Kurven und Funktionenkörper”. Publications Mathématiques de l'IHÉS (25): 131–149. ISSN 1618-1913. MR0222087. http://www.numdam.org/item?id=PMIHES_1965__25__131_0  Hindry, Marc; Silverman, Joseph H. (2000). Diophantine geometry. Graduate Texts in Mathematics. 201. Springer-Verlag. ISBN 0-387-98981-1  → Gives Vojta's proof of Falting's Theorem. Hirakawa, Yoshinosuke; Matsumura, Hideki (2018). “A unique pair of triangles”. Journal of Number Theory 194: 297-302. doi:10.1016/j.jnt.2018.07.007. ISSN 0022-314X. MR3860476.  S. Lang (1997). Survey of Diophantine geometry. Springer-Verlag. pp. 101–122. ISBN 3-540-61223-8  Manin, Ju. I. (1963). “Rational points on algebraic curves over function fields”. Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 27: 1395–1440. ISSN 0373-2436. MR0157971. http://mi.mathnet.ru/eng/izv3174  McCallum, William; Poonen, Bjorn (2012). “The method of Chabauty and Coleman”. Explicit methods in Number Theory; rational points and diophantine equations, Panoramas et Synthèses 36. Paris. pp. 99-117. ISBN 978-2-85629-359-1. MR3098132. http://www-math.mit.edu/~poonen/papers/chabauty.pdf  McQuillan, Michael (1995). “Division points on semi-abelian varieties”. Invent. Math. 120 (1): 143–159. Bibcode: 1995InMat.120..143M. doi:10.1007/BF01241125.  Mordell, Louis J. (1922). “On the rational solutions of the indeterminate equation of the third and fourth degrees”. Proc. Cambridge Philos. Soc. 21: 179–192  Paršin, A. N. (1971). “Quelques conjectures de finitude en géométrie diophantienne”. Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1. Gauthier-Villars. pp. 467–471  Parshin, A. N. (2001), “Mordell conjecture”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Mordell_conjecture