テイト・シャファレヴィッチ群

数論幾何学のとは、代数体

上定義されたアーベル多様体（もしくはもっと一般の）に対して定まる群

のことである。これはヴェイユ・シャトレ群

の元で

のすべての完備化（から得られる進体と実または複素の完備化）において自明となるものの集まりとして定義される。これは、ガロアコホモロジーを使うと

と書くことができる。この群はサージ・ラングとジョン・テイトとイゴール・シャファレヴィッチによって考え出された。キリル文字のШ（シャファレヴィッチのシャー）を使う

という表記はによりはじめられた。それまでは

という記号が使われていた。

テイト・シャファレヴィッチ群の元

幾何学的には、テイト・シャファレヴィッチ群の自明でない元は、のすべての素点

に対して有理点を持つが、しかし

有理点は持たない

の等質空間と考えることができる。したがってこの群は体

を係数とする有理方程式についてハッセの原理がどのくらい成り立たないかを測っている。は、種数1の曲線

は有理点を持たないが実数体とすべての進体について解を持つことを示すことにより、このような等質空間の例を与えた。は

などたくさんの例を与えた。

特別な場合であるアーベル多様体のある与えられた有限位数

を持つ点からなる有限群スキームについてのテイト・シャファレヴィッチ群はセルマー群と密接に関係している。

テイト・シャファレヴィッチ予想

テイト・シャファレヴィッチ予想とは、テイト・シャファレヴィッチ群は有限であろうという予想である。カール・ルービンは虚数乗法を持ち階数が1以下のある楕円曲線についてこれを証明した。ヴィクター・コリヴァギンはこれを解析的階数が1以下の有理数体上のモジュラーな楕円曲線に拡張した（後に証明されたモジュラー性定理により、モジュラー性の仮定は常に満たされる）。

キャッセルズ・テイト対

キャッセルズ・テイト対（Cassels–Tate pairing）はアーベル多様体

とその双対

に対して定義される

である。キャッセルズはこれを楕円曲線の場合に導入した。この場合、と

は同一視できるので、この対は交代形式である。この形式の核は可除な元のなす部分群であり、テイト・シャファレヴィッチ予想が正しければこれは自明な群である。テイトはこの対をの変形版として一般のアーベル多様体に拡張した。の偏極を選ぶと

から

への写像が定まり、これが

に値を持つ

上の双線型対を誘導する。楕円曲線の場合と異なり、これは交代的とは限らず歪対称でもないかもしれない。

キャッセルズは楕円曲線の場合にこのペアリングは交代的であることを示した。これから、の位数が有限であればそれは平方数であることがわかる。一般のアーベル多様体について、の位数が有限であればそれは平方数だろうと何年ものあいだ誤って信じられてきた。これは

の結果の1つの引用の仕方を誤った

に端を発する。プーネン（Poonen）とシュトール（Stoll）は位数が平方数の2倍である例をいくつか与えた。有理数体上の種数が2のある曲線のヤコビ多様体でそのテイト・シャファレヴィッチ群の位数が2であるようなものなどである。スタインは位数を割り切る奇素数の冪指数が奇数となる例を与えた。アーベル多様体が主偏極を持てば

上のこの形式は歪対称である。これは

の位数は（有限ならば）平方数または平方数の2倍であることを意味する。さらに、主偏極が（楕円曲線の場合のように）有理因子からきている場合には、この形式は交代的であり、の位数は（有限ならば）平方数である。

テイト・シャファレヴィッチ群

Źródło i licencja