[論文レビュー] Foundations of Rigid Geometry I

Kazuhiro Fujiwara, Fumiharu Kato|arXiv (Cornell University)|Aug 21, 2013

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

この基盤的論文は、可換環上の層コホモロジーの安定性と降下性の性質を証明することで、非アーベル幾何における非アーベル解析的幾何の強固な代数的幾何的基盤を確立する。圏論的および位相的枠組みを提示し、値関数空間、俋的トポス、環付き空間の射影極限といった重要な概念を導入する。同論文は、俋的および局所俋的空間の体系的理論を展開し、特に非ネーター的状況への一般化を可能にする。

ABSTRACT

In this research oriented manuscript, foundational aspects of rigid geometry are discussed, putting emphasis on birational side of formal schemes and topological feature of rigid spaces. Besides the rigid geometry itself, topics include the general theory of formal schemes and formal algebraic spaces, based on a theory of complete rings which are not necessarily Noetherian (cf. introduction). The manuscript is encyclopedic and almost self-contained, and contains plenty of new results. A discussion on relationship with J. Tate's rigid analytic geometry, V. Berkovich's analytic geometry and R. Huber's adic spaces is also included. As a model example of applications, a proof of Nagata's compactification theorem for schemes is given in the appendix. 5th version (Feb. 28, 2017): minor changes.

研究の動機と目的

• 剛体解析的幾何学の包括的な圏論的および位相的基盤を構築すること。
• 射影極限および層コホモロジーの文脈における俋的および局所俋的空間の性質を形式化すること。
• 基底変換および有効な降下の文脈における準同型写像の降下性および安定性の性質を確立すること。
• 値関数空間、再帰的化、およびそれらが非アーベル幾何学において果たす役割を導入し、それらを研究すること。
• 極限空間および環付き空間上の層のコホモロジーの体系的取り扱いを提供し、代数幾何学への応用を含む。

提案手法

• 射影極限および余極限を用いて、剛体幾何における構造を定義・分析するための圏論的手法を用いる。
• 俋的空間の概念を導入し、俋的ハウスドルフ空間に対するストーンの表現定理を証明する。
• 非ハウスドルフ的および非分離的位相を扱うために、値関数空間およびその再帰的化の理論を展開する。
• 環付き空間および層における射影的および帰納的極限を適用し、コホモロジーの安定性を確立する。
• ミタグレフラー条件および標準的フラスク解体を用いて、逆極限におけるコホモロジーを制御する。
• 局所的トポスおよび俋的トポスを含むトポス論的手法を用い、幾何的対象を圏論的にモデル化する。

実験結果

リサーチクエスチョン

• RQ1 剛体解析的幾何学の基盤を支えるために、どのような圏論的枠組みが構築可能か？
• RQ2 位相空間が俋的または再帰的構造をもつために必要な十分条件は何か？
• RQ3 環付き空間および層の射影極限において、コホモロジー不変量はどのように振る舞うか？
• RQ4 値関数的および局所強くコンパクトな空間は、非アーベル幾何学における古典的位相的概念をどのように一般化するか？
• RQ5 剛体幾何学の文脈において、有効な降下性および基底変換の安定性を保証する条件は何か？

主な発見

• この論文は、俋的ハウスドルフ空間が環のスペクトルとしてストーン型の表現を持つことを確立し、位相と可換代数の間の橋渡しを提供する。
• フィルター付き系の俋的ハウスドルフ空間の射影極限が再び俋的かつハウスドルフ的であることが証明され、古典的結果が非ネーター的状況へと拡張される。
• 再帰的化の理論により、任意の局所ハウスドルフ空間に対して一意的な再帰的値関数空間を関連付ける方法が得られ、非分離な幾何的対象の取り扱いが可能になる。
• ミタグレフラー条件が、層の射影極限におけるコホモロジーの保存を保証する十分条件であることが示される。
• 標準的 s-フラスク解体が、逆極限系におけるコホモロジー計算のための道具として構成され、導来函手と整合性を保つ。
• この論文は、俋的トポスが射影極限に関して保存され、かつ準コンパクト性がこのような極限に関して安定することを示し、コホモロジック的降下の強固な枠組みを提供する。