On the autotopism groups and the equivalence of finite cyclic semifields

Résumé Technique : Sur les groupes d'autotopisme et l'équivalence des semifields cycliques finis

Énoncé du Problème
Les semifields cycliques finis, initialement construits par Hughes, Kleinfeld, Sandler et Knuth, puis généralisés par Petit et redécouverts par Jha et Johnson, représentent une classe significative d'algèbres de division non associatives. Malgré les travaux fondamentaux de Sandler (1962) et les avancées ultérieures de Dempwolff (2011), deux problèmes critiques concernant cette famille sont restés non résolus :

1. La classification complète des semifields cycliques à isotopie près.
2. La détermination complète de leurs groupes d'autotopisme, spécifiquement dans les cas où le degré de l'extension de corps divise strictement le degré du polynôme définissant (un cas laissé en suspens par Dempwolff).

De plus, puisque les semifields cycliques correspondent à des instances spécifiques de codes MRD (Maximum Rank Distance) construits via des anneaux de polynômes décalés (skew-polynomial rings), les problèmes d'équivalence et d'automorphisme pour ces codes étaient également incomplètement compris.

Méthodologie
Les auteurs emploient une approche à double cadre, en exploitant deux descriptions complémentaires de la même famille algébrique :

1. Le Modèle de Polynôme Décalé : Utilisant l'anneau $R = \mathbb{F}_{q^n}[X; \sigma]$ et son quotient $R_F = R/R_F(X^n)$, où $F(Y)$ est un polynôme irréductible sur $\mathbb{F}_q$. Les codes $S_k(F)$ sont définis comme des sous-espaces de $R_F$ engendrés par les puissances de $X$ jusqu'à $k-1$.
2. Le Modèle de Transformation Semi-linéaire : Identifiant le quotient $R_F$ avec l'anneau des endomorphismes d'un espace vectoriel $V$ sur un corps $E \cong \mathbb{F}_{q^s}$. Dans ce cadre, les codes correspondent aux engendrés des puissances d'un opérateur $\sigma$-semi-linéaire irréductible $T_F$.

La stratégie technique centrale implique :

• L'établissement d'un isomorphisme explicite entre le quotient de polynôme décalé et l'algèbre des opérateurs semi-linéaires (Théorème 3.6).
• L'analyse des propriétés structurelles du centralisateur de $\mathbb{F}_{q^n}$ au sein de l'anneau quotient pour caractériser les éléments qui préservent la structure du code (Section 4).
• La réduction du problème d'équivalence à la comparaison des polynômes irréductibles définissants $F$ et $G$ sous des actions de groupes spécifiques impliquant des automorphismes de corps et l'involution réciproque (Section 5).
• La détermination des groupes d'automorphisme complets en combinant les automorphismes linéaires (dérivés de la structure du centralisateur) avec les symétries semi-linéaires induites par les automorphismes de corps (Section 6).

Contributions Clés et Résultats

1. Classification Complète à Isotopie et Équivalence Près :
   L'article fournit une condition nécessaire et suffisante pour que deux semifields cycliques (ou leurs codes MRD associés $S_k(F)$ et $S_k(G)$) soient isotopes ou équivalents.

• Équivalence Linéaire : $S_k(F)$ et $S_k(G)$ sont linéairement équivalents si et seulement si il existe $\lambda \in \mathbb{F}_q^\times$ tel que $F(Y) = \lambda^s G(\lambda^{-1}Y)$, ou, dans le cas spécifique $n=2$, $F(Y) = \lambda^s \hat{G}(\lambda^{-1}Y)$, où $\hat{G}$ est le polynôme réciproque.
• Équivalence Semi-linéaire : Sur le corps premier $\mathbb{F}_p$, l'équivalence tient si et seulement si les polynômes sont liés par un automorphisme de corps $\tau \in \text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ et le scalaire $\lambda$ tel que décrit ci-dessus.
• Ces résultats produisent des bornes inférieures explicites sur le nombre de semifields cycliques non-isotopes deux à deux et de codes MRD inéquivalents, démontant une "fourniture véritablement large" de tels objets, particulièrement pour les ordres impairs non carrés.

2. Détermination Complète des Groupes d'Autotopisme et d'Automorphisme :
   Les auteurs résolvent les cas ouverts laissés par Dempwolff en caractérisant pleinement les groupes d'autotopisme des semifields cycliques et les groupes d'automorphisme des codes MRD associés.

• Automorphismes Linéaires : Le groupe d'automorphisme linéaire $\text{Aut}_E(S_k(F))$ est décrit explicitement comme un ensemble de paires $(\bar{g}, \bar{g}^{-1}\lambda)$ où $\bar{g}$ appartient à un sous-groupe spécifique du centralisateur. L'ordre est donné par la formule :
  $$|\text{Aut}_E(S_k(F))| = \frac{n(q^s - 1)(q^n - 1)^2}{q - 1}$$
  (en excluant le cas spécial $(n, s, F) = (2, 2, Y^2 - \nu)$ qui correspond aux semifields de Hughes-Kleinfeld).
• Automorphismes Semi-linéaires : Le groupe d'automorphisme complet s'inscrit dans une suite exacte courte :
  $$1 \longrightarrow \text{Aut}_E(C_k(F)) \longrightarrow \text{Aut}(C_k(F)) \longrightarrow H_F \longrightarrow 1$$
  où $H_F$ est un sous-groupe cyclique de $\text{Aut}_{\mathbb{F}_p}(E)$ déterminé par les racines de $F$.
• Groupes d'Autotopisme : Pour le cas des semifields ($k=1$), le groupe d'automorphisme semi-linéaire de l'ensemble de diffusion (spread set) est identifié au groupe d'autotopisme complet du semifield cyclique, fournissant une description complète auparavant indisponible pour le cas général.

3. Énumération :
   Les théorèmes de classification permettent de compter exactement les classes d'isotopie des semifields cycliques et les classes d'équivalence des codes MRD en termes des orbites des polynômes définissants sous l'action d'un groupe spécifique $G$ (ou $\hat{G}$ pour l'équivalence semi-linéaire).

Signification
L'article prétend clore les cas restés ouverts concernant les groupes d'autotopisme des semifields cycliques, un problème qui persiste depuis les travaux fondateurs de Sandler en 1962. En fournissant une classification complète à isotopie près et une description explicite des groupes d'autotopisme complets, les auteurs résolvent le problème d'isotopie pour cette famille.

De plus, les résultats s'étendent à la théorie des codes, offrant une classification complète d'une large famille de codes MRD construits via des polynômes décalés jusqu'à l'équivalence linéaire et semi-linéaire sur le corps premier, résolvant ainsi les questions ouvertes concernant l'équivalence de ces codes soulevées dans la littérature précédente (ex. Sheekey [40]). Ce travail établit que les semifields cycliques constituent la plus grande famille explicite de semifields d'ordre impair avec des classes d'isotopie complètement déterminées et des groupes d'autotopisme explicites, surpassant les bornes précédentes connues pour les ordres carrés.