A skew polynomial framework for constructing division algebras and linear maximum rank distance codes

Resumen Técnico: Un Marco de Polinomios Skew para la Construcción de Álgebras de División y Códigos de Distancia Máxima de Rango Lineal

Planteamiento del Problema
El artículo aborda la construcción de álgebras de división no unitarias y códigos matriciales lineales de Distancia Máxima de Rango (MRD) sobre cuerpos. Si bien trabajos previos de Petit (1966), Sheekey (2016, 2019) y Lobillo, Santonastaso y Sheekey (2026) han utilizado con éxito anillos de polinomios skew $R = K[t; \sigma]$ para generar tales estructuras, estas construcciones a menudo estaban restringidas a parámetros específicos. Específicamente, las construcciones previas típicamente limitaban el mapa lineal $\rho$ utilizado en la definición de la multiplicación para que fuera un automorfismo de anillo (específicamente un automorfismo de Galois) y fijaban el parámetro de índice $i_0$ en 0. El artículo busca generalizar estos marcos para determinar si clases más amplias de mapas e índices producen nuevas álgebras de división y códigos MRD, y para establecer criterios rigurosos de cuándo estas estructuras generalizadas satisfacen la propiedad de división o alcanzan la distancia máxima de rango.

Metodología
El autor emplea un marco unificado basado en anillos de polinomios skew $R = K[t; \sigma]$, donde $K/F$ es una extensión de cuerpo de Galois cíclica de grado $n$ con grupo de Galois generado por $\sigma$.

1. Construcción del Álgebra:
   La construcción central define una multiplicación en el espacio vectorial $R_m = \{g \in R \mid \deg(g) < m\}$. Dado un polinomio skew irreducible mónico $f \in R$ de grado $m$, un escalar $\nu \in K$, un entero $i_0 \in \{0, \dots, m-1\}$ y un mapa $F'$-lineal biyectivo $\rho: K \to K$ (donde $F' \supseteq F$), se define una nueva multiplicación $\circ$ para $b(t), c(t) \in R_m$:
   $$b(t) \circ c(t) = (b(t) + \nu\rho(b_{i_0})t^m)c(t) \mod_r f$$
   Aquí, el lado derecho denota el resto de la división por la derecha por $f$. La estructura resultante se denota $S_f(K, i_0, \nu, \rho)$. Esto generaliza construcciones previas al permitir que $\rho$ sea cualquier mapa lineal biyectivo (no solo automorfismos) e $i_0$ sea cualquier índice en el rango del grado del polinomio.

2. Construcción de Códigos MRD:
   El artículo extiende esto para construir códigos MRD lineales. Al considerar el múltiplo izquierdo central mínimo $h$ de $f$ (donde $h$ tiene $k$ factores irreducibles) y un entero $l$ ($1 < l < k$), el autor define un conjunto $P_{i_0}$ de polinomios de grado hasta $lm$. La imagen de este conjunto en el anillo cociente $R/Rh$ define un código $C_{i_0, n, m, l}$ en el álgebra matricial $M_k(B)$, donde $B$ es el núcleo derecho del álgebra de Petit asociada.

3. Herramientas Analíticas:
   El análisis se apoya fuertemente en la teoría de polinomios skew similares. Dos polinomios son similares si los $R$-módulos izquierdos $R/Rf$y$R/Rg$ son isomorfos. El autor utiliza el conjunto de polinomios similares a $f$ y sus coeficientes para derivar condiciones necesarias y suficientes para las propiedades algebraicas y de codificación.

Contribuciones Clave y Resultados

• Generalización de Construcciones: El artículo demuestra que los marcos existentes de los semifields cíclicos torcidos de Sheekey y las álgebras en [LobSanSh2026] son casos especiales del marco propuesto donde $i_0 = 0$ y $\rho$ es un automorfismo. El nuevo marco permite mapas lineales biyectivos $\rho$ arbitrarios e índices $i_0$ arbitrarios.
• Criterios para Álgebras de División:
  • Teorema 3.2: Establece que $S_f(K, i_0, \nu, \rho)$ es un álgebra de división sobre $F_0$ si y solo si el conjunto $P_{i_0}$ (polinomios de la forma $g(t) + \nu\rho(g_{i_0})t^m$) no contiene ningún polinomio similar a $f$.
  • Teoremas 3.5 y 3.8: Proporcionan criterios concretos basados en los coeficientes de los polinomios similares a $f$. Específicamente, el álgebra es un álgebra de división si para todo polinomio mónico $g$ similar a $f$, se cumple la condición $\nu\rho(g_{i_0}) \neq 1$ (cuando $g_{i_0} \neq 0$), o equivalentemente, si una condición de norma específica involucrando a $g_{i_0}$ y $\nu$ no se cumple.
  • Corolarios 3.7 y 3.9: Recuperan los resultados previos de Sheekey para álgebras cíclicas torcidas como casos especiales y proporcionan condiciones alternativas para que sean pre-semifields.
• Isotopía y Unitalidad:
  • Teorema 5.4: Muestra que, bajo ciertas condiciones, las álgebras no unitarias construidas son isotópicas a álgebras de división de Petit unitarias. Esto implica que algunas construcciones que se pensaban distintas (específicamente las de [LobSanSh2026, Teorema 5.4]) son en realidad isotópicas a álgebras de Petit conocidas.
  • Teorema 5.7: Corrige una afirmación en [LobSanSh2026, Teorema 5.7], demostrando que el álgebra construida allí no es unitaria pero posee un elemento unidad a la izquierda, y es isotópica al álgebra de Petit.
• Criterios de Códigos MRD:
  • Teorema 4.1: Proporciona una condición necesaria y suficiente para que el código construido $C_{i_0, n, m, l}$ sea un código MRD con distancia mínima $k - l + 1$. La condición requiere que el conjunto $P_{i_0, l}$ no contenga ningún polinomio de grado $lm$ con $l$ factores irreducibles todos similares a $f$.
  • Teorema 4.2: Ofrece una condición suficiente basada en normas para que el código sea MRD, generalizando los resultados previos a un $\rho$ no automórfico.
• Invariantes y Núcleos:
  • Sección 6: Calcula los núcleos izquierdo, medio y derecho, así como el centralizador y el centro, para estas álgebras y códigos.
  • Teoremas 6.2 y 6.7: Para cuerpos finitos, el artículo deriva descripciones explícitas de los núcleos en términos de los cuerpos fijos de las composiciones de $\rho$ y potencias de $\sigma$. Destaca que elegir $\rho$ como un mapa lineal no automórfico puede producir "nuevos" códigos donde los idealizadores difieren de los de las construcciones clásicas.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco unificador que subsume las construcciones recientes y clásicas de álgebras de división y códigos MRD. Su significancia principal radica en:

1. Ampliación del Alcance: Al relajar el requisito de que $\rho$ sea un automorfismo y permitir que $i_0$ varíe, el marco abarca una clase sustancialmente mayor de posibles construcciones.
2. Clarificación de Clases de Isotopía: El trabajo clarifica la relación entre las nuevas construcciones y las existentes, mostrando que algunas "nuevas" álgebras son en realidad isotópicas a las álgebras de Petit conocidas, mientras identifica condiciones específicas bajo las cuales pueden surgir clases de isotopía genuinamente nuevas (y, por lo tanto, nuevos códigos MRD).
3. Corrección de la Literatura: El artículo corrige afirmaciones sobre la unitalidad de álgebras específicas encontradas en la literatura previa.
4. Viabilidad Computacional: Aunque los criterios para cuerpos infinitos son abstractos, el artículo señala que para cuerpos finitos, las condiciones son tratables (involucrando comprobaciones finitas de coeficientes y normas), aunque la computación explícita para parámetros grandes requiere sistemas de álgebra computacional.

El autor concluye que, si bien la configuración es más general, el esfuerzo computacional para verificar la propiedad de división o la propiedad MRD sigue siendo comparable a los métodos anteriores, y el marco generaliza con éxito la teoría de los códigos y las álgebras de división basados en polinomios skew.