On the autotopism groups and the equivalence of finite cyclic semifields

Sintesi Tecnica: Sui Gruppi di Autotopismo e l'Equivalenza dei Semifieldi Ciclici Finiti

Enunciato del Problema
I semifieldi ciclici finiti, originariamente costruiti da Hughes, Kleinfeld, Sandler e Knuth, e successivamente generalizzati da Petit e riscoperti da Jha e Johnson, rappresentano una classe significativa di algebre di divisione non associative. Nonostante il lavoro fondamentale di Sandler (1962) e i successivi progressi di Dempwolff (2011), due problemi critici riguardanti questa famiglia rimanevano irrisolti:

1. La classificazione completa dei semifieldi ciclici fino all'isotopia.
2. La determinazione completa dei loro gruppi di autotopismo, specificamente nei casi in cui il grado dell'estensione del campo divide strettamente il grado del polinomio definente (un caso lasciato aperto da Dempwolff).

Inoltre, poiché i semifieldi ciclici corrispondono a istanze specifiche di codici MRD (Maximum Rank Distance) costruiti tramite anelli di polinomi skew, anche i problemi di equivalenza e di automorfismo per questi codici erano stati incompletamente compresi.

Metodologia
Gli autori impiegano un approccio a doppio framework, sfruttando due descrizioni complementari della stessa famiglia algebrica:

1. Il Modello dei Polinomi Skew: Utilizzando l'anello $R = \mathbb{F}_{q^n}[X; \sigma]$ e il suo quoziente $R_F = R/R_F(X^n)$, dove $F(Y)$ è un polinomio irriducibile su $\mathbb{F}_q$. I codici $S_k(F)$ sono definiti come sottospazi di $R_F$ generati dalle potenze di $X$ fino a $k-1$.
2. Il Modello delle Trasformazioni Semilineari: Identificando il quoziente $R_F$ con l'anello degli endomorfismi di uno spazio vettoriale $V$ su un campo $E \cong \mathbb{F}_{q^s}$. In questo contesto, i codici corrispondono agli spazi generati dalle potenze di un operatore $\sigma$-semilineare irriducibile $T_F$.

La strategia tecnica centrale consiste nel:

• Stabilire un isomorfismo esplicito tra il quoziente del polinomio skew e l'algebra degli operatori semilineari (Teorema 3.6).
• Analizzare le proprietà strutturali del centralizzatore di $\mathbb{F}_{q^n}$ all'interno dell'anello quoziente per caratterizzare gli elementi che preservano la struttura del codice (Sezione 4).
• Ridurre il problema dell'equivalenza al confronto dei polinomi irriducibili definenti $F$ e $G$ sotto specifiche azioni di gruppo che coinvolgono automorfismi di campo e involuzione reciproca (Sezione 5).
• Determinare i gruppi di automorfismo completi combinando gli automorfismi lineari (derivati dalla struttura del centralizzatore) con le simmetrie semilineari indotte dagli automorfismi di campo (Sezione 6).

Contributi Chiave e Risultati

1. Classificazione Completa fino all'Isotopia e all'Equivalenza:
   Il documento fornisce una condizione necessaria e sufficiente affinché due semifieldi ciclici (o i loro associati codici MRD $S_k(F)$ e $S_k(G)$) siano isotopi o equivalenti.

• Equivalenza Lineare: $S_k(F)$ e $S_k(G)$ sono linearmente equivalenti se e solo se esiste $\lambda \in \mathbb{F}_q^\times$ tale che $F(Y) = \lambda^s G(\lambda^{-1}Y)$, o, nel caso specifico $n=2$, $F(Y) = \lambda^s \hat{G}(\lambda^{-1}Y)$, dove $\hat{G}$ è il polinomio reciproco.
• Equivalenza Semilineare: Sul campo primo $\mathbb{F}_p$, l'equivalenza sussiste se e solo se i polinomi sono correlati da un automorfismo di campo $\tau \in \text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ e dallo scalare $\lambda$ come descritto sopra.
  Questi risultati forniscono limiti inferiori espliciti sul numero di semifieldi ciclici pairwise non-isotopi e di codici MRD iniqui, dimostrando una "fornitura genuinamente grande" di tali oggetti, particolarmente per ordini dispari non quadrati.

2. Determinazione Completa dei Gruppi di Autotopismo e di Automorfismo:
   Gli autori risolvono i casi aperti lasciati da Dempwolff, caratterizzando completamente i gruppi di autotopismo dei semifieldi ciclici e i gruppi di automorfismo dei codici MRD associati.

• Automorfismi Lineari: Il gruppo di automorfismo lineare $\text{Aut}_E(S_k(F))$ è descritto esplicitamente come un insieme di coppie $(\bar{g}, \bar{g}^{-1}\lambda)$ dove $\bar{g}$ appartiene a un sottogruppo specifico del centralizzatore. L'ordine è dato dalla formula:
  $$|\text{Aut}_E(S_k(F))| = \frac{n(q^s - 1)(q^n - 1)^2}{q - 1}$$
  (escludendo il caso speciale $(n, s, F) = (2, 2, Y^2 - \nu)$ che corrisponde ai semifieldi Hughes-Kleinfeld).
• Automorfismi Semilineari: Il gruppo di automorfismo completo si inserisce in una sequenza esatta breve:
  $$1 \longrightarrow \text{Aut}_E(C_k(F)) \longrightarrow \text{Aut}(C_k(F)) \longrightarrow H_F \longrightarrow 1$$
  dove $H_F$ è un sottogruppo ciclico di $\text{Aut}_{\mathbb{F}_p}(E)$ determinato dalle radici di $F$.
• Gruppi di Autotopismo: Per il caso dei semifieldi ($k=1$), il gruppo di automorfismo semilineare dell'insieme di diffusione (spread set) è identificato con il gruppo di autotopismo completo del semifieldo ciclico, fornendo una descrizione completa precedentemente non disponibile per il caso generale.

3. Enumerazione:
   I teoremi di classificazione permettono il conteggio esatto delle classi di isotopia dei semifieldi ciclici e delle classi di equivalenza dei codici MRD in termini delle orbite dei polinomi definenti sotto l'azione di un gruppo specifico $G$ (o $\hat{G}$ per l'equivalenza semilineare).

Significato
Il documento sostiene di aver chiuso i rimanenti casi aperti riguardanti i gruppi di autotopismo dei semifieldi ciclici, un problema che persisteva dal lavoro fondamentale di Sandler del 1962. Fornendo una classificazione completa fino all'isotopia e una descrizione esplicita dei gruppi di autotopismo completi, gli autori risolvono il problema dell'isotopia per questa famiglia.

Inoltre, i risultati si estendono alla teoria dei codici, offrendo una classificazione completa di una vasta famiglia di codici MRD costruiti tramite polinomi skew fino all'equivalenza lineare e semilineare sul campo primo. Ciò risolve le questioni aperte riguardanti l'equivalenza di questi codici sollevate nella letteratura precedente (ad es., Sheekey [40]). Il lavoro stabilisce che i semifieldi ciclici forniscono la più grande famiglia esplicita di semifieldi di ordine dispari con classi di isotopia completamente determinate e gruppi di autotopismo espliciti, superando i precedenti limiti noti per gli ordini quadrati.