[論文レビュー] Large 2-groups of automorphisms of curves with positive 2-rank

Massimo Giulietti, Gábor Korchmáros|arXiv (Cornell University)|Apr 27, 2011

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

ひとこと要約

本稿は、特徴が 2 の代数閉体上での正の 2-ランクをもつ曲線を構成し、2-部分群の自己同型群の Nakajima の上限 $4(g-1)$ を達成する。この曲線は $γ = g$ を満たし、固定点を持たない位数 $4(g-1)$ の二面体自己同型群を有し、双楕円的であることが示された。また、固定点を持たない 2-部分群で $2g-1$ を超えるものを分類し、二面体群または初等アーベル群と巡回群の半直積を含む場合を特定した。

ABSTRACT

Let K be an algebraically closed field of characteristic 2, and let X be a curve over K of genus g>1 and 2-rank r>0. For 2-subgroups S of the K-automorphism group Aut(X) of X, the Nakajima bound is |S| < 4g-3. For every g=2^h+1>8, we construct a curve X attaining the Nakajima bound and determine its relevant properties: X is a bielliptic curve with r=g, and its K-automorphism group has a dihedral K-automorphism group of order 4(g-1) which fixes no point in X. Moreover, we provide a classification of 2-groups S of K-automorphisms not fixing a point of X and such that |S|> 2g-1.

研究の動機と目的

• 特徴が 2 の代数閉体上での正の 2-ランクをもつ代数的曲線 $χ$ を構成し、$χ$ の自己同型群 $Δ(χ)$ の 2-部分群 $S$ に対して $|S| \leq 4(g-1)$ となる Nakajima の上限に達することを示す。
• 固定点を持たず、$|S| > 2g - 1$ を満たす $χ$ の自己同型群 $Δ(χ)$ の 2-部分群 $S$ を分類すること。特に、$|S|$ が Nakajima の上限に近い場合を対象とする。
• このような 2-部分群の構造において中心的対合の役割を分析する。特に、商曲線を通じた下降を可能にする帰納的中心的対合を考察する。
• Nakajima の上限 $|S| = 4(g - 1)$ を達成する曲線の幾何的および群論的性質を同定する。これには、双楕円的性、種数、2-ランク、自己同型群の構造が含まれる。

提案手法

• Artin-Schreier 方程式 $Y^2 + Y + X^{2^k+1} = 0$ を用いて、$g = 2^h + 1 \geq 9$ の場合に、Nakajima の上限を達成する具体的な曲線を構成し、$γ = g$ を満たし、双楕円的であることを示す。
• 中心的対合 $u \in Z(S)$ を用いた商曲線 $χ/\langle u \rangle = \bar{\mathcal{X}}$ と $Δ(S)/\langle u \rangle = \bar{S}$ を用いて $S$ の構造を分析し、$g - 1 \geq 2(\bar{g} - 1)$ のような種数の上限を適用する。
• 帰納的中心的対合の概念を導入し、$χ$ の各商曲線において $χ$ が固定点を持たず、$χ$ の自己同型群の位数が保存されることを示す。これにより、繰り返しの商曲線を通じた帰納的下降が可能となる。
• Hurwitz の公式と種数の低下不等式を用いて、商曲線に固定点が存在しないことを証明する。特に、$χ$ に固定点があると仮定した場合、$χ$ における $×_{16}$ 上の有理点の数の計算により矛盾を導く。
• MAGMA の計算を用いて、具体的な例（種数 17、2-ランク 9 の曲線）の種数、2-ランク、自己同型群の構造を検証する。この例では、位数 32 の半二面体自己同型群が存在する。
• 商曲線の函数体を分析し、$χ$ が楕円曲線であることを示す。これにより、中心的対合 $u$ は帰納的でないことが証明される。

実験結果

リサーチクエスチョン

• RQ1 特徴が 2 の体上、種数 $g \geq 2$ で正の 2-ランク $\gamma > 0$ をもつ曲線 $χ$ に対して、$χ$ 上に固定点を持たない 2-部分群 $S$ の最大の位数は何か？
• RQ2 固定点を持たず、$|S| > 2g - 1$ を満たす $χ$ の自己同型群 $Δ(χ)$ の 2-部分群 $S$ としてどのようなものが可能か。また、それらの構造的および幾何的性質は何か？
• RQ3 中心的対合 $u$ が、帰納的商群 $χ$ を得る条件は何か？また、このような下降により、このような群の分類がどのように可能になるか？
• RQ4 Nakajima の上限 $|S| = 4(g - 1)$ を達成する曲線は、明示的に構成可能か？また、それらの幾何的不変量（双楕円的性、2-ランクなど）は何か？
• RQ5 2-ランク $\gamma$ は、$|S| > 2g - 1$ かつ $S$ が固定点を持たない場合、自己同型群の構造をどのように決定するか？

主な発見

• 任意の $g = 2^h + 1 \geq 9$ に対して、種数 $g$ および 2-ランク $\gamma = g$ をもつ曲線 $χ$ が存在し、$S$ を位数 $4(g - 1)$ の二面体群として、固定点を持たずに Nakajima の上限 $|S| = 4(g - 1)$ を達成する。
• このような曲線は双楕円的であり、$χ$ の $κ$-自己同型群には、$χ$ 上に固定点を持たない位数 $4(g - 1)$ の二面体部分群が含まれる。これは、これらの条件下で Nakajima の上限が鋭いことを確認する。
• $|S| > 2g - 1$ かつ $S$ が固定点を持たない場合、自己同型群は位数 $4(g - 1)$ の二面体群、または $|S| = 2g + 2$ である半直積 $D \rtimes E$ である。ここで $D$ は指数 2 の初等アーベル群、$E$ は位数 2 の巡回群である。
• もし $S$ がアーベル群で条件を満たすならば、$S$ は初等アーベル群でなければならず、$χ$ はハイパーエリプティック曲線である。これは群構造に対する強い制約を示す。
• 種数 17、2-ランク 9 の曲線を例として構成し、位数 32 の半二面体自己同型群を有する。その中心的対合 $u$ は $χ$ 上に固定点を持たず、商曲線 $χ$ は楕円曲線であるため、$u$ は帰納的でない。
• 種数 17 の曲線の自己同型群 $G = \mathrm{Aut}(\mathcal{X})$ は正確に $G = \mathrm{Aut}(\mathcal{X})$ であり、$|G| = 32 = 4(\gamma - 1)$ を満たす。これは、$\gamma = 9$ の場合に Nakajima の上限が鋭いことを示している。