A characterization of monoid graded semihereditary rings

Résumé technique : Une caractérisation des anneaux semi-héréditaires à gauche gradués par un monoïde

Énoncé du problème
L'article traite de la caractérisation structurelle des anneaux $\Gamma$-gradués, en se concentrant spécifiquement sur la classe des anneaux semi-héréditaires à gauche gradués. Un anneau $\Gamma$-gradué $R$ est défini comme semi-héréditaire à gauche gradué si tout idéal à gauche homogène de type fini est un $R$-module projectif. Ce concept sert de généralisation des domaines de Prüfer gradués.

Alors que des travaux antérieurs (spécifiquement [1]) ont établi qu'un anneau gradué est semi-héréditaire à gauche gradué si et seulement s'il est cohérent à gauche gradué et que tout idéal à gauche homogène est plat, les auteurs cherchent une caractérisation plus large. Le problème central est de déterminer si la condition sur les idéaux peut être étendue à une condition sur les modules : spécifiquement, si la propriété est vraie si et seulement si l'anneau est cohérent à gauche gradué et tout sous-module gradué d'un $R$-module à gauche plat est plat.

Méthodologie
Les auteurs emploient le cadre de la théorie des modules gradués sur un monoïde de cancellation $\Gamma$. La méthodologie repose sur les outils techniques suivants :

1. Algèbre homologique graduée : L'article utilise des versions graduées de concepts homologiques standards, incluant les modules injectifs gradués, les modules plats gradués et les dimensions faibles graduées.
2. Isomorphisme adjoint : Une version graduée de l'isomorphisme adjoint (Proposition 2.1) est établie pour relier les homomorphismes et les produits tensoriels dans la catégorie graduée.
3. Cogénérateurs injectifs gradués : L'existence d'un cogénérateur injectif gradué $E$ est utilisée pour construire des duaux ($M' = {}^*\text{Hom}_R(M, E)$) afin de tester les propriétés d'exactitude et de platitude.
4. Analyse de la dimension plate : Les auteurs définissent la dimension plate graduée ($\text{gr-fd}_R(M)$) et la dimension faible graduée ($\text{gr-wD}(R)$), prouvant que les dimensions faibles graduées à gauche et à droite coïncident (Proposition 2.6).
5. Annulation du Tor : La caractérisation de la platitude est liée à l'annulation de $\text{Tor}_1^R(R/I, N)$ pour les idéaux homogènes, étendant les résultats classiques au cadre gradué.

Contributions et résultats clés

1. Généralisation des conditions de platitude :
   L'article démontre que pour un anneau $\Gamma$-gradué $R$, la condition « tout idéal à gauche homogène est plat » est équivalente à « tout sous-module gradué d'un $R$-module à gauche plat est plat » (Corollaire 2.9). Cela comble le fossé entre les caractérisations théoriques des idéaux et celles des modules.

2. Théorème principal de caractérisation (Théorème 2.10) :
   Le résultat principal stipule qu'un anneau $\Gamma$-gradué $R$ est semi-héréditaire à gauche gradué si et seulement si :

   • $R$ est cohérent à gauche gradué (tout idéal à gauche homogène de type fini est de présentation finie) ; et
   • Tout sous-module gradué d'un $R$-module à gauche plat est plat.

   Ce résultat est présenté comme un analogue gradué du théorème classique de Chase pour les anneaux non gradués.

3. Lien avec la dimension faible :
   Les auteurs établissent que $R$ est semi-héréditaire à gauche gradué si et seulement si $R$ est cohérent à gauche gradué et que la dimension faible graduée satisfait $\text{gr-wD}(R) \leq 1$ (Corollaire 2.11).

4. Application aux domaines de Prüfer gradués :
   Pour un domaine intègre $\Gamma$-gradué, l'article déduit que l'anneau est un domaine de Prüfer gradué si et seulement s'il est cohérent à gauche gradué et $\text{gr-wD}(R) \leq 1$ (Corollaire 2.12).

5. Distinction entre dimensions graduées et non graduées :
   L'article démontre que la dimension faible graduée $\text{gr-wD}(R)$ n'est pas nécessairement égale à la dimension faible usuelle $wD(R)$. En utilisant un exemple spécifique impliquant un domaine de Dedekind $D$ et l'anneau de polynômes de Laurent $R = D[X, X^{-1}]$, les auteurs montrent un cas où $\text{gr-wD}(R) \leq 1$ (en faisant de lui un domaine de Prüfer gradué) tandis que $wD(R) > 1$ (ce qui signifie qu'il n'est pas un domaine de Prüfer classique).

6. Asymétrie dans la cohérence :
   L'article fournit un exemple (Exemple 2.14) d'un anneau triangulaire qui est cohérent à gauche gradué mais pas cohérent à droite gradué, illustrant que les propriétés des anneaux semi-héréditaires gradués peuvent être intrinsèquement asymétriques.

Portée et affirmations
L'article prétend fournir une nouvelle caractérisation des domaines de Prüfer gradués et des anneaux semi-héréditaires gradués. En déplaçant l'accent de la platitude des idéaux seuls vers la platitude de tous les sous-modules gradués des modules plats, les auteurs généralisent les caractérisations existantes trouvées dans [1].

La portée réside dans l'unification des conditions de cohérence et de platitude dans le contexte gradué, reflétant la théorie classique non graduée (résultat de Chase) tout en mettant en lumière les nuances spécifiques introduites par la graduation. Les auteurs notent modestement que leurs résultats généralisent les caractérisations antérieures et fournissent un cadre pour distinguer entre les dimensions homologiques graduées et non graduées, comme en témoignent les contre-exemples fournis. L'œuvre ne propose pas de nouvelles applications ou de méthodes expérimentales, mais consolide plutôt les fondements théoriques de la théorie des anneaux gradués.