On the Maximality, Weierstrass Semigroups, and Automorphism Group of the Curve $Y^{q+1} = X^n(X^n + 1)$

技術的概要：曲線 $y^{q+1} = x^n(x^n + 1)$ の最大性、ワイエルシュトラス半群、および自己同型群

問題提起
本論文は、有限体 $\mathbb{F}_{q^2}$ 上でアフィン方程式
$$y^{q+1} = x^n(x^n + 1)$$
によって定義される代数曲線の族 $X_{n,q}$ を調査する。ここで $n$ は標数 $p$ と互いに素な正の整数である。主な目的は、この曲線の非特異モデルが $\mathbb{F}_{q^2}$-最大となるための正確な条件を決定すること、および種々の有理点のクラスにおけるワイエルシュトラス半群を計算し、曲線の完全な自己同型群を決定することである。本研究は、特に $m=3$ のような特定のケースに関する既存の結果を、$q+1$ の約数によってパラメータ化されたより広範な族へと拡張することを意図している。

手法
著者は、代数幾何学と算術的手法の組み合わせを採用する：

1. 最大性の分析：著者は、最大性が非定数有理写像の下で保存されるという性質を利用する。古典的なヘルミート曲線 $H: u^{q+1} + v^{q+1} + 1 = 0$ から $X_{n,q}$ への被覆写像を構成し、商構造を分析する。また、曲線を $y^2 = x^n + 1$ の形の超楕円曲線に関連付けることで、最大性に関する必要十分条件を導出する。
2. 因子と自己同型群の理論：本論文は、射影 $X_{n,q} \to \mathbb{P}^1$ の分岐構造を分析するためにクンマー拡大理論を利用する。関数 $x$ と $y$ に対する明示的な因子の公式を導出し、種数と自己同型群の構造を決定する。
3. ワイエルシュトラス半群：著者は、指定された極の次数を持つ明示的な有理関数を構成することで、有理点におけるワイエルシュトラス半群 $H(P)$ を決定する。これには以下が含まれる：
   • 分岐点（$0, \infty$ 上の点、および $x^{(q+1)/m} + 1 = 0$ の根）における局所パラメータの分析。
   • 局所パラメータによる展開を用いて、半群におけるギャップと非ギャップを特定する。
   • 単項式展開の係数によって形成される特定の行列のランクを分析することで、集合 $O$（分岐点）内の点と $O$ 外の点を区別する。
4. 自己同型群の決定：著者は、有理点の軌道を分析することで自己同型群を特定する。同じ軌道にある点は同一のワイエルシュトラス半群を共有しなければならないという事実を利用する。$O$ 内の点の半群が $O$ 外の点のそれらと異なることを（緩やかな標数の仮定の下で）証明することにより、可能な自己同型群を対角写像と特定の対合によって生成される特定の部分群に制限する。

主要な貢献と結果

• 最大性の特性付け：
  本論文は、$X_{n,q}$ の非特異モデルが $\mathbb{F}_{q^2}$-最大であるための必要十分条件が $n$ が $q+1$ を割ることであることを証明する。$q+1 = nm$と書くとき、著者は$q+1$の約数$m$によってパラメータ化される最大曲線の族$X_{m,q}$を定義する。これは既知のケース$m=3$ を一般化するものである。

• ワイエルシュトラス半群：
  著者は、いくつかの有理点のクラスにおけるワイエルシュトラス半群の明示的な記述を提供する：

  • 集合 $O$ 内の点（分岐点）：$0, \infty$ 上の点、および $x^{(q+1)/m} + 1 = 0$ の根における半群は、$q$ と $m$ を用いて明示的に決定される。その構造は $m$ の偶奇に依存する。例えば、$\infty$ 上の点における半群は、$m$ が偶数の場合 $\{q+1-m, q+1-\lfloor m/2 \rfloor, \dots, q+1\}$ によって生成され、$m$ が奇数の場合は $\{q+1-m, q+1-m+2, \dots, q, q+1\}$ によって生成される。
  • 集合 $O$ 外の点：本論文は、集合 $O$ 外のほとんどの有理点 $P(a,b)$ において、ワイエルシュトラス半群が $O$ 内のそれらと異なることを示す。具体的には、$m=4$ のケースについて、著者は $q, q+1, q-1$ およびパラメータ $\alpha$ に依存する特定の算術級数を含む生成元を導出する。
  • 軌道の区別：重要な結果として、集合 $O$ が自己同型群の下で単一の軌道を形成するのは、$m = (q+1)/2$ かつ $m$ が偶数（すなわち $q \equiv 3 \pmod 4$）の場合に限られることが示される。他の場合、集合 $O$ はワイエルシュトラス半群に基づいて異なる軌道に分裂する。

• 自己同型群：
  標数 $p$ が $\binom{m/2 + (m \pmod 2)}{1}$ を割らないという緩やかな仮定（これはほとんどの $m$ で満たされる条件）の下で、完全な自己同型群 $\text{Aut}(X_{m,q})$ が決定される：

  • 一般の場合（$m \neq (q+1)/2$ または $m$ が奇数）：この群は、対角自己同型と対合 $\theta_2(x,y) = (y^m/x, y)$ によって生成される、位数 $2(q+1)^2/m$ の半直積に同型である。
  • 特殊な場合（$m = (q+1)/2$ かつ $m$ が偶数）：この群はより大きく、位数は $8(q+1)$ であり、前の群と、$q \equiv 3 \pmod 4$ の場合に限り、4 乗根を含む追加の自己同型 $\theta_4$ によって生成される。

意義
本論文は、$y^{q+1} = x^n(x^n + 1)$ の形の最大曲線の完全な分類を提供すると主張している。$m=3$ という特定のケースから、$q+1$ の約数によってパラメータ化された一般の族へと研究を拡張することにより、この作業は異なる種数を持つ最大曲線の新たな明示的な例を提供する。

ワイエルシュトラス半群の明示的な決定は、幾何学的符号理論に直接的な影響を持つことが強調されている。具体的には、これらの半群と有理点の数の正確な知識は、最小距離を最大化し、次数を高くするなどの最適パラメータを持つ代数幾何（AG）符号（例えばゴッパ符号）を構成するために不可欠である。これらの結果は、これらの応用に必要な理論的および計算的なツールを提供する。

さらに、本論文は、ヘルミート曲線とその商との間の関係を明確にし、有限体上の曲線の算術幾何における根本的な問題であるこれらの曲線の自己同型群を特性付けることで、最大曲線の構造の理解に貢献している。