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}$ 统计满足 $x \in C_a$ 且 $x+1 \in C_b$ 的元素 $x$ 的个数，其中 $C_a$ 是 $\mathbb{F}_{q^r}$ 中阶为 $q-1$ 的分圆陪集。
• 背景：虽然当 $|F| \to \infty$ 时固定 $e$ 的渐近行为已知（$(a,b)_e \sim |F|/e^2$），且在大特征值情况下存在上界，但本文聚焦于 $e = q-1$ 相对于域大小 $q^r$ 固定的特定族。
• 核心问题：作者旨在确定不等式 $(a, b)_{q-1} \le \lceil k/2 \rceil$ 是否对所有 $0 \le a, b \le q-2$ 成立。该界限具有重要意义，因为它与分圆相关的特定矩阵的秩以及范数方程解的分布有关。

2. 方法论

作者采用了一种结合代数数论、特征和与图论的多面方法：

1. 特征和公式化：

   • 他们利用 $\mathbb{F}_{q^r}$ 上的乘法特征和雅可比和（Jacobi sums）来表达 $(a, b)_{q-1}$。
   • 通过利用相对范映射 $N = N_{\mathbb{F}_{q^r}/\mathbb{F}_q}$，他们将扩域上的雅可比和与基域 $\mathbb{F}_q$ 上雅可比和的幂联系起来。
   • 他们根据所涉特征是平凡还是非平凡将和式分解为不同情形，分离出主项和误差项。

2. 估计与界限：

   • 主项分析：主项源自平凡特征情形，导出了涉及 $q^r$ 和 $(q-2)^r$ 的显式公式。
   • 误差项估计：误差项涉及非平凡特征。利用 Hasse-Davenport 关系和高斯和的性质，他们将该项的幅度界定为 $O(q^{r/2})$。
   • 情形分析：通过比较主项加误差界与 $\lceil k/2 \rceil$，针对 $q$ 和 $r$ 的不同奇偶性，他们严格分析了不等式 $(a, b)_{q-1} \le \lceil k/2 \rceil$。

3. 凯莱有向图解释：

   • 作者利用有向凯莱图（directed Cayley graph）$\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$，则 $(a, b)_{q-1} \le \lceil k/2 \rceil$ 对所有 $0 \le a, b \le q-2$ 成立。
• 例外：若 $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. 意义

• 特定猜想的解决：本文解决了界限 $(a, b)_e \le \lceil k/2 \rceil$ 是否对特定族 $e=q-1$ 成立的问题。它确定了唯一的例外情况（$q=2, r \ge 3$），提供了完整的分类。
• 结构洞察：通过将分圆数与凯莱图上的行走联系起来，本文提供了一种新的组合视角，补充了传统的解析数论方法。
• 精细化估计：针对素数 $r$ 导出的界限比一般的 $\lceil k/2 \rceil$ 界限锐利得多，表明对于大 $q$，分圆数实际上非常小（是 $q$ 的多项式而非 $r$ 的指数函数）。
• 未来方向：作者提出了关于更一般设置中类似不等式失效的问题，以及在这些失效情形下矩阵 $C(a,b)$ 的结构性质等开放性问题。

总之，这项工作对 $\mathbb{F}_{q^r}$ 上 $q-1$ 阶分圆数进行了全面分析，结合特征和估计与图论解释，建立了精确界限，并确定了标准上界失效的独特条件。