[論文レビュー] Transcendance de périodes: état des connaissances

Michel Waldschmidt|arXiv (Cornell University)|Feb 28, 2005

Analytic Number Theory Research参考文献 16被引用数 7

ひとこと要約

この論文は、KontsevichとZagierが定義した周期—有理係数をもつ多項式不等式で定義される領域上の有理関数の積分として定義される実数または複素数—の算術的性質に関する現在の知識の包括的サーベイを提供する。周期の超越性、無理数性、ディオファントス近似を検討し、Bakerの対数に関する定理（例：Bakerの定理）や、Kontsevich-Zagierの予想といった主要な定理・予想、特にガンマ関数やゼータ関数といった特殊関数の文脈における周期値の線形的・代数的独立性に関する定量的結果を強調している。古典的および正の特徴を持つ設定の両方を含む。

ABSTRACT

Les nombres réels ou complexes forment un ensemble ayant la puissance du continu. Parmi eux, ceux qui sont intéressants, qui apparaissent naturellement, qui méritent notre attention, forment un ensemble dénombrable. Dans cet état d'esprit nous nous intéressons aux périodes au sens de Kontsevich et Zagier. Nous faisons le point sur l'état de nos connaissances concernant la nature arithmétique de ces nombres: décider si une période est un nombre rationnel, algébrique irrationnel ou au contraire transcendant est l'objet de quelques théorèmes et de beaucoup de conjectures. Nous précisons aussi ce qui est connu sur l'approximation diophantienne de tels nombres, par des nombres rationnels ou algébriques.

研究の動機と目的

• KontsevichとZagierが定義する周期の算術的性質に関する現在の知識の状況をサーベイすること。
• 周期が有理数、代数的数、または超越数であるかどうかを調査し、超越性を証明する際の課題を検討すること。
• 周期を有理数または代数的数によって近似するディオファントス近似を分析し、定量的測度を含むこと。
• 特に関数体におけるゼータ関数およびガンマ関数に関して、正の特徴における類似を探索すること。
• 周期に関する主要な予想（Kontsevich-Zagier予想、関数体におけるRohrlich-Lang予想）の現状を評価すること。

提案手法

• 超越数論の道具（特にBakerの対数の線形形式理論）を用いて、既知の周期に関する結果をサーベイすること。
• Liouville型の不等式と高さに基づく複雑度測度を適用し、代数的数による周期の近似を制限すること。
• 代数的領域上の有理関数の積分を分析し、その算術的性質（超越的か代数的か）を特定すること。
• 正の特徴におけるt-加群およびDrinfeld加群の理論を用いて、ガンマ関数の値の代数的独立性を研究すること。
• Riemannゼータ関数およびガンマ関数の類似を用いて、古典的結果を関数体へと拡張すること。
• Anderson、Thakur、Papanikolasらの研究を活用し、正の特徴における独立性測度およびL関数の特別な値に関する結果を活用すること。

実験結果

リサーチクエスチョン

• RQ1 すべての周期は超越的であるのか、それとも一部が代数的数または有理数である可能性があるのか？
• RQ2 Liouvilleの不等式に類似した、周期と有理数または代数的数との距離に対する有効な下界を確立できるか？
• RQ3 正の特徴における特殊関数（ガンマ関数やゼータ関数）の値の代数的独立性構造はいかなるものか？
• RQ4 特徴が0の状況における既知の周期に関する結果が、関数体へどの程度まで拡張可能か？
• RQ5 積分表現に基づく複雑度測度を用いて、Kontsevich-Zagierの周期に関する予想を検証または精錬できるか？

主な発見

• 周期はQ代数をなすため、すべての代数的数が周期であるが、大多数の周期の超越性は未だ証明されていない。
• Bakerの定理により、代数的数の対数の非ゼロ線形結合は超越的であることが示され、これは多くの有理関数の積分の超越性を示唆する。
• 楕円積分に関しては、Schneiderの定理により、値は代数的か超越的であり、一般には超越的であるが、特別な対称性が成立する場合に限り代数的となる。
• 正の特徴において、Eulerの定数の類似はFq(T)上超越的であることがAndersonとThakurによって示された。
• Thakurのガンマ関数の値は、Deligne-Anderson-Thakur関係によって完全に説明される形で代数的に独立しており、すべての代数的依存関係が特定されている。
• 関数体において、ガンマ関数の値の代数的独立性は、既知の関数方程式によって完全に決定されており、これは古典的状況ではまだ達成されていない結果である。