[論文レビュー] On a generalization of affinoid varieties

Federico Bambozzi|arXiv (Cornell University)|Jan 22, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 22

ひとこと要約

この論文は、出生的代数を用いて非アルキメデス的およびアルキメデス的体上の解析幾何学の統一理論を構築し、鋸形アフィノイド代数を基本対象として導入する。アルキメデス的設定において、テートのアセイド性やゲルチゲン＝グラウエルの定理といった主要な結果を確立し、バーキョヴィッチ風のグローバル化を用いて鋸形解析空間を構成し、古典的複素解析的カテゴリが新しい枠組み内での全忠実性を示している。

ABSTRACT

In this thesis we develop the foundations for a theory of analytic geometry over a valued field, uniformly encompassing the case when the base field is equipped with a non-archimedean valuation and the case when it has an archimedean one. Our building blocks are dagger affinoid algebras, i.e. algebras of germs of analytic functions, equipped with their canonical bornology. We obtain results akin to the ones of affinoid algebras and affinoid spaces theory in our context. In particular, we give a generalization of the celebrated Gerritzen-Grauert theorem. Finally, we construct the category of dagger analytic spaces and compare its objects with classical objects from Berkovich geometry, dagger spaces of Grosse-Klonne and complex analytic spaces.

研究の動機と目的

• 出生的代数を用いて非アルキメデス的およびアルキメデス的体上の均一な解析幾何学を構築すること。
• 古典的アフィノイド幾何学を非アルキメデス的およびアルキメデス的両設定に一般化すること。
• 解析的空間の構成要素としての鋸形アフィノイド代数の整合的理論を確立すること。
• テートのアセイド性やゲルチゲン＝グラウエルの定理といった主要な定理をアルキメデス的場合に証明すること。
• グローバル鋸形解析空間を構成し、バーキョヴィッチおよびグロッセ＝クローネの鋸形空間理論と関連付けること。

提案手法

• 係数ごとの有界性と出生的収束に注目して、出生的代数を完全から導入する。
• 多変数多角形上での解析関数の芽の代数の商として定義される鋸形アフィノイド代数を、係数ごとの有界性の出生論で装備する。
• 出生的モジュールおよびスペクトルの理論を用いて、古典的アフィノイド理論を出生的設定に一般化する。
• クルールの交差定理および有界性の性質を適用し、$K_n$ 内のイデアルが出生的に閉じていることを証明する。
• ネットとインダクティブ対象を用いたバーキョヴィッチ風の手法により、グローバル鋸形解析空間を構成する。
• 得られた鋸形解析空間のカテゴリを、古典的複素解析的空間およびグロッセ＝クローネの鋸形空間と比較する。

実験結果

リサーチクエスチョン

• RQ1 出生的代数を用いて、アルキメデス的および非アルキメデス的体の両方に対して、解析幾何学の統一理論を構築できるか。
• RQ2 鋸形アフィノイド代数は、テートのアセイド性やゲルチゲン＝グラウエルの定理といった古典的アフィノイド定理の類似を満たすか。
• RQ3 鋸形解析空間は、既存の理論、特にアルキメデス的状況において、どのように関係しているか。
• RQ4 古典的複素解析的空間のカテゴリは、複素鋸形解析的空間のカテゴリに全忠実に埋め込まれるか。
• RQ5 イデアルの出生的閉包性が、鋸形アフィノイド代数の構造において果たす役割は何か。

主な発見

• 点における解析関数の芽の環 $K_n$ のすべてのイデアルは、係数ごとの有界性の出生論において出生的に閉じている。
• $K_n$ 上の係数ごとの有界性の出生論は、商写像 $\alpha_e: K_n \to K_n / \mathfrak{m}^e$ が有界であるような最小の出生論である。
• 複素鋸形解析的空間のカテゴリは、古典的複素解析的空間のカテゴリを全忠実に含む。
• ゲルチゲン＝グラウエルの定理は、鋸形アフィノイド代数のアルキメデス的設定において成り立ち、テンキンのバーキョヴィッチに基づくアプローチを模倣して証明される。
• テートのアセイド性定理は、鋸形アフィノイド設定における鋸形有理部分集合へと拡張される。
• $K_n$ 上の直接極限の出生論は、係数ごとの有界性の出生論よりも細かく、より強い位相的制御を保証する。