[论文解读] 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 理想层和中间非 lc 理想层作为奇异对的乘子理想变体，证明了这些理想在正规中心上的限制定理。通过非 F-纯理想建立了正特征 $p>0$ 的类比，表明 $σ(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 理想层 $\mathcal{J}'(X,\Delta)$，作为非 lc 对的乘子理想自然推广。
• 研究 $\mathcal{J}'(X,\Delta)$ 的限制定理是否成立，将其推广至最小非 lc 理想的已知结果。
• 基于 Blickle 的工作，通过非 F-纯理想发展极大非 lc 理想的正特征 $p>0$ 类比。
• 探索 $\mathcal{J}'(X,\Delta)$ 与霍奇理论不变量之间的联系，特别是与杜波依斯奇点的关系。
• 在奇异中心上建立非 F-纯理想的限制定理，将经典限制性质推广至奇异情形。

提出的方法

• 将极大非 lc 理想层 $\mathcal{J}'(X,\Delta)$ 定义为 $\mathcal{J}(X,(1-\varepsilon)\Delta)$，其中 $\varepsilon>0$ 很小，推广乘子理想。
• 为负整数 $l$ 引入中间非 lc 理想层 $\mathcal{J}'_l(X,\Delta)$，在 $\mathcal{J}(X,\Delta)$ 与 $\mathcal{J}'(X,\Delta)$ 之间形成滤子。
• 利用 Fujino 的新上同调工具包分析 $\mathcal{J}'(X,\Delta)$ 的上同调性质，特别是消去定理。
• 建立限制定理：对于正规素 Weil 除子 $S$，有 $\mathcal{J}'(X,S+B)|_S = \mathcal{J}'(S,B_S)$，推广已知结果。
• 通过定义非 F-纯理想 $\sigma(R,\Delta)$，发展极大非 lc 理想的正特征 $p>0$ 类比，并证明 $\sigma(R,D+B)|_D = \sigma(R/Q,B_{R/Q})$。
• 利用 $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) —— 对数典范性、科达拉消去定理及贝尔蒂尼型不变性 —— 但其限制行为尚未完全确定。
• 限制定理 $\mathcal{J}'(X,S+B)|_S = \mathcal{J}'(S,B_S)$ 对于正规素 Weil 除子 $S$ 成立，推广了最小非 lc 理想的已知结果。
• 在正特征 $p>0$ 下，非 F-纯理想 $\sigma(R,D+B)$ 满足 $\sigma(R,D+B)|_D = \sigma(R/Q,B_{R/Q})$，证明了正特征限制定理。
• 在正常 $F$-纯中心 $D$ 上构造 $B_{R/Q}$ 的方法是典范的，且与邻接公式相容，前提是 $K_X+D+B$ 是 $\mathbb{Q}$-柯里斯且其指数不被 $p$ 整除。
• 当 $D$ 在余维数二上为柯里斯时，猜想 $B_{R/Q}$ 与 $(X,D+B)$ 在 $D$ 上的差数一致成立，提供了部分验证。
• 在假设 $W$ 的一般点处为强 $F$-纯的条件下，限制定理可推广至任意 $F$-纯中心 $W$，有 $\sigma(R,\Delta)|_W = \sigma(R/Q,\Delta_{R/Q})$。