On the uniform dimension of subextensions in skew polynomial rings

Résumé Technique : Sur la dimension uniforme des sous-extensions dans les anneaux de polynômes déformés (skew polynomial rings)

Énoncé du Problème
L'article étudie l'invariance de la dimension uniforme (Goldie) et des concepts connexes, tels que la préservation des conditions de Goldie et de la (semi)primalité, pour les sous-extensions au sein d'anneaux de polynômes déformés. Plus précisément, il traite du comportement des sous-anneaux $A$ engendrés sur un anneau de base $R$ par des sous-ensembles de termes standards au sein d'un anneau de polynômes déformés ambiant $S = R[X; \alpha, \delta]$ ou d'un anneau de polynômes de Laurent déformé $S = R[X^{\pm 1}; \alpha]$.

Le problème central est de déterminer sous quelles conditions sur la forme d'une sous-extension $A$, l'égalité $\text{udim}(A) = \text{udim}(S) = \text{udim}(R)$ est vérifiée, et si $A$ hérite de la propriété Goldie à gauche (dimension uniforme finie et condition de chaîne ascendante sur les annihilateurs à gauche) de $R$. L'auteur note que, bien que cette invariance soit bien établie pour les anneaux polynomiaux classiques et les extensions d'Ore itérées, la situation pour les sous-anneaux arbitraires de type « polynomial » dans les contextes déformés est complexe. Dans les contextes non commutatifs, les sous-anneaux engendrés par des termes standards peuvent se comporter de manière « étrange », échouant potentiellement à préserver la dimension uniforme ou les conditions de Goldie, comme le démontrent des exemples où un anneau de polynômes déformés premier Goldie à gauche contient un sous-anneau de monoïde isomorphe à un anneau de polynômes non commutatifs libres (qui possède une dimension uniforme infinie).

Méthodologie
L'article emploie une approche structurelle combinant des caractérisations de la théorie des modules avec des constructions algébriques spécifiques adaptées aux anneaux de polynômes déformés.

1. Stratégie d'extension d'anneaux généraux : L'auteur établit d'abord un cadre général pour les extensions d'anneaux arbitraires $R \subset S$. Un concept clé introduit est celui de sous-anneau proprement essentiel (Définition 2.5). Un sous-anneau $A$ est proprement essentiel dans $S$ si, pour tout ensemble fini d'éléments non nuls dans $S$, il existe un élément non nul dans $A$ qui projette tous les éléments de l'ensemble dans $A$. L'article prouve que si $A$ est un sous-anneau proprement essentiel de $S$, ils partagent la même dimension uniforme, et que des propriétés comme la (semi)primalité et la condition de Goldie sont préservées sous certaines conditions (Propositions 2.6 et 2.7).

2. Cas des variables commutatives : Pour les anneaux de polynômes de Laurent déformés avec des variables commutatives, l'article utilise le fait que toute sous-extension engendrée par des termes standards est un anneau de monoïde déformé sur un sous-monoïde d'un groupe abélien libre. En les plongeant dans un anneau de Laurent déformé plus large et en utilisant les propriétés des ensembles de dénominateurs et de la localisation d'Ore, l'auteur démontre que ces sous-extensions sont des extensions proprement essentielles de l'anneau de coefficients, préservant ainsi la dimension uniforme et les propriétés de Goldie (Théorèmes 3.3 et 3.5).

3. Variables non commutatives et sous-extensions « essentiellement spéciales » : Dans le cas général non commutatif, l'article introduit la classe des sous-extensions essentiellement spéciales (Définition 4.7). Ce sont des sous-anneaux qui sont « proprement essentiels » au sein d'une « sous-extension spéciale ». Une sous-extension spéciale est définie par une forme structurelle spécifique impliquant des degrés atteignables des variables et des automorphismes induits sur les sous-anneaux de coefficients.

   • La méthodologie repose fortement sur le concept de polynômes $R$-nets (Définition 4.4), où les coefficients partagent un annihilateur commun à gauche.
   • Des lemmes techniques (4.5, 4.10, 4.11) sont développés pour montrer que, sous la forme « spéciale », on peut élever les idéaux gauches uniformes et essentiels de l'anneau de base $R$ vers la sous-extension $A$.
   • Les preuves utilisent l'induction transfinie sur l'ensemble bien ordonné des variables et l'ordre lexicographique inverse pour traiter les cas multivariés.

