[論文レビュー] A Simple Characterization of Du Bois Singularities

Karl Schwede|ArXiv.org|Mar 24, 2009

Algebraic Geometry and Number Theory参考文献 4被引用数 4

ひとこと要約

この論文は、Du Bois特異点の単純な解像度に基づく特徴付けを提供する：滑らかな周囲空間 $Y$ に埋め込まれた被約スキーム $X$ が、Du Bois特異点を持つための必要十分条件は、$ \pi: \widetilde{Y} \to Y$ が対数解像であり、$E$ が $X$ の減少前像であるとき、自然な写像 $ \mathcal{O}_X \to R\pi_*\mathcal{O}_E$ が準同型的同値であることである。この特徴付けは、Du Bois特異点の定義を単純化し、局所的完全交差の場合にKollárの予想（対数正則特異点 ⇒ Du Bois特異点）を証明する。

ABSTRACT

We prove the following theorem characterizing Du Bois singularities. Suppose that $Y$ is smooth and that $X$ is a reduced closed subscheme. Let $π: ld Y o Y$ be a log resolution of $X$ in $Y$ that is an isomorphism outside of $X$. If $E$ is the reduced pre-image of $X$ in $ ld Y$, then $X$ has Du Bois singularities if and only if the natural map $Ø_X o R π_* Ø_E$ is a quasi-isomorphism. We also deduce Kollár's conjecture that log canonical singularities are Du Bois in the special case of a local complete intersection and prove other results related to adjunction.

研究の動機と目的

• ハイパーレゾリューションを必要としない、スキームがDu Bois特異点をもつかどうかを判定する新しい簡素な基準を提供すること。
• 局所的完全交差の場合に、対数正則特異点がDu Bois特異点であることを証明し、Kollárの予想を前進させること。
• 新しい特徴付けを用いて付随する理論における新たな結果を確立し、特に乗数イデアルとDu Bois特異点の関連を強調すること。
• Du Bois特異点に関連する複体 $\underline{\Omega}^0_X$ の埋め込みに依存しない内在的定義の可能性を検討すること。

提案手法

• 滑らかな空間 $Y$ に埋め込まれた被約部分スキーム $X \subset Y$ の単一の対数解像 $\pi: \widetilde{Y} \to Y$ を用いる。ここで $\pi$ は $X$ の外側で同型である。
• $E$ を $\pi^{-1}(X)$ の減少前像と定義し、$R\pi_*\mathcal{O}_E$ の導来押し出しを分析する。
• $X$ がDu Bois特異点を持つための必要十分条件は、自然な写像 $\mathcal{O}_X \to R\pi_*\mathcal{O}_E$ が準同型的同値であることであることを証明する。
• $R\pi_*\mathcal{O}_E \simeq_{\text{qis}} \underline{\Omega}^0_X$ であることを確立する。ここで $\underline{\Omega}^0_X$ はDu Bois特異点を定義する複体である。
• この特徴付けを用いて、対数正則なペアに付随する乗数イデアルが、Du Bois特異点を持つスキームを切り出すことを証明する。
• 新しい基準を用いて、部分付随定理を再証明・一般化し、有理特異点のための新しい基準を確立する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーレゾリューションを必要とせず、単一の対数解像のみを用いてDu Bois特異点を特徴付けられるか？
• RQ2 写像 $\mathcal{O}_X \to R\pi_*\mathcal{O}_E$ が準同型的同値であるという条件が、Du Bois特異点を完全に特徴づけるか？
• RQ3 局所的完全交差の場合に、対数正則特異点はDu Bois特異点か？
• RQ4 乗数イデアルとDu Bois特異点を結ぶ付随型の結果を一般化または強化できるか？
• RQ5 Du Bois特異点を決定する複体 $\underline{\Omega}^0_X$ の埋め込みに依存しない内在的定義は存在するか？

主な発見

• 主な結果は、$X$ がDu Bois特異点を持つための必要十分条件が、滑らかな周囲スキーム $Y$ 内の $X$ の対数解像 $ \pi$ に対して、$ \mathcal{O}_X \to R\pi_*\mathcal{O}_E$ が準同型的同値であることであると明示する。
• $R\pi_*\mathcal{O}_E$ は $\underline{\Omega}^0_X$ に準同型的同値である。ここで $\underline{\Omega}^0_X$ はDu Bois特異点を定義する標準的複体である。
• Kollárの予想（対数正則特異点 ⇒ Du Bois特異点）が、局所的完全交差の場合に証明された。
• 対数正則ペアに付随する乗数イデアルは、Du Bois特異点を持つスキームを切り出す。これは付随に関する既存の結果を一般化する。
• 新しい基準が確立された：$X$ が被約スキームであり、$H \subset X$ がDu Bois特異点を持つコホーンイデアルで、$X - H$ が滑らかであれば、$X$ は有理特異点を持つ。
• この新しい特徴付けを用いて、Kawamataの部分付随定理の特別な場合を再証明した。