[论文解读] Automorphism groups of smooth plane curves

Takeshi Harui|arXiv (Cornell University)|Jun 25, 2013

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

一句话总结

本文对次数至少为四的光滑平面曲线的有限自同构群进行了分类，建立了其阶数的精确上界——表明当 $d \neq 4,6$ 时最大值为 $6d^2$，且由费马曲线实现——并证明了在射影等价意义下具有此类最大自同构群的曲线的唯一性。此外，本文识别出五类自同构群的结构类型，其中异常情况源于费马曲线或克莱因曲线的后裔。

ABSTRACT

The author determines the structure of automorphism groups of smooth plane curves of degree at least four. Furthermore, he gives some upper bounds for the order of automorphism groups of smooth plane curves and classifies the cases with large automorphism groups. This paper also contains a simple proof of the uniqueness of smooth plane curves with the full automorphism group of maximal order for each degree.

研究动机与目标

• 对次数 $d \geq 4$ 的光滑平面曲线的所有有限自同构群进行分类。
• 确定此类曲线的自同构群阶数的精确上界。
• 刻画自同构群阶数达到最大可能值的光滑平面曲线。
• 证明在射影等价意义下，具有最大阶自同构群的光滑平面曲线的唯一性。

提出的方法

• 利用 $\mathrm{PGL}(3,\mathbb{C})$ 的子群结构，对光滑平面曲线的自同构群进行分类。
• 应用黎曼-霍兹公式与群论技术，对自同构群的阶数进行上界估计。
• 通过核心多项式与群作用，引入费马曲线和克莱因曲线的“后裔”概念。
• 利用齐次多项式的“核心”来分析自同构作用下定义方程的结构。
• 运用表示论与单位根作用，分析自同构在定义多项式上的不变量。
• 应用群同态 $\rho: \mathrm{PBD}(2,1) \to \mathrm{PGL}(2,\mathbb{C})$ 来研究稳定子与不动结构。

实验结果

研究问题

• RQ1 次数 $d \geq 4$ 的光滑平面曲线可能的有限自同构群有哪些？
• RQ2 光滑平面曲线次数为 $d$ 时，其自同构群阶数的最紧上界是什么？
• RQ3 哪些光滑平面曲线在给定次数下实现了最大可能的自同构群阶数？
• RQ4 在何种条件下，光滑平面曲线由其完整的自同构群唯一确定（在射影等价意义下）？
• RQ5 光滑平面曲线的自同构群与费马曲线或克莱因曲线的自同构群有何关联？

主要发现

• 次数 $d \geq 4$ 的光滑平面曲线的完整自同构群属于以下五类之一：循环群、$\mathrm{PGL}(2,\mathbb{C})$-子群的循环扩张、费马曲线的后裔、克莱因曲线的后裔，或 $\mathrm{PGL}(3,\mathbb{C})$ 的本原子群。
• 当 $d \neq 4,6$ 时，光滑平面曲线自同构群的最大阶数为 $6d^2$，且仅由费马曲线 $X^d + Y^d + Z^d = 0$ 实现。
• 当 $d \geq 5$ 时，唯一满足自同构群阶数为 $3(d^2 - 3d + 3)$ 的光滑平面曲线是克莱因曲线 $XY^{d-1} + YZ^{d-1} + ZX^{d-1} = 0$。
• 若光滑平面曲线的自同构群阶数大于 $d^2$，则其在射影等价意义下同构于以下之一：费马曲线 $F_d$、曲线 $F_d''$、克莱因曲线 $K_d$，或由 $Z^d + XY(X^{d-2} + Y^{d-2}) = 0$ 定义的曲线。
• 在射影等价意义下，费马曲线 $F_d$ 是唯一满足自同构群阶数为 $6d^2$ 的次数 $d$ 的光滑平面曲线。
• 当 $|G| > d^2$ 时，曲线 $C$ 是费马曲线或克莱因曲线的后裔，或属于一个特殊情形，其不动点不在曲线上，且群结构由单位根作用决定。