[論文レビュー] Formal and rigid geometry: an intuitive introduction, and some applications

Johannes Nicaise|arXiv (Cornell University)|Jan 19, 2007

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、非アルキメデス体上の代数幾何と算術および特異点論を結ぶ役割に注目して、形式的幾何および剛体幾何の直感的な導入を提供する。形式的スキームが無限小構造を捉える仕組みであり、剛体幾何が非アルキメデス的設定において解析的手法を可能にすることを説明し、Sebagおよび著者の仕事によってミルナーの織り込みとモチーフ的ゼータ関数への応用が示される。

ABSTRACT

We give an informal introduction to formal and rigid geometry over complete discrete valuation rings, and we discuss some applications in algebraic and arithmetic geometry and singularity theory, with special emphasis on recent applications to the Milnor fibration and the motivic zeta function by J. Sebag and the author.

研究の動機と目的

• 代数幾何および算術幾何の研究者を対象に、形式的および剛体幾何の概念的かつアクセス可能な概要を提供すること。
• 形式的スキーム、その一般化ファイバー（剛体多様体）および残渣体上の特別ファイバーの関係を明確にすること。
• 特異点の研究におけるこれらのツールの有用性を動機づけること、特にミルナーの織り込みとモチーフ的ゼータ関数を通じて。
• 剛体幾何が非アルキメデス的設定において位相的技法を可能にし、古典的グロテンディーク位相の制限を克服する仕組みを説明すること。
• 抽象的な形式的および剛体構造を、ガロア理論および曲線の半安定還元への具体的応用と結びつけること。

提案手法

• 完全な離散値評価環 $ R $ 上の形式的スキームを用いて、$ k $ 上の特別ファイバー $ X_0 $ とその無限小近傍 $ \widehat{X} $ を同時に記述する。
• 形式的スキーム $ \widehat{X} $ の一般化ファイバー $ X_\eta $ を、均一化子 $ \pi $ を逆元にすることで構成し、$ K $ 上の剛体解析的空間を得る。
• ベルコヴィッチのスペクトル理論を剛体幾何に適用し、解析的空間に真の位相を導入することで、古典的代数的位相の技法を可能にする。
• 剛体空間からその $ \widetilde{L} $ 上の標準還元への還元写像を用い、形式的ファイバーが特異点を検出するための主要な道具であることを特定する。
• 剛体解析的曲線のアフィンイド被覆におけるパッチング技法を用いて、標準還元の貼り合わせにより半安定モデルを構成する。
• GAGA型定理を用いて、剛体解析的被覆を代数的エタール被覆に代数化し、非アルキメデス体上でのガロア拡大の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 形式的スキーム $ \widehat{X} $ が、算術幾何における特別ファイバーとその無限小近傍をどのように統合するか？
• RQ2 古典的グロテンディーク位相に比べ、剛体幾何が非アルキメデス的解析幾何においてより幾何的枠組みを提供するのはどのような点か？
• RQ3 剛体空間の閉点における標準還元上での形式的ファイバーが、滑らかさや通常の二重点といった幾何的性質をどのように検出できるか？
• RQ4 $ R' $-切断（$ R $ の有限拡大 $ R' $ に対して）が、形式的スキームの一般化ファイバーと特別ファイバーをどのように結びつけるか？
• RQ5 剛体幾何におけるパッチング技法を用いて、曲線の半安定モデルおよびガロア被覆をどのように構成できるか？

主な発見

• 形式的スキーム $ \widehat{X} $ の一般化ファイバー $ X_\eta $ は $ K $ 上の剛体解析的空間であり、その $ K' $-点は $ X $ の $ R' $-切断に対応する。これにより、一般化ファイバーと特別ファイバーの間に標準的な関係が確立される。
• アフィンイド領域 $ U $ の標準還元 $ \widetilde{U} $ 上の閉点 $ x $ が滑らかであるための必要十分条件は、その形式的ファイバーが半径 1 の開円板と同型であることである。
• 体 $ L $ 上の曲線 $ C $ に対する半安定モデルの構成は、$ C^{an} $ の有限適切被覆 $ \mathfrak{U} $ を見つけることで達成され、その標準還元 $ \widetilde{U} $ が半安定であり、貼り合わせ可能である。
• 剛体幾何を用いることで、剛体解析的曲線のエタール被覆を構成し、GAGA定理によりそれを代数的エタール被覆に代数化でき、底体上での代数的エタール被覆の構成が可能になる。
• 射影直線に対するアブヤンカラの予想は、剛体幾何によって実現される：有限群 $ G $ が、$ \infty $ を除き分岐しない $ \mathbb{P}^1_k $ 上のガロア被覆として実現可能であるための必要十分条件は、$ G $ が $ p $-冪位の元によって生成されることである。
• ハーバターの定理は剛体設定において実現される：任意の有限群 $ G $ に対して、$ X $ が滑らかで、射影的かつ絶対的素であるようなガロア被覆 $ X \to \mathbb{P}^1_L $ が存在し、ある $ L $-有理点で分岐しない。