[論文レビュー] Supplements to non-lc ideal sheaves

Osamu Fujino, Karl Schwede+1 more|arXiv (Cornell University)|Apr 29, 2010

Commutative Algebra and Its Applications参考文献 30被引用数 12

ひとこと要約

本稿では、特異的ペアのための倍乗イデアルの変種として、最大非lcイdeアル・シーブと中間非lcイデアル・シーブを導入し、正規中心におけるこれらのイデアルの制限定理を証明する。特異的設定への制限性質の拡張とホッジ理論およびデュボア特異点との関連を示すために、特徴 $p>0$ の類似形を非F-純イデアルを用いて構築する。$\sigma(R,D+B)|_D = \sigma(R/Q,B_{R/Q})$ が成り立つことを示し、特異的状況への制限性質の一般化を達成する。

ABSTRACT

We consider various definitions of non-lc ideal sheaves -- generalizations of the multiplier ideal sheaf which define the non-lc (non-log canonical) locus. We introduce the maximal non-lc ideal sheaf and intermediate non-lc ideal sheaves and consider the restriction theorem for these ideal sheaves. We also begin the development of the theory of a characteristic p>0 analog of maximal non-lc ideals, utilizing some recent work of Blickle.

研究の動機と目的

• 非lcペアのための倍乗イデアルの自然な一般化として、最大非lcイデアル・シーブ $\mathcal{J}'(X,\Delta)$ を定義し、その性質を調べること。
• 最小非lcイデアルの既知の結果を拡張して、$\mathcal{J}'(X,\Delta)$ に対して制限定理が成り立つかどうかを調査すること。
• ブリックレの研究にインspされ、非F-純イデアルを用いて最大非lcイデアルの特徴 $p>0$ の類似形を構築すること。
• $\mathcal{J}'(X,\Delta)$ とホッジ理論的不変量との関係、特にデュボア特異点との関連を探索すること。
• 正標数における非F-純イデアルの制限定理を確立し、古典的な制限性質を特異的中心へ一般化すること。

提案手法

• 小さな $\varepsilon>0$ に対して $\mathcal{J}'(X,\Delta) := \mathcal{J}(X,(1-\varepsilon)\Delta)$ と定義し、倍乗イデアルの一般化として最大非lcイデアル・シーブを導入する。
• 負の整数 $l$ に対して中間非lcイデアル・シーブ $\mathcal{J}'_l(X,\Delta)$ を導入し、$\mathcal{J}(X,\Delta)$ と $\mathcal{J}'(X,\Delta)$ の間のフィルトレーションを形成する。
• 福野の新しいコホモロジー的パッケージを用いて、特に消失定理に関して $\mathcal{J}'(X,\Delta)$ のコホモロジー的性質を分析する。
• 制限定理を確立：正規の素イデアルWeil除集合 $S$ に対して $\mathcal{J}'(X,S+B)|_S = \mathcal{J}'(S,B_S)$ が成り立ち、既知の結果を一般化する。
• 非F-純イデアル $\sigma(R,\Delta)$ を定義し、$\sigma(R,D+B)|_D = \sigma(R/Q,B_{R/Q})$ を証明することで、特徴 $p>0$ の類似形を構築する。
• $F$-純中心と微分 $B_{R/Q}$ の理論を用いて、部分多様体上の正規化された除集合を定義し、制限に関して整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 最大非lcイデアル・シーブ $\mathcal{J}'(X,\Delta)$ に対して制限定理が成り立つか。成り立つならば、どのような条件下で成り立つか？
• RQ2 中間非lcイデアル・シーブ $\mathcal{J}'_l(X,\Delta)$ は制限に関してどのように振る舞い、$\mathcal{J}'(X,\Delta)$ と比較してどうなるか？
• RQ3 非F-純イデアルを用いて最大非lcイデアルの特徴 $p>0$ の類似形を構築可能か。また、その類似形は制限定理を満たすか？
• RQ4 $\mathcal{J}'(X,\Delta)$ とホッジ理論的不変量（特にデュボア特異点との関連）との関係は何か？
• RQ5 正規の $F$-純中心 $D$ 上で、$B_{R/Q}$ がペア $(X,D+B)$ によって誘導される除集合と一致する、という予想は正しいか？

主な発見

• 最大非lcイデアル・シーブ $\mathcal{J}'(X,\Delta)$ は性質 (A)、(B)、(C) — すなわち、対数正則性、コーハリの消失定理、ベルティーニ型不変性 — を満たすが、その制限挙動は完全には特定されていない。
• 正規の素イデアルWeil除集合 $S$ に対して、制限定理 $\mathcal{J}'(X,S+B)|_S = \mathcal{J}'(S,B_S)$ が成り立ち、最小非lcイデアルの既知の結果を拡張する。
• 特徴 $p>0$ において、非F-純イデアル $\sigma(R,D+B)$ は $\sigma(R,D+B)|_D = \sigma(R/Q,B_{R/Q})$ を満たし、正標数における制限定理を証明する。
• $K_X+D+B$ が $p$ で割り切れない指数をもつ $\mathbb{Q}$-線形体系であると仮定すれば、正規 $F$-純中心 $D$ 上に $B_{R/Q}$ の構成は自然であり、付随する公式と整合性を保つ。
• $D$ がcodimension 2でカルティエであるとき、$B_{R/Q}$ がペア $(X,D+B)$ の微分と一致するという予想は、部分的に検証される。
• 任意の $F$-純中心 $W$ に対しても、$W$ の一般点における鋭い $F$-純性を仮定すれば、制限定理は $\sigma(R,\Delta)|_W = \sigma(R/Q,\Delta_{R/Q})$ の形で拡張可能である。