[论文解读] On Finiteness of B-representation and Semi-log Canonical Abundance

Christopher D. Hacon, Chenyang Xu|arXiv (Cornell University)|Jul 21, 2011

Advanced Algebra and Geometry参考文献 14被引用 15

一句话总结

本文提出了一类具有半正则对偶除子的 dlt 对的 B-表示有限性的新证明，利用 Hodge 理论与对数典范中心上的 Kollár 黏合理论。作为关键应用，它表明半对数典范丰沛性猜想可由对数典范丰沛性猜想推出，解决了相对情形，并证实了 Birkar 与 Kollár 关于数值平凡除子的有理等价性的猜想。

ABSTRACT

We give a new proof of the finiteness of B-representations. As a consequence of the finiteness of B-representations and Kollár's gluing theory on lc centers, we prove that the (relative) abundance conjecture for slc pairs is implied by the abundance conjecture for log canonical pairs.

研究动机与目标

• 为具有半正则对偶除子的 dlt 对的 B-表示有限性提供一种新的、基于 Hodge 理论的证明。
• 通过 Kollár 的黏合理论，建立相对半对数典范丰沛性猜想可由对数典范丰沛性猜想推出。
• 解决长期存在的关于相对情形下数值平凡除子有理等价性的开放问题。
• 将对数典范情形下关于半正则除子的已知结果推广至半对数典范情形，特别是在相对射影情形下。
• 在相对半正则性条件下，证实 Birkar 与 Kollár 关于半对数典范对中数值平凡与有理平凡等价性的猜想。

提出的方法

• 通过对数解析与态射全空间上线丛的上同调，构造基于 Hodge 理论的 B-表示。
• 在亏格为零的情形下应用 B-表示的有限性，基于 Gongyo 的结果与 Fujino 的框架。
• 利用 Kollár 对对数典范中心的黏合理论，将半对数典范对的正规化与其对应正规情形关联。
• 通过双有理自同构构造双点概形的商，并分析通用纤维上 B-表示的图。
• 应用 Kollár 的单性定理与基点自由定理，推导出基空间上线丛的全局生成性与半正则性。
• 通过维数归纳法并运行带缩放的相对 MMP，将问题约化至 klt 情形，此时已知的良模型结果可适用。

实验结果

研究问题

• RQ1 dlt 对的 B-表示有限性是否蕴含半对数典范对的相对丰沛性猜想？
• RQ2 能否通过黏合技术将半对数典范丰沛性猜想约化为对数典范丰沛性猜想？
• RQ3 若一个相对半对数典范除子在相对意义下是数值平凡的，它是否在基上也是数值平凡的？
• RQ4 若半对数典范对的正规化上的对偶除子在基上是半正则的，是否意味着原对上的对偶除子也是半正则的？
• RQ5 在基空间不具有射影性的情况下，能否建立 Birkar–Borisov–Borisov–Cheltenham 猜想的相对版本？

主要发现

• 对于具有半正则对偶除子的 dlt 对，其 B-表示在足够可除的倍数下具有有限像，从而给出了该有限性的新 Hodge 理论证明。
• 若通过正规化得到的对数典范对满足丰沛性猜想，则相对半对数典范丰沛性猜想成立。
• 在给定分解下，当其在正规化上的拉回在 $S$ 上是半正则时，$K_X + \nabla$ 在 $S$ 上是半正则的。
• Birkar 关于在特定基点集与正性条件下 nef 除子的半正则性的猜想，在相对情形下得到证实。
• 对于满足 $K_X + \nabla \chi_{\mathbb{Q},S} 0$ 的半对数典范对，有 $K_X + \nabla \sim_{\mathbb{Q},S} 0$，解决了 J. Kollár 于 2009 年提出的问题。
• 该证明在完全一般的情形下确立了半对数典范对的相对丰沛性猜想，推广了此前需基空间射影或绝对情形的已知结果。