[論文レビュー] Riemann-Roch Theorem, Stability and New Zeta Functions for Number Fields

Lin Weng|arXiv (Cornell University)|Jul 25, 2000

Analytic Number Theory Research参考文献 8被引用数 4

ひとこと要約

本論文は、数体上のアーベルでないゼータ関数を構成する幾何的アプローチを提示する。数体上のアーベル的ベクトルバンドル理論を発展させ、完備コホモロジーを用いてリーマン・ローチ定理を確立する。主な貢献は、表現論的構成に依存しない新しい枠組みを提供することであり、アーベル的でない表現への一般化を可能にする。アーベル的空間上の幾何的構造を用いて被積分関数と積分領域を定義することで、非表現論的かつコホモロジー的根拠に基づくゼータ関数理論を実現する。

ABSTRACT

In this paper, we introduce new non-abelian zeta functions for number fields and study their basic properties. Recall that for number fields, we have the classical Dedekind zeta functions. These functions are usually called abelian, since, following Artin, they are associated to one dimensional representations of Galois groups; moreover, following Tate and Iwasawa, they may be constructed as integrations over abelian spaces, i.e., GL1 over adelic space AF for F. Thus to define non-abelian versions of zeta functions for number fields, naturally, mathematicians use higher dimensional representations of Galois groups and/or algebraic groups. This turns to be extremely important and very fruitful. As a result, now we have the so-called Artin L-functions, automorphic L-functions, etc.. However in this paper, we are not going to touch any part of such a fascinating representation oriented number theoretical theory. Instead, we do it more geometrically. It consists of two aspects, i.e., the one for integrands and the one for integration domains, along with the pioneer works of Tata and Iwasawa. To construct quite satisfied integrands, we need a completed cohomology theory, form which Riemann-Roch theorem holds. For this purpose, in Part I of this paper, for a number field F with KF a canonical element of degree log |∆F |, we first introduce an adelic version of vector bundles E over number fields; then,

研究の動機と目的

• 数体におけるアーベル的でないゼータ関数の幾何的枠組みを、表現論的構成に依存せずに開発すること。
• アーベル的（アーティン、デデキンド）L関数を超える古典的ゼータ関数理論を、アーベル的ベクトルバンドルとコホモロジー的メソッドを用いて拡張すること。
• 数体における完備コホモロジーの文脈でリーマン・ローチ定理を確立し、新たな被積分関数の構成を可能にすること。
• ガロア群の表現ではなく、幾何的対象（アーベル的ベクトルバンドル）を用いた積分によって新しいゼータ関数を定義すること。
• タート＝イワサワの積分法を幾何的コホモロジーと統合し、数体におけるゼータ関数理論を一般化すること。

提案手法

• 数体上のアーベル的ベクトルバンドルの定式化を導入し、数体算術における古典的層論的構成を一般化する。
• 数体における完備コホモロジー理論を構築し、アーベル的空間のコホモロジーに類似した形で、リーマン・ローチ型定理を支える。
• 次数 log|∆F| の標準的要素 KF を用いて、代数幾何における標準バンドルに類似した幾何的双対性構造を定義する。
• アーベル的ベクトルバンドルの完備コホモロジーから導かれる特徴類およびチャーン類を用いて、ゼータ関数の被積分関数を定義する。
• タートの論文およびイワサワの積分法にインspiredされた、アーベル的空間の商として積分領域を定義する。
• このコホモロジー的文脈においてリーマン・ローチ定理を適用し、ゼータ関数の解析的性質とベクトルバンドルの幾何的不変量との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 数体におけるゼータ関数は、ガロア表現や自動形式に依存せずに、どのように幾何的に構成できるか？
• RQ2 完備コホモロジーは、数体におけるリーマン・ローチ定理の実現にどのような役割を果たすか？
• RQ3 アーベル的ベクトルバンドルは、数体上のゼータ関数の積分における被積分関数を自然に定義する枠組みを提供できるか？
• RQ4 次数 log|∆F| の標準的要素 KF は、この幾何的文脈における双対性およびリーマン・ローチ公式とどのように関係するか？
• RQ5 古典的タート＝イワサワ積分フレームワークは、アーベル的空間上のベクトルバンドルのような幾何的対象を用いて、どの程度一般化可能か？

主な発見

• 完備コホモロジーの文脈において、数体における幾何的リーマン・ローチ定理が確立され、新しいゼータ関数の構成の基盤を提供する。
• 本論文は、アーベル的ベクトルバンドルとコホモロジー的積分を用いて、数体における新しい非アーベル的ゼータ関数のクラスを定義し、表現論的アプローチとは乖離する。
• 次数 log|∆F| の標準的要素 KF は、代数幾何における標準バンドルに類似した双対性において中心的な役割を果たす。
• 被積分関数は、完備コホモロジーからの特徴類によって構成され、幾何的整合性が保証される。
• 積分領域はアーベル的空間上で定義され、タートの積分定式化を高次元の幾何的対象へ一般化する。
• この枠組みは、タート＝イワサワ積分と幾何的コホモロジーを統合し、自動形式のL関数を超える算術ゼータ関数の研究の新たな道筋を提供する。