[論文レビュー] A Program For Geometric Arithmetic

Lin Weng|ArXiv.org|Nov 22, 2001

Algebraic Geometry and Number Theory参考文献 61被引用数 10

ひとこと要約

本論文は、リーマン面上のタンナキアン圏と幾何的構造を通じて、非アーベルクラス体論、コホモロジー、ゼータ関数、リーマン予想を統合する幾何的算術の基礎的プログラムを提示する。複素数体上の関数体に対する非アーベルクラス体論を、ユニタリ表現と半安定パラボリックバンドルを用いて構築し、双対性とアデール構造に基づく新しいコホモロジー枠組みを確立する。

ABSTRACT

Proposed is a program for what we call Geometric Arithmetic, based on our works on non-abelian zeta functions and non-abelian class field theory. Key words are stability and adelic intersection-cohomology theory.

研究の動機と目的

• 複素数体上の関数体に対する非アーベルクラス体論を、古典的な再帰性法則をアーベル拡大を超えて一般化することで開発すること。
• チェヴァリの曲線理論に基づく、双対性と線形コンパクト性に整合する幾何的コホモロジー理論を構築すること。
• 交線論とタンナキアン圏を用いて、新しい非アーベルゼータ関数とその関数等式を定義し、研究すること。
• 安定性、表現、コホモロジック的双対性を結びつけることで、高次元幾何的算術におけるリーマン予想の枠組みを確立すること。

提案手法

• ナラシムハン＝セシャドリ対応を用い、リーマン面上の基本群のユニタリ表現と、パラボリック次数がゼロの半安定パラボリックバンドルとの間の対応を確立する。
• タンナキアン双対性とヴァン・カンペンの完全性定理を適用し、表現の有限完了タンナキアン部分圏からガロア群を再構成する。
• 幾何的算術バンドルのテンソル閉包を示すために、$KR^2$-トリックとそのパラボリック拡張を導入し、不安定性フラグとGIT安定性を用いる。
• 九項図を用いてコホモロジー群 $H^i(S,D)$ の長完全列を構成し、付随と曲線制限を用いて次元2における帰納法と弱いリーマン・ロッホ公式を可能にする。
• アーメネーターと直交補空間構造を用いて、$H^0(S,D)$ と $H^2(S,K_S - D)$ の間に、および $H^1(S,D)$ と $H^1(S,K_S - D)$ の間に双対性同型を確立する。
• アデール環のチェヴァリの線形コンパクト性を高次元に一般化する目的で、幾何的算術コンパクト性の概念を提唱し、解析的数え上げを可能にする。

実験結果

リサーチクエスチョン

• RQ1 パラボリックバンドルや表現といった幾何的対象を用いて、複素数体上の関数体に対する非アーベルクラス体論をどのように定式化できるか？
• RQ2 幾何的算術バンドルのテンソル積が常に幾何的算術バンドルのままであるための条件は何か？ これによりタンナキアン圏理論の応用が可能になる。
• RQ3 双対性を満たし、次元2における弱いリーマン・ロッホ公式を支えるような、曲面のためのコホモロジー理論をどのように構築できるか？
• RQ4 自己双対構造と直交補空間が、アデール的性質とコンパクト性を備えた幾何的に整合性のあるコホモロジーを定義する上で果たす役割は何か？
• RQ5 交線論とタンナキアン双対性を用いて、非アーベルゼータ関数のための枠組みを構築し、幾何的算術におけるリーマン予想に向けた道筋を示せるか？

主な発見

• ユニタリ表現の同型類とパラボリック次数がゼロの半安定パラボリックバンドルとの間の対応を通じて、複素数体上の関数体に対する非アーベルクラス体論が確立された。
• $KR^2$-トリックをフィルトレーションとGIT安定性を用いてパラボリックバンドルに拡張することで、幾何的算術バンドルのテンソル積が常に幾何的算術バンドルのままであることが証明され、テンソル演算における閉包性が保証された。
• 九項図から導かれるコホモロジー群 $H^i(S,D)$ の長完全列により、付随と曲線制限を用いた帰納法と次元2における弱いリーマン・ロッホ公式が可能になった。
• アーメネーターと直交補空間構造を用いて、$H^0(S,D)^ atural \to H^2(S,K_S - D)$ および $H^1(S,D)^ atural \to H^1(S,K_S - D)$ の双対性同型が証明された。
• コホモロジー群は代数的に交差として定義された：$H^0(S,D) = \textbf{A}(D) \bigcap (\textbf{A}_0 \bigcap \textbf{A}_1)$、$H^1(S,D) = \textbf{A}(D) \bigcap (\textbf{A}_0 + \textbf{A}_1) / (\text{交差の和})$、および $H^2(S,D) = \textbf{A}/(\textbf{A}(D) + \textbf{A}_0 + \textbf{A}_1)$。
• 幾何的算術コンパクト性の予想的枠組みが提唱され、離散的かつ幾何的算術コンパクト空間が双対的であるとされ、次元1におけるチェヴァリの線形コンパクト性を高次元に一般化する。