[論文レビュー] Edinburgh Lectures on Geometry, Analysis and Physics

Michael Atiyah|arXiv (Cornell University)|Sep 24, 2010

Geometric and Algebraic Topology参考文献 15被引用数 3

ひとこと要約

本論文は微分幾何学および数理物理における予想を提示し、3次元空間内の点の配置とそれらの相対的向きから導かれる複素多項式の線形独立性を結びつける。ステレオグラフィック射影と代数幾何学を用いて、任意の n ≥ 5 個の相異なる点に対して、関連する多項式 βᵢ(z) が複素数体上でも線形独立のままであると提唱する。n ≤ 30 については計算的証拠があるが、より大きな n については未解決であり、解決者には報奨金が提示されている。

ABSTRACT

These lecture notes are based on a set of six lectures that I gave in Edinburgh in 2008/2009 and they cover some topics in the interface between Geometry and Physics. They involve some unsolved problems and conjectures and I hope they may stimulate readers to investigate them.

研究の動機と目的

• ℝ³ 内の n 個の相異なる点から導かれる複素多項式の線形独立性に関する新しい幾何的予想を定式化し、動機づけを行う。
• 有限体上の代数幾何学と数論の間の深い類似性、特にゼータ関数および L 関数を通じて探求する。
• モース理論と等配位トポロジーが有限体上の代数曲線上の有理点の数え上げに果たす役割を調査する。
• これらのアイデアを算術幾何学、特にアラケロフ理論およびラングランズ・プログラムに拡張し、数論と量子場理論を統合するフレームワークを提示する。
• 未解決問題および予想を通じて、幾何学、解析学、物理学を結ぶプログラムを提唱する。特に高次元多様体およびゲージ理論の文脈において。

提案手法

• ℝ³ 内の n 個の相異なる点を、差の正規化によって S² 上の単位ベクトルに写像し、その後ステレオグラフィック射影により S² を ℂℙ¹ に同定する。
• 各点に対して、他のすべての点への向きを根とする複素多項式 βᵢ(z) を、ℂℙ¹ 上の斉次座標を用いて構成する。
• 任意の ℝ³ 内の n 個の相異なる点の配置に対して、これらの n 個の多項式が複素数体上でも線形独立であるという予想を採用する。
• 有限体上のゼータ関数およびウェイユ予想を用いて、有理点の数え上げを L 関数と関連付ける代数幾何学の技術を適用する。
• モース理論と有限次元近似を用いて、代数曲線上の位相的不変量と算術的数え上げを結びつける。
• アデールおよびモジュライ空間構造（例：SL(2,ℝ)/SL(2,ℤ)）を活用し、特に算術的表面およびハッセ＝ヴェイル予想の文脈で、幾何的および算術的ゼータ関数を統一する。

実験結果

リサーチクエスチョン

• RQ1 ℝ³ 内の n 個の相異なる点から得られる多項式 βᵢ(z) が複素数体上でも線形独立であるという予想は、すべての n ≥ 5 に対して成り立つか？
• RQ2 有限体上の代数曲線上の有理点の数え上げと、モース理論を通じたベクトル bundle の位相との間には、どのような明確な関係があるか？
• RQ3 有限体上のゼータ関数はリーマンゼータ関数とどのように関係し、算術幾何学およびラングランズ・プログラムにどのような含意を持つのか？
• RQ4 有理点の数え上げと等配位モース理論の類似性は、高次元多様体および非アーベルゲージ群へと拡張可能か？
• RQ5 無限大の素数およびアラケロフ理論は、ゼータ関数および L 関数の幾何的、算術的、物理的視点を統合するために果たす役割は何か？

主な発見

• 多項式 βᵢ(z) が複素数体上でも線形独立であるという予想は、n = 3 および n = 4 に対して成立し、n = 4 の場合は計算支援による証明がなされている。
• n ≤ 30 の範囲では、広範な計算的証拠が予想を支持しているが、n ≥ 5 に対して一般化された証明は存在しない。
• βᵢ(z) の線形独立性は、ステレオグラフィック射影の選択に依存しない。これは ℂℙ¹ の変換性質によって示された。
• 整数環上定義された多様体 V に対するゼータ関数 ζ_V(s) は、各素数 p におけるゼータ関数の積として定義され、ウェイユ予想により有理型性および関数等式が保証される。
• ハッセ＝ヴェイル予想（現在はワイエルズおよびテイラーにより証明済み）は、楕円曲線に付随する L 関数 L_V(s) がメロモルフィックに拡張可能であり、関数等式 L_V(s) = ±L_V(2−s) を満たすと述べる。
• 楕円曲線のモジュライ空間は SO(2;ℝ)\SL(2;ℝ)/SL(2;ℤ) として現れ、その体積は二重コセット上の積分により計算可能であり、幾何学とゼータ関数を結ぶ。