On the autotopism groups and the equivalence of finite cyclic semifields

Technische Samenvatting: Over de Autotopisme-groepen en de Equivalentie van Eindige Cyclische Semifielden

Probleemstelling
Eindige cyclische semifielden, oorspronkelijk geconstrueerd door Hughes, Kleinfeld, Sandler en Knuth, en later gegeneraliseerd door Petit en herontdekt door Jha en Johnson, vertegenwoordigen een significante klasse van niet-associatieve divisiealgebra's. Ondanks het fundamentele werk van Sandler (1962) en daaropvolgende vooruitgang door Dempwolff (2011), bleven twee kritieke problemen met betrekking tot deze familie onopgelost:

1. De volledige classificatie van cyclische semifielden tot isotopie.
2. De volledige determinatie van hun autotopisme-groepen, specifiek in gevallen waar de graad van de velderbreiding strikt deelbaar is door de graad van het definiërende polynoom (een geval dat door Dempwolff open liet).

Bovendien, aangezien cyclische semifielden overeenkomen met specifieke instanties van Maximum Rank Distance (MRD) codes geconstrueerd via skew-polynoomringen, waren de equivalentie- en automorfismeproblemen voor deze codes ook incompleet begrepen.

Methodologie
De auteurs hanteren een duale framework-benadering, waarbij zij gebruikmaken van twee complementaire beschrijvingen van dezelfde algebraïsche familie:

1. Het Skew-Polynoom Model: Het gebruik van de ring $R = \mathbb{F}_{q^n}[X; \sigma]$ en zijn quotient $R_F = R/R_F(X^n)$, waarbij $F(Y)$ een irreducibel polynoom over $\mathbb{F}_q$ is. De codes $S_k(F)$ worden gedefinieerd als deelruimten van $R_F$ gespannen door machten van $X$ tot en met $k-1$.
2. Het Semilineair-Transformatie Model: Het identificeren van de quotient $R_F$ met de endomorfisme-ring van een vectorruimte $V$ over een veld $E \cong \mathbb{F}_{q^s}$. In deze setting komen de codes overeen met de spanningen van machten van een irreducibele $\sigma$-semilineaire operator $T_F$.

De kern van de technische strategie omvat:

• Het vaststellen van een expliciete isomorfisme tussen de skew-polynoom quotient en de algebra van semilineaire operatoren (Theorem 3.6).
• Het analyseren van de structurele eigenschappen van de centralisator van $\mathbb{F}_{q^n}$ binnen de quotientring om elementen te karakteriseren die de codestructuur behouden (Section 4).
• Het reduceren van het equivalentieprobleem naar de vergelijking van de definiërende irreducibele polynomen $F$ en $G$ onder specifieke groepsacties die veldautomorfismen en reciproke involutie omvatten (Section 5).
• Het bepalen van de volledige automorfisme-groepen door lineaire automorfismen (afgeleid van de centralisatorstructuur) te combineren met semilineaire symmetrieën geïnduceerd door veldautomorfismen (Section 6).

Kernbijdragen en Resultaten

1. Volledige Classificatie tot Isotopie en Equivalentie:
   Het artikel biedt een noodzakelijke en voldoende voorwaarde voor twee cyclische semifielden (of hun geassocieerde MRD-codes $S_k(F)$ en $S_k(G)$) om isotop of equivalent te zijn.

   • Lineaire Equivalentie: $S_k(F)$ en $S_k(G)$ zijn lineair equivalent als en slechts als er een $\lambda \in \mathbb{F}_q^\times$ bestaat zodan dat $F(Y) = \lambda^s G(\lambda^{-1}Y)$, of, in het specifieke geval $n=2$, $F(Y) = \lambda^s \hat{G}(\lambda^{-1}Y)$, waarbij $\hat{G}$ het reciproke polynoom is.
   • Semilineaire Equivalentie: Over het priemveld $\mathbb{F}_p$ geldt equivalentie als en slechts als de polynomen gerelateerd zijn door een veldautomorfisme $\tau \in \text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ en de scalaire $\lambda$ zoals hierboven beschreven.
   • Deze resultaten leveren expliciete ondergrenzen op voor het aantal onderling niet-isotope cyclische semifielden en inequivalente MRD-codes, wat een "werkelijk grote voorraad" van dergelijke objecten aantoont, met name voor oneven niet-kwadratische orden.

2. Volledige Determinatie van Autotopisme- en Automorfisme-groepen:
   De auteurs lossen de openstaande gevallen op die Dempwolff open liet door de autotopisme-groepen van cyclische semifielden en de automorfisme-groepen van de geassocieerde MRD-codes volledig te karakteriseren.

   • Lineaire Automorfismen: De lineaire automorfisme-groep $\text{Aut}_E(S_k(F))$ wordt expliciet beschreven als een verzameling paren $(\bar{g}, \bar{g}^{-1}\lambda)$ waarbij $\bar{g}$ behoort aan een specifieke subgroep van de centralisator. De orde wordt gegeven door de formule:
     $$|\text{Aut}_E(S_k(F))| = \frac{n(q^s - 1)(q^n - 1)^2}{q - 1}$$
     (uitgesloten wordt het speciale geval $(n, s, F) = (2, 2, Y^2 - \nu)$ dat overeenkomt met Hughes-Kleinfeld semifielden).
   • Semilineaire Automorfismen: De volledige automorfisme-groep past in een korte exacte sequentie:
     $$1 \longrightarrow \text{Aut}_E(C_k(F)) \longrightarrow \text{Aut}(C_k(F)) \longrightarrow H_F \longrightarrow 1$$
     waarbij $H_F$ een cyclische subgroep van $\text{Aut}_{\mathbb{F}_p}(E)$ is die bepaald wordt door de wortels van $F$.
   • Autotopisme-groepen: Voor het geval van de semifield ($k=1$), wordt de semilineaire automorfisme-groep van de spread set geïdentificeerd met de volledige autotopisme-groep van de cyclische semifield, wat een volledige beschrijving biedt die voorheen niet beschikbaar was voor het algemene geval.

3. Enumeratie:
   De classificatie-stellingen maken het exacte tellen van isotopie-klassen van cyclische semifielden en equivalentie-klassen van MRD-codes mogelijk in termen van de banen van de definiërende polynomen onder de actie van een specifieke groep $G$ (of $\hat{G}$ voor semilineaire equivalentie).

Significantie
Het artikel claimt de resterende openstaande gevallen betreffende de autotopisme-groepen van cyclische semifielden te hebben gesloten, een probleem dat heeft voortgeduurd sinds het fundamentele werk van Sandler in 1962. Door een volledige classificatie tot isotopie en een expliciete beschrijving van de volledige autotopisme-groepen te bieden, lossen de auteurs het isotopieprobleem voor deze familie op.

Verder strekken de resultaten zich uit tot de coderingsleer, waarbij zij een volledige classificatie bieden van een brede familie van MRD-codes geconstrueerd via skew-polynomen tot lineaire en semilineaire equivalentie over het priemveld. Dit lost openstaande vragen op over de equivalentie van deze codes die in eerdere literatuur (bijv. Sheekey [40]) werden geplaatst. Het werk stelt vast dat cyclische semifielden de grootste expliciete familie van oneven-orde semifielden bieden met volledig bepaalde isotopie-klassen en expliciete autotopisme-groepen, waarmee zij de eerder bekende grenzen voor kwadratische orden overtreft.