佐藤・テイト予想

で定義される楕円曲線  に対して  の根のうち上半平面にあるもののみをプロットした図。ここで  は F で定義される数である。図から根の偏角の密度は付近で濃いことが見て取れる。
佐藤・テイト予想（Sato–Tate conjecture）とは、楕円曲線 E と素数 p に対して定まるある実数 θp の分布に関する予想である。もう少し正確には、有理数体上定義された楕円曲線 E を一つ固定したとき、各素数 p での還元 Ep は有限体 Fp 上の楕円曲線となるが、その楕円曲線 Ep の点の数が p を動かしたときある決まった分布になるというものである。

予想の記述
 で定義される楕円曲線  に対する
（）の度数分布図。
ここで  は 

で定義される数である。
が

に従って分布していることが見て取れる。
E を有理数体上定義された楕円曲線とする。これは整数に係数をもつ多項式によりあらわす事ができ、この多項式を素数 p を法として考えることによりほとんど全ての p について有限体 Fp 上の楕円曲線 Ep を定めることができる（ここで例外となるのは Ep が特異点をもつ場合だが、そのような素数 p は有限個しかない）。Np で Ep の有限体上に定義された点の数を表わすとすると、楕円曲線のハッセの定理により、

となる。このことから、θp を、

をみたす実数として定義する。
佐藤・テイト予想(Sato–Tate conjecture)は、E が虚数乗法を持たないとき虚数乗法を持つ楕円の場合には、ハッセ・ヴェイユのL-函数がヘッケ指標(Hecke L-function)の項として表される（(Max Deuring)の結果）。このことはより詳しい問題への解答で、解析的結果として知られている。、θ の確率測度が
正規化するために、2/π を前に係数として置いている。
に比例することを言っている。
いいかえると、0 ≤ α < β ≤ π であるすべての実数のペア α と β に対して、

となる、というのが予想の意味するところである。

この予想は1963年に佐藤幹夫(Mikio Sato)により提出され、ジョン・テイト(John Tate)により代数幾何学的に解釈された。テイト(J. Tate)は、 Algebraic cycles and poles of zeta functions in the volume (O. F. G. Schilling, editor), Arithmetical Algebraic Geometry, pages 93–110 (1965) の中で述べている。

  の計算例 

楕円曲線  と素数  が具体的に与えられれば、それに対する

を計算すること自体は容易である。例として、方程式

で定義される楕円曲線  を考える。この楕円曲線は虚数乗法を持たず、 で良還元を持つElliptic curve with LMFDB label 20.a3 (Cremona label 20a2)。
を定義から計算するには

の有理点の個数 
を求めればよいが、これは多項式

に

をすべて代入してみて  による剰余が0となるものの個数を数えればよい。無限遠点があるので、この個数に1を足したものが  である。次の表は

の

での剰余を表計算ソフトで計算した結果である。

 y＼x 0 1 2 3 4 5 6 0 0 6 4 2 1 2 6 1 1 0 5 3 2 3 0 2 4 3 1 6 5 6 3 3 2 1 6 4 3 4 1 4 2 1 6 4 3 4 1 5 4 3 1 6 5 6 3 6 1 0 5 3 2 3 0

0が5つあるので、 の

は6であることがわかった。したがって、



である。

この計算からは  の分布に関して何らかの規則性があるとは想像できないが、実際には  という簡明な関数に従って分布していることを主張するのが、佐藤・テイト予想である。

 証明の歴史 

佐藤・テイト予想は、考えている楕円曲線  の、任意の正整数  に対する対称積  関数  が  の範囲に解析接続できて、この範囲に零点をもたなければ正しいことがテイトとセールにより示されていた。

ラングランズ予想の一部として  の尖点的保型表現  であって  となるものの存在が予見されるが、このような  が存在すれば、保型表現の  関数の一般論からそのことが言えて、佐藤・テイト予想は解けることになる。

2001年、リチャード・テイラーたちにより谷山志村予想が完全解決され、これにより  のときは  が存在することがわかった。谷山志村予想は1995年に弱い形でアンドリュー・ワイルズとテイラーによって証明され、それによってフェルマー予想が解決された。佐藤・テイト予想を解決するには、残りの無限個の  に対して同じことを証明する必要があるので、「佐藤・テイト予想はフェルマー予想の無限倍難しい」と表現されることもある。

2006年春、ハーバード大学教授のリチャード・テイラーは、、、との共同研究に基づき、楕円曲線  の  不変量  が代数的整数ではないという条件付きで、 の存在よりも少し弱い主張（潜保型性）を証明することにより、総実体の楕円曲線について佐藤・テイト予想を解決したことを発表した。証明は3本の論文 、、 からなり、2008年と2010年に公表された。これによって多くの場合に佐藤・テイト予想が解決された。

楕円曲線  の  不変量が代数的整数ではないという条件は、基礎体をその有限次拡大に置き換えるとある有限素点で  がを持つという条件と同値な条件である。この技術的な条件はの安定化の問題を回避するためにつけられたものであるが、安定化に関する十分な結果が得られた暁には取り除くことができる条件であった。2007年6月においてもそうした結果は手の届く範囲にあると思われており、2009年3月にはゴ・バオ・チャウらによる「基本補題」の解決やシンらによる精力的な研究によりこの仮定が取り除かれる日も近いと考えられていた。

そして、2009年7月6日付の、、ハリス、テイラーの共著のプレプリントの導入部において、総実体上の任意の楕円曲線に対して佐藤・テイト予想が解決されたと書かれた。この記念すべき論文は佐藤幹夫が長年勤務した数理解析研究所の雑誌の佐藤幹夫80歳記念号にて2011年に出版された。

今では  が存在することもとジャック・ソーンによって証明されている。

一般化
エタール・コホモロジー上のガロア表現に含まれるガロア群のフロベニウス元の分布が、一般化と考えられる。特に、種数が n > 1 の曲線についての予想がある。

ニック・カッツ(Nick Katz)とピーター・サルナック(Peter Sarnak)により開発されたランダム行列モデル では、フロベニウス元の（ユニタリ化された）特性方程式と、コンパクトリー群 USp(2n) = Sp(n) 上のリー群の共役類との間に対応関係を示した。従って、USp(2n) 上のハール測度は分布を与えると予想され、古典的な場合は USp(2) = SU(2) である。

より詳細な問題
さらに精密な予想として、1976年のサージ・ラング(Serge Lang)と(Hale Trotter)によるラング・トロッター予想(Lang–Trotter conjecture)は、公式の中に現れるフロベニウス元のトレースである値 ap が、素数 p に対し決まると、漸近的な数が存在すると言う予想である。 典型的な例（虚数乗法を持たず、かつ trace ≠ 0）では、X についての p に対する数値は、ある特別の定数 c が存在して、漸近的に

に近づく。(Neal Koblitz)は、1988年、楕円曲線暗号に動機をもって、素数 q の場合の、Ep 上の点の数についての詳細な予想を提示した。.

ラング・トロッター予想は、(Artin's conjecture on primitive roots)の類似であり、1977年に提唱された。

 脚注 

 注釈 

 出典 

 参考文献 

 解説書 





 解説記事 






 関連書籍 



 原論文 











外部リンク

Michael Harris notes, with statement (PDF)

Category:楕円曲線
Category:有限体
Category:予想
Category:数学に関する記事
Category:数学のエポニム