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

Resumen Técnico: Dimensiones Mínimas de Álgebras Matriciales Conmutativas Maximales y Límites Agudos de Tipo Courter

Enunciado del Problema
El artículo aborda un problema clásico en el álgebra lineal y asociativa: determinar la dimensión mínima posible de una subálgebra conmutativa maximal $A \subseteq M_n(K)$, donde $K$ es un cuerpo algebraicamente cerrado y $M_n(K)$ es el álgebra de matrices $n \times n$. Si bien los ejemplos de gran dimensión están bien comprendidos, la existencia de álgebras conmutativas maximales con dimensiones estrictamente menores que $n$ (denominadas álgebras "tipo Courter") es un fenómeno sutil y menos comprendido.

Históricamente, el álgebra de matrices diagonales proporciona una subálgebra conmutativa maximal de dimensión $n$. En 1961, Courter construyó un ejemplo en $M_{14}(K)$ con dimensión 13, demostrando que $\dim A < n$ es posible. Antes de este trabajo, no se conocían ejemplos para $n < 14$, y la cota inferior general establecida por Laffey, $\dim A > (2n)^{2/3} - 1$, era insuficiente para descartar casos excepcionales más pequeños. La brecha específica en el conocimiento concernía al rango $7 \le n \le 13$, donde no existía ni una clasificación ni una prueba de la desigualdad $\dim A \ge n$.

Metodología
Los autores emplean un enfoque estructural basado en el teorema de la forma normal de Suprunenko y Tyshkevich. La metodología procede a través de los siguientes pasos:

1. Reducción a Álgebras Locales: Utilizando una proposición de Suprunenko y Tyshkevich, los autores se centran en álgebras conmutativas maximales locales (aquellas donde cada elemento es o bien invertible o bien nilpotente). Establecen que cualquier álgebra conmutativa maximal se descompone en una suma directa de álgebras conmutativas maximales locales.
2. Análisis de la Firma: Las álgebras conmutativas maximales locales son conjugadas a una forma triangular inferior por bloques definida por una firma $(n_1, n_2, n_3)$, donde $n = n_1 + n_2 + n_3$. La estructura del álgebra está determinada por un bloque de socle $\Sigma \cong M_{n_3 \times n_1}(K)$ y una capa de radical $\Lambda$ generada por elementos nilpotentes.
3. Estimación del Centralizador: Los autores derivan una cota inferior aguda para la dimensión del centralizador $C(A)$ de un álgebra con una firma dada. Al imponer la condición de conmutatividad maximal ($C(A) = A$), derivan una fórmula que relaciona la dimensión de los generadores del radical ($d$) con los componentes de la firma.
4. Optimización de Firmas: Los autores analizan la función $F(n_1, n_2, n_3)$ que representa la cota inferior de la dimensión. Demuestran que para $n_1, n_3 \ge 2$, las dimensiones mínimas ocurren en la familia de frontera de firmas $(2, s, 2)$.
5. Construcción de Pila: Para demostrar que las cotas inferiores derivadas son alcanzables, los autores introducen una "construcción de pila". Esta operación combina dos álgebras de firma $(2, s, 2)$ en un álgebra mayor de firma $(2, s_1+s_2, 2)$, preservando la conmutatividad maximal y exhibiendo una propiedad específica de ahorro de dimensión ($\dim(A_1 \star A_2) = \dim A_1 + \dim A_2 - 5$).

Contribuciones y Resultados Clave

• Cotas Inferiores Agudas: El artículo establece una cota inferior exacta para la dimensión de cualquier subálgebra conmutativa maximal $A \subseteq M_n(K)$:
  $$\dim A \ge \begin{cases} n & \text{si } n \le 8 \\ 5 + \lceil \frac{4(n-4)}{5} \rceil & \text{si } n \ge 9 \end{cases}$$
  (Nota: El artículo extiende el resultado de $n \le 8$ a $n \le 13$ en el resumen y la discusión, confirmando que no existen álgebras tipo Courter en este rango).

• Resolución del Caso $n \le 13$: Los autores demuestran que para todo $n \le 13$, cualquier subálgebra conmutativa maximal debe satisfacer $\dim A \ge n$. En consecuencia, no existen álgebras tipo Courter (donde $\dim A < n$) en $M_n(K)$ para $n \le 13$. Esto refina la estimación de Laffey y cierra la brecha para $n$ pequeño.

• Identificación del Primer Caso Excepcional: El artículo confirma que $n=14$ es la primera dimensión donde es posible que $\dim A < n$. El ejemplo clásico de Courter en $M_{14}(K)$ (firma $(2, 10, 2)$ con dimensión 13) se muestra como el primer caso excepcional posible y alcanza la cota óptima derivada en el artículo.

• Familias Infinitas Explícitas: Los autores construyen familias infinitas explícitas de subálgebras conmutativas maximales que alcanzan la cota inferior para todo $n \ge 14$. Esto se logra definiendo tres "bloques de construcción":

  1. Un álgebra semilla $E \subseteq M_9(K)$ de firma $(2, 5, 2)$ con dimensión 9.
  2. El álgebra de Courter $C \subseteq M_{14}(K)$ de firma $(2, 10, 2)$ con dimensión 13.
  3. Un ladrillo diagonal $D \subseteq M_5(K)$ de firma $(2, 1, 2)$ con dimensión 6.
     Apilando estos bloques (específicamente $E$ y $D$), los autores generan álgebras $A_n$ para cualquier $n \ge 14$ tales que $\dim A_n = 5 + \lceil \frac{4(n-4)}{5} \rceil$.

Significado y Afirmaciones
El artículo afirma refinar las estimaciones clásicas de Laffey al determinar las cotas inferiores exactas para subálgebras conmutativas maximales. Su significado principal radica en:

1. Descartar excepciones pequeñas: Demostrar definitivamente que las álgebras tipo Courter no existen para $n \le 13$.
2. Caracterizar la primera excepción: Identificar el ejemplo de Courter en $M_{14}$ no como una anomalía aislada, sino como el primer miembro de una familia infinita, aguda, de álgebras matriciales conmutativas maximales minimales.
3. Prueba Constructiva: Proporcionar un método constructivo (la construcción de pila) para generar ejemplos mínimos en cada dimensión $n \ge 14$, demostrando así que la cota es ajustada.

Los autores concluyen que el problema extremal global para subálgebras conmutativas maximales minimales está esencialmente resuelto, siempre que se comprendan los bloques de construcción locales. La dificultad restante se describe como "enteramente local", centrándose en la clasificación de álgebras conmutativas maximales locales con dimensiones pequeñas en relación con el tamaño de la matriz.