[论文解读] On the birational automorphisms of varieties of general type

Christopher D. Hacon, James McKernan+1 more|arXiv (Cornell University)|Nov 5, 2010

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

一句话总结

该论文证明了在维度 $n$ 下，一般型射影代数簇的双有理自同构数量被其 canonical volume 的常数倍所控制，即 $c \cdot \operatorname{vol}(X,K_X)$，其中常数 $c$ 仅依赖于 $n$。证明方法结合了全局商对数对、体积有界性以及子邻接理论，表明商簇的体积有正下界，从而在体积的表达下得到自同构群大小的统一有界性。

ABSTRACT

We show that the number of birational automorphisms of a variety of general type X is bounded by c \cdot \vol(X,K_X), where c is a constant which only depends on the dimension of X.

研究动机与目标

• 建立一般型代数簇的双有理自同构群大小在 canonical volume 表达下的统一上界。
• 解决一个长期存在的问题：在高维情形下，自同构群阶的增长是多项式还是指数级的？
• 证明全局商对数对 $(X, \Delta)$ 的体积有正下界，且该下界仅依赖于维度 $n$，从而确保自同构群的有界性。

提出的方法

• 使用全局商构造：对于一个一般型代数簇 $Y$ 及其自同构群 $G$，构造商簇 $X = Y/G$ 和一个 $\mathbb{Q}$-除子 $\Delta$，使得 $K_Y = \pi^*(K_X + \Delta)$。
• 应用对数对理论及 $K_X + \Delta$ 的体积，将 $\operatorname{vol}(Y,K_Y)$ 与 $|G| \cdot \operatorname{vol}(X,K_X + \Delta)$ 联系起来。
• 利用归纳法与对数 plurigenus 的形变不变性，证明 $\operatorname{vol}(X,K_X + \Delta)$ 有仅依赖于维度 $n$ 的正下界 $\delta > 0$。
• 通过子邻接理论及在一般点处存在非 klt 中心的事实，推导出子簇上的体积下界。
• 应用对数对的有界性结果及体积的 DCC（降链条件），证明全局商对数对的可能体积集合满足 DCC。
• 最终得出 $|G| \leq c \cdot \operatorname{vol}(Y,K_Y)$，其中 $c = 1/\delta$，且 $\delta$ 仅依赖于 $n$。

实验结果

研究问题

• RQ1 一般型代数簇的双有理自同构群大小能否以 canonical volume 表达为有界？
• RQ2 在维度 $n$ 下，是否存在一个与具体代数簇无关的全局商对数对 $(X, \Delta)$ 的体积正下界？
• RQ3 当 $Y$ 为一般型且 $G$ 为其自同构群时，商簇 $X = Y/G$ 的体积是否保持远离零？
• RQ4 能否利用有界对数对的体积 DCC 来证明高维情形下自同构群的有限性？
• RQ5 在高维情形下，自同构群相对于体积的增长是否超过指数增长？

主要发现

• 任意 $n$ 维一般型代数簇的双有理自同构数量被 $c \cdot \operatorname{vol}(X,K_X)$ 所控制，其中 $c$ 仅依赖于 $n$。
• 与一般型代数簇的全局商构造相关的对数对 $(X, \Delta)$ 的体积有正下界 $\delta > 0$，且 $\delta$ 仅依赖于 $n$，从而保证该界是有效的。
• 该界中的常数 $c$ 的增长速度超过指数函数，如通过 Fermat 超曲面（$m = n+3$）的反例所示，当 $n \geq 5$ 时，比值 $|\operatorname{Aut}(X)| / \operatorname{vol}(X,K_X)$ 超过 $42^n$。
• 证明依赖于维度的归纳法，结合对数 plurigenus 的形变不变性与子邻接理论，推导出子簇上的体积下界。
• 在维度 $n$ 下，全局商对数对的体积集合满足 DCC（降链条件），这对有界性论证至关重要。
• 该结果在正特征下不成立，如单位群 $U_{n+2}(q)$ 作用于 Fermat 超曲面的反例所示，此时自同构群的增长快于任何多项式函数。