[论文解读] Relative Bertini type theorem for multiplier ideal sheaves

Osamu Fujino|arXiv (Cornell University)|Sep 4, 2017

Algebraic Geometry and Number Theory参考文献 13被引用 4

一句话总结

本文在复流形纤维化于基空间的背景下，建立了乘子理想层的相对Bertini型定理，证明了对于完全线性系统的一般成员，乘子理想层的限制与原始理想层的限制一致。作为应用，本文证明了相对Kollár–Nadel消去定理，将经典的消去结果推广至具有奇异度量的复代数簇族。

ABSTRACT

We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Kollár--Nadel type vanishing theorem as an application.

研究动机与目标

• 将乘子理想层的经典Bertini型定理推广至基复解析空间上的相对情形。
• 解决在存在奇异度量时，一般超平面截痕下等式 $\mathscr{J}(\varphi|_H) = \mathscr{J}(\varphi)|_H$ 失效的问题。
• 证明存在一个Zariski稠密的超平面截痕集合，使得乘子理想层能正确限制，且相应的短正合列成立。
• 作为关键应用，证明相对Kollár–Nadel消去定理，将解析消去定理推广至族的情形。
• 研究即使补集不是解析零度的，良好超平面截痕在完全线性系统中的稠密性。

提出的方法

• 通过复流形 $X$、基空间 $S$ 和射影空间 $\mathbb{P}^N$ 的纤维积图构造相对设定。
• 通过映射 $h$ 将 $\mathbb{P}^N$ 中的超平面拉回到 $X$，定义超平面截痕族 $H^\dagger = (h^\dagger)^*H^\prime$。
• 应用Ohsawa–Takegoshi的$L^2$扩张定理，控制限制下乘子理想层的行为。
• 使用解析技术，包括拟凸函数和奇异Hermitian度量，比较 $\mathscr{J}(\varphi|_{H^\dagger})$ 与 $\mathscr{J}(\varphi)|_{H^\dagger}$。
• 运用Skoda定理与$L^2$可积性，证明 $\mathscr{J}(\varphi) = \mathscr{J}(\varphi + \varepsilon\psi)$ 对于小的 $\varepsilon > 0$ 成立，确保扰动下的稳定性。
• 应用定理1.3（相对Enoki型注入定理）推导出相对Kollár–Nadel消去定理证明中高阶直接像的消去性。

实验结果

研究问题

• RQ1 在何种条件下，乘子理想层 $\mathscr{J}(\varphi)$ 沿一般超平面截痕 $H^\dagger$ 的限制与 $\mathscr{J}(\varphi|_{H^\dagger})$ 一致？
• RQ2 能否保证在 $\mathbb{P}^N$ 中存在一个Zariski稠密的超平面截痕集合，使得自然短正合列 $0 \to \mathscr{J}(\varphi) \otimes \mathcal{O}_X(-H^\dagger) \to \mathscr{J}(\varphi) \to \mathscr{J}(\varphi|_{H^\dagger}) \to 0$ 成立？
• RQ3 乘子理想限制失败的超平面截痕集合是否为解析零度，或在更强意义下更小？
• RQ4 能否通过解析方法与$L^2$扩张建立族中的相对Kollár–Nadel消去定理？
• RQ5 当 $\mathcal{O}_X / \mathscr{J}(\varphi)$ 的关联素理想存在时，乘子理想限制行为如何受到影响？

主要发现

• 满足 $\mathscr{J}(\varphi|_{H^\dagger}) = \mathscr{J}(\varphi)|_{H^\dagger}$ 的超平面截痕集合 $\mathcal{G}$ 在 $\Lambda$ 中关于经典拓扑是稠密的。
• 集合 $\mathcal{H} \subset \mathcal{G}$，即避开 $\mathcal{O}_X / \mathscr{J}(\varphi)$ 的关联素理想的截痕，也在 $\Lambda$ 中稠密。
• 对于任意解析零度子集 $\mathcal{S} \subset \Lambda$，集合 $\mathcal{G} \setminus \mathcal{S}$ 与 $\mathcal{H} \setminus \mathcal{S}$ 在 $\Lambda$ 中仍为稠密。
• 对所有 $H^\prime \in \mathcal{H}$，自然短正合列 $0 \to \mathscr{J}(\varphi|_{X^\dagger}) \otimes \mathcal{O}_{X^\dagger}(-H^\dagger) \to \mathscr{J}(\varphi|_{X^\dagger}) \to \mathscr{J}(\varphi|_{H^\dagger}) \to 0$ 成立。
• 相对Kollár–Nadel消去定理成立：在给定曲率与度量条件下，对所有 $i > 0$ 与所有 $j$，有 $R^i\pi_*(M \otimes R^j f_*(\omega_X \otimes F \otimes \mathscr{J}(h))) = 0$。
• 在 $\Delta^n$ 中 $0$ 的邻域内，对小的 $\varepsilon > 0$，等式 $\mathscr{J}(\varphi) = \mathscr{J}(\varphi + \varepsilon\psi)$ 成立，确保乘子理想在小扰动下的稳定性。