[論文レビュー] Grinberg-Kazhdan theorem and Newton groupoids

Vladimir Drinfeld|arXiv (Cornell University)|Jan 3, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 4

ひとこと要約

本稿は、根の近似にニュートン法を用いることにインspiredされた幾何的構造、すなわちニュートン群コア（Newton groupoids）を用いて、特徴量に依存しないグリンバーグ＝カジダン形式的弧定理の証明を提供する。この証明により、スキーム内の滑らかな弧の形式的近傍が、無限次元の形式的ディスクと有限型スキームの積に分解されることを示し、群コアとリーアルベイド（Lie algebroids）を用いてその背後にある幾何的構造を明確にする。

ABSTRACT

We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by introducing the notion of Newton groupoid (which is related to Newton's method for finding roots). Newton groupoids are certain groupoids in the category of schemes associated to any generically etale morphism from a locally complete intersection to a smooth variety.

研究の動機と目的

• グリンバーグ＝カジダン形式的弧定理の、特徴量に依存しない新しい証明を提供し、特徴量がゼロでない場合に限らない有効性を拡張すること。
• 滑らかな弧の形式的近傍の幾何的直観を明確化するために、局所的完備交差スキームから滑らかな多様体への一般にエタールな準同型に関連する、スキームの圏における群コア（ニュートン群コア）を導入すること。
• 滑らかな群コアが多様体上で一般に推移的に作用できることを示し、代数的群作用の柔軟な代替手段を提供すること。
• ニュートン群コア構成を用いて、スキームの形式的弧空間と基本スキームの幾何学との間の関係を確立すること。
• ニュートン群コアのリーアルベイドが、自然に定義された接層の部分バンドルと同型であることを示し、微分幾何学と代数幾何学とを結びつけること。

提案手法

• 変形のパrametrizationのためのワイエルシュトラスの除法定理（補助補題）を用い、パラメータのべきを法とする方程式の解法に問題を還元する。
• 局所的完備交差から滑らかな多様体への一般にエタールな準同型に関連する、スキームの圏における群コア（ニュートン群コア）を導入し、ニュートン法による反復的根の探索を符号化する。
• アーベルの陰関数定理のアイデアを代数幾何学に応用し、アーチャーマップとリーアルベイド構造を用いて、弧の持ち上げのための連立方程式系を構成する。
• テスト環（最大イデアルが冪零である局所アーティン代数）を用いた形式的近傍構成により、形式的弧空間の点を記述する。
• 式 (5.10) のキーフォーミュラを用いてニュートン群コア構造を定義し、fppf シェーヴ理論と単射性の議論によりその性質を検証する。
• 特に $\operatorname{Lie}(\Gamma_r) \cong (\varphi^*\Theta_Y)(-r\Delta_X)$ として与えられる、ニュートン群コアのリーアルベイドと接層の部分層との同型を根拠に、可積分性と幾何的制御性を確立する。

実験結果

リサーチクエスチョン

• RQ1 体の特徴量がゼロでないという仮定をしないで、グリンバーグ＝カジダン形式的弧定理をどのように証明できるか？
• RQ2 スキーム内の滑らかな弧の形式的近傍の分解の背後にある幾何的構造は何か？
• RQ3 ニュートン法や反復近似法は、代数幾何学において群コアを通じてどのように現れるか？
• RQ4 リーアルベイドは、形式的弧の無限小対称性を理解する上で果たす役割は何か？
• RQ5 滑らかな群コアは多様体上で一般に推移的に作用できるか？ これは代数的群作用とはどのように異なるか？

主な発見

• スキーム $X$ 内の滑らかな弧 $\gamma_0$ の形式的近傍 $\mathcal{L}(X)_{\gamma_0}$ は、体 $k$ 上の有限型スキーム $Y$ の点 $y$ の形式的近傍 $Y_y$ と、無限次元の形式的ディスク $D^\infty$ の積と同型である。すなわち $\mathcal{L}(X)_{\gamma_0} \cong D^\infty \times Y_y$ である。
• 局所的完備交差から滑らかな多様体への一般にエタールな準同型に関連するニュートン群コア $\Gamma_r$ は、滑らかな群コアであり、そのリーアルベイドは $ (\varphi^*\Theta_Y)(-r\Delta_X) $ と同型である。これは陰関数定理の幾何的実現を提供する。
• $ \operatorname{Maps}^\circ_N(\mathbb{A}^1, X/\Gamma_r) \to Z_r $ は単射であり、$ r \geq 3 $ のとき $ Z'_r $ を通して因数分解される。これは群コアが正しい変形データを捉えていることを示している。
• 方程式 (5.23) で定義されるスキーム $W$ の、$\operatorname{Spec} A/(q)$ の任意の点上のファイバーは空でなく、ちょうど一点である。これは $ q^{-1}Q(x_0,y_0) $ が $q$ を法として可逆であるためである。
• $ a \neq 0 $ のとき、群スキーム $ (\Gamma_r)_z $ の構造は $ \frac{\partial f}{\partial x}(x_0,y_0) = 0 $ かどうかに依存し、その構造は $z$ における $X$ の特異点型を反映している。
• アーチャーマップ $ \tau: \operatorname{Lie}(\Gamma_r) \to \Theta_X $ は、部分層 $ \mathfrak{a}_r = (\varphi^*\Theta_Y)(-r\Delta_X) $ への同型写像であり、リーアルベイド構造が幾何的に意味を持つことを確認している。