[论文解读] A small resolution for triple covers in algebraic geometry

Daniele Faenzi, Janis Stipins|ArXiv.org|Apr 18, 2002

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文通过在 $\mathbb{P}(E^*)$ 内引入一个新的概形 $\mathfrak{S}_X$，构造了代数几何中三重覆盖的小型化约，该概形与原始覆盖 $X$ 有理同构，并通过 $\mathbb{P}^1$ 纤维在重叠点分支点处解决奇点。该化约由 $S^3(E)^* \otimes \Lambda^2(E)$ 的一个整体截面 $\sigma$ 定义，且当且仅当不存在重叠点分支时，$X$ 才能嵌入到 $Y$ 上的 $\mathbb{P}^1$-丛中。

ABSTRACT

Given a triple cover p: X --> Y of varieties, we produce a new variety Z and a birational morphism f: Z --> X which is an isomorphism away from the fat-point ramification locus of p. The variety Z has a natural interpretation in terms of the data describing the triple cover, and the morphism f has an elegant geometric description.

研究动机与目标

• 为三重覆盖 $\pi: X \to Y$ 提供一个几何构造的小型化约，以解决重叠点分支点处的奇点。
• 通过秩为 2 的局部自由层 $E$ 和 $S^3(E)^* \otimes \Lambda^2(E)$ 的整体截面 $\sigma$，证明此类化约在全球范围内存在。
• 刻画 $X$ 能否通过不存在重叠点分支而嵌入到 $Y$ 上的 $\mathbb{P}^1$-丛中。
• 为更一般的化约结果提供简化几何解释，揭示三重覆盖情形下小型化约的内在机制。

提出的方法

• 通过 $S^3(E)^* \otimes \Lambda^2(E)$ 的整体截面 $\sigma$ 定义 $\mathfrak{S}_X$ 为 $\mathbb{P}(E^*)$ 的子概形，该截面由三重覆盖数据导出。
• 构造一个双有理态射 $\rho_X: \mathfrak{S}_X \to X$，其在重叠点分支点集之外是同构。
• 证明 $\rho_X$ 在每个重叠点分支点处的纤维同构于 $\mathbb{P}^1$，从而 $\rho_X$ 是一个小型化约。
• 通过 Miranda 的结果（三重覆盖由 $E$ 和 $\sigma$ 分类）将局部化约全局化，确保在仿射开集之间的一致性。
• 利用 $\mathfrak{S}_X$ 与 $X$ 中一个 Weil 除子的爆破之间的同构，将 $\rho_X$ 解释为在非 Cartier 除子上的爆破。
• 证明与化约相关的有理映射 $\psi$ 的不定点恰好位于重叠点分支点集，从而确认化约的支持即为该处。

实验结果

研究问题

• RQ1 在何种条件下，三重覆盖 $\pi: X \to Y$ 可以实现为 $Y$ 上 $\mathbb{P}^1$-丛的子概形？
• RQ2 如何在几何上构造三重覆盖（特别是重叠点分支点处）的小型化约？
• RQ3 整体截面 $\sigma$ 在 $S^3(E)^* \otimes \Lambda^2(E)$ 中在定义化约概形 $\mathfrak{S}_X$ 中起什么作用？
• RQ4 为何尽管 $\rho_X: \mathfrak{S}_X \to X$ 是一个小型化约，其例外集的余维数仍大于一？
• RQ5 化约 $\rho_X$ 与 $X$ 中一个 Weil 除子的爆破有何关系？为何该除子不是 Cartier 的？

主要发现

• 概形 $\mathfrak{S}_X$ 是 $\mathbb{P}(E^*)$ 的子概形，由 $S^3(E)^* \otimes \Lambda^2(E)$ 的整体截面 $\sigma$ 关联的三次型定义。
• $\rho_X: \mathfrak{S}_X \to X$ 是一个小型化约：其在重叠点分支点集之外是同构，且在这些点处的纤维同构于 $\mathbb{P}^1$。
• $\rho_X$ 是 $X$ 中一个 Weil 除子的爆破，该除子非 Cartier，因此爆破不是同构。
• $\rho_X$ 的例外集在 $\mathfrak{S}_X$ 中的余维数大于一，确认其在代数几何意义下为小型化约。
• 三重覆盖 $\pi: X \to Y$ 嵌入到 $Y$ 上的 $\mathbb{P}^1$-丛中，当且仅当其无重叠点分支，因为此类点会强制纤维中具有二维的 Zariski 切空间。
• 构造中使用的有理映射 $\psi$ 的不定点恰好位于重叠点分支点集，从而确认化约的支持即为该处。