On the autotopism groups and the equivalence of finite cyclic semifields

Resumen Técnico: Sobre los grupos de autotopismo y la equivalencia de los semifields cíclicos finitos

Planteamiento del Problema
Los semifields cíclicos finitos, construidos originalmente por Hughes, Kleinfeld, Sandler y Knuth, y posteriormente generalizados por Petit y redescubiertos por Jha y Johnson, representan una clase significativa de álgebras de división no asociativas. A pesar del trabajo fundacional de Sandler (1962) y los avances subsiguientes de Dempwolff (2011), dos problemas críticos respecto a esta familia permanecieron sin resolver:

1. La clasificación completa de los semifields cíclicos hasta isotopía.
2. La determinación completa de sus grupos de autotopismo, específicamente en casos donde el grado de la extensión de campo divide estrictamente el grado del polinomio definitorio (un caso dejado abierto por Dempwolff).

Además, dado que los semifields cíclicos corresponden a instancias específicas de códigos de Rango Máximo de Distancia (MRD) construidos mediante anillos de polinomios skew, los problemas de equivalencia y automorfismo para estos códigos también se comprendían de manera incompleta.

Metodología
Los autores emplean un enfoque de doble marco, aprovechando dos descripciones complementarias de la misma familia algebraica:

1. El Modelo de Polinomios Skew: Utilizando el anillo $R = \mathbb{F}_{q^n}[X; \sigma]$ y su cociente $R_F = R/R_F(X^n)$, donde $F(Y)$ es un polinomio irreducible sobre $\mathbb{F}_q$. Los códigos $S_k(F)$ se definen como subespacios de $R_F$ generados por potencias de $X$ hasta $k-1$.
2. El Modelo de Transformación Semilineal: Identificando el cociente $R_F$ con el anillo de endomorfismos de un espacio vectorial $V$ sobre un cuerpo $E \cong \mathbb{F}_{q^s}$. En este entorno, los códigos corresponden a los espacios generados por potencias de un operador $\sigma$-semilineal irreducible $T_F$.

La estrategia técnica central consiste en:

• Establecer un isomorfismo explícito entre el cociente del polinomio skew y el álgebra de operadores semilineales (Teorema 3.6).
• Analizar las propiedades estructurales del centralizador de $\mathbb{F}_{q^n}$ dentro del anillo cociente para caracterizar los elementos que preservan la estructura del código (Sección 4).
• Reducir el problema de equivalencia a la comparación de los polinomios irreducibles definitorios $F$ y $G$ bajo acciones de grupo específicas que involucran automorfismos de campo e involución recíproca (Sección 5).
• Determinar los grupos de automorfismo completos combinando automorfismos lineales (derivados de la estructura del centralizador) con simetrías semilineales inducidas por automorfismos de campo (Sección 6).

Contribuciones Clave y Resultados

1. Clasificación Completa hasta Isotopía y Equivalencia:
   El artículo proporciona una condición necesaria y suficiente para que dos semifields cíclicos (o sus códigos MRD asociados $S_k(F)$ y $S_k(G)$) sean isotópicos o equivalentes.

• Equivalencia Lineal: $S_k(F)$ y $S_k(G)$ son linealmente equivalentes si y solo si existe $\lambda \in \mathbb{F}_q^\times$ tal que $F(Y) = \lambda^s G(\lambda^{-1}Y)$, o, en el caso específico $n=2$, $F(Y) = \lambda^s \hat{G}(\lambda^{-1}Y)$, donde $\hat{G}$ es el polinomio recíproco.
• Equivalencia Semilineal: Sobre el cuerpo primo $\mathbb{F}_p$, la equivalencia se cumple si y solo si los polinomios están relacionados por un automorfismo de campo $\tau \in \text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ y el escalar $\lambda$ como se describió anteriormente.
• Estos resultados proporcionan límites inferiores explícitos sobre el número de semifields cíclicos no isotópicos entre sí e inequivalentes códigos MRD, demostrando un "suministro genuinamente grande" de tales objetos, particularmente para órdenes impares no cuadrados.

2. Determinación Completa de los Grupos de Autotopismo y Automorfismo:
   Los autores resuelven los casos abiertos dejados por Dempwolff mediante la caracterización completa de los grupos de autotopismo de los semifields cíclicos y los grupos de automorfismo de los códigos MRD asociados.

• Automorfismos Lineales: El grupo de automorfismos lineales $\text{Aut}_E(S_k(F))$ se describe explícitamente como un conjunto de pares $(\bar{g}, \bar{g}^{-1}\lambda)$ donde $\bar{g}$ pertenece a un subgrupo específico del centralizador. El orden está dado por la fórmula:
  $$|\text{Aut}_E(S_k(F))| = \frac{n(q^s - 1)(q^n - 1)^2}{q - 1}$$
  (excluyendo el caso especial $(n, s, F) = (2, 2, Y^2 - \nu)$ que corresponde a los semifields de Hughes-Kleinfeld).
• Automorfismos Semilineales: El grupo de automorfismos completo se ajusta a una secuencia exacta corta:
  $$1 \longrightarrow \text{Aut}_E(C_k(F)) \longrightarrow \text{Aut}(C_k(F)) \longrightarrow H_F \longrightarrow 1$$
  donde $H_F$ es un subgrupo cíclico de $\text{Aut}_{\mathbb{F}_p}(E)$ determinado por las raíces de $F$.
• Grupos de Autotopismo: Para el caso de semifield ($k=1$), el grupo de automorfismos semilineales del conjunto de propagación (spread set) se identifica con el grupo de autotopismo completo del semifield cíclico, proporcionando una descripción completa previamente unavailable para el caso general.

3. Enumeración:
   Los teoremas de clasificación permiten el conteo exacto de las clases de isotopía de los semifields cíclicos y de las clases de equivalencia de los códigos MRD en términos de las órbitas de los polinomios definitorios bajo la acción de un grupo específico $G$ (o $\hat{G}$ para la equivalencia semilineal).

Significado
El artículo afirma cerrar los casos abiertos restantes respecto a los grupos de autotopismo de los semifields cíclicos, un problema que ha persistido desde el trabajo fundacional de Sandler en 1962. Al proporcionar una clasificación completa hasta isotopía y una descripción explícita de los grupos de autotopismo completos, los autores resuelven el problema de isotopía para esta familia.

Además, los resultados se extienden a la teoría de códigos, ofreciendo una clasificación completa de una amplia familia de códigos MRD construidos mediante polinomios skew hasta la equivalencia lineal y semilineal sobre el cuerpo primo. Esto resuelve preguntas abiertas sobre la equivalencia de estos códigos planteadas en la literatura previa (por ejemplo, Sheekey [40]). El trabajo establece que los semifields cíclicos proporcionan la familia más grande de semifields de orden impar con clases de isotopía completamente determinadas y grupos de autotopismo explícitos, superando los límites previos conocidos para órdenes cuadrados.