[論文レビュー] Non-Abelian Class Field Theory for Riemann Surfaces

Lin Weng|ArXiv.org|Nov 22, 2001

Advanced Mathematical Modeling in Engineering参考文献 5被引用数 3

ひとこと要約

この論文は、リーマン面における非アーベルクラス体論のワイエルのプログラムを完了する。微小な相互作用原理を用いて、再帰的法則を確立し、除数上で分岐する有限ガロア被覆と、リーマン面上のGAバンドルの有限に完了したタンナキアン部分カテゴリの間の一対一対応を構成する。これにより、ファイバー関手の自己同型群と被覆のガロア群との同型が証明される。

ABSTRACT

In this paper, using what we call a micro reciprocity law, we complete Weil's program for non-abelian class field theory of Riemann surfaces.

研究の動機と目的

• コンパクトなリーマン面上での非アーベルクラス体論のワイエルのプログラムを完成させること。
• パラボリックバンドルのタンナキアンカテゴリとガロア被覆を結ぶ再帰的法則を確立すること。
• 与えられた除数上で分岐する有限ガロア被覆に関する存在定理および導手定理を証明すること。
• 有限に完了したタンナキアン部分カテゴリにおけるファイバー関手の自己同型群が、対応する被覆のガロア群と同型であることを示すこと。

提案手法

• 除数上で数論的条件を満たす有理数重みを備えた、パラボリック次数がゼロのパラボリック半安定バンドルとしてGAバンドルを定義する。
• Seshadri同値類に基づくGAバンドルから、複素ベクトル空間へのファイバー関手 ω_D を持つ、一意的因数分解タンナキアン圏 M(M;D) を構成する。
• GAバンドルのジョルダン・ホルダー順序バンドルを用いて、π₁(M⁰) のユニタリ表現を関連させ、再帰的写像 W(D): π₁(M⁰)/J(D) → Aut^⊗(ω_D) を得る。
• J(D) を S_i^{e_i} が生成する正規部分群とする G(D) := π₁(M⁰)/J(D) を導入し、G(D) のユニタリ表現を用いてガロア被覆をモデル化する。
• タンカ・双対性を適用して、M(M;D) の有限に完了したタンナキアン部分カテゴリ S が、G(D) の有限指数正規部分群 K に一対一に対応することを示し、したがってガロア被覆に対応することを示す。
• ヴァン・カンペンの完全性定理を用いて、有限個の表現が生成するタンナキアン部分カテゴリが、商群のユニタリ表現の全カテゴリに一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 タンナキアンカテゴリとパラボリックバンドルを用いて、リーマン面上の非アーベルクラス体論を確立できるか？
• RQ2 有限に完了したタンナキアン部分カテゴリと、除数上で分岐する有限ガロア被覆との間に一対一対応が存在するか？
• RQ3 このような部分カテゴリにおけるファイバー関手の自己同型群が、対応する被覆のガロア群と同型であるか？
• RQ4 微小な相互作用法則は、穿孔された表面の基本群と被覆のガロア群とをどのように関連付けるか？

主な発見

• M(M;D) の有限に完了したタンナキアン部分カテゴリと、M における D で分岐する有限ガロア被覆との間に自然な一対一対応 w_D が存在する。
• 部分カテゴリ S に制限されたファイバー関手の自己同型群は、w_D(S) に対応する被覆のガロア群と同型である。
• 再帰的写像 W(D): π₁(M⁰)/J(D) → Aut^⊗(ω_D) は、被覆のガロア群に制限したときに同型である。
• 圏 M(M;D) は一意的因数分解タンナキアン圏であり、テンソル積に関して閉じており、忠実なファイバー関手 ω_D を持つ。
• Seshadri同値類としてのGAバンドルは、Weil-Narasimhan-Seshadri対応を介して、G(D) = π₁(M⁰)/J(D) のユニタリ表現と一対一対応する。
• タンカ・双対性の再構成により、タンナキアン部分カテゴリからガロア群が回復され、幾何的対象とガロア群との双対性が確認される。