[論文レビュー] Weierstrass preparation theorem and singularities in the space of non-degenerate arcs

Ngô Bảo Châu|arXiv (Cornell University)|Jun 19, 2017

Commutative Algebra and Its Applications参考文献 3被引用数 3

ひとこと要約

本稿は、非退化な弧の空間の一点における形式的完成に対して、ワイエルシュトラス型の分解を確立し、それが有限型のスキームと無限次元の形式的ディスクの積と同型であることを示している。主な貢献は、冪零写像とワイエルシュトラス型写像を含む図式を用いて良いスライスを構成し、弧空間の局所構造が、無限次元因子を除いて有限型モデルと形式的に同値であることを証明することにある。

ABSTRACT

We study the Weierstrass preparation and division theorems over arbitrary test rings and the local structure of singularities in the space of nondegenerate arcs on algebraic varieties. As an application, we prove a strengthened version of a theorem of Grinberg-Kazhdan and Drinfeld.

研究の動機と目的

• 代数幾何における非退化な弧の空間の局所構造を理解すること。
• グリンバーグ＝カジダン＝ドゥルフィンの定理を、ワイエルシュトラスの準備を用いてより精緻な局所モデルへと拡張すること。
• 弧空間の形式的完成に関して、形式的同値であるスライスを構成すること。
• 有限型モデルを用いて、弧空間上に perverse sheaves と交差コホモロジーを定義する基盤を提供すること。
• 有限次元拡張に関して形式的モデルの独立性を明確にし、弧空間上に正規関数を構成するのを支援すること。

提案手法

• 写像の図式を用いる：$ N_{1,d} \to T_d \to T_d \times \mathbb{A}^\infty \simeq N_{1} \to \mathcal{L}X $、ここで $ T_d $ は $ S_{d+1}^{n+1} $ 上で有限型である。
• $ \mathrm{nil}_\infty $-準同型の概念を用いて $ N_0 \to N_1 $ を関連付け、形式的完成で同型であることを保証する。
• $ Q_{d+1} \to S_{d+1}^{n+1} $ 沿いのベースチェンジにより $ Y_d \subset T_d $ を構成し、$ k $-スキームとして有限型を得る。
• $ N_0 \to N_1 \to \mathcal{L}X $ を通じた上げを用いて、形式的同値性の性質を用いて $ \phi(r): Y_d \to \mathcal{L}X $ を定義する。
• $ Y_d \to T_d $ が $ Q_{d+1} \to S_{d+1}^{n+1} $ 沿いのベースチェンジで保存される性質を保つことにより、形式的完成で同値であることを証明する。
• 合成写像 $ \phi(r): Y_d \to \mathcal{L}X $ が形式的完成で同値であることを確立し、$ \hat{Y}_{y'} \times \hat{D}^\infty \simeq \widehat{\mathcal{L}X}_{x'} \times \hat{D}^\infty $ を示す。

実験結果

リサーチクエスチョン

• RQ1 非退化な弧の空間の局所構造は、無限次元形式的ディスクを除いて有限型スキームでモデル化可能か？
• RQ2 非退化な弧における弧空間の形式的完成は、ワイエルシュトラス型の分解をもつのか？
• RQ3 有限型形式的モデルの選択は、有限次元拡張に関して独立しているか。これにより、交差コホモロジー関数の定義に一貫性が保証されるか？
• RQ4 弧空間の良いスライスを、その形式的完成が弧空間自身の形式的完成と同値になるように構成可能か？
• RQ5 $ \mathrm{nil}_\infty $-準同型は、弧空間の異なるモデルを関連付ける際に果たす役割は何か？

主な発見

• 非退化な弧 $ x' $ における弧空間 $ \mathcal{L}X $ の形式的完成は、ある有限型 $ k $-スキーム $ Y_{y'} $ に対して $ \hat{Y}_{y'} \times \hat{D}^\infty $ と同型である。これにより、局所的な有限型モデルが確立された。
• $ \phi(r): Y_d \to \mathcal{L}X $ は形式的完成で同値であり、$ \hat{Y}_{y'} \times \hat{D}^\infty \simeq \widehat{\mathcal{L}X}_{x'} \times \hat{D}^\infty $ を示し、良いスライスの存在を証明した。
• $ Q_{d+1} \to S_{d+1}^{n+1} $ 沿いのベースチェンジにより $ Y_d $ を構成することで、有限型 $ k $-スキームが得られ、これによりスライスが代数的かつ良好に振る舞うことが保証された。
• $ Y_d \to T_d $ は、$ Q_{d+1} \to S_{d+1}^{n+1} $ のベースチェンジにより引き継がれる形式的同値性を保ち、それ自体が形式的同値である。
• $ N_0 \to N_1 $ が $ \mathrm{nil}_\infty $-準同型であることにより、形式的完成で同型が誘導され、写像の持ち上げが可能になった。
• $ \phi_0(r): Y_d \to N_0 $ は形式的完成で同値であり、$ N_0 \to \mathcal{L}X $ がワイエルシュトラス型であることから、合成写像 $ \phi(r) $ 全体が形式的完成で同値であることが示された。