[論文レビュー] Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant

Edward Bierstone, Pierre D. Milman|ArXiv.org|Aug 15, 1995

Advanced Numerical Analysis Techniques被引用数 8

ひとこと要約

本稿では、特徴量がゼロの代数的多様体および解析的空間の正規化を構成的・初等的に示すため、点 $a$ における離散的局所不変量 $Δ_X(a)$ を導入することで、その最大集合が吹き上げの滑らかなか中心を定める。この方法により、これらの中心に沿った帰納的吹き上げを繰り返すことで、有限回の手順で特異点が解消され、任意の有限型のスキームに適用可能な、正規化可能でファンクター的な解消プロセスが得られる。

ABSTRACT

This article contains an elementary constructive proof of resolution of singularities in characteristic zero. Our proof applies in particular to schemes of finite type and to analytic spaces (so we recover the great theorems of Hironaka). We introduce a discrete local invariant $\inv_X (a)$ whose maximum locus determines a smooth centre of blowing up, leading to desingularization. To define $\inv_X$, we need only to work with a category of local-ringed spaces $X=(|X|,{\cal O}_X)$ satisfying certain natural conditions. If $a\in |X|$, then $\inv_X(a)$ depends only on $\widehat{\cal O}_{X,a}$. More generally, $\inv_X(a)$ is defined inductively after any sequence of blowings-up whose centres have only normal crossings with respect to the exceptional divisors and lie in the constant loci of $\inv_X(\cdot)$. The paper is self-contained and includes detailed examples. One of our goals is that the reader understand the desingularization theorem, rather than simply ``know'' it is true.

研究の動機と目的

• 特徴量ゼロにおける代数的多様体および解析的空間の特異点解消について、自己完結的で構成的な証明を提供すること。
• 完成環 $\widehat{\cal O}_{X,a}$ のみに依存する離散的局所不変量 $Δ_X(a)$ を定義し、解消プロセスを支配すること。
• 不変量 $Δ_X(\cdot)$ の最大集合として中心を選択することにより、解消が正規化可能でファンクター的になるように保証すること。
• スキームに限らず、自然な条件を満たす任意の局所環付き空間へこの方法を一般化すること。
• 技術的抽象化を避け、概念的理解を重視する形で、証明をわかりやすく直感的にする。

提案手法

• 各点 $a \in |X|$ において、完成環 $\widehat{\cal O}_{X,a}$ のみに依存する離散的局所不変量 $Δ_X(a)$ を定義し、特異点の深刻さを測る。
• 不変量 $Δ_X(\cdot)$ の最大集合を次の吹き上げの中心とし、各ステップで不変量が厳密に減少することを保証する。
• 帰納的構成法を用いる：例外的除因子に対して正規交叉を持つ吹き上げの任意の系列の後、$Δ_X$ を帰納的に再定義する。
• 不変量 $Δ_X$ の最大ストラトゥムに位置させることで、中心が滑らかで一意に定義されることを保証する。
• すべての点で $Δ_X(a) = 0$ になるまで、このプロセスを繰り返す。これは多様体が滑らかであることを示す。
• 中心の選択が不変量とその集合によって一意に定まるため、この方法はファンクター的で正規化可能である。

実験結果

リサーチクエスチョン

• RQ1 特徴量ゼロにおける特異点解消を、高度な道具を避けた構成的・初等的な方法で達成するにはどうすればよいか？
• RQ2 正規化可能でファンクター的な吹き上げの列を定義するための、どのような局所不変量が利用可能か？
• RQ3 不変量 $Δ_X(a)$ をどのように定義すれば、その形式的近傍 $\widehat{\cal O}_{X,a}$ のみに依存し、吹き上げに対してうまく振る舞うか？
• RQ4 このような不変量の最大集合として中心を選べば、解消プロセスを正規化可能にすることができるか？
• RQ5 この方法がスキームに限らず、例えば解析的空間などに適用可能となるために、環境空間 $X$ に必要な十分な条件は何か？

主な発見

• 本稿では、特徴量ゼロの体上の任意の有限型スキームに対して、完全で正規化可能な解消プロセスを確立した。
• この方法は代数的多様体および複素解析的空間の両方に対して一様に適用可能であり、ヒロナカの基礎的結果をより明確に再現する。
• 局所不変量 $Δ_X(a)$ は帰納的に定義され、各吹き上げ中心が滑らかで、不変量の最大集合によって一意に定まるように保証される。
• 不変量 $Δ_X$ が各吹き上げで厳密に減少し、その値が離散的であるため、有限回のステップでプロセスは停止する。
• 構成はファンクター的である：中心は不変量と例外的除因子の幾何的性質によって一意に定まる。
• このアプローチは自己完結的であり、詳細な例を含むため、単に受容するのではなく理解を深めたい研究者にとってもアクセス可能である。