ファルティングスの定理

提供: testwiki
ナビゲーションに移動 検索に移動

数論において、モーデル予想(テンプレート:Lang-en-short)とは、テンプレート:Harvtxt で提示された予想であり、有理数体 Q 上に定義された 1 よりも大きな種数を持つ曲線は、有限個の有理点しか持たないであろうという予想である。後にこの予想は Q を任意の数体へ置き換えた予想へ一般化された。この予想は テンプレート:Harvs により証明されたため、ファルティングスの定理(テンプレート:Lang-en-short)として知られている。

背景

C を Q 上の種数 g の非特異代数曲線とすると、C の有理点の集合は次のように決定することができる。

  • g = 0 の場合：有理点が存在しないか、もしくは無限個存在する： C は円錐曲線である。
  • g = 1 の場合：有理点が存在しないか、もしくは C が楕円曲線で、有理点が有限生成アーベル群をなす。（モーデル定理(Mordell's Theorem)は、後にモーデル・ヴェイユの定理(Mordell–Weil theorem)へ一般化された。さらにメイザーの捩れ定理[1]は捩れ部分群の構造を制限している。）
  • g > 1 の場合：ファルティングスの定理（モーデル予想）に該当する。C は有限個の有理点しか持たない。


証明

ファルティングスの元々の証明は、テイト予想の既知の場合へ帰着させるとともに、ネロンモデルの理論を含む代数幾何学の多くのツールを用いるものであった。ディオファントス近似を基礎とする全く異なる証明は、テンプレート:仮リンク(Paul Vojta)により得られている。さらにヴォイタの証明の初等的な証明はエンリコ・ボンビエリが与えた。

結論

1983年のファルティングスの論文は、それ以前に予想されていた多くの主張の結果として得られた。

  • モーデル予想(Mordell conjecture)：数体上の種数が 1 よりも大きな曲線は有限個の有理点しか持たない。
  • シャファレビッチ予想(Shafarevich conjecture)：決められた次元の、決められた数体上の偏極次数を持ち、決められた有限個のテンプレート:仮リンク(place)の有限集合の外側ではテンプレート:仮リンク(good reduction)を持つアーベル多様体の同型類は、有限個しか存在しない。
  • 同種定理(Isogeny theorem)：同型なテンプレート:仮リンク(Tate module)を（ガロア作用、Ql-加群として）もつアーベル多様体は同種である。

モーデルの予想は、テンプレート:Harvtxt によってシャファレビッチ予想へ帰着された。ファルティングスの定理の応用の例として、フェルマーの最終定理の弱い形がある。決められた n > 4 に対し、an + bn = cn には有限個の整数解しか存在しない。なぜなら、n に対し、曲線 xn + yn = 1 は種数が 1 よりも大きいからである。

一般化

モーデル・ヴェイユの定理により、ファルテングスの定理はアーベル多様体 A の有限生成部分群 Γ を持つ曲線 C の交点理論についての主張として再定式化することができる。C を A の任意の部分多様体に置き換え、Γ を任意の A の有限ランクの部分群へ置き換えることで、テンプレート:仮リンク(Mordell–Lang conjecture)[2]が導出される。

ファルテングスの定理の別の高次元への一般化は、テンプレート:仮リンク(Bombieri–Lang conjecture)であり、X が数体 k 上のテンプレート:仮リンク(pseudo-canonical variety)（すなわち、一般型の多様体）であれば、X(k) は X でザリスキー稠密ではない。さらに一般的な予想がテンプレート:仮リンク(Paul Vojta)により提示されている。

函数体のモーデル予想は、テンプレート:Harvtxt と テンプレート:Harvtxt により証明された。テンプレート:Harvtxt はマーニンの証明のギャップを見つけ修正した。

実効性

ファルティングスの定理は計算可能性を備えていない（有効でない）。ファルティングスの定理の証明に用いられる議論からは、ヤコビ多様体の構造を用いて、有理点の個数に対して、具体的な上からの評価を求めることはできるが、有理点の大きさの上界が得られるわけではない。そのため、この定理を使って有理点をすべて求めることはできない。 モーデル予想の解決に先立って、テンプレート:Harvsはヤコビ多様体の階数が小さいときに、有理点の個数の上界を求める方法を開発し、テンプレート:Harvtxtは実際にいくつかの場合に具体的な上界を得ている。 たとえば p が 2g より大きい素数で C が p を法として良い還元をもつとすると、有理点の個数は高々

#C(𝔽p)+2g−2

となる（上記論文Corollary 4aおよびテンプレート:Harvtxt）。ここで #C(𝔽p) は C を、p を法として還元したときの点の個数である。さらに場合によってはこれらの方法を使って有理点をすべて決定することができる。たとえば

y2=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) のみであることがテンプレート:Harvtxtにより示されている。また、平川義之輔と松村英樹（テンプレート:Harvtxt）はこの方法を使って辺の長さが整数となる直角三角形と二等辺三角形の組で、周長と面積が共に一致するものは（相似を除いては）、3辺の長さがそれぞれ (377, 135, 352) と (366, 366, 132) であるものしか存在しないことを示している。

脚注

  1. ↑ テンプレート:Anchorsメイザーの捩れ定理は、バリー・メイザーによる定理で、有理数体上の楕円曲線上の有理点の群の可能である捩れ部分群を分類した定理である。 Cn で位数 n の巡回群を表すと、可能な捩れ部分群は、1 ≤ n ≤ 10 に対しての Cn と C12 とさらに、C2 と C2, C4, C6 あるいは C8 との直和であるテンプレート:疑問点。 この逆の結果は、対応するモジュラ曲線が有理点ではみな種数 0 となるので、全てのこれらの捩れ構造は、Q 上に無限個の捩れ構造が現れる。
  2. ↑ テンプレート:Anchorsモーデル・ラング予想は、アーベル多様体と準アーベル多様体上のモーデル予想とマーニン・マンフォード予想を統合するサージ・ラングの一連の予想である。テンプレート:Harvtxt によって証明された。

参考文献

テンプレート:Normdaten

「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=ファルティングスの定理&oldid=9526」から取得