[论文解读] Bound of automorphisms of projective varieties of general type

Hajime Tsuji|ArXiv.org|Apr 21, 2000

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

一句话总结

本文在复数域上建立了光滑射影 $n$-倍体（一般型）的自同构群阶的统一上界，证明了 $|Δ ext{Aut}(X)| \leq C_n \cdot \mu(X, K_X)$，其中 $C_n$ 仅依赖于 $n$，而 $\mu(X, K_X)$ 为 canonical volume。证明结合了轨道丛几何、乘子理想层与解析 Zariski 分解，利用双有理模型的有界性及丢番图估计，导出了依赖于体积的上界。

ABSTRACT

We prove that there exists a positive number $C_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, the automorphism group $Aut(X)$ satisfies the inequality $\sharp{Aut}(X)\leq C_{n}\cdotμ(X,K_{X})$, where $μ(X,K_{X})$ is the volume of $X$ with respect to $K_{X}$.

研究动机与目标

• 建立复数域上光滑射影 $n$-倍体（一般型）自同构群大小的统一上界。
• 将曲线（$\sharp\mathrm{Aut}(C) \leq 84(g-1)$）与曲面（$\sharp\mathrm{Aut}(S) \leq 1764 \cdot K_S^2$）的经典结果推广至高维情形。
• 证明自同构群的阶受 canonical volume $\mu(X, K_X)$ 控制，且常数 $C_n$ 仅依赖于 $n$。
• 证明轨道丛 canonical volume $K_{X/G,\text{orb}}^n$ 有仅依赖于 $n$ 的正下界 $c_n$，从而推出主上界。

提出的方法

• 利用有限自同构群 $G = \mathrm{Aut}(X)$ 在 canonical ring $R(X, K_X)$ 上的作用，将问题约化为 $X$ 为 canonical model 且 $K_X$ 幅值、具有 canonical 奇点的情形。
• 通过 $X/G$ 的解析展开，定义轨道丛 canonical 除子 $K_{X/G,\text{orb}}$，使用公式 $K_{\tilde{X}} = \tilde{\pi}^*(K_{\tilde{X}/G} + \sum \frac{m_i - 1}{m_i} B_i)$。
• 应用 [6] 中的子邻接公式，将 log-canonical 奇点的最小中心的 canonical 除子与 $K_X$ 关联。
• 利用 [15] 中的归纳有界性结果，证明当 $\mu(X/G, K_{X/G,\text{orb}}) \leq 1$ 时，$X/G$ 是双有理有界的。
• 运用 Nadel 的消去定理与解析 Zariski 分解，控制乘子理想层与 $L^2$-截面。
• 利用有理数分数部分的丢番图估计，对轨道丛体积从下方进行有界，从而推出 $K_{X/G,\text{orb}}^n \geq c_n$。

实验结果

研究问题

• RQ1 光滑射影 $n$-倍体（一般型）的自同构群能否以 canonical volume 为基准实现统一上界？
• RQ2 轨道丛 canonical volume $K_{X/G,\text{orb}}^n$ 是否存在仅依赖于 $n$ 的正下界？
• RQ3 曲线与曲面的经典 Hurwitz 与 Xiao 上界能否推广至高维一般型代数簇？
• RQ4 一般型代数簇自同构群的有限性是否足以推出基于体积的统一上界？
• RQ5 乘子理想层与解析 Zariski 分解在控制自同构群大小中起何种作用？

主要发现

• 存在仅依赖于 $n$ 的正数 $C_n$，使得对任意复数域上光滑射影 $n$-倍体 $X$（一般型），均有 $|\mathrm{Aut}(X)| \leq C_n \cdot \mu(X, K_X)$。
• 轨道丛 canonical volume 满足 $K_{X/G,\text{orb}}^n \geq c_n$，其中 $c_n > 0$ 仅依赖于 $n$，此不等式蕴含主上界。
• 当 $n=1$ 时，$c_1 = 1/42$ 恢复 Hurwitz 定理；当 $n=2$ 时，$c_2 = 1/1764$ 恢复 Xiao 的上界。
• 该上界非有效：未给出 $C_n$ 或 $c_n$ 的显式表达式，但通过丢番图与有界性论证证明了其存在性。
• 证明依赖于 canonical ring 的有限生成性（来自 [14]）与子邻接公式（来自 [6]），假设其成立。
• 关键步骤在于证明例外除子与轨道丛贡献之和有界，从而通过分数部分估计得出轨道丛体积的下界。