[论文解读] On isolated log canonical singularities with index one

Osamu Fujino|arXiv (Cornell University)|Jul 4, 2011

Algebraic Geometry and Number Theory参考文献 35被引用 17

一句话总结

本论文通过极小模型程序，对指数为一的孤立对数 canonical 奇点建立了几何刻画，证明了由例外除子的对偶复形中单体的最小维数定义的不变量 μ(P∈X)，与石井的霍奇理论不变量一致。关键结果表明，P∈X 为 (0,i) 型当且仅当 μ(P∈X)=i，从而在不依赖杜博伊斯奇点的前提下，统一了几何与霍奇理论方法。

ABSTRACT

We give a method to investigate isolated log canonical singularities with index one which are not log terminal. Our method depends on the minimal model program. One of the main purposes is to prove that our invariant coincides with Ishii's Hodge theoretic invariant.

研究动机与目标

• 为非对数终端的孤立对数 canonical 奇点（指数为一）提供几何刻画。
• 定义并研究不变量 μ(P∈X)，即例外除子的对偶复形中单体的最小维数。
• 通过极小模型程序，建立该几何不变量与石井的霍奇理论不变量之间的直接联系。
• 证明对偶复形的上同调反映了例外除子的霍奇结构，特别是权过滤。
• 展示极小模型程序方法可得出超越纯霍奇理论方法所能达到的结果，例如最小单体的双有理等价性与连通性性质。

提出的方法

• 将 μ(P∈X) 定义为在解析 f:Y→X 下，例外除子 E 的对偶复形中单体的最小维数。
• 利用 dlt 爆破与极小模型程序分析 E 及其单体的结构，特别关注对偶复形及其拓扑实现。
• 应用 Mayer–Vietoris正合列与混合霍奇结构的权过滤，计算 Gr^W_k H^{n-1}(E, O_E)。
• 通过维数归纳法与 K∼0 的 sdlt 对的结构，证明 Gr^W_k H^{n-1}(E, O_E) ≠ 0 仅当 k=μ。
• 构建一个交换图，通过双有理映射的上同调群拉回，将最小单体的上同调与 E 的总上同调联系起来。
• 利用最小单体仅有权为零的对数终端奇点且 K∼0 的事实，实现上同调中的同构，从而保持权过滤。

实验结果

研究问题

• RQ1 通过对偶复形中单体维数定义的几何不变量 μ(P∈X)，是否与石井的 (0,i) 型霍奇理论不变量一致？
• RQ2 极小模型程序能否用于推导出仅靠霍奇理论无法获得的例外除子对偶复形的性质？
• RQ3 当 μ(P∈X)=0 时，对偶复形 |Γ| 的拓扑与上同调结构如何？
• RQ4 例外除子的单体在双有理映射下如何行为？它们是否双有理等价？
• RQ5 在孤立对数 canonical 奇点（指数为一）的情形下，对偶复形 |Γ| 的上同调是否能反映 H^{n-1}(E, C) 的权过滤？

主要发现

• 将 E 的对偶复形中单体的最小维数定义的不变量 μ(P∈X)，与石井的霍奇理论不变量一致：P∈X 为 (0,i) 型当且仅当 μ(P∈X)=i。
• 对偶复形 |Γ| 的维数为 n−1−μ，当 μ=0 时，对所有 i 有 H^i(|Γ|, C) ≃ H^i(E, O_E)。
• 当 μ=0 时，奇点 P∈X 为科恩-麦克aul伊（等价于 Gorenstein）当且仅当 H^i(|Γ|, C) 在度数 0 和 n−1 处为 C，其余度数为零。
• 对 E 的每个不可约分支 E_{i_0}，除子 ∑_{i≠i_0} E_i|_{E_{i_0}} 至多有两个连通分支。
• E 的任意两个最小单体彼此双有理等价，此结果无法通过霍奇理论方法获得。
• Mayer–Vietoris 序列中的连接同态诱导同构 H^μ(C', O_{C'}) ≃ H^{n-1}(T, O_T) 与 H^μ(C, O_C) ≃ H^{n-1}(E, O_E)，且保持权过滤。