[论文解读] Adjoint ideals along closed subvarieties of higher codimension

Shunsuke Takagi|ArXiv.org|Nov 15, 2007

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

一句话总结

本文在复代数几何中引入了高余维闭子簇上的新概念的伴随理想层，将经典伴随理想从除子推广到任意余维的子簇。通过特征 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.

研究动机与目标

• 将伴随理想层理论从除子推广到复代数几何中任意余维的闭子簇。
• 通过修改的紧致闭包概念，为高余维子簇开发特征 p 下的乘子理想类比。
• 建立一个限制公式，将 Gorenstein 子簇 X 上的伴随理想与 X 的 l.c.i. 亏并理想层 $\mathcal{D}_X$ 联系起来。
• 将沿子簇 X 的纯对数极小性几何概念与正特征下理想 I 的纯 F-正则类型代数概念联系起来。

提出的方法

• 为光滑复代数簇 A 中余维 c 的子簇 X 引入新的伴随理想层 $\mathrm{adj}_X(A,Y)$ 定义，使用对数解析解与典范除子扭量。
• 为正特征 $ p > 0 $ 下的三元组 $(R,I,\underline{\mathfrak{a}}^{\underline{t}})$ 提出一种修改的紧致闭包概念，称为 $(I,\underline{\mathfrak{a}}^{\underline{t}})$-紧致闭包。
• 将广义测试理想 $\widetilde{\tau}_I(\underline{\mathfrak{a}}^{\underline{t}})$ 定义为在剩余域的内射包中，0 的 $(I,\underline{\mathfrak{a}}^{\underline{t}})$-紧致闭包的零化子。
• 利用正特征下广义测试理想与特征零下乘子理想之间的对应关系，将 $\widetilde{\tau}_I(\underline{\mathfrak{a}}^{\underline{t}})$ 与 $\mathrm{adj}_X(A,Y)$ 联系起来。
• 应用 l.c.i. 亏并理想层 $\mathcal{D}_X$ 的理论，制定伴随理想层的限制性质。
• 采用降维到正特征的方法，并利用 F-正则性理论，证明 $({\mathrm{Spec\;}}S,\sum t_i V(\mathfrak{a}_i))$ 沿 $V(I)$ 为纯对数极小当且仅当 $(S,\underline{\mathfrak{a}}^{\underline{t}})$ 沿 $I$ 为纯 F-正则类型。

实验结果

研究问题

• RQ1 如何将伴随理想层的概念从除子推广到复代数几何中高余维子簇？
• RQ2 高余维子簇的伴随理想层在特征 p 下的正确类比是什么？它与乘子理想有何关系？
• RQ3 能否建立一个限制公式，将 Gorenstein 子簇 X 上的伴随理想与 l.c.i. 亏并理想层 $\mathcal{D}_X$ 联系起来？
• RQ4 几何上沿 X 为纯对数极小的条件，在正特征下与理想 I 的纯 F-正则类型代数条件之间在多大程度上对应？
• RQ5 伴随理想 $\mathrm{adj}_X(A,Y)$ 与子簇 X 上的乘子理想 $\mathcal{J}(X, V(\mathcal{D}_X) + Y|_X)$ 之间的精确关系是什么？

主要发现

• 本文建立了限制公式：对于光滑复代数簇 A 中的正规 Gorenstein 闭子簇 X（余维 c），有 $\mathcal{J}(X,V(\mathcal{D}_X)+Y|_X) = \mathrm{adj}_X(A,Y)\mathcal{O}_X$。
• 伴随理想层 $\mathrm{adj}_X(A,Y)$ 通过对数解析解与典范除子扭量定义，推广了除子情形下的经典伴随理想。
• 在降维到正特征时，高度为 c 的理想 I 沿的广义测试理想 $\widetilde{\tau}_I(\underline{\mathfrak{a}}^{\underline{t}})$ 被证明与伴随理想层 $\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)$ 为纯对数极小当且仅当 $(S,\underline{\mathfrak{a}}^{\underline{t}})$ 沿 $I$ 为纯 F-正则类型，建立了几何与代数概念之间的深刻联系。