On the Morrison-Kawamata dream space and its applications

技术摘要：论 Morrison-Kawamata 梦空间及其应用

问题陈述
本文旨在解决建立一个统一的公理化框架，以刻画满足 Morrison-Kawamata (MK) 锥猜想的代数簇的需求。虽然 Mori 梦空间 (MDS) 为 Fano 型簇提供了稳健的理论，且 Calabi-Yau (CY) 型簇是研究 MK 锥猜想的核心，但在非 Fano 型且非严格 Calabi-Yau 型的簇之间存在着理论空白。作者旨在开发一种理论，通过公理化满足 MK 锥猜想的簇的性质，从而将 MDS 的结构性结果（如室分解和有界性）扩展到更广泛的簇类别中，包括 CY 型簇以及具有非平凡正则因子的其他簇。

方法论
作者引入了 Morrison-Kawamata 梦 (MKD) 空间与 MKD 纤维空间的概念。其方法论依赖于：

1. 公理化定义： 通过四个条件定义 MKD 空间：$\mathbb{Q}$-分解性（$\mathbb{Q}$-factoriality）、所有有效 $\mathbb{R}$-Cartier 除子的良性极小模型的存在性、存在一个在伪自同构群作用下覆盖可移动锥的有理多面体锥 $\Pi$，以及有效锥的“正则模型的局部分解性”。
2. 组合几何： 利用 Néron-Severi 空间中凸锥的几何，特别是 Shokurov 多胞形的结构，以及将锥分解为极小模型保持不变的各个“室”（chambers）的结构。
3. 极小模型纲领 (MMP)： 在 MKD 纤维空间范畴内，建立对于有效除子的带缩放 MMP 的终止性。
4. 形变与特化： 利用展开（spreading-out）与特化技术，通过协变消失条件（$H^1 = H^2 = 0$）来控制锥的行为，从而将几何泛型纤维的几何性质与 Zariski 稠密子集上的纤维联系起来。
5. 群作用： 分析伪自同构群 ($\text{PsAut}$) 和自同构群 ($\text{Aut}$) 在可移动锥、正定锥（nef cone）及有效锥上的作用，并将这些作用扩展到作用于正则正定锥的泛型自同构群 ($\text{GAut}$)。

核心贡献与结果

• 定义与等价性： 本文定义了 MKD 纤维空间，并证明（定理 1.3）在绝对情形下，该概念等价于一组类似于 MDS 但适用于双有理作用（特别是存在可移动锥的伪自同构基本域）的条件。这通过单一框架统一了 MDS 与 CY 型簇（在锥猜想和良性极小模型猜想成立的前提下）。
• 室结构：
  • Shokurov 多胞形： 作者建立，对于任何生成良性极小模型存在的有效除子的锥，该锥都分解为有限个弱极小模型保持不变的有理多面体室（定理 1.4）。
  • 正定锥与有效锥： 他们证明了有效除子的正定锥 ($\text{Nef}_e$) 是一个有理多面体锥，并且在自同构群的作用下拥有一个有理多面体基本域（定理 1.5，定理 1.6）。
• 在 MMP 与收缩下的稳定性：
  • MKD 纤维空间类被证明在小 $\mathbb{Q}$-分解修改和双有理收缩下是封闭的（定理 1.7）。
  • 证明了对于 MKD 纤维空间上的任何有效除子 $D$，带扩充振幅除子缩放的 $D$-MMP 都会以良性极小模型终止（定理 1.8）。
• 形变不变性：
  • 本文建立了 MKD 纤维空间中正定锥、有效锥、可移动锥以及 Mori 室分解的泛型形变不变性（定理 1.10）。这是通过对基底进行分层并利用正则正定锥的性质来实现的。
  • 结果表明，几何泛型纤维是 MKD 空间意味着其在 Zariski 开集上的纤维是“近似” MKD 空间（定理 6.17），满足必要的锥猜想和局部分解性属性。
• 模的有界性：
  • 应用形变不变性结果，作者证明了一个有界性定理（定理 1.11）。在假设有理连通 Calabi-Yau 簇满足 MK 锥猜想和良性极小模型猜想的前提下，他们证明了此类簇构成一个有界族。这是通过构造一个使每个此类簇都作为其纤维（或其双有理收缩）的纤维化来实现的。

意义与主张
本文声称，MKD 空间是双有理几何中 Calabi-Yau 型簇的一种自然推广，类似于 Mori 梦空间在 Fano 型簇中所扮演的角色。其重要性在于：

1. 统一性： 提供了一个概念框架，将局部 MDS 理论的“粘合”扩展到具有平凡正则因子的簇及更广泛的领域。
2. 概念化证明： 证明了通过 MKD 空间的视角来看待锥结构和有界性问题时，证明过程会变得更加概念化，而非依赖于在一般情形下可能不成立的具体消失定理。
3. 有界性： 在假设满足 MK 锥猜想的情况下，解决了有理连通 Calabi-Yau 簇的模空间的有界性问题，这一结果关键性地依赖于为 MKD 纤维空间建立的锥的形变不变性。

作者明确指出，尽管该理论是稳健的，但某些病态现象（例如在一般情况下缺乏极值射线长度的有界性）使得特定的假设（如正则模型的局部分解性）变得必要。本文并不声称解决了 MK 锥猜想本身，而是通过公理化其有效性的后果，以促进模理论和形变理论的进一步研究。