[论文解读] A gap theorem for minimal log discrepancies of non-canonical singularities in dimension three

Chen Jiang|arXiv (Cornell University)|Apr 21, 2019

Algebraic Geometry and Number Theory参考文献 49被引用 23

一句话总结

该论文建立了三维非典范奇点中极小对数分歧率（mld）的1-间隙定理，证明存在某个 δ > 0，使得若一个正规拟射影Q-戈伦斯坦三维流形的mld < 1，则必有 mld ≤ 1 − δ。证明将问题约化为孤立的超商奇点，并采用莫里与里德对终端三维流形分类方法的修改版本，从而得出非典范klt卡拉比-丘三维流形在极限变换下的有界性以及全局指标的统一有界性。

ABSTRACT

We show that there exists a positive real number $\delta>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less than $1$, then the minimal log discrepancy of $X$ is not greater than $1-\delta$. As applications, we show that the set of all non-canonical klt Calabi-Yau $3$-folds are bounded modulo flops, and the global indices of all klt Calabi-Yau $3$-folds are bounded from above.

研究动机与目标

• 为解决三维情形下极小对数分歧率的1-间隙猜想，证明对于非典范奇点，mld不能从下方趋近于1。
• 在三维情形下建立非典范klt卡拉比-丘三维流形在极限变换下的有界性，将亚历克谢耶夫在二维情形的结果推广至三维。
• 证明所有klt卡拉比-丘三维流形的全局指标存在统一的上界，推广了典范及曲面情形的结果。
• 在先前关于klt卡拉比-丘三维流形有界性的结果中，移除了有理连通性假设。

提出的方法

• 将问题约化为极不典范奇点的情形，其中除一个例外除子外，其余所有例外除子的对数分歧率均大于1。
• 聚焦于A⁴中cDV奇点的商空间所构成的孤立超商奇点，采用三维终端奇点分类方法的修改版本。
• 应用终端引理与非典范引理，分析此类奇点的结构，并在mld > 1 − δ时导出矛盾。
• 利用全局ACC定理确保klt阈值的一致性，并通过带比例的MMP应用对数有界性技术。
• 采用对数解析与基概形上的相对MMP，收缩例外除子并构造在极限变换下有界的族。
• 利用先前工作的有效界（例如，刘与肖所得的δ₀ = 1/19），推导出主间隙定理的有效δ = 1/13。

实验结果

研究问题

• RQ1 是否存在某个 δ > 0，使得对任意具有非典范奇点的三维流形X，均有 mld(X) ≤ 1 − δ（即 mld(X) < 1）？
• RQ2 在不假设有理连通性的情况下，非典范klt卡拉比-丘三维流形的集合是否可在极限变换下有界？
• RQ3 所有klt卡拉比-丘三维流形的全局指标是否均存在统一的上界，而与奇点类型无关？
• RQ4 能否通过修改终端奇点的分类策略，在三维情形下建立1-间隙猜想？

主要发现

• 论文证明了存在 δ > 0，使得对任意正规拟射影Q-戈伦斯坦三维流形X，若 mld(X) < 1，则必有 mld(X) ≤ 1 − δ，且给出有效值 δ = 1/13。
• 即使不假设有理连通性，所有非典范klt卡拉比-丘三维流形的集合在极限变换下仍为有界族。
• 所有klt卡拉比-丘三维流形的全局指标均被统一的正整数m所控制，使得 mKX ∼ 0。
• 通过适配三维终端奇点的分类方法，论文在孤立超商奇点情形下建立了1-间隙定理。
• 通过配对(Y, (1−a)E)的对数有界性以及在基概形上的相对MMP带比例，实现有界性，从而得到在极限变换下有界的族。
• 该方法导出了有效界 δ = 1/13，其来源于孤立循环商奇点在三维与五维中极小对数分歧率的间隙 δ₀ = 1/19。