[論文レビュー] Generalizations of the restriction theorem for multiplier ideals

Eugene Eisenstein|arXiv (Cornell University)|Jan 16, 2010

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

ひとこと要約

この論文は、因子化解消と付随公式を用いて、$$\mathbb{Q}$$-ゴレンシュタイン多様体上の乗数イデアルの一般化された制限定理および劣加法的定理の代数幾何的証明を提供する。特徴的ゼロの枠組みで、タイトな閉包技術に依存せずに、部分多様体$X$上の乗数イデアルと滑らかである周囲多様体$A$上のそれらを関連付ける短完全列を確立する。

ABSTRACT

We present an algebro-geometric perspective on some generalizations, due to S. Takagi, of the restriction theorem for multiplier ideals. The first version of the restriction theorem for multiplier ideals was discovered by Esnault and Viehweg. In a series of papers S. Takagi has discovered generalizations of the restriction theorem and some formulas for multiplier ideals that follow from the restriction theorem. He uses the technique of tight closure and reduction to positive characteristic. We are able to provide an algebro-geometric proof of generalizations of his restriction theorem and his subadditivity theorem. We also prove an adjunction formula for relative canonical divisors of factorizing resolutions of singularities.

研究の動機と目的

• タキガの乗数イデアルの制限定理の一般化を特徴的ゼロの代数幾何的証明で与えること。
• 滑らかな多様体の$$\mathbb{Q}$$-ゴレンシュタイン部分多様体へ制限および劣加法的定理を拡張すること。
• 因子化解消の文脈において相対標準的因子の新しい付随公式を確立すること。
• これらの定理を証明する際に、正の特徴的の方法（例：タイトな閉包）を排除すること。
• ヤコビアンイデアルと$$\mathbb{Q}$$-イデアル構造を組み込んだ形で劣加法的定理を一般化すること。

提案手法

• 特徴的ゼロで存在が保証された因子化解消を用いて、特異点とイデアル層を同時に解消すること。
• 新しい付随公式の導出：$K_{\overline{X}/X} - \frac{1}{r}D = (K_{\overline{A}/A} - cR_X)_{|\overline{X}}$。標準的因子と欠損層を結ぶ。
• 対数解消とイデアル層変換を用いてタキガの付随イデアル$\textnormal{adj}_X(A,Z)$を構成すること。
• 特徴的ゼロにおけるカワマタ＝ヴィエウェグの消失定理と対数解消技術の応用。
• 劣加法的証明において特異点を解消するためにヤコビアンイデアル$\textnormal{Jac}_X$とその引き戻しを用いること。
• 制限を通じて付随イデアルと関係する乗数イデアル$\mathcal{J}(X, \frac{1}{r}\mathbb{V}(J_r) + Z_{|X})$の体系的使用。

実験結果

リサーチクエスチョン

• RQ1 タイトな閉包を用いずに、タキガの乗数イデアルの制限定理を$$\mathbb{Q}$$-ゴレンシュタイン部分多様体へ一般化できるか。
• RQ2 因子化解消の文脈において、相対標準的因子の正確な付随公式は何か。
• RQ3 代数幾何的技法を用いて特徴的ゼロで乗数イデアルの劣加法的定理をどのように証明できるか。
• RQ4 $$\mathbb{Q}$$-ゴレンシュタイン指数$r$は、付随イデアルおよび部分多様体上の乗数イデアルの構造において果たす役割は何か。
• RQ5 ヤコビアンイデアルは、特異多様体上の乗数イデアルの劣加法的不等式に自然に組み込めるか。

主な発見

• 短完全列が確立された：$0 \to \mathcal{J}(A, cX + Z) \to \textnormal{adj}_X(A,Z) \to \mathcal{J}(X, \frac{1}{r}\mathbb{V}(J_r) + Z_{|X}) \to 0$。$X$への制限写像を含む。
• 制限定理が一般化された：$$\mathbb{Q}$$-ゴレンシュタイン$X$がゴレンシュタイン指数$r$であるとき、$\mathcal{J}(X, \frac{1}{r}\mathbb{V}(J_r) + Z_{|X}) = \textnormal{adj}_X(A,Z) \cdot \mathcal{O}_X$が成り立つ。
• タキガの付随イデアルは、滑らかな場合と類似した局所消失性質を満たす。
• 新しい付随公式が証明された：$K_{\overline{X}/X} - \frac{1}{r}D = (K_{\overline{A}/A} - cR_X)_{|\overline{X}}$。ここで$D$は$l.c.i.$欠損層の$r$乗によって定義される。
• 特徴的ゼロで劣加法的定理が再証明された：$\textnormal{Jac}_X \cdot \mathcal{J}(X, Z_1 + Z_2) \subseteq \mathcal{J}(X, Z_1) \mathcal{J}(X, Z_2)$。
• 証明により、$\langle \mathcal{I}_{r,X} \rangle^{1/r}$を含むより強い不等式が示され、$$\mathbb{Q}$$-イデアル理論におけるより深い構造が明らかになった。