Minimal Dimensions of Maximal Commutative Matrix Algebras and Sharp Courter-Type Bounds

Resumo Técnico: Dimensões Mínimas de Álgebras de Matrizes Comutativas Maximais e Limites Agudos do Tipo Courter

Enunciado do Problema
O artigo aborda um problema clássico na álgebra linear e associativa: determinar a dimensão mínima possível de uma subálgebra comutativa maximal $A \subseteq M_n(K)$, onde $K$ é um corpo algebricamente fechado e $M_n(K)$ é a álgebra de matrizes $n \times n$. Embora exemplos de grande dimensão sejam bem compreendidos, a existência de álgebras comutativas maximais com dimensões estritamente menores que $n$ (referidas como álgebras "tipo Courter") é um fenômeno sutil e menos compreendido.

Historicamente, a álgebra de matrizes diagonais fornece uma subálgebra comutativa maximal de dimensão $n$. Em 1961, Courter construiu um exemplo em $M_{14}(K)$ com dimensão 13, provando que $\dim A < n$ é possível. Antes deste trabalho, nenhum exemplo era conhecido para $n < 14$, e o limite inferior geral estabelecido por Laffey, $\dim A > (2n)^{2/3} - 1$, era insuficiente para descartar casos excepcionais menores. A lacuna específica no conhecimento dizia respeito ao intervalo $7 \le n \le 13$, onde nem uma classificação nem uma prova da desigualdade $\dim A \ge n$ existiam.

Metodologia
Os autores empregam uma abordagem estrutural baseada no teorema da forma normal de Suprunenko e Tyshkevich. A metodologia prossegue através das seguintes etapas:

1. Redução a Álgebras Locais: Usando uma proposição de Suprunenko e Tyshkevich, os autores focam em álgebras comutativas maximais locais (aquelas onde cada elemento é ou invertível ou nilpotente). Eles estabelecem que qualquer álgebra comutativa maximal decompõe-se em uma soma direta de álgebras comutativas maximais locais.
2. Análise de Assinatura: Álgebras comutativas maximais locais são conjugadas a uma forma triangular inferior em blocos definida por uma assinatura $(n_1, n_2, n_3)$, onde $n = n_1 + n_2 + n_3$. A estrutura da álgebra é determinada por um bloco de socle $\Sigma \cong M_{n_3 \times n_1}(K)$ e uma camada de radical $\Lambda$ gerada por elementos nilpotentes.
3. Estimativa do Centralizador: Os autores derivam um limite inferior agudo para a dimensão do centralizador $C(A)$ de uma álgebra com uma assinatura dada. Ao impor a condição de comutatividade maximal ($C(A) = A$), eles derivam uma fórmula que relaciona a dimensão dos geradores do radical ($d$) aos componentes da assinatura.
4. Otimização de Assinaturas: Os autores analisam a função $F(n_1, n_2, n_3)$ representando o limite inferior da dimensão. Eles provam que, para $n_1, n_3 \ge 2$, as dimensões mínimas ocorrem na família de fronteira de assinaturas $(2, s, 2)$.
5. Construção de Pilhas: Para demonstrar que os limites inferiores derivados são atingíveis, os autores introduzem uma "construção de pilha". Esta operação combina duas álgebras de assinatura $(2, s, 2)$ em uma álgebra maior de assinatura $(2, s_1+s_2, 2)$, preservando a comutatividade maximal e exibindo uma propriedade específica de economia de dimensão ($\dim(A_1 \star A_2) = \dim A_1 + \dim A_2 - 5$).

Contribuições e Resultados Principais

• Limites Inferiores Agudos: O artigo estabelece um limite inferior exato para a dimensão de qualquer subálgebra comutativa maximal $A \subseteq M_n(K)$:
  $$\dim A \ge \begin{cases} n & \text{se } n \le 8 \\ 5 + \lceil \frac{4(n-4)}{5} \rceil & \text{se } n \ge 9 \end{cases}$$
  (Nota: O artigo estende o resultado para $n \le 8$ até $n \le 13$ no resumo e discussão, confirmando que não existem álgebras tipo Courter neste intervalo).

• Resolução do Caso $n \le 13$: Os autores provam que, para todo $n \le 13$, qualquer subálgebra comutativa maximal deve satisfazer $\dim A \ge n$. Consequentemente, não existem álgebras tipo Courter (onde $\dim A < n$) em $M_n(K)$ para $n \le 13$. Isso refina a estimativa de Laffey e fecha a lacuna para pequenos $n$.

• Identificação do Primeiro Caso Excepcional: O artigo confirma que $n=14$ é a primeira dimensão onde $\dim A < n$ é possível. O exemplo clássico de Courter em $M_{14}(K)$ (assinatura $(2, 10, 2)$ com dimensão 13) é mostrado como o primeiro caso excepcional possível e atinge o limite ótimo derivado no artigo.

• Famílias Infinitas Explícitas: Os autores constroem famílias infinitas explícitas de subálgebras comutativas maximais que atingem o limite inferior para todo $n \ge 14$. Isso é alcançado definindo três "blocos de construção":

  1. Uma álgebra semente $E \subseteq M_9(K)$ de assinatura $(2, 5, 2)$ com dimensão 9.
  2. A álgebra de Courter $C \subseteq M_{14}(K)$ de assinatura $(2, 10, 2)$ com dimensão 13.
  3. Um bloco diagonal $D \subseteq M_5(K)$ de assinatura $(2, 1, 2)$ com dimensão 6.
     Ao empilhar esses blocos (especificamente $E$ e $D$), os autores geram álgebras $A_n$ para qualquer $n \ge 14$ tais que $\dim A_n = 5 + \lceil \frac{4(n-4)}{5} \rceil$.

Significado e Alegações
O artigo alega refinar as estimativas clássicas de Laffey determinando os limites inferiores exatos para subálgebras comutativas maximais. Seu significado principal reside em:

1. Descartar pequenas exceções: Provar definitivamente que álgebras tipo Courter não existem para $n \le 13$.
2. Caracterizar a primeira exceção: Identificar o exemplo de Courter em $M_{14}$ não como uma anomalia isolada, mas como o primeiro membro de uma família infinita e aguda de álgebras de matrizes comutativas maximais mínimas.
3. Prova Construtiva: Fornecer um método construtivo (a construção de pilha) para gerar exemplos mínimos em toda dimensão $n \ge 14$, demonstrando assim que o limite é apertado.

Os autores concluem que o problema extremal global para subálgebras comutativas maximais mínimas está essencialmente resolvido, desde que se compreendam os blocos de construção locais. A dificuldade restante é descrita como "inteiramente local", focando na classificação de álgebras comutativas maximais locais com dimensões pequenas em relação ao tamanho da matriz.