[論文レビュー] On large automorphism groups of algebraic curves in positive characteristic

Massimo Giulietti, Gábor Korchmáros|ArXiv.org|Jun 15, 2007

Algebraic Geometry and Number Theory参考文献 9被引用数 6

ひとこと要約

この論文は、正の標数 p の代数的閉体上での代数曲線を、自己同型群の第1分岐群 G_P^{(1)} が genus g よりも p/(p-1) 倍大きいものについて分類する。分岐パターンと商曲線の分析を通じて、このような曲線は、群作用の下で固定点を持つか、または4つの例外的タイプのいずれかでなければならないことを証明する。それらは、p=2 のときの双曲的曲線、p>2 のときの双曲的曲線、ハーミートン曲線、およびスミスとリーブ群から導かれる DLS/DLR Deligne-Lusztig 曲線である。

ABSTRACT

In his investigation on large $K$-automorphism groups of an algebraic curve, Stichtenoth obtained an upper bound on the order of the first ramification group of an algebraic curve $\cX$ defined over an algebraically closed field of characteristic $p$. Stichtenoth's bound has raised the problem of classifying all $\K$-automorphism groups $G$ of $\cX$ with the following property: There is a point $P\in \cX$ for which \begin{equation} |G_P^{(1)}|>\frac{p}{p-1}g. \end{equation} Such a classification is obtained here by proving Theorem 1.3

研究の動機と目的

• 代数的閉体上の正の標数におけるすべての代数曲線を、ある点 P に対して |G_P^{(1)}| > p/(p-1)g を満たす自己同型群 G を持つものについて分類すること。
• Stichtenoth の第1分岐群の大きさに関する上限に関する長年の未解決問題を解消すること。
• このような曲線が既知の例外的族に属するか、または群作用の下で固定点を持つ必要があるかどうかを特定すること。
• Henn の結果（|G| ≥ 8g³ の場合）を拡張し、非常に大きな自己同型群を持つ曲線の分類をさらに進める。
• 第1分岐群がStichtenothの上限を著しく上回るような曲線の完全な特徴付けを提供すること。

提案手法

• 高次分岐群の理論を用いて、Galois被覆 X → X/G_P^{(1)} の分岐構造を分析する。
• Stichtenoth の上限 |G_P^{(1)}| ≤ 4p/(p-1)g² を適用し、商曲線 X₁ = X/G_P^{(1)} の genus に基づく3つの場合に分ける。
• 自己同型群が大きな曲線の分類（Henn, 1986）を基盤として、候補となる曲線を同定する。
• Sylow p-部分群の構造や自己同型群が点の集合に作用する群論的技法を適用する。
• 群が点の集合への置換表現において非自明な核 M を持つ可能性を検討し、M が p と互いに素な位数の巡回群である商曲線 X/M を得る。
• 2g−2 = |M|(2g̃−2) + (|M|−1)(q+1) などの商曲線の genus 公式を用いて、不可能な構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 正標数におけるどの代数曲線が、第1分岐群 |G_P^{(1)}| が p/(p-1)g を超える自己同型群を持つのか？
• RQ2 非常に大きな自己同型群を持つ既知の族を超えて、このような曲線を分類できるか？
• RQ3 このような大きな第1分岐群の存在が、群が点 P を固定するか、または例外的族のいずれかに属することを示唆するか？
• RQ4 |G_P^{(1)}| > p/(p-1)g のとき、自己同型群の構造とその作用にどのような制約が生じるか？
• RQ5 商曲線と商曲線 X/G_P^{(1)} の genus は、このような曲線の分類にどのように影響するか？

主な発見

• 論文は、|G_P^{(1)}| > p/(p-1)g ならば、群 G が点 P を固定するか、または曲線 X が4つの例外的タイプのいずれかに双有理同値であることを証明している：(II) p=2 の双曲的曲線、(III) ハーミートン曲線、(IV) DLS 曲線、(V) DLR 曲線。
• DLR 曲線（リーブ群の場合）では、条件 |G_P^{(1)}| > p/(p-1)g が、genus 公式における t=1 のときのみ成立し、g = 3n₀(n−1)(n+n₀+1) で n₀=3^r かつ n=3n₀² のときが成り立つ。
• 群 G が点の集合への置換表現において非自明な核 M を持つ場合、|M| は 2 または 3 でなければならないことが示され、|M|=2 かつ g̃=0 のみが一貫した構成をもたらす。
• |M|=2 かつ g̃=0 の場合、G が PGL(2,q) または PSL(2,q) に同型である場合に限り矛盾が生じないため、Henn の分類の (II) が成立する。
• |M|=3 かつ g̃=0 の場合、g = q−1 かつ p > g+1 となるが、これは p が群の位数を割ることを仮定するのと矛盾するため、この可能性は排除される。
• 解析により、Henn の分類における4つの例外的族 (II)–(V) を超える他の族は、|G_P^{(1)}| > p/(p-1)g を満たすことは不可能であると確認された。