[论文解读] Boundedness of minimal partial du Val resolutions of canonical surface foliations

Yenan Chen|arXiv (Cornell University)|Dec 6, 2019

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

一句话总结

本文建立了广义型典范曲面叶状的极小部分 du Val 解析的有界性，证明了具有固定 Hilbert 函数的此类叶状曲面构成一个有界族。关键结果表明，典范模型及其解析是有限制的，且在尖点奇点之外有效生成多重 canonical 系统，并对二面体与尖点奇点施加了统一的有界性。

ABSTRACT

In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.

研究动机与目标

• 建立广义型典范曲面叶状的极小部分 du Val 解析的有界性。
• 通过证明典范模型及其解析的有界性，改进先前关于双有理有界性的结果。
• 为叶状曲面典范模型上的二面体奇点的指标与嵌入维数提供有效有界性。
• 通过证明在尖点奇点之外多重 canonical 系统的有效生成，证实 [HL21, 猜想 1]。
• 在广义型叶状曲面的背景下，建立尖点奇点结构的统一有界性。

提出的方法

• 使用 Mumford 在正规完备曲面上的交点理论，定义并计算 Weil 除子的交点数。
• 通过叶状与切丛的秩一饱和子层之间的对偶性，定义奇异曲面上的叶状。
• 利用尖点与二面体奇点的极小解析，分析其例外除子及其交点矩阵。
• 运用 Zariski 分解与伪有效性的论证，研究解析上除子的充分大性与正则性。
• 利用奇点上嵌入维数与群作用的有界性，推导出指标与阶的统一有界性。
• 应用 [HL21]、[Fuj12] 与 [Lan01] 的结果，确立在例外支集补集上扭曲典范丛的非常 ample 性。

实验结果

研究问题

• RQ1 对于固定的 Hilbert 函数 P(m) = χ(X_c, mK_F_c)，广义型典范曲面叶状的极小部分 du Val 解析是否是有界的？
• RQ2 能否为叶状曲面典范模型上二面体奇点的指标与嵌入维数建立有效有界性？
• RQ3 当 m 足够可除时，多重 canonical 系统 |mK_F| 是否在尖点奇点之外定义一个双有理映射，且该映射在该区域是同构？
• RQ4 在广义型叶状曲面的背景下，是否存在尖点奇点结构的统一有界性？
• RQ5 能否通过解析与典范模型的有界性，推进广义型叶状曲面的模理论？

主要发现

• 对于任意固定的 Hilbert 函数 P(m) = χ(X_c, mK_F_c)，典范模型 (X_c, F_c) 及其极小部分 du Val 解析 (X, F) 的集合构成一个有界族。
• 存在统一常数 C_1 与 C_2，使得每个典范模型上二面体奇点的指标与嵌入维数分别被 C_1 与 C_2 有界。
• 对于任意具有 κ(K_F_c) = 2 与固定 Hilbert 函数 P(m) 的典范模型 (X_c, F_c)，存在整数 m_P，使得当 m 可被 m_P 整除时，|mK_F| 定义一个双有理映射，且在尖点奇点的补集上为同构。
• 尖点奇点的极小解析中的交点矩阵与分量数在族中统一有界。
• 每个尖点奇点处叶状的指标有界，且在例外除子上的群作用阶有界。
• 在极小解析 g: Y → X 的例外支集补集上，除子 K_Y + βK_G 是非常 ample 的，从而确保在尖点之外有效生成多重 canonical 系统。