Contributions Clés et Résultats

• Stratégie d'invariance générale : L'article fournit une stratégie générale (Proposition 2.4) pour comparer les dimensions uniformes dans des extensions d'anneaux arbitraires, supprimant l'hypothèse tacite de dimension uniforme finie présente dans les travaux antérieurs (par exemple, Shock [Sho72]). Il caractérise les modules possédant « assez de sous-modules uniformes » via des sommes directes essentielles (Proposition 2.3).
• Variables commutatives : L'article résout complètement le problème pour les sous-extensions d'anneaux de polynômes de Laurent déformés avec des variables commutatives. Il prouve que pour toute sous-extension $A$ engendrée par une famille de termes standards, $\text{udim}(A) = \text{udim}(R)$, et $A$ est Goldie à gauche (resp. (semi)premier) si et seulement si $R$ l'est (Théorèmes 3.3 et 3.5).
• Variables non commutatives (Sous-extensions essentiellement spéciales) : Le résultat principal (Théorème 4.15) établit que pour une sous-extension essentiellement spéciale $A$ d'un anneau de polynômes déformés bijectif $S$ :
  • Si $R$ possède assez d'idéaux gauches uniformes, alors $A$ possède assez d'idéaux gauches uniformes et $\text{udim}(A) = \text{udim}(R)$.
  • L'idéal singulier à gauche satisfait $\mathfrak{z}(A) = A \cap \mathfrak{z}(R)T$, où $T$ est l'ensemble des termes standards.
  • Si $R$ est un anneau Goldie à gauche (semi)premier et que $A$ est une sous-extension essentiellement spéciale forte, alors $A$ est également un anneau Goldie à gauche (semi)premier avec la même dimension uniforme (Théorème 4.17).
• Contre-exemples : L'article fournit des exemples explicites (Exemples 2.9 et 2.10) de sous-anneaux de monoïdes isomorphes à des anneaux de polynômes non commutatifs libres contenus dans des anneaux de polynômes déformés (semi)premiers Goldie à gauche. Ces sous-anneaux ont une dimension uniforme infinie, démontrant que l'invariance de la dimension uniforme ne tient pas pour toutes les sous-extensions, soulignant ainsi la nécessité de la condition « essentiellement spéciale ».

Signification et Portée
L'article prétend étendre les résultats classiques sur l'invariance de la dimension uniforme (tels que ceux de Shock [Sho72], Matczuk [Mat95], et d'autres) à un cadre plus large et plus complexe de sous-extensions dans les anneaux de polynômes déformés. Sa signification réside dans :

1. Gestion des dimensions infinies : Contrairement aux travaux précédents qui supposaient souvent des dimensions uniformes finies, cet article permet des dimensions uniformes non nécessairement finies.
2. Généralisation des sous-extensions : Il dépasse les extensions d'Ore itérées standards pour considérer des sous-extensions arbitraires engendrées par des sous-ensembles de termes standards, identifiant une classe spécifique (« essentiellement spéciale ») où les propriétés d'invariance classiques se vérifient.
3. Caractère tranchant : Les résultats sont présentés comme tranchants ; l'article démontre par des exemples que sans la condition « essentiellement spéciale », la préservation de la dimension uniforme et des propriétés de Goldie échoue, même dans des anneaux ambiants bien structurés.

Le travail ne propose pas de nouvelles applications ou de propositions expérimentales, mais fournit un cadre théorique rigoureux pour comprendre la stabilité structurelle des conditions de Goldie dans les anneaux non commutatifs de type polynomial.