[论文解读] On asymptotic base loci of relative anti-canonical divisors of algebraic fiber spaces

Sho Ejiri, Masataka Iwai+1 more|arXiv (Cornell University)|May 10, 2020

Algebraic Geometry and Number Theory参考文献 32被引用 5

一句话总结

本文研究代数纤维丛 $\phi: X \to Y$ 中相对反 canonical除子 $-K_{X/Y}$ 的渐近基簇，为基簇的解析结果提供了代数证明，并探讨了正性。研究结果表明，除非为空，增广基簇与受限基簇均位于横向上；代数证明了 Campana–Cao–Matsumura 等式；通过有限 étale 基变换，部分证实了半正 $-K_{X/Y}$ 的乘积结构猜想。

ABSTRACT

In this paper, we study the relative anti-canonical divisor $-K_{X/Y}$ of an algebraic fiber space $ϕ: X o Y$, and we reveal relations among positivity conditions of $-K_{X/Y}$, certain flatness of direct image sheaves, and variants of the base loci including the stable (augmented, restricted) base loci and upper level sets of Lelong numbers. This paper contains three main results: The first result says that all the above base loci are located in the horizontal direction unless they are empty. The second result is an algebraic proof for Campana--Cao--Matsumura's equality on Hacon--$ m{M^c}$Kernan's question, whose original proof depends on analytics methods. The third result partially solves the question which asks whether algebraic fiber spaces with semi-ample relative anti-canonical divisor actually have a product structure via the base change by an appropriate finite étale cover of $Y$. Our proof is based on algebraic as well as analytic methods for positivity of direct image sheaves.

研究动机与目标

• 理解相对反 canonical 除子 $-K_{X/Y}$ 的正性条件在代数纤维丛中施加的几何约束。
• 为基簇的解析结果建立代数证明，特别是 Campana–Cao–Matsumura 等式的代数证明。
• 研究半正相对反 canonical 除子是否在有限 étale 基变换后蕴含乘积结构。
• 阐明渐近基簇（增广、受限、稳定）、Lelong 数与直接像层平坦性之间的相互作用。

提出的方法

• 使用代数技巧分析 $-K_{X/Y}$ 的渐近基簇，包括稳定、增广与受限基簇。
• 应用直接像层正性理论，特别是通过奇异 Hermitian 度量与曲率估计。
• 利用典范奇异度量与曲率正性控制纤维上基簇的行为。
• 结合代数几何与分析工具（如 Lelong 数、数值维数）研究平坦性与平凡性。
• 利用 klt 与 lc 对偶对的结构，将结果推广至光滑流形之外。
• 应用延拓定理与上同调消去性，推导出全局生成性与基簇控制。

实验结果

研究问题

• RQ1 在何种条件下，增广基簇 $\mathbb{B}_+(-K_{X/Y})$ 与受限基簇 $\mathbb{B}_-(-K_{X/Y})$ 位于横向上？
• RQ2 是否可不依赖分析方法，仅用代数方法证明 Campana–Cao–Matsumura 的基簇等式？
• RQ3 半正相对反 canonical 除子 $-K_{X/Y}$ 是否意味着在有限 étale 基变换后，$X$ 与某纤维 $F$ 的乘积 $Y' \times F$ 有有理等价关系？
• RQ4 Lelong 数与数值平坦性如何与直接像层 $\phi_*\mathcal{O}_X(m(-K_{X/Y}))$ 的平坦性相关？
• RQ5 当 $X$ 具有 lc 奇点而非 klt 奇点时，基簇的行为如何？

主要发现

• 增广基簇 $\mathbb{B}_+(-K_{X/Y})$ 要么为空，要么在 $Y$ 上为满射，且若 $\dim Y > 0$，则 $\dim \mathbb{B}_+(-K_{X/Y}) \geq \dim Y$。
• 给出了 Campana–Cao–Matsumura 等式的代数证明，解决了最初用分析方法证明的问题。
• 对于 lc 对 $(X, \Delta)$，$\mathbb{B}_+(-(K_{X/Y} + \Delta))$ 在 $Y$ 上为满射，除非 $Y$ 为一点。
• 受限基簇 $\mathbb{B}_-(-K_{X/Y})$ 同样位于横向上，其非空性对纤维施加了几何约束。
• 若 $-K_{X/Y}$ 为半正，则在有限 étale 基变换后，$X$ 与某纤维 $F$ 的乘积 $Y' \times F$ 有有理等价关系。
• 在某些正性条件下，直接像层 $\phi_*\mathcal{O}_X(m(-K_{X/Y}))$ 为数值平坦，意味着其在 étale 意义下平坦。