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

Résumé technique : Dimensions minimales des algèbres matricielles commutatives maximales et bornes optimales de type Courter

Énoncé du problème
L'article traite d'un problème classique en algèbre linéaire et associative : déterminer la dimension minimale possible d'une sous-algèbre commutative maximale $A \subseteq M_n(K)$, où $K$ est un corps algébriquement clos et $M_n(K)$ l'algèbre des matrices $n \times n$. Si les exemples de grande dimension sont bien compris, l'existence d'algèbres commutatives maximales de dimensions strictement inférieures à $n$ (désignées comme des algèbres « de type Courter ») constitue un phénomène subtil et moins bien compris.

Historiquement, l'algèbre des matrices diagonales fournit une sous-algèbre commutative maximale de dimension $n$. En 1961, Courter a construit un exemple dans $M_{14}(K)$ de dimension 13, prouvant que $\dim A < n$ est possible. Avant ce travail, aucun exemple n'était connu pour $n < 14$, et la borne inférieure générale établie par Laffey, $\dim A > (2n)^{2/3} - 1$, était insuffisante pour exclure de plus petits cas exceptionnels. Le déficit spécifique de connaissances concernait l'intervalle $7 \le n \le 13$, où ni une classification ni une preuve de l'inégalité $\dim A \ge n$ n'existaient.

Méthodologie
Les auteurs adoptent une approche structurelle fondée sur le théorème de forme normale de Suprunenko et Tyshkevich. La méthodologie procède selon les étapes suivantes :

1. Réduction aux algèbres locales : En utilisant une proposition de Suprunenko et Tyshkevich, les auteurs se concentrent sur les algèbres commutatives maximales locales (celles où chaque élément est soit inversible, soit nilpotent). Ils établissent que toute algèbre commutative maximale se décompose en une somme directe d'algèbres commutatives maximales locales.
2. Analyse de la signature : Les algèbres commutatives maximales locales sont conjuguées à une forme triangulaire inférieure par blocs définie par une signature $(n_1, n_2, n_3)$, où $n = n_1 + n_2 + n_3$. La structure de l'algèbre est déterminée par un bloc de socle $\Sigma \cong M_{n_3 \times n_1}(K)$ et une couche de radical $\Lambda$ générée par des éléments nilpotents.
3. Estimation du centralisateur : Les auteurs déduisent une borne inférieure optimale pour la dimension du centralisateur $C(A)$ d'une algèbre de signature donnée. En imposant la condition de commutativité maximale ($C(A) = A$), ils dérivent une formule reliant la dimension des générateurs du radical ($d$) aux composantes de la signature.
4. Optimisation des signatures : Les auteurs analysent la fonction $F(n_1, n_2, n_3)$ représentant la borne inférieure de la dimension. Ils prouvent que pour $n_1, n_3 \ge 2$, les dimensions minimales se produisent dans la famille frontière de signatures $(2, s, 2)$.
5. Construction par empilement : Pour démontrer que les bornes inférieures dérivées sont atteignables, les auteurs introduisent une « construction par empilement ». Cette opération combine deux algèbres de signature $(2, s, 2)$ en une algèbre plus grande de signature $(2, s_1+s_2, 2)$ tout en préservant la commutativité maximale et en exhibant une propriété spécifique d'économie de dimension ($\dim(A_1 \star A_2) = \dim A_1 + \dim A_2 - 5$).

Contributions et résultats clés

• Bornes inférieures optimales : L'article établit une borne inférieure exacte pour la dimension de toute sous-algèbre commutative maximale $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}$$
  (Note : L'article étend le résultat $n \le 8$ à $n \le 13$ dans le résumé et la discussion, confirmant qu'aucune algèbre de type Courter n'existe dans cet intervalle).

• Résolution du cas $n \le 13$ : Les auteurs prouvent que pour tout $n \le 13$, toute sous-algèbre commutative maximale doit satisfaire $\dim A \ge n$. Par conséquent, aucune algèbre de type Courter (où $\dim A < n$) n'existe dans $M_n(K)$ pour $n \le 13$. Cela affine l'estimation de Laffey et comble le vide pour les petites valeurs de $n$.

• Identification du premier cas exceptionnel : L'article confirme que $n=14$ est la première dimension où $\dim A < n$ est possible. L'exemple classique de Courter dans $M_{14}(K)$ (signature $(2, 10, 2)$ avec une dimension de 13) est montré comme étant le premier cas exceptionnel possible et il atteint la borne optimale dérivée dans l'article.

• Familles infinies explicites : Les auteurs construisent des familles infinies explicites de sous-algèbres commutatives maximales qui atteignent la borne inférieure pour tout $n \ge 14$. Cela est réalisé en définissant trois « blocs de construction » :

  1. Une algèbre germe $E \subseteq M_9(K)$ de signature $(2, 5, 2)$ de dimension 9.
  2. L'algèbre de Courter $C \subseteq M_{14}(K)$ de signature $(2, 10, 2)$ de dimension 13.
  3. Une brique diagonale $D \subseteq M_5(K)$ de signature $(2, 1, 2)$ de dimension 6.
     En empilant ces blocs (spécifiquement $E$ et $D$), les auteurs génèrent des algèbres $A_n$ pour tout $n \ge 14$ telles que $\dim A_n = 5 + \lceil \frac{4(n-4)}{5} \rceil$.

Portée et affirmations
L'article prétend affiner les estimations classiques de Laffey en déterminant les bornes inférieures exactes pour les sous-algèbres commutatives maximales. Sa signification principale réside dans :

1. L'exclusion des petites exceptions : Prouver de manière définitive que les algèbres de type Courter n'existent pas pour $n \le 13$.
2. La caractérisation de la première exception : Identifier l'exemple $M_{14}$ de Courter non pas comme une anomalie isolée, mais comme le premier membre d'une famille infinie et optimale d'algèbres matricielles commutatives maximales minimales.
3. Preuve constructive : Fournir une méthode constructive (la construction par empilement) pour générer des exemples minimaux dans chaque dimension $n \ge 14$, démontrant ainsi que la borne est serrée.

Les auteurs concluent que le problème extremal global pour les sous-algèbres commutatives maximales minimales est essentiellement résolu, à condition de comprendre les blocs de construction locaux. La difficulté restante est décrite comme « entièrement locale », se concentrant sur la classification des algèbres commutatives maximales locales de petites dimensions par rapport à la taille de la matrice.