[論文レビュー] Adjoint ideals along closed subvarieties of higher codimension

Shunsuke Takagi|ArXiv.org|Nov 15, 2007

Commutative Algebra and Its Applications参考文献 16被引用数 7

ひとこと要約

本稿は、複素代数幾何における高codimensionの閉部分多様体に沿った新しい随伴イデアル層の概念を導入し、古典的な随伴イデアルを任意のcodimensionの部分多様体へ一般化する。特徴的p法とHaraとYoshidaの一般化されたテストイデアルの修正版を用いて、Gorenstein部分多様体Xに沿った随伴イデアルとXのl.c.i.欠陥イデアル層の間の制限公式を確立し、${\mathcal{J}}(X,V(\mathcal{D}_{X})+Y|_{X}) = \mathrm{adj}_{X}(A,Y)\mathcal{O}_{X}$を証明する。

ABSTRACT

In this paper, we introduce a notion of adjoint ideal sheaves along closed subvarieties of higher codimension and study its local properties using characteristic $p$ methods. When $X$ is a normal Gorenstein closed subvariety of a smooth complex variety $A$, we formulate a restriction property of the adjoint ideal sheaf $\adj_X(A)$ of $A$ along $X$ involving the l.c.i. ideal sheaf $\mathcal{D}_X$ of $X$. The proof relies on a modification of generalized test ideals of Hara and Yoshida.

研究の動機と目的

• 複素代数幾何における任意のcodimensionの閉部分多様体へ、随伴イデアル層の理論を除法から一般化すること。
• 修正されたタイトな閉包の概念を用いて、高codimensionの部分多様体に対する特徴的pの乗数イデアルの類似物を構築すること。
• Gorenstein部分多様体Xに沿った随伴イデアルとXのl.c.i.欠陥イデアル層$\mathcal{D}_X$の間の制限公式を確立すること。
• 幾何的純対数正則性の概念（Xに沿った）と、正の特徴的pにおけるイデアルIに沿った純粋F正則型という代数的条件を結びつけること。

提案手法

• 滑らかな複素多様体A内のcodimension cの部分多様体Xに対して、対数正則化と正則分岐線形系のねじれを用いて、新しい随伴イデアル層$\mathrm{adj}_X(A,Y)$の定義を導入する。
• 特徴的p > 0の三重組$(R,I,\underline{\mathfrak{a}}^{\underline{t}})$に対して、$(I,\underline{\mathfrak{a}}^{\underline{t}})$-タイト閉包と呼ばれる、修正されたタイト閉包の概念を提案する。
• インジェクティブ包の残余体上の0の$(I,\underline{\mathfrak{a}}^{\underline{t}})$-タイト閉包の annihilator として、一般化されたテストイデアル$\widetilde{\tau}_I(\underline{\mathfrak{a}}^{\underline{t}})$を定義する。
• 正の特徴的pにおける一般化されたテストイデアルと特徴的0における乗数イデアルの対応関係を用いて、$\widetilde{\tau}_I(\underline{\mathfrak{a}}^{\underline{t}})$と$\mathrm{adj}_X(A,Y)$を関連付ける。
• l.c.i.欠陥イデアル層$\mathcal{D}_X$の理論を用いて、随伴イデアルの制限性を定式化する。
• 正の特徴的pへの還元とF正則性の理論を用いて、$({\mathrm{Spec\;}}S,\sum t_i V(\mathfrak{a}_i))$が$V(I)$に沿ってpltであるための必要十分条件が$(S,\underline{\mathfrak{a}}^{\underline{t}})$が$I$に沿って純粋F正則型であることであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 複素代数幾何における高codimensionの部分多様体に沿った随伴イデアル層の概念を、除法から一般化するにはどうすればよいか？
• RQ2 高codimensionの部分多様体に対する適切な特徴的pにおける随伴イデアル層の類似物は何か？ そして、乗数イデアルとどのように関係するか？
• RQ3 Gorenstein部分多様体Xに沿った随伴イデアルとl.c.i.欠陥イデアル層$\mathcal{D}_X$の間の制限公式を確立できるか？
• RQ4 Xに沿った純対数正則性という幾何的条件が、正の特徴的pにおけるイデアルIに沿った純粋F正則型という代数的条件とどの程度一致するか？
• RQ5 随伴イデアル$\mathrm{adj}_X(A,Y)$と部分多様体X上の乗数イデアル$\mathcal{J}(X, V(\mathcal{D}_X) + Y|_X)$の正確な関係は何か？

主な発見

• 本稿は制限公式を確立する：$\mathcal{J}(X,V(\mathcal{D}_X)+Y|_X) = \mathrm{adj}_X(A,Y)\mathcal{O}_X$ は、滑らかな複素多様体A内の正規Gorenstein閉部分多様体X（codimension c）に対して成り立つ。
• 随伴イデアル層$\mathrm{adj}_X(A,Y)$は、対数正則化と正則分岐線形系のねじれを用いて定義され、古典的な除法に対する随伴イデアルを一般化する。
• 高さcのイデアルIに沿った一般化されたテストイデアル$\widetilde{\tau}_I(\underline{\mathfrak{a}}^{\underline{t}})$は、正の特徴的pへの還元において、随伴イデアル層$\mathrm{adj}_X(A,Y)$に対応することが示された。
• 商特異点$X = \mathbb{C}^3 / \mathbb{Z}/5\mathbb{Z}$に対して、$\mathrm{adj}_X(A) = \mathfrak{m}_{A,0}^2$ および $\mathcal{J}(X,V(\mathcal{D}_X)) = \mathfrak{m}_{X,0}^2$ を計算し、具体的な例で制限公式の正当性を検証した。
• 本稿は、$({\mathrm{Spec\;}}S,\sum t_i V(\mathfrak{a}_i))$が$V(I)$に沿ってpltであるための必要十分条件が、$(S,\underline{\mathfrak{a}}^{\underline{t}})$が$I$に沿って純粋F正則型であることであることを証明し、幾何的および代数的概念の深い関係を確立した。