Résumé Technique : Sur la dimension minimale des sous-algèbres commutatives maximales de $M_6(k)$

Problématique

L'article s'attaque à un problème classique de l'algèbre linéaire : la détermination de la dimension minimale d'une sous-algèbre commutative maximale $A$ au sein de l'algèbre des matrices $M_n(k)$ sur un corps algébriquement clos $k$.

Un enjeu majeur est de savoir si la borne $\dim A \geq n$ est toujours vérifiée. Bien que Courter ait démontré en 1961 l'existence de contre-exemples pour $n \geq 14$ (où $\dim A < n$), la question reste ouverte pour les petites dimensions. Pour $n=6$, les méthodes asymptiques ne s'appliquent plus, et les bornes générales (comme celle de Laffey) ne sont pas assez précises pour exclure l'existence d'une sous-algèbre de dimension 5.

Méthodologie

L'auteur adopte une approche structurelle basée sur la classification des algèbres locales commutatives. L'idée centrale est de démontrer que toute sous-algèbre commutative de dimension 5 ne peut pas être maximale dans $M_6(k)$.

La stratégie de preuve repose sur les étapes suivantes :

1. Classification par type de Hilbert-Samuel : L'auteur utilise la classification des algèbres locales de dimension 5, qui se répartissent en neuf classes d'isomorphisme regroupées selon leur type de Hilbert-Samuel (ex: $(1,4)$, $(1,3,1)$, $(1,2,2)$, etc.).
2. Analyse des endomorphismes $A$-linéaires : Pour chaque classe d'algèbre, l'auteur considère un module fidèle $V = k^6$. L'objectif est de construire un espace d'endomorphismes de $V$ (noté $\text{End}_A(V)$) dont la dimension est strictement supérieure à la dimension de l'algèbre $A$ ($\dim A = 5$).
3. Utilisation du noyau du radical : Un outil technique clé consiste à exploiter les sous-espaces $L \subset V$ annihilés par le radical $J$ (c'est-à-dire $JL = 0$). L'auteur démontre que tout morphisme linéaire de $V/JV$ vers $L$ induit un endomorphisme $A$-linéaire, ce qui permet de générer de grands sous-espaces d'endomorphismes de manière uniforme.

Résultats Principaux

Le résultat central est le suivant :

Théorème 1 : Soit $A \subset M_6(k)$ une sous-algèbre commutative maximale. Alors $\dim A \geq 6$.

Pour parvenir à ce résultat, l'auteur traite systématiquement les cas de dimension 5 :

• Type (1, 4) : En utilisant l'injection $\text{Hom}_k(V/JV, JV) \hookrightarrow \text{End}_A(V)$, il est montré que $\dim \text{End}_A(V) \geq 6$.
• Type (1, 3, 1) : Par une analyse de formes normales des applications induites par la base du radical, l'auteur prouve que $\dim \text{End}_A(V) \geq 6$.
• Type (1, 2, 1, 1) : L'utilisation du socle du module permet de montrer que $\dim \text{End}_A(V) \geq 6$.
• Type (1, 2, 2) : L'étude des cas de filtration du module mène à des dimensions d'endomorphismes $\geq 6$ ou $\geq 7$.
• Cas spécifique (Classe 16) : Une analyse très détaillée (présentée en annexe) montre que pour cette structure particulière, la dimension de l'espace des endomorphismes est même $\geq 9$.

Signification et Portée

1. Validation de la conjecture : Ce travail confirme que pour $n=6$, l'inégalité $\dim A \geq n$ est respectée. Cela renforce l'idée que le phénomène de Courter ($\dim A < n$) ne commence qu'à des dimensions nettement plus élevées.
2. Limite des méthodes actuelles : L'article souligne que la méthode de classification par cas est propre à la dimension 6. Pour $n \geq 7$, le nombre de classes d'algèbres locales devient infini, ce qui rend cette approche impossible et nécessite le développement de nouvelles méthodes structurelles (sans recours à la classification exhaustive).
3. Contribution théorique : L'article fournit une analyse fine de la relation entre la structure nilpotente d'une algèbre et la dimension de son centraliseur dans l'algèbre des matrices.