On the autotopism groups and the equivalence of finite cyclic semifields

技术摘要：关于自同构群与有限循环半域的等价性

问题陈述
有限循环半域最初由 Hughes、Kleinfeld、Sandler 和 Knuth 构建，随后由 Petit 进行推广，并由 Jha 和 Johnson 重新发现，代表了一类重要的非结合除环。尽管 Sandler (1962) 进行了基础性工作，且 Dempwolff (2011) 取得了后续进展，但关于该类族的两个关键问题仍未解决：

1. 循环半域在同构（isotopy）意义下的完整分类。
2. 自同构群（autotopism groups）的完全确定，特别是在域扩张次数严格整除定义多项式次数的情况下（这是 Dempwolff 未能涵盖的情况）。

此外，由于循环半域对应于通过斜多项式环构建的特定最大秩距离（MRD）码的实例，这些码的等价性和自同构问题也未能得到完整的理解。

方法论
作者采用了双重框架方法，利用了描述同一代数族的两个互补的描述方式：

1. 斜多项式模型：利用环 $R = \mathbb{F}_{q^n}[X; \sigma]$ 及其商环 $R_F = R/R_F(X^n)$，其中 $F(Y)$ 是 $\mathbb{F}_q$ 上的一个不可约多项式。码 $S_k(F)$ 被定义为由最高至 $k-1$ 次的 $X$ 的幂次所生成的 $R_F$ 的子空间。
2. 半线性变换模型：将商环 $R_F$ 与向量空间 $V$ 在域 $E \cong \mathbb{F}_{q^s}$ 上的自同构环进行识别。在此设定下，码对应于一个不可约 $\sigma$-半线性算子 $T_F$ 的幂次的扩张。

核心技术策略包括：

• 建立斜多项式商环与半线性算子代数之间的显式同构（定理 3.6）。
• 通过分析 $\mathbb{F}_{q^n}$ 在商环内的中心化子的结构性质，来刻画保持码结构的元素（第 4 节）。
• 将等价问题归约为定义不可约多项式 $F$ 与 $G$ 在涉及域自同构和倒数反转（reciprocal involution）的特定群作用下的比较（第 5 节）。
• 通过结合线性自同构（源自中心化子结构）与由域自同构诱导的半线性对称性，确定完整的自同构群（第 6 节）。

主要贡献与结果

1. 同构与等价下的完整分类：
   本文为两个循环半域（或其相关的 MRD 码 $S_k(F)$ 和 $S_k(G)$）是否同构或等价提供了充分必要条件。

• 线性等价：$S_k(F)$ 与 $S_k(G)$ 是线性等价的，当且仅当存在 $\lambda \in \mathbb{F}_q^\times$，使得 $F(Y) = \lambda^s G(\lambda^{-1}Y)$；或者在 $n=2$ 的特殊情况下，$F(Y) = \lambda^s \hat{G}(\lambda^{-1}Y)$，其中 $\hat{G}$ 是倒数多项式。
• 半线性等价：在素域 $\mathbb{F}_p$ 上，等价成立当且仅当多项式通过域自同构 $\tau \in \text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ 以及上述标量 $\lambda$ 相关联。
• 这些结果得出了关于两两不同构的循环半域以及不等价的 MRD 码数量的显式下界，证明了此类对象具有“极其丰富的供应”，特别是在奇数非平方阶的情况下。

2. 自同构群与自同构群的完全确定：
   作者通过完整刻画循环半域的自同构群以及相关 MRD 码的自同构群，解决了 Dempwolff 留下的开放案例。

• 线性自同构：$\text{Aut}_E(S_k(F))$ 的线性自同构群被显式描述为一对 $(\bar{g}, \bar{g}^{-1}\lambda)$ 的集合，其中 $\bar{g}$ 属于特定的中心化子子群。其阶由以下公式给出：
  $$|\text{Aut}_E(S_k(F))| = \frac{n(q^s - 1)(q^n - 1)^2}{q - 1}$$
  （排除特殊情况 $(n, s, F) = (2, 2, Y^2 - \nu)$，该情况对应于 Hughes-Kleinfeld 半域）。
• 半线性自同构：完整的自同构群符合一个短正合序列：
  $$1 \longrightarrow \text{Aut}_E(C_k(F)) \longrightarrow \text{Aut}(C_k(F)) \longrightarrow H_F \longrightarrow 1$$
  其中 $H_F$ 是由 $F$ 的根决定的 $\text{Aut}_{\mathbb{F}_p}(E)$ 的循环子群。
• 自同构群：对于半域情形（$k=1$），扩展集的半线性自同构群被识别为循环半域的完整自同构群，这为一般情况提供了此前无法获得的完整描述。

3. 计数：
   分类定理允许根据定义多项式在特定群 $G$（或半线性等价下的 $\hat{G}$）作用下的轨道，对循环半域的同构类和 MRD 码的等价类进行精确计数。

意义
本文声称解决了关于循环半域自同构群的剩余开放问题，这一问题自 Sandler 1962 年的基础性工作以来一直存在。通过提供循环半域的完整分类以及相关 MRD 码的完整自同构群的显式描述，作者解决了该类族的同构问题。

此外，研究结果扩展到了编码理论，实现了通过斜多项式构造的一类广泛的 MRD 码在素域上的线性与半线性等价下的完整分类。这解决了先前文献（如 Sheekhee [40]）中提出的关于这些码等价性的问题。这项工作确立了循环半域是具有完全确定的同构类和显式自同构群的最大显式奇数阶半域族，超越了以往已知的平方阶情况下的界限。