[论文解读] Stable pair compactifications of the moduli space of degree one del pezzo surfaces via elliptic fibrations

Kenneth Ascher, Dori Bejleri|arXiv (Cornell University)|Feb 2, 2018

Algebraic Geometry and Number Theory参考文献 18被引用 6

一句话总结

本文通过将稳定对理论应用于具有截面的有理椭圆曲面，构建了度数为一的 del Pezzo 曲面模空间的几何紧化。通过分析加权稳定椭圆曲面 KSBA 紧化中的墙交叉，作者定义了一族模空间 $ρ(a)$，并证明 $ρ(1/12 + \epsilon)$ 提供了一个最小紧化，使得全息族得以延拓，从而解决了 GIT 和 Baily-Borel 紧化中的一个关键问题。

ABSTRACT

A degree one del Pezzo surface is the blowup of P^2 at 8 general points. By the classical Cayley-Bacharach Theorem, there is a unique 9th point whose blowup produces a rational elliptic surface with a section. Via this relationship, we construct a stable pair compactification of the moduli space of anti-canonically polarized degree one del Pezzo surfaces.

研究动机与目标

• 构建度数为一的 del Pezzo 曲面模空间的几何紧化，使其支持一个可能退化的曲面全息族。
• 解决在现有紧化（如 GIT 和 Baily-Borel）中全息族无法在边界延拓的问题。
• 通过加权标记纤维的有理椭圆曲面的稳定对紧化，建立边界层的模解释。
• 利用墙交叉技术，厘清 GIT、KSBA 和 Baily-Borel 紧化之间的双有理关系。

提出的方法

• 利用在度数为一的 del Pezzo 曲面的反canonical线性系基点处进行 blowing up 后得到的有理椭圆曲面结构。
• 将 KSBA（Kollár-Shepherd-Barron-Alexeev）稳定对理论应用于具有截面和加权标记纤维的有理椭圆曲面模空间的紧化。
• 通过加权稳定椭圆曲面的稳定性条件变化，构造一个参数为 $ρ(a)$ 的模空间族，其中 $1/12 < a \leq 1$。
• 分析加权稳定椭圆曲面模空间中的墙交叉，识别出关键值如 $a = 1/12 + \epsilon$ 和 $a = 1/6$。
• 建立从 KSBA 紧化 $ρ(1/12 + \epsilon)$ 到 Miranda 的 GIT 紧化 $W$ 的态射，证明其为沿 Miranda 的 GIT 紧化中严格半稳定子簇的 Blowing up。
• 证明空间 $ρ(1/6)$ 映射到判别式 locus $π^*$，且同构于 Baily-Borel 紧化 $(_{\Gamma_0}\backslash\mathbb{B}_0)^*$，从而解决全息族延拓问题。

实验结果

研究问题

• RQ1 如何构造一个合适的 Deligne-Mumford 堆栈，以参数化具有全息族的退化度数为一的 del Pezzo 曲面？
• RQ2 KSBA 紧化 $ρ(1/12 + \epsilon)$ 与 Miranda 的 GIT 紧化 $W$ 之间的精确双有理关系是什么？
• RQ3 度数为一的 del Pezzo 曲面的全息族能否以模方式在边界上延拓？
• RQ4 KSBA 紧化 $ρ(a)$ 的边界层与有理椭圆曲面及其奇点纤维的几何有何关系？
• RQ5 在有理椭圆曲面的背景下，KSBA 紧化在多大程度上在 GIT 和 Baily-Borel 紧化之间起到插值作用？

主要发现

• 模空间 $ρ(1/12 + \epsilon)$ 是一个合适的 Deligne-Mumford 堆栈，其内部的曲面具有至多为有理双 singularity 的奇点。
• 模空间 $ρ(1/12 + \epsilon)$ 的边界由一个单一的除子构成，该除子参数化的是 2-Gorenstein 半对数 canonical 曲面，其由两个各自为法丛且有正则反canonical 除子的不可约分量组成。
• 态射 $R(1/12 + \epsilon) \to W$ 是沿 Miranda 的 GIT 紧化中严格半稳定子簇的 Blowing up，且边界映射到双曲线的 $j$-不变量。
• 空间 $ρ(1/6)$ 从整体上映射到判别式 locus $π^*$，且同构于 Baily-Borel 紧化 $(_{\Gamma_0}\backslash\mathbb{B}_0)^*$，从而解决了全息族延拓问题。
• $ρ(1/6)$ 是使得度数为一的 del Pezzo 曲面全息族得以延拓的最小紧化，且在非粗点集之外同构于 $W^*$。
• 作者提出，通过变化系数的 KSBA 紧化提供了一个通用框架，可在 GIT 与 Baily-Borel 紧化之间实现插值，为二者之间提供一个模形式且几何意义明确的桥梁。