[论文解读] Quasi-log canonical pairs are Du Bois

Osamu Fujino, Haidong Liu|arXiv (Cornell University)|Apr 30, 2018

Advanced Topology and Set Theory参考文献 8被引用 6

一句话总结

本文证明了每个拟对数极小模型对都仅有杜波依斯奇点，建立了极小模型程序与霍奇理论之间的基本联系。作者利用混合霍奇结构的变体以及可约代数簇的典范丛公式，提供了一个不依赖于极小模型程序的独立证明，推广了关于对数极小模型对与半对数极小模型对的先前结果。

ABSTRACT

We prove that every quasi-log canonical pair has only Du Bois singularities. Note that our arguments are free from the minimal model program.

研究动机与目标

• 建立所有拟对数极小模型对都仅有杜波依斯奇点的结论。
• 将关于对数极小模型对与半对数极小模型对的先前结果推广到更广泛的拟对数极小模型对情境中。
• 提供一个不依赖于极小模型程序的该性质的证明。
• 统一极小模型程序中的奇点理论与霍奇理论方法。

提出的方法

• 利用上同调紧支集上混合霍奇结构的理论，推导出可约代数簇的典范丛公式。
• 应用基本slc-平凡纤维化的典范丛公式，这是研究正规不可约拟对数极小模型对的关键工具。
• 采用全局嵌入的简单交叉奇点对的概念，以模拟拟对数极小模型对的奇点结构。
• 将问题简化为证明拟对数结构中的全空间 $ Z $ 是杜波依斯的，利用邻接公式与霍奇理论性质。
• 使用引理 2.2 将拟对数结构提升到态射的基上，同时保持拟对数极小模型性质。
• 应用定理 4.1，该定理构造了一个分解 $ K_{X'} + B_{X'} + M_{X'} = p^*\omega $ 的解析 $ p: X' \to X $，将问题简化为一个可处理的几何设定。

实验结果

研究问题

• RQ1 所有拟对数极小模型对是否必然仅有杜波依斯奇点？
• RQ2 能否在不使用极小模型程序的前提下建立具有杜波依斯奇点的性质？
• RQ3 可约代数簇的典范丛公式如何与拟对数极小模型对的霍奇理论性质相关联？
• RQ4 关于对数极小模型对与半对数极小模型对的结果在多大程度上可推广到一般的拟对数极小模型设定？
• RQ5 Nqklt 闭包结构能否用于归纳证明拟对数极小模型对的杜波依斯性质？

主要发现

• 每个拟对数极小模型对都仅有杜波依斯奇点，如定理 1.1 所证明。
• 该证明独立于极小模型程序，而是依赖于混合霍奇结构的变体。
• 拟对数极小模型对的 Nqklt 闭包本身也是一个拟对数极小模型对，因此仅有杜波依斯奇点。
• 该结果推广了 [Kl] 的推论 6.32 与 [KK] 的定理 1.5，统一了关于杜波依斯奇点的先前结果。
• 该证明表明，若 $ X $ 是具有拟对数极小模型结构的正规不可约代数簇，则 $ X $ 是杜波依斯的。
• 该方法适用于全空间及其分支：若 $ W \to g(W) $ 是从slc分支的并集出发的态射，则 $ g(W) $ 是杜波依斯的。