[論文レビュー] Equidistribution, L-functions, and Sato-Tate groups

Francesc Fité|arXiv (Cornell University)|May 20, 2014

Advanced Algebra and Geometry参考文献 12被引用数 4

ひとこと要約

このサーベイ論文は、セールのサトーサトーコンJECTUREの一般化を通じて、算術幾何における等分布性を統一的な枠組みで理解するものであり、L関数、コンパクト群、サトーサトーグループを結びつける。2次元以下のアーベル多様体のサトーサトーグループとガロア自己準同型型は、互いに一意に決定され、g=2では52通り、Q上では34通りのサトーサトーグループが存在し、非CM新形式やフェルマー曲線・クライン曲線のヤコビアンを含む主要なケースで等分布性が確認されている。

ABSTRACT

In this expository note, we present an approach to the generalization of Serre of the Sato-Tate Conjecture. Most of its content is taken from Serre's original references. However, we provide a few new examples and supply references to recent progress developed in the area.

研究の動機と目的

• セールのサトーサトーコンジェクチャの一般化を用いて、算術幾何における等分布性結果を統一的な枠組みで提示すること。
• アーベル多様体におけるサトーサトーグループ、ムムフォルド＝タイト群、ガロア自己準同型型の間の関係を明確にすること。
• 有理数係数で固定された重みとホッジ数をもつ自己双対的モチーフのサトーサトーグループを分類すること、特に次元g ≤ 3のアーベル多様体に焦点を当てる。
• 非CM新形式やフェルマー曲線・クライン曲線のヤコビアンを含む、フロベニウストレースの等分布性に関する最近の進展と新しい例を提示すること。
• 数体上のアーベル曲面について、サトーサトーグループとガロア自己準同型型が互いに一意に決定しあうことを確立し、明示的な分類結果を提示すること。

提案手法

• 共役類を用いて、コンパクトリー群を用いて等分布性の記述を行う。
• 等分布性が成り立つための基準として、コンパクト群の非自明な既約表現に関連するL関数がs=1で正則かつ非ゼロであることを利用する。
• これらのL関数を、s=1での正則性と非ゼロ性が既知である自動形式のL関数と比較する。
• サトーサトーグループを、滑らかで射影的な多様体のテートモジュール上のガロア表現の像のザリスキ閉包として定義する。
• ホッジ理論的およびガロア理論的構造を理解するために、関連する代数群としてムムフォルド＝タイト群を用いる。
• シムーラおよびリビートによる自己準同型代数とテートモジュールに関する結果を用いて、ガロア自己準同型型によるサトーサトーグループの有効な分類を行う。

実験結果

リサーチクエスチョン

• RQ1 数論における等分布性結果は、コンパクト群とL関数に基づく一般枠組みを通じてどのように一様に理解できるか？
• RQ2 アーベル多様体のサトーサトーグループとガロア自己準同型型の間の明確な関係は何か？
• RQ3 数体上に定義されたアーベル曲面に対して、どのサトーサトーグループが実現可能であり、それらは基礎体とどのように関係するか？
• RQ4 一般化されたサトーサトーコンジェクチャが成立することが知られているケースは何か、特にGL₂型でないアーベル多様体について。
• RQ5 Q上での次元g=2およびg=3のアーベル多様体の完全なサトーサトーグループのリストは何か、またそれらは自己準同型代数とどのように関係するか？

主な発見

• Q上の楕円曲線では、2つのサトーサトーグループしか現れない：CMの場合のSU(2)と非CMの場合のN_SU(2)(U(1))。
• Q上のアーベル曲面では、34通りのサトーサトーグループのタイプに制限され、それらすべてが特定のヤコビアンによって実現されている。
• 数体上に定義されたアーベル曲面に対しては、正確に52通りのサトーサトーグループが存在し、それぞれが一意なガロア自己準同型型に対応する。
• 数体上のアーベル曲面について、サトーサトーグループとガロア自己準同型型は、互いに一意に決定しあう。
• フェルマー曲線のねじれのヤコビアン（48通りの分布）およびクライン曲線のヤコビアン（22通りの分布）について、サトーサトーコンジェクチャが証明されている。これらはすべて3次元である。
• Q上での18のGL₂型ケースのうち15について等分布性が成り立ち、連結成分がU(1)である34のサトーサトーグループのうち18についても成り立つ。これには、y² = x⁵ − xおよびy² = x⁶ + 1のヤコビアンが含まれる。