[论文解读] Remarks about bubbles

Michael McQuillan, Gianluca Pacienza|arXiv (Cornell University)|Nov 1, 2012

Algebraic Geometry and Number Theory参考文献 13被引用 8

一句话总结

本文建立了Mori的弯折-断裂定理在Deligne-Mumford堆栈上的对数版本，证明了关于具有snc边界除子的光滑驯服Deligne-Mumford堆栈的 nef 与有效锥的锥定理。结果表明，该锥由非负部分及可数个来自边界分支中理性曲线的抛物线射线生成，且这些曲线具有有界负性，从而将结果推广至非概型与非紧致情形。

ABSTRACT

We make some remarks about bubbling on, not necessarily proper, champs de Deligne-Mumford, i.e. compactification of the space of mappings from a given (wholly scheme like) curve, so, in particular, on quasi-projective projective varieties. Under hypothesis on both the interior and the boundary such as Remark ef{rmk:interior} below, this implies an optimal logarithmic variant of Mori's Bend-and-Break. The main technical remark is ef{thm:logMM}, while our final remark, the cone theorem, ef{rmk:cone}, is a variant.

研究动机与目标

• 将Mori的弯折-断裂技术推广至具有边界除子的拟射影概族与Deligne-Mumford堆栈，尤其在无需klt或dlt假设的情形下。
• 在Deligne-Mumford堆栈的对数几何背景下，建立Mori锥闭包的锥定理。
• 确定在标准形变理论失效时，理性曲线（在边界分支中为抛物线）仍能生成Mori锥的条件。
• 通过引入利用堆栈上映射模空间的精细构造，解决在非概型情形下标准弯折-断裂方法的失效问题。
• 证明抛物线射线（来自可映射至𝔸¹的曲线）在nef锥的负部分中是局部离散的，从而确保锥定理的有效性。

提出的方法

• 利用Gromov收敛性与Mark Green引理由分析边界除子存在时的极限映射，确保气泡形成意味着边界分支中存在理性曲线。
• 应用引理4.7的技术核心，即使边界具有任意奇点，也能控制边界分支中的气泡行为。
• 通过边界分支的ℙ¹到堆栈的映射模空间进行形变理论论证，利用此类映射空间的维数界。
• 通过理性曲线模空间的次数进行归纳，构造出严格更低次数的新抛物线曲线，确保收敛性。
• 以直接构造映射至光滑驯服Deligne-Mumford堆栈的曲线方式替代标准Hilbert概形，避免使用Hilbert champ形式语言。
• 通过将[K2]中锥定理的证明进行改编，将$K_X$替换为$K_{\mathscr{X}} + \Delta$，确保在对数堆栈情形下结构保持一致。

实验结果

研究问题

• RQ1 Mori的弯折-断裂定理能否推广至无需klt或dlt奇点假设的拟射影概族与Deligne-Mumford堆栈？
• RQ2 在紧化Deligne-Mumford堆栈的边界分支中，理性曲线（或𝔸¹映射）存在的条件是什么？
• RQ3 具有snc边界除子的Deligne-Mumford堆栈的Mori锥是否由非负部分与有限多个抛物线射线生成？
• RQ4 能否仅通过形变理论控制，在边界奇点任意的情形下，对堆栈的对数设定中证明锥定理？
• RQ5 在非概型情形下，与抛物线曲线相交的典范除子的负性行为相较于概型情形有何不同？

主要发现

• 本文证明了对数锥定理：$\overline{\mathrm{NE}}(\mathscr{X}) = \overline{\mathrm{NE}}(\mathscr{X})_{(K_\mathscr{X}+\Delta)\geq 0} + \sum_k \mathbb{R}_+[{\mathscr{L}}_k]$，其中每个$[\mathscr{L}_k]$为边界分支中曲线产生的抛物线射线。
• 每个抛物线曲线$\mathscr{L}_k$满足$0 < -(K_\mathscr{X} + \Delta) \cdot \mathscr{L}_k \leq 2 \cdot \dim(X)$，提供统一的负性界。
• 抛物线射线$\mathbb{R}_+[{\mathscr{L}}_k]$在$\mathrm{N}_1(\mathscr{X})_{(K_\mathscr{X}+\Delta)<0}$中是局部离散的，确保锥结构良好。
• 该构造即使在边界无正则性（如非klt或dlt）时仍成立，且可推广至非紧致与非概型情形。
• 界$2 \cdot \dim(X)$并非最优，通过修改构造可获得更优界（如$\dim(X)+1$），尤其在非概型情形下更优。
• 该结果表明，若$K_\mathscr{X} + \Delta$非伪有效，则模空间$V$被$\mathbb{A}^1$-映射的像所覆盖，推广了紧致情形下的已知结果。