[論文レビュー] On the Grinberg - Kazhdan formal arc theorem

Vladimir Drinfeld|ArXiv.org|Mar 25, 2002

Computability, Logic, AI Algorithms参考文献 1被引用数 27

ひとこと要約

本稿は、グリンバーグ＝カジダンの形式的弧定理について、特徴量に依存しない簡潔な証明を提供する。その結果、スキーム内の滑らかな弧の形式的近傍が、可算無限個の形式的ディスクと、有限型スキーム上の点の形式的近傍の積に同型であることが示される。主な貢献は、ワイエルシュトラス除法と変形理論を用いた構成的技法であり、無限次元の弧空間を多項式方程式系によって有限型の基底に還元するものである。

ABSTRACT

Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhdan proved that if k has characteristic 0 then the formal neighborhood of f in L(X) admits a decomposition into a product of an infinite-dimensional smooth piece and a piece isomorphic to the formal neighborhood of a closed point of a scheme of finite type. We give a short proof of this theorem without the characteristic 0 assumption.

研究の動機と目的

• グリンバーグ＝カジダンの形式的弧定理について、自己完結的で特徴量に依存しない証明を提供すること。
• 変形理論的技法を用いて、スキーム内の滑らかな弧の形式的近傍の構造を明確にすること。
• 形式的弧近傍と、無限形式的ディスクと有限型スキーム上の点の形式的近傍の積との明示的同型を確立すること。
• 元々グリンバーグとカジダンが特徴量0で証明した結果を、特徴量0に限定しない形に一般化すること。
• 多項式方程式系によって、有限型スキームと基点を明示的に特定することで、構成を明確にすること。

提案手法

• 滑らかな弧 γ₀ の形式的弧近傍は、A-点が A[[t]] 上での γ₀ の変形に対応するテスト環 A を用いて分析される。
• ワイエルシュトラス除法定理を適用し、ヤコビアン行列式 ∂p/∂y をモニック多項式 q(t) と単元 u(t) に因数分解する。ここで q(t) は極大イデアルを法として t^d に合同である。
• 変形問題は、q(t)、x(t)、および y̅(t) を q^r を法として含む方程式系として再表現され、元の p(x(t),y(t)) = 0 および det(∂p/∂y) ≡ 0 mod q と整合性を持つようにする。
• x(t) を q^{r+1} を法として切断することで、無限次元問題が有限型問題に還元され、この系が有限型であることが示される。
• スキーム Y は、q、x̄、および ȳ をそれぞれ q^2 を法として、q を法として含む方程式の解空間として構成される。ヤコビアンと p-イデアルに関する条件を満たす。
• 変形空間が有限型スキーム Y に沿ってファイバー化され、ファイバーが無限形式的ディスク D^∞ に同型であることを示すことにより、同型 L(X)_{γ₀} ≅ D^∞ × Y_y を確立する。

実験結果

リサーチクエスチョン

• RQ1 グリンバーグ＝カジダンの形式的弧定理は、特徴量0の仮定や複雑な代数幾何学的道具に依存せずに再証明可能か？
• RQ2 有限型スキーム内の滑らかな弧の形式的近傍の正確な代数的構造は何か？
• RQ3 無限次元の形式的弧空間は、標準的な無限形式的ディスクと有限型スキームの積にどのように分解可能か？
• RQ4 ヤコビアン行列式 ∂p/∂y にどのような条件が満たされると、このような分解が可能になるか？
• RQ5 変形空間をパラメトライズする有限型スキーム Y と点 y ∈ Y(k) の標準的構成は存在するか？

主な発見

• スキーム X 内の滑らかな弧 γ₀ の形式的近傍 L(X)_{γ₀} は、D^∞ × Y_y に同型である。ここで D^∞ は形式的ディスクの可算無限個の積であり、Y_y は有限型 k-スキーム Y 上の k-有理点 y の形式的近傍である。
• スキーム Y は、q に関してモニックで次数 d、x̄ を q^2 を法として、ȳ を q を法として含む、多項式方程式の有限系の解集合として明示的に構成される。
• 基点 y ∈ Y(k) は、q = t^d、x̄ = x⁰(t) mod t^{2d}、および ȳ = y⁰(t) mod t^d に対応する。
• 証明により、任意のテスト環 A に対して、γ₀ の A-変形と、切断系 (3)-(4) の解との間の全単射対応が確立される。
• この構成は、底体の特徴量に依存せず、元々グリンバーグとカジダンが特徴量0で示した結果を拡張する。
• この手法により、X 上に隠れた滑らかな群体の作用（暗黙的）が明らかになり、det(∂p/∂y) = 0 で定義される除数の補集合上で軌道が推移的である。変形空間は不変部分スキーム Y によってパラメトライズされる。