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

数論幾何学のとは、代数体
上定義されたアーベル多様体
（もしくはもっと一般のgroup scheme）に対して定まる群
のことである。これはヴェイユ・シャトレ群
の元で
のすべての完備化（K から得られる p進数|p 進体と実または複素の完備化）において自明となるものの集まりとして定義される。これは、ガロアコホモロジーを使うと

と書くことができる。この群はサージ・ラングとジョン・テイト1958とイゴール・シャファレヴィッチ1959によって考え出された。キリル文字のШ（シャファレヴィッチのシャー）を使う
という表記はJ. W. S. Casselsによりはじめられた。それまでは
という記号が使われていた。

**テイト・シャファレヴィッチ群の元**
幾何学的には、テイト・シャファレヴィッチ群の自明でない元は、K
のすべての素点
に対して
有理点を持つが、しかし
有理点は持たない
の等質空間と考えることができる。したがってこの群は体
を係数とする有理方程式についてハッセの原理がどのくらい成り立たないかを測っている。1940 は、種数1の曲線
は有理点を持たないが実数体とすべての p 進体について解を持つことを示すことにより、このような等質空間の例を与えた。1951 は
などたくさんの例を与えた。
特別な場合であるアーベル多様体のある与えられた有限位数
を持つ点からなる有限群スキームについてのテイト・シャファレヴィッチ群はセルマー群と密接に関係している。

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

**キャッセルズ・テイト対**
キャッセルズ・テイト対（Cassels–Tate pairing）はアーベル多様体
とその双対
に対して定義されるbilinear pairing
であるp=307。キャッセルズはこれを楕円曲線の場合に導入した1962。この場合、A
と
は同一視できるので、この対は交代形式である。この形式の核は可除な元のなす部分群であり、テイト・シャファレヴィッチ予想が正しければこれは自明な群である。テイトはこの対をTate dualityの変形版として一般のアーベル多様体に拡張した1963。A
の偏極を選ぶと
から
への写像が定まり、これが
に値を持つ
上の双線型対を誘導する。楕円曲線の場合と異なり、これは交代的とは限らず歪対称でもないかもしれない。
キャッセルズは楕円曲線の場合にこのペアリングは交代的であることを示した。これから、Ш
の位数が有限であればそれは平方数であることがわかる。一般のアーベル多様体について、Ш
の位数が有限であればそれは平方数だろうと何年ものあいだ誤って信じられてきた。これは
の結果の1つの引用の仕方を誤った
に端を発する。プーネン（Poonen）とシュトール（Stoll）は位数が平方数の2倍である例をいくつか与えた。有理数体上の種数が2のある曲線のヤコビ多様体でそのテイト・シャファレヴィッチ群の位数が2であるようなものなどである1999。スタインは位数を割り切る奇素数の冪指数が奇数となる例を与えた2004。アーベル多様体が主偏極を持てば
上のこの形式は歪対称である。これは
の位数は（有限ならば）平方数または平方数の2倍であることを意味する。さらに、主偏極が（楕円曲線の場合のように）有理因子からきている場合には、この形式は交代的であり、Ш
の位数は（有限ならば）平方数である。

**関連項目**
バーチ・スウィンナートン＝ダイアー予想

**脚注**

**参考文献**

**日本語の文献**

**外国語の文献**
 pages=259–296
*Citation | last1=Cassels | first1=John William Scott | title=Arithmetic on curves of genus 1. IV. Proof of the Hauptvermutung | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002179873 |mr=0163915 | year=1962b | journal=Journal für die reine und angewandte Mathematik | issn=0075-4102 | volume=211 | issue=211 | pages=95–112 | doi=10.1515/crll.1962.211.95
*Citation | last1=Cassels | first1=John William Scott | title=Lectures on elliptic curves | url=https://books.google.com/books?id=zgqUAuEJNJ4C | publisher=Cambridge University Press | series=London Mathematical Society Student Texts | isbn=978-0-521-41517-0 |mr=1144763 | year=1991 | volume=24 | doi=10.1017/CBO9781139172530- Citation | last2=Silverman | first2=Joseph H. | author2-link=Joseph H. Silverman | last1=Hindry | first1=Marc | author1-link=Marc Hindry | title=Diophantine geometry: an introduction | publisher=Springer-Verlag | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-98981-5 | year=2000 | volume=201- Citation | last1=Greenberg | first1=Ralph | author1-link=Ralph Greenberg | editor1-last=Serre | editor1-first=Jean-Pierre | editor1-link=Jean-Pierre Serre | editor2-last=Jannsen | editor2-first=Uwe | editor3-last=Kleiman | editor3-first=Steven L. | title=Motives | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-1637-0 | year=1994 | chapter=Iwasawa Theory and p-adic Deformation of Motives- pages=522–540, 670–671
*Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | last2=Tate | first2=John | author2-link=John Tate (mathematician) | title=Principal homogeneous spaces over abelian varieties |mr=0106226 | year=1958 | journal=American Journal of Mathematics | issn=0002-9327 | volume=80 | issue=3 | pages=659–684 | doi=10.2307/2372778 | jstor=2372778- no-pp = y
*Citation | last1=Poonen | first1=Bjorn | last2=Stoll | first2=Michael | title=The Cassels-Tate pairing on polarized abelian varieties | doi=10.2307/121064 |mr=1740984 | year=1999 | journal=Annals of Mathematics |series=Second Series | issn=0003-486X | volume=150 | issue=3 | pages=1109–1149| arxiv=math/9911267 | jstor=121064
*Citation | last1=Rubin | first1=Karl | title=Tate–Shafarevich groups and L-functions of elliptic curves with complex multiplication | doi=10.1007/BF01388984 |mr=903383 | year=1987 | journal=Inventiones Mathematicae | issn=0020-9910 | volume=89 | issue=3 | pages=527–559| bibcode=1987InMat..89..527R
*Citation | last1=Selmer | first1=Ernst S. | title=The Diophantine equation ax³+by³+cz³=0 | doi=10.1007/BF02395746 |mr=0041871 | year=1951 | journal=Acta Mathematica | issn=0001-5962 | volume=85 | pages=203–362| doi-access=free - pages=42–43  English translation in his collected mathematical papers- pages=277–289
*Citation | last1=Swinnerton-Dyer | first1=P. | editor1-last=Springer | editor1-first=Tonny A. | title=Proceedings of a Conference on Local Fields (Driebergen, 1966) | chapter-url=https://books.google.com/books/?id=I983HAAACAAJ | publisher=Springer-Verlag | location=Berlin, New York |mr=0230727 | year=1967 | chapter=The conjectures of Birch and Swinnerton-Dyer, and of Tate | pages=132–157- volume=13- archive-date=2011-07-17
*Citation | last1=Weil | first1=André | author1-link=André Weil | title=On algebraic groups and homogeneous spaces |mr=0074084 | year=1955 | journal=American Journal of Mathematics | issn=0002-9327 | volume=77 | issue=3 | pages=493–512 | doi=10.2307/2372637 | jstor=2372637