[论文解读] Int-amplified endomorphisms on normal projective surfaces

Yohsuke Matsuzawa, Shou Yoshikawa|arXiv (Cornell University)|Feb 16, 2019

Algebraic Geometry and Number Theory参考文献 11被引用 4

一句话总结

本文通过构建一个等变极小模型程序（MMP）对具有整放大自同态的正常射影曲面进行分类，证明其输出结果为 Q-阿贝尔曲面、光滑曲面的准 étale 商、Mori 梦空间，或椭圆曲线上的射影锥。关键贡献在于在反 canonical 除子的 Iitaka 维数为 0 或 1 的情形下，显式构造了准 étale 覆盖，揭示了与自同态相容的新几何结构。

ABSTRACT

We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-étale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve.

研究动机与目标

• 对代数闭域上特征为零的正常射影曲面，分类其具有整放大自同态的情形。
• 通过等变方式应用极小模型程序（MMP），理解此类曲面的几何结构。
• 在反 canonical 除子的 Iitaka 维数为 0 或 1 的情形下，显式构造从光滑曲面出发的准 étale 有限覆盖。
• 识别整放大自同态在曲面上的等变 MMP 可能结果，包括 Mori 梦空间与椭圆曲线上的射影锥。

提出的方法

• 对具有整放大自同态 f 的正常射影曲面 X 应用等变极小模型程序（MMP），确保 f^n 在序列的每一步均诱导自同态。
• 利用 f^*H - H 为ample（对某个 ample Cartier 除子 H）的性质，确保与 MMP 的相容性并控制奇点。
• 从光滑曲面 Y 构造准 étale 有限覆盖 h: Y → X，其中 Y 为椭圆曲线上的极小射线曲面，并将自同态 f 提升至 Y 上。
• 利用射线曲面在椭圆曲线上的几何性质以及基上乘法-by-n 映射的作用，构造整放大自同态的显式例子。
• 分析反 canonical 除子 -K_X 的 Iitaka 维数，以分类 MMP 的可能结果，按 κ(-K_X) = 0, 1, 2 或拟有效性进行区分。
• 利用在基曲线（P^1 或点）上诱导的自同态可提升至覆盖的性质，确保等变性与商结构的相容性。

实验结果

研究问题

• RQ1 具有整放大自同态的正常射影曲面 X 的可能几何结构是什么？
• RQ2 此类曲面的等变 MMP 是否可用于分类可能结果？区分它们的不变量是什么？
• RQ3 在反 canonical 除子的 Iitaka 维数为 0 或 1 的情形下，能否从光滑曲面构造一个准 étale 覆盖，使其能提升自同态？
• RQ4 当 canonical 除子为拟有效或非拟有效时，曲面的结构如何变化？
• RQ5 在何种精确条件下，曲面为 Mori 梦空间或椭圆曲线上的射影锥？

主要发现

• 曲面 X 是 Q-Gorenstein 对数极小，且存在 f^n-等变 MMP 序列，其终点为曲线 C 或一点。
• 若 K_X 为拟有效，则 MMP 以 Fano 约化至曲线 C 结束；否则，其终点为 Picard 数为 1 且 -K_X 为 ample 的点。
• 当 C ≃ P^1 且 κ(-K_X) = 0 或 1 时，存在从椭圆曲线上极小射线曲面出发的准 étale 有限覆盖 h: Y → X，且 f 可提升为 Y 上的自同态。
• 当 κ(-K_X) = 2 时，X 为 Mori 梦空间；当 MMP 以点结束时，X 要么为椭圆曲线上的射影锥，要么为 Mori 梦空间。
• 定理 1.2 的情形 (3) 和 (4) 中准 étale 覆盖的构造，通过椭圆曲线上的射线曲面为具有整放大自同态的曲面提供了新的几何实现。
• 通过椭圆曲线上的射影丛及乘法-by-n 映射的作用，显式构造了例子，从而在商曲面上得到整放大自同态。