On the autotopism groups and the equivalence of finite cyclic semifields

Resumo Técnico: Sobre os Grupos de Autotopismo e a Equivalência de Semifields Cíclicos Finitos

Enunciado do Problema
Os semifields cíclicos finitos, originalmente construídos por Hughes, Kleinfeld, Sandler e Knuth, e posteriormente generalizados por Petit e redescobertos por Jha e Johnson, representam uma classe significativa de álgebras de divisão não associativas. Apesar do trabalho fundamental de Sandler (1962) e avanços subsequentes de Dempwolff (2011), dois problemas críticos relativos a esta família permaneceram não resolvidos:

1. A classificação completa de semifields cíclicos até isotopia.
2. A determinação total de seus grupos de autotopismo, especificamente nos casos em que o grau da extensão de corpo divide estritamente o grau do polinômio definidor (um caso deixado em aberto por Dempwolff).

Além disso, uma vez que os semifields cíclicos correspondem a instâncias específicas de códigos de Distância de Rank Máximo (MRD) construídos via anéis de polinômios skew, os problemas de equivalência e automorfismo para esses códigos também foram incompletemente compreendidos.

Metodologia
Os autores empregam uma abordagem de quadro duplo, aproveitando duas descrições complementares da mesma família algébrica:

1. O Modelo de Polinômio Skew: Utilizando o anel $R = \mathbb{F}_{q^n}[X; \sigma]$ e seu quociente $R_F = R/R_F(X^n)$, onde $F(Y)$ é um polinômio irredutível sobre $\mathbb{F}_q$. Os códigos $S_k(F)$ são definidos como subespaços de $R_F$ gerados pelas potências de $X$ até $k-1$.
2. O Modelo de Transformação Semilinear: Identificando o quociente $R_F$ com o anel de endomorfismos de um espaço vetorial $V$ sobre um corpo $E \cong \mathbb{F}_{q^s}$. Neste cenário, os códigos correspondem aos spans das potências de um operador $\sigma$-semilinear irredutível $T_F$.

A estratégia técnica central envolve:

• Estabelecer um isomorfismo explícito entre o quociente do polinômio skew e a álgebra de operadores semilineares (Teorema 3.6).
• Analisar as propriedades estruturais do centralizador de $\mathbb{F}_{q^n}$ dentro do anel quociente para caracterizar elementos que preservam a estrutura do código (Seção 4).
• Reduzir o problema da equivalência à comparação dos polinômios irredutíveis definidores $F$ e $G$ sob ações de grupo específicas envolvendo automorfismos de corpo e involução recíproca (Seção 5).
• Determinar os grupos de automorfismo totais combinando automorfismos lineares (derivados da estrutura do centralizador) com simetrias semilineares induzidas por automorfismos de corpo (Seção 6).

Contribuições Principais e Resultados

1. Classificação Completa até Isotopia e Equivalência:
   O artigo fornece uma condição necessária e suficiente para que dois semifields cíclicos (ou seus códigos MRD associados $S_k(F)$ e $S_k(G)$) sejam isotópicos ou equivalentes.

• Equivalência Linear: $S_k(F)$ e $S_k(G)$ são linearmente equivalentes se, e somente se, existe $\lambda \in \mathbb{F}_q^\times$ tal que $F(Y) = \lambda^s G(\lambda^{-1}Y)$, ou, no caso específico $n=2$, $F(Y) = \lambda^s \hat{G}(\lambda^{-1}Y)$, onde $\hat{G}$ é o polinômio recíproco.
• Equivalência Semilinear: Sobre o corpo primo $\mathbb{F}_p$, a equivalência ocorre se, e somente se, os polinômios estão relacionados por um automorfismo de corpo $\tau \in \text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ e o escalar $\lambda$ como descrito acima.
• Estes resultados produzem limites inferiores explícitos sobre o número de semifields cíclicos pairwise não-isotópicos e códigos MRD inequivalentes, demonstrando um "suprimento genuinamente grande" de tais objetos, particularmente para ordens ímpares não quadráticas.

2. Determinação Total dos Grupos de Autotopismo e Automorfismo:
   Os autores resolvem os casos abertos deixados por Dempwolff ao caracterizar totalmente os grupos de autotopismo de semifields cíclicos e os grupos de automorfismo dos códigos MRD associados.

• Automorfismos Lineares: O grupo de automorfismo linear $\text{Aut}_E(S_k(F))$ é explicitamente descrito como um conjunto de pares $(\bar{g}, \bar{g}^{-1}\lambda)$ onde $\bar{g}$ pertence a um subgrupo específico do centralizador. A ordem é dada pela fórmula:
  $$|\text{Aut}_E(S_k(F))| = \frac{n(q^s - 1)(q^n - 1)^2}{q - 1}$$
  (excluindo o caso especial $(n, s, F) = (2, 2, Y^2 - \nu)$ que corresponde aos semifields Hughes-Kleinfeld).
• Automorfismos Semilineares: O grupo de automorfismo total se ajusta a uma sequência exata curta:
  $$1 \longrightarrow \text{Aut}_E(C_k(F)) \longrightarrow \text{Aut}(C_k(F)) \longrightarrow H_F \longrightarrow 1$$
  onde $H_F$ é um subgrupo cíclico de $\text{Aut}_{\mathbb{F}_p}(E)$ determinado pelas raízes de $F$.
• Grupos de Autotopismo: Para o caso de semifield ($k=1$), o grupo de automorfismo semilinear do conjunto de espalhamento (spread set) é identificado com o grupo de autotopismo total do semifield cíclico, fornecendo uma descrição completa anteriormente indisponível para o caso geral.

3. Enumeração:
   Os teoremas de classificação permitem a contagem exata das classes de isotopia de semifields cíclicos e das classes de equivalência de códigos MRD em termos das órbitas dos polinômios definidores sob a ação de um grupo específico $G$ (ou $\hat{G}$ para equivalência semilinear).

Significância
O artigo afirma fechar os casos restantes referentes aos grupos de autotopismo de semifields cíclicos, um problema que persiste desde o trabalho fundamental de Sandler em 1962. Ao fornecer uma classificação completa até isotopia e uma descrição explícita dos grupos de autotopismo totais, os autores resolvem o problema da isotopia para esta família.

Além disso, os resultados estendem-se à teoria de códigos, oferecendo uma classificação completa de uma ampla família de códigos MRD construídos via polinômios skew até a equivalência linear e semilinear sobre o corpo primo. Isto resolve questões abertas sobre a equivalência destes códigos levantadas na literatura anterior (ex: Sheekhee [40]). O trabalho estabelece que os semifields cíclicos fornecem a maior família explícita de semifields de ordem ímpar com classes de isotopia completamente determinadas e grupos de autotopismo explícitos, superando limites anteriores conhecidos para ordens quadráticas.