[论文解读] Automorphism groups and anti-pluricanonical curves

De‐Qi Zhang|arXiv (Cornell University)|May 3, 2007

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

一句话总结

该论文通过证明每个具有无限自同构群且为零熵或ℤ⋉ℤ型的极小光滑射影有理曲面均包含一条反普利坎诺尼卡勒曲线，从而解决了Gizatullin、Harbourne和McMullen的猜想。作者为曲面自同构群建立了最强形式的Tits选择性定理，并表明这些曲线源于周期曲线与典范除子的动力学，从而对有理曲面上的自同构群提供了结构性分类。

ABSTRACT

We show the existence of an anti-pluricanonical curve on every smooth projective rational surface X which has an infinite group G of automorphisms of either null entropy or of type Z . Z (semi-direct product), provided that the pair (X, G) is minimal. This was conjectured by Curtis T. McMullen (2005) and further traced back to Marat Gizatullin and Brian Harbourne (1987). We also prove (perhaps) the strongest form of the famous Tits alternative theorem.

研究动机与目标

• 解决关于具有无限自同构群的有理曲面上反普利坎诺尼卡勒曲线存在性的长期猜想。
• 为复射影曲面自同构群建立最强可能形式的Tits选择性定理。
• 通过周期曲线与典范除子表征自同构群的动力学结构。
• 证明极小对 (X, S) 若具有无限自同构群且为零熵或ℤ⋉ℤ型，则可进行G-等变的爆破下拉至具有反普利坎诺尼卡勒曲线的曲面。

提出的方法

• 通过Picard群与Néron-Severi群上的作用分析有理曲面上自同构群的动力学。
• 应用反普利坎诺尼卡勒除子与数值等价的理论，构造满足Supp(Δ) ⊆ Stab(g)（即g-周期曲线的集合）的有效Q-除子Δ。
• 利用Zariski引理与线性代数求解交点方程，证明满足KX + Δ ≡ 0的Δ的唯一性。
• 采用爆破技术将问题约化至极小对(Y, S)，其中Y具有反普利坎诺尼卡勒曲线。
• 应用Riemann-Roch定理与对数Enriques曲面理论，对反典范除子的指标d进行有界，得到d ≤ 21。
• 利用极小性假设排除Null(L)中的例外曲线，并通过交点形式的负性导出矛盾。

实验结果

研究问题

• RQ1 每个具有无限自同构群且为零熵的极小有理曲面是否都包含一条反普利坎诺尼卡勒曲线？
• RQ2 曲面自同构群的Tits选择性定理是否可加强至包含具有有限正规子群的半直积结构？
• RQ3 当自同构群无限且该对为极小时，反s-普利坎诺尼卡勒曲线的指标s是否存在统一上界？
• RQ4 亏格≥1的周期曲线或自交数≤-2的有理曲线在反普利坎诺尼卡勒曲线存在性中起何作用？
• RQ5 在何种条件下，周期曲线集合会收缩为商奇点？这如何影响反典范除子的指标？

主要发现

• 每个具有无限自同构群且为零熵的极小有理曲面，均存在G-等变光滑爆破下拉至曲面Y，使得K²(Y) ≥ 0，从而存在反普利坎诺尼卡勒曲线。
• 若G在Aut(Pic(X))中的像为无限，则可选取Y使得-KY为 nef 且KY² = 0，从而保证存在反1-普利坎诺尼卡勒曲线。
• 对于满足特定有限性与无限性条件的正规列H ◁ A ◁ G，G包含一个零熵且无限阶的子群S，通过爆破可导出反普利坎诺尼卡勒曲线。
• g-周期曲线的集合Stab(g)为Supp(Δ)与可能的若干(−2)-曲线的并集，其中Δ为满足KX + Δ ≡ 0的唯一有效Q-除子。
• 每条反普利坎诺尼卡勒曲线均为Δ的倍数，且Δ在缩放意义下为整除子，其指标d在Stab(g)满足弱条件时满足d ≤ 21。
• 当Stab(g)收缩为商奇点或非有理树的不相交并集时，反典范除子的指标d满足d ≤ 21，从而给出有效上界。