Cyclotomic Numbers of Order $q-1$ over $\mathbb{F}_{q^r}$

以下は、Hayaki Kudo と Yuto Nogata による論文「$\mathbb{F}_{q^r}$ 上の $q-1$ 次分円数」の詳細な技術的要約である。

1. 問題設定

本論文は、有限体上の分円数 $(a, b)_e$ を調査するものであり、特に分円次数が $e = q-1$ であり、基礎体が拡大 $\mathbb{F}_{q^r}$（ここで $q=p^n$、$r \ge 2$）であるという文脈に焦点を当てている。

• 定義: $k = \frac{q^r-1}{q-1}$ とする。分円数 $(a, b)_{q-1}$ は、$\mathbb{F}_{q^r}$ における $q-1$ 次の分円剰余類 $C_a$ に属する要素 $x$ のうち、$x+1 \in C_b$ となるものの個数を表す。
• 背景: 固定された $e$ に対して $|F| \to \infty$ としたときの漸近挙動（$(a,b)_e \sim |F|/e^2$）は既知であり、大きな標数に対する上界も存在するが、本論文は $e = q-1$ が体サイズ $q^r$ に対して固定されるという特定の族に焦点を当てている。
• 核心的な問い: 著者らは、すべての $0 \le a, b \le q-2$ に対して不等式 $(a, b)_{q-1} \le \lceil k/2 \rceil$ が成り立つかどうかを決定することを目的としている。この上界は、分円に関連する特定の行列のランクや、ノルム方程式の解の分布と関連しているため重要である。

2. 手法

著者らは、代数整数論、指標和、およびグラフ理論を組み合わせた多面的なアプローチを採用している。

1. 指標和の定式化:

   • 彼らは $(a, b)_{q-1}$ を $\mathbb{F}_{q^r}$ 上の乗法指標とヤコビ和を用いて表現する。
   • 相対ノルム写像 $N = N_{\mathbb{F}_{q^r}/\mathbb{F}_q}$ を利用することで、拡大体上のヤコビ和を基底体 $\mathbb{F}_q$ 上のヤコビ和のべき乗に関連付ける。
   • 和を、関与する指標が自明か非自明かに基づいてケース分けし、主要項と誤差項に分解する。

2. 評価と上界:

   • 主要項の解析: 主要項は自明な指標の場合から導かれ、$q^r$ と $(q-2)^r$ を含む明示的な式となる。
   • 誤差項の評価: 誤差項には非自明な指標が含まれる。ハッセ・ダavenport 関係式とガウス和の性質を用いることで、この項の大きさを $O(q^{r/2})$ で抑える。
   • ケース分析: 彼らは、$q$ と $r$ のさまざまな偶奇について、主要項と誤差項の和を $\lceil k/2 \rceil$ と比較することで、不等式 $(a, b)_{q-1} \le \lceil k/2 \rceil$ を厳密に分析する。

3. ケイリー有向グラフの解釈:

   • 著者らは、有向ケイリーグラフ $\Gamma_q$ を用いて $(a, b)_{q-1}$ の構造的解釈を提供する。
   • 頂点を $G_q = \mathbb{F}_q^\times \times \mathbb{F}_q^\times$ とし、辺の集合を $\Omega_q = \{(x, 1-x) \mid x \in \mathbb{F}_q \setminus \{0, 1\}\}$ によって決定するグラフを定義する。
   • 分円数は、このグラフにおける長さ $r$ の歩道の数、特に単位元から $a$ と $b$ によって決定される目標頂点への歩道の数に関連することが示される。これにより、隣接行列 $A_q$ を含む厳密な式が得られる。

4. 特殊な場合（$r$ が素数の場合）:

   • 奇素数 $r = \ell$ の場合、彼らは $\mathbb{F}_q$ 上の解の最小多項式の次数に基づいて解集合を分解する。
   • $\mathbb{F}_q$ 内の解（次数 1）と $\mathbb{F}_{q^\ell} \setminus \mathbb{F}_q$ 内の解（次数 $\ell$）を区別し、既約多項式と結果式の性質を利用する。

3. 主要な貢献と結果

A. 主要定理（不等式の妥当性）

本論文は、$q = p^n, r \ge 2, k = \frac{q^r-1}{q-1}$、および $e = q-1$ に対して以下を証明する。

• 一般の場合: $q \neq 2$ ならば、すべての $0 \le a, b \le q-2$ に対して $(a, b)_{q-1} \le \lceil k/2 \rceil$ が成り立つ。
• 例外: $q = 2$ かつ $r \ge 3$ の場合、不等式は成立しない。具体的には、$(0, 0)_1 = 2^r - 2$ であるのに対し、$\lceil k/2 \rceil = 2^{r-1}$ である。$r \ge 3$ に対して $2^r - 2 > 2^{r-1}$ であるため、この上界は破られる。
• 等号成立の場合: $q=2$ かつ $r=2$ の場合、等号が成立する（$2^2-2 = 2 = \lceil 3/2 \rceil$）。

B. 厳密な公式

著者らは $(a, b)_{q-1}$ に対する厳密な公式を導出する。
$$(a, b)_{q-1} = \frac{q^r - (-1)^{r-1}(q-2)^r - 2}{(q-1)^2} + (-1)^{r-1} W_{(-1)^r \omega^{ak}, \omega^{bk}}(q, r)$$
ここで、$W_{u,v}(q, r)$ はケイリーグラフ $\Gamma_q$ における $(1,1)$ から $(u,v)$ への長さ $r$ の歩道の数である。

C. 素数 $r$ に対するより鋭い上界

$r = \ell$ が奇素数であるとき、著者らは一般的な $\lceil k/2 \rceil$ よりも著しく鋭い上界を提供する。

• $p = \ell$ の場合: $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + 1$。
• $p \neq \ell$ の場合: $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + \ell - 1$。
• 特に $r=2$ の場合: $(a, b)_{q-1} \in \{0, 1, 2\}$。
• 特に $r=3$ の場合: $6 \le (a, b)_{q-1} \le 2q + 4$。

D. 行列による解釈

本論文は、分円数を導入部で定義された行列 $C(a,b)$ のランクと関連付けている。$q=2, r \ge 3$ の場合における不等式の破れは、行列 $C(0,0)$ がすべての成分が 1 の行列（ランク 1）であることに対応し、これが大きな分円数をもたらす。

4. 意義

• 特定の予想の解決: 本論文は、特定の族 $e=q-1$ に対して上界 $(a, b)_e \le \lceil k/2 \rceil$ が成り立つかどうかという問いを解決する。それは唯一の例外（$q=2, r \ge 3$）を特定し、完全な分類を提供する。
• 構造的洞察: 分円数をケイリーグラフ上の歩道と関連付けることで、従来の解析的数論的手法を補完する新しい組合せ論的視点を提供する。
• 精緻化された評価: 素数 $r$ に対して導出された上界は、一般的な $\lceil k/2 \rceil$ 上界よりもはるかに鋭く、$q$ が大きい場合、分円数は実際には非常に小さい（$r$ に対して指数関数的ではなく、$q$ に対して多項式的）ことを示している。
• 将来の方向性: 著者らは、より一般的な設定における同様の不等式の破れや、それらの破れの場合における行列 $C(a,b)$ の構造的性質に関する未解決の問題を提起している。

要約すると、この研究は $\mathbb{F}_{q^r}$ 上の $q-1$ 次分円数に関する包括的な分析を提供し、指標和の評価とグラフ理論的解釈を組み合わせることで、精密な上界を確立し、標準的な上界が破れる唯一の条件を特定している。