[論文レビュー] Automorphism groups of smooth plane curves

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

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

ひとこと要約

本稿は、4次以上の滑らかで平面的な曲線の有限自己同型群を分類し、その位数に対する鋭い上界を確立する。特に、$d \neq 4,6$ の場合、最大位数は $6d^2$ であり、これはフェルマー曲線によって達成されることを示し、射影同値を除いてそのような曲線の一意性を証明する。さらに、自己同型群の構造的タイプを5種類に特定し、フェルマー曲線やクライン曲線の「後継者」から生じる例外的な場合を同定する。

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$ における完全自己同型群は、以下の5つのタイプのいずれかに属する：巡回群、$\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$ で定義される曲線。
• 射影同値を除いて、位数 $6d^2$ の自己同型群をもつ滑らかな平面曲線として、フェルマー曲線 $F_d$ が唯一存在する。
• $|G| > d^2$ のとき、曲線 $C$ はフェルマー曲線またはクライン曲線の後継者であるか、曲線上にない点を固定する特別な場合であり、群構造は単位根の作用によって決定される。