[论文解读] On the geometry of anticanonical pairs

Robert Friedman|arXiv (Cornell University)|Feb 9, 2015

Advanced Differential Equations and Dynamical Systems参考文献 22被引用 23

一句话总结

本文研究了反 canonical 对 $(Y,D)$ 的几何结构，其中 $Y$ 是一个光滑有理曲面，$D$ 是一条由有理曲线构成的环形配置，且满足 $D ilde -K_Y$。研究证明，在某些配置下（例如当 $D^2 = -1$ 且 $r=8$ 时），由 $(-2)$-曲线（根）生成的 Weyl 群在自同构群 $\Gamma(Y,D)$ 中具有无限指数，这意味着存在无穷多条 $(-2)$-曲线。该结果揭示了此类对的形变类型的深层算术与几何复杂性，类似于卡拉比-丘三流形的 'Clemens-Reid 幻想'。

ABSTRACT

The systematic study of rational surfaces $Y$ with an anticanonical cycle $D$ dates back to a fundamental paper of Looijenga in 1981. Recently, Gross, Hacking and Keel have introduced new ideas into the subject. The goal of this mainly expository paper is to survey some results about such surfaces, old and new. We discuss the birational geometry and deformation theory of such pairs as well as the behavior of nef and big linear systems. We prove a theorem of Torelli type due to Gross-Hacking-Keel and describe some consequences. Among the new results in this paper are (1) a proof that the diffeomorphism type of a pair $(Y,D)$ is the same as its deformation type, and (2) a new characterization of the roots of the pair, i.e. the integral classes of square $-2$ in $H^2(Y)$ orthogonal to the components of $D$ which become the class of a smooth rational curve in some deformation.

研究动机与目标

• 理解反 canonical 对 $(Y,D)$ 的双有理几何与形变几何，其中 $D$ 是有理曲线构成的环。
• 阐明 Looijenga 根——即与 $D$ 不相交的 $(-2)$-曲线类——在这些对的模空间与拓扑结构中的作用。
• 证明根的 Weyl 群在自同构群 $\Gamma(Y,D)$ 中可能具有无限指数，从而挑战经典有限性预期。
• 将 Torelli 型定理与周期映射分析推广至这些具有奇点的 $K3$-型曲面。
• 通过在曲面情形下展示无限族的存在，为 'Clemens-Reid 幻想'——即卡拉比-丘三流形仅有有限多个形变类型——提供一个玩具模型。

提出的方法

• 使用格理论技术，特别是 $H^2(Y,\mathbb{Z})$ 中的正交补 $\Lambda = [D]^\perp$，来分析 $Y$ 与 $D$ 的几何结构。
• 应用 Vinberg 判别准则，以确定由 $(-2)$-类反射生成的群在 $O^+(\Lambda)$ 中具有有限或无限指数的条件。
• 通过在节点及无穷近点上进行爆破，构造显式例子，以实现特定的自交数序列。
• 分析周期映射及其微分，以建立其满射性，从而将形变理论与 Hodge 理论联系起来。
• 将根表征为不相交例外曲线类的差，除在特殊情形（$\mathbb{F}_0, \mathbb{F}_2$）外。
• 利用一般极化锥与形变理论，将几何、拓扑与模空间联系起来。

实验结果

研究问题

• RQ1 在何种条件下，根的 Weyl 群在 $\Gamma(Y,D)$（即保持对 $(Y,D)$ 的自同构群）中具有无限指数？
• RQ2 反 canonical 对 $(Y,D)$ 的形变类型（其中 $D$ 为有理曲线构成的环）与 $A_r$ 格在 $[D]^\perp$ 中的嵌入之间有何关系？
• RQ3 能否证明此类对的周期映射是满射？这对其模空间有何含义？
• RQ4 根（即与 $D$ 不相交的 $(-2)$-曲线类）与一般极化锥的几何之间存在何种精确关系？
• RQ5 Torelli 定理在 $(Y,D)$ 上在多大程度上能通过其 Hodge 结构与极化锥恢复该对？

主要发现

• 当 $D^2 = -1$ 且 $r=8$ 时，根的 Weyl 群 $\mathsf{W}(R_Y)$ 在 $\Gamma(Y,D) = O^+(\Lambda)$ 中具有无限指数，这意味着 $Y$ 上存在无穷多条 $(-2)$-曲线。
• 此情形下的格 $\Lambda$ 同构于 $U \oplus (-8)$，根据 Vinberg 准则，由于 $n = -8 \neq -2$，反射群具有无限指数。
• 在 $Y_0$ 上存在无穷多条 $(-2)$-曲线，如对所有 $k \in \mathbb{Z}$，类 $(4k^2 - 1)\gamma_1 + \gamma_2 + k\gamma_3$ 均为 $(-2)$-曲线。
• 在 $A_7$ 嵌入 $E_{10}$ 的非本原嵌入情形下，$\Lambda \cong U \oplus (-2)$，且 $\Gamma(Y,D) = \mathsf{W}(R_Y)$，因此 Weyl 群具有有限指数。
• 一般极化锥在形变下保持不变，且其确定了对 $(Y,D)$ 的光滑拓扑与几何结构，该锥在模空间中是 Zariski 稠密的。
• $(Y,D)$ 的 Torelli 定理成立：该对由其 Hodge 结构与一般极化锥唯一确定，自同构对应于同时保持两者的整格等距变换。