Central polynomials of minimal degree for matrices

Resumo Técnico: Polinômios Centrais de Grau Mínimo para Matrizes

Enunciado do Problema
O artigo aborda a determinação do grau mínimo de polinômios centrais para a álgebra de matrizes $n \times n$, $M_n(K)$, sobre um corpo $K$ de característica 0. Um polinômio $c(x_1, \dots, x_d) \in K\langle X \rangle$ é um polinômio central se sua avaliação em $M_n(K)$ sempre resulta em uma matriz escalar (um elemento do centro), mas não é uma identidade polinomial (não desaparece identicamente).

Formanek conjecturou que este grau mínimo é dado pela fórmula:
$$\text{mindeg}(M_n(K)) = \frac{1}{2}(n^2 + 3n - 2)$$
Esta conjectura é válida para $n \le 3$ (onde os graus são 1, 4 e 8, respectivamente). Para $n=4$, o grau mínimo conjecturado é 13. Embora existam polinômios centrais de grau 13 para $M_4(K)$, era uma questão em aberto se existiriam polinômios centrais de grau inferior (especificamente grau 12). O artigo foca na resolução deste caso para polinômios em duas variáveis.

Metodologia
Os autores empregam uma abordagem computacional fundamentada na teoria de representação do grupo linear geral $GL_d(K)$ e do grupo simétrico $S_m$, combinada com resultados estruturais da teoria das álgebras de identidade polinomial (álgebras PI).

1. Redução a Polinômios Multilineares e Próprios:

   • A busca é restrita a polinômios multilineares. Se um polinômio central de grau $m$ não existe, nenhum existe para graus $j < m$.
   • Utilizando o Lema 3.6 (baseado no trabalho de Maltsev sobre matrizes triangulares superiores), os autores restringem a busca a polinômios "próprios" — combinações lineares de produtos de comutadores. Especificamente, para $M_4(K)$, qualquer polinômio central de grau mínimo deve ser uma combinação linear de produtos de pelo menos 4 comutadores.
   • A busca é ainda mais estreitada para vetores de peso máximo de módulos irreduzíveis $W(\lambda)$ de $GL_d(K)$, onde $\lambda = (\lambda_1, \lambda_2)$ é uma partição do grau $m$.

2. Filtragem por Teoria de Representação:

   • Os autores utilizam a decomposição de produtos tensoriais de módulos $GL_d(K)$ para identificar quais partições $\lambda$ podem conter polinômios centrais.
   • Para o grau 12 em duas variáveis, eles identificam que apenas as partições $\lambda = (7, 5)$ e $\lambda = (6, 6)$ (com $\lambda_2 \ge 5$) são candidatas relevantes, baseando-se na decomposição de produtos de comutadores.
   • Esta abordagem reduz significativamente o número de incógnitas em comparação com os métodos multilineares padrão. Para o grau 12, em vez de resolver sistemas com centenas de incógnitas (como nos métodos puramente $GL_d$) ou milhões (como nos métodos multilineares completos), os autores constroem sistemas com apenas 60 e 31 incógnitas, respectivamente.

3. Verificação Computacional:

   • Para cada vetor de peso máximo candidato $w_\lambda(x, y)$, os autores substituem matrizes genéricas. Para simplificar o cálculo, eles substituem a primeira variável $x$ por uma matriz diagonal genérica $u = \text{diag}(u_1, u_2, u_3, u_4)$ e a segunda variável $y$ por matrizes constantes específicas (ex: $v, v_1, v_2$).
   • Eles avaliam a matriz resultante $w_\lambda(u, v)$. Para que o polinômio seja central, todas as entradas fora da diagonal devem desaparecer. Isso gera um sistema linear homogêneo para os coeficientes do polinômio.
   • Os autores verificam que esses sistemas possuem apenas a solução trivial, implicando que não existem polinômios centrais não nulos (ou identidades polinomiais) para as partições específicas.

Principais Contribuições e Resultados

• Resolução para $n=4$: O artigo prova que a álgebra $M_4(K)$ não possui polinômios centrais em duas variáveis de grau $\le 12$. Consequentemente, o grau mínimo para polinômios centrais em duas variáveis para $M_4(K)$ é de pelo menos 13.
• Identidades Polinomiais: Como um subproduto dos mesmos cálculos, os autores provam que $M_4(K)$ não possui identidades polinomiais em duas variáveis de grau $\le 12$.
• Eficiência do Método: O artigo demonstra que combinar a teoria de representação de $GL_d(K)$ com restrições da teoria PI (especificamente o requisito para polinômios próprios e a estrutura de identidades em matrizes triangulares superiores) é computacionalmente superior ao uso de apenas a teoria de representação ou da expansão multilinear completa. Para o caso de grau 12, isso reduziu o problema para a resolução de sistemas lineares com 60 e 31 incógnitas, comparado a 297 e 132 incógnitas usando métodos $GL_d$ padrão.

Significado
O artigo fornece evidências fortes apoiando a conjectura de Formanek para $n=4$. Embora não prove a conjectura para todo $n$, ele resolve definitivamente o caso para polinômios de duas variáveis de grau 12. O trabalho destaca a utilidade de métodos computacionais na teoria de álgebras PI, mostrando que questões estruturais complexas sobre álgebras de matrizes podem ser resolvidas reduzindo o espaço de busca através da teoria de representação e, em seguida, aplicando álgebra linear em computadores pessoais. Os resultados confirmam que o grau mínimo para $M_4(K)$ é de fato 13 para o caso específico de duas variáveis, alinhando-se com a fórmula quadrática $\frac{1}{2}(n^2 + 3n - 2)$.