Matrix generators for the unit groups of $L_K(1,d)$

Résumé technique : Générateurs de matrices pour les groupes unités de $L_K(1, d)$

Énoncé du problème
L'article étudie la structure du groupe unité $L_d^\times$ de l'algèbre de chemin de Leavitt $L_d = L_K(R_d)$, où $R_d$ est le graphe en rose avec un sommet et $d$ boucles ($d \ge 2$) sur un corps $K$. Bien que le cas binaire ($d=2$) ait été étudié dans le contexte des groupes de Higman–Thompson et des algèbres de Leavitt, une caractérisation complète du groupe unité pour un $d$ général et ses propriétés de génération est restée ouverte. Plus précisément, les auteurs examinent si le sous-groupe engendré par les copies des groupes linéaires généraux $GL_n(K)$ associés à des arbres $d$-aires finis (appelé groupe linéaire général de Leavitt, $LGL_d(K)$) coïncide avec le groupe unité complet $L_d^\times$. De plus, l'article cherche à déterminer les conditions sous lesquelles $L_d^\times$ est engendré et présenté de façon finie, et à calculer les invariants $K$-théoriques pertinents, spécifiquement les groupes $K_2$ instables et stables.

Méthodologie
Les auteurs emploient une combinaison de techniques algébriques ancrées dans la théorie des algèbres de chemins de Leavitt, des anneaux de matrices et de la $K$-théorie algébrique :

1. Ensembles de feuilles et unités de matrice : Les auteurs utilisent la structure combinatoire de l'arbre $d$-aire enraciné. Ils définent des « ensembles de feuilles » (ensembles finis de mots correspondant aux feuilles d'un sous-arbre complet fini) pour construire des systèmes complets d'unités de matrice $\{\epsilon_{ij}^C\}$ dans $L_d$. Cela permet la construction d'isomorphismes unitaux $\Theta_C: M_n(L_d) \to L_d$ pour tout ensemble de feuilles ordonné $C$ de cardinalité $n$.
2. Présentations feuille-matrice : Ils définissent des éléments $u(A, M, B)$ construits à partir d'ensembles de feuilles ordonnés $A, B$ et d'une matrice $M \in GL_n(K)$. Le groupe $LGL_d(K)$ est défini comme le sous-groupe engendré par ces éléments.
3. Propriétés des anneaux GE : La preuve repose sur le fait que $L_d$ est un anneau simple purement infini. Citant les résultats d'Ara, Goodearl et Pardo, les auteurs établissent que $L_d$ est un anneau GE (General Euclidean ring), ce qui signifie que $GL_n(L_d)$ est engendré par les matrices élémentaires et les matrices diagonales.
4. Arguments de coefficients : Pour traiter l'engendrement fini, les auteurs utilisent un argument de base impliquant des « arêtes spéciales » pour montrer que tout sous-groupe engendré de façon finie de $L_d^\times$ est contenu dans un sous-anneau $L_A(R_d)$ où $A$ est un sous-anneau de $K$ engendré de façon finie. Cela lie l'engendrement fini du groupe unité à l'engendrement fini du corps $K$ en tant qu'anneau.
5. $K$-théorie instable : Pour les corps finis, l'analyse de la présentation finie est réduite à l'étude du groupe $K_2$ instable, $K_2(n, L_d)$, défini comme le noyau de l'application du groupe de Steinberg vers le groupe élémentaire. Les auteurs utilisent la propriété d'extension centrale universelle du groupe de Steinberg pour les groupes parfaits.

Contributions et résultats clés

• Génération du groupe unité : Le résultat principal est la preuve que $LGL_d(K) = L_d^\times$ pour chaque corps $K$ et chaque $d \ge 2$. Cela confirme une question posée par Freeland dans le cas binaire et l'étend à tous les $d$. Spécifiquement, le groupe unité est engendré par des éléments de la forme $1 + \gamma_i a \gamma_j^*$ où $\gamma_i, \gamma_j$ sont des feuilles non comparables par préfixe et $a \in L_d$. Dans le cas binaire, cela donne l'ensemble générateur explicite $L^\times = \langle 1 + eaf^*, 1 + fbe^* : a, b \in L \rangle$.
• Critère d'engendrement fini : L'article établit que $L_d^\times$ est engendré de façon finie si et seulement si le corps $K$ est fini. Si $K$ est infini, le groupe unité n'est pas engendré de façon finie.
• Sous-groupe monomial et plongements : Les auteurs caractérisent le sous-groupe des unités représentées par des matrices monomiales, noté $M_2(K)$ dans le cas binaire. Ils montrent que $M_2(K) \cong Clc(\{e, f\}^\mathbb{N}, K^\times) \rtimes V$, où $V$ est le groupe de Higman–Thompson agissant par rappel (pullback). De plus, ils construisent un plongement explicite de $GL_\infty(K)$ dans $L^\times$ en utilisant des unités de matrice spécifiques dérivées de la structure de l'arbre.
• Présentation finie et $K_2$ : Sur un corps fini $\mathbb{F}_q$, la présentation finie de $L_d^\times$ est montrée être équivalente à l'engendrement fini du groupe $K_2$ instable $K_2(n, L_d)$ pour $n = 1 + r(d-1) \ge 5$. Les auteurs calculent le groupe $K_2$ stable comme étant $K_2(L_d) \cong \{ \lambda \in \mathbb{F}_q^\times : \lambda^{d-1} = 1 \}$. Ils notent que les théorèmes de stabilité habituels ne s'appliquent pas car le rang stable de Bass de $L_d$ est infini, laissant l'engendrement fini du noyau instable comme la condition critique.
• Parfaitesse et abelianisation : L'article confirme que $L_d^\times$ est parfait (égal à son sous-groupe commutateur) lorsque $d=2$ ou $K=\mathbb{F}_2$, et de manière générale que $GL_n(L_d) = E_n(L_d)D_n(K)$, où la partie diagonale est déterminée par l'inclusion scalaire.

Signification et affirmations
L'article prétend résoudre la question structurelle de savoir si le « groupe linéaire général de Leavitt » (engendré par des copies de matrices basées sur l'arbre) épuise le groupe unité de l'algèbre de Leavitt, affirmant qu'il le fait effectivement. Cela unifie la structure algébrique de ces unités avec la structure combinatoire de l'arbre sous-jacent.

Le travail fournit un critère précis pour l'engendrement fini, liant la propriété algébrique du groupe unité directement à la nature arithmétique du corps de base. De plus, il réduit le problème complexe de la présentation finie de ces groupes unités de dimension infinie à un problème de $K$-théorie instable. Les auteurs affirment explicitement que, bien que le groupe $K_2$ stable soit calculé et trouvé fini (s'annulant dans des cas spécifiques), le calcul ne résout pas l'engendrement fini des groupes instables $K_2(n, L_d)$ en raison de l'échec des théorèmes de stabilité standard. Ainsi, l'article présente la présentation finie de $L_d^\times$ comme étant contingente sur l'engendrement fini de ces groupes $K$ instables spécifiques, plutôt que de fournir une réponse définitive « oui/non » pour tous les cas sans apport $K$-théorique supplémentaire.

Les résultats étendent la compréhension des groupes de Higman–Thompson et des algèbres de Leavitt en plongeant les groupes linéaires généraux et en analysant leurs structures d'unités à travers le prisme des anneaux de matrices sur des anneaux simples purement infinis.