ハッセの定理の証明には長い道のりと知識が必要です。
ブログに書ける量ではありませんので、どのようにして証明されるのかの概要だけを見ていきたいと思います。
ハッセの定理
Eを有限体 (qは素数のべき)上の楕円曲線とする。
この楕円曲線の位数すなわち、有理点の数 は次の式を満たす。
必要となる主な定理を3つみていきましょう。
定理1
を楕円曲線上の分離可能な自己準同型な写像とすると、この写像の次数はこの写像のカーネルの数に等しい。
写像というのは一つの点から一つの点への写像ということです。
この写像は点(x,y)を点(p(x)/q(x), y s(x)/t(x))に写します。p, q, s, t はxの多項式です。
次数というのはのp(x), q(x)のxの最大次数のことです。
写像のカーネルの数というのは、写像の行く先が無限遠点になる点の数のことです。
分離可能というのは、p(x)/q(x)の微分が0でないという意味です。
であるとき、 は の重根を持たないことを意味します。
定理2
Eを体K上の楕円曲線としnを正の整数とする。Kの標数がnを割り切らないまたは0の時、n等分点の群構造は、と同型である。
の群構造であるということは、
の任意の元は2つの元を使って、と表せることを意味します。
ここで はの元です。
この写像は2 x 2行列で表せることを意味します。
複素数体の楕円曲線等分点の群構造を調べる その3 - Pebble Coding
定理3
を有限体、をその代数閉包とする。
() をフロべニウス写像とすると以下が成り立つ。
ここで1は恒等写像を表す。
これは、以下と同じことを表しています。
Eを上の楕円曲線とし、(x, y) が であるとき、
であるのは、である時かつその時のみである。
記号を使わずに表現すると、x, y を有限体の閉包(無限集合)の元とするが、楕円曲線上の点でもあるとするとき、
その点が有限体(有限集合)上の楕円曲線上の点でもある場合は、フロべニウス写像に限るということになります。
- 作者:雪江 明彦
- 出版社/メーカー: 日本評論社
- 発売日: 2010/12/07
- メディア: 単行本(ソフトカバー)
- 作者:Lawrence C. Washington
- 出版社/メーカー: Chapman and Hall/CRC
- 発売日: 2008/04/07
- メディア: ハードカバー