Note on Morita equivalence in ring extensions

Cet article démontre l'invariance par équivalence de Morita de plusieurs classes d'extensions d'anneaux et fournit un contre-exemple d'une classe qui ne possède pas cette propriété.

L'essentiel

🌟 L'Essentiel : Quand les structures mathématiques gardent leur âme

Imaginez que vous êtes un architecte qui étudie des bâtiments. Vous avez deux types de bâtiments : des maisons simples et des gratte-ciels complexes. En mathématiques, ces "bâtiments" sont des anneaux (des systèmes de nombres avec des règles de calcul). Parfois, un grand bâtiment contient un petit bâtiment à l'intérieur (une extension d'anneaux).

L'auteur de cet article pose une question fascinante : Si je transforme un bâtiment en un autre qui lui ressemble énormément (en changeant juste la façon de le regarder), les règles spéciales qui définissent ce bâtiment restent-elles vraies ?

C'est ce qu'on appelle la équivalence de Morita. C'est comme si vous preniez une maison, vous la démontiez, et vous la reconstruisiez avec des briques différentes, mais de manière à ce qu'elle ait exactement la même "âme" et la même fonctionnalité. Si une propriété (comme "c'est une maison en bois") reste vraie après cette transformation, on dit qu'elle est invariante par Morita.

🏗️ Les Différents Types de "Bâtiments" (Extensions d'Anneaux)

Dans le monde des mathématiques, il existe des façons très spécifiques de construire ces extensions. L'auteur examine plusieurs de ces styles :

1. Les extensions triviales : Imaginez une maison où vous ajoutez simplement un étage en "colle" (une structure simple qui ne change pas fondamentalement la base).
2. Les extensions libérales : Une maison construite avec un petit nombre de piliers spéciaux qui soutiennent tout le reste.
3. Les extensions de profondeur deux : Des bâtiments où les murs intérieurs sont si bien connectés que vous pouvez passer de n'importe quel point à un autre en deux étapes précises.
4. Les extensions séparables et fortement séparables : Des structures très stables, comme des ponts suspendus qui ne tremblent pas, même sous la pression.

🔍 Ce que l'auteur a découvert

Satoshi Yamanaka a passé en revue ces différents types de constructions pour voir s'ils survivent à la transformation "Morita".

• Le verdict positif (La bonne nouvelle) :
  Il a prouvé que la plupart de ces styles de construction sont robustes. Si vous prenez une extension "triviale", "libérale", "de profondeur deux" ou "séparable", et que vous la transformez en son équivalent Morita, elle reste du même type.

  • L'analogie : C'est comme si vous preniez une voiture de course (l'extension originale), vous la peigniez en bleu, changez les jantes et le moteur pour un modèle équivalent, mais que la voiture continue d'être une "voiture de course" avec toutes ses performances. La nature de la voiture n'a pas changé, même si son apparence extérieure a évolué.

• Le verdict négatif (La surprise) :
  L'auteur a aussi trouvé un cas où la transformation échoue. Il a construit un exemple mathématique (utilisant des matrices et des polynômes) où une propriété très spécifique disparaît après la transformation.

  • L'analogie : Imaginez un château de cartes qui tient debout grâce à une règle très précise : "toutes les cartes doivent être des As". Si vous transformez ce château en un autre qui lui ressemble (équivalence Morita), vous pourriez vous retrouver avec un château qui tient debout, mais où il y a des cartes "Rois" et "Valets". La règle "tous des As" a été brisée. Donc, cette classe spécifique d'extensions n'est pas invariante.

💡 Pourquoi est-ce important ?

Cet article est comme un manuel de contrôle qualité pour les mathématiciens.

• Il nous dit : "Si vous travaillez avec des extensions séparables ou de profondeur deux, vous pouvez être tranquille : peu importe comment vous manipulez ces objets mathématiques (via l'équivalence de Morita), leurs propriétés fondamentales resteront intactes."
• Il nous met aussi en garde : "Attention, il existe des propriétés très fines qui peuvent disparaître lors de ces transformations. Il faut donc vérifier chaque cas."

🏁 En résumé

Satoshi Yamanaka nous dit essentiellement que la plupart des grandes familles d'extensions d'anneaux sont "immortelles" : elles survivent aux transformations mathématiques les plus complexes. Cependant, il nous rappelle qu'en mathématiques, comme en architecture, il existe toujours des exceptions fragiles qui ne résistent pas à tous les changements de perspective.

C'est une victoire pour la stabilité des concepts mathématiques, avec une petite touche de prudence pour les cas les plus exotiques.

Résumé technique

Voici un résumé technique détaillé de l'article « Note on Morita equivalence in ring extensions » de Satoshi Yamanaka, rédigé en français.

Titre : Note sur l'équivalence de Morita dans les extensions d'anneaux

Auteur : Satoshi Yamanaka (Institut National de Technologie, Collège de Tsuyama, Japon)
Source : Communications in Algebra (2016)

---

1. Problématique et Contexte

L'article s'inscrit dans le domaine de l'algèbre non commutative, plus spécifiquement dans l'étude des extensions d'anneaux (où $B$ est un sous-anneau d'un anneau $A$). Le concept central est l'équivalence de Morita appliquée aux extensions d'anneaux, introduite par Y. Miyashita.

• Définition de l'équivalence : Deux extensions d'anneaux $A/B$ et $A'/B'$ sont dites équivalentes au sens de Morita ($A/B \sim A'/B'$) s'il existe des modules de Morita $M$ et $N$ tels que $A \otimes_B N \cong M$ en tant que modules appropriés.
• Invariance de Morita : Une classe $\mathcal{C}$ d'extensions d'anneaux est dite invariante par Morita si, pour toute extension $A/B \in \mathcal{C}$, toute extension équivalente $A'/B'$ appartient également à $\mathcal{C}$.

Le problème : Bien que l'invariance de Morita ait été établie pour certaines classes importantes (extensions de Galois, extensions de Frobenius, extensions séparables, extensions de Hirata, extensions symétriques, extensions QF), il restait à déterminer si d'autres classes d'extensions, définies par des propriétés structurelles ou dérivatives, préservent cette invariance. De plus, la question de l'existence de classes non invariantes restait ouverte.

2. Méthodologie

L'auteur utilise une approche algébrique constructive basée sur la théorie des modules et les isomorphismes induits par l'équivalence de Morita.

1. Cadre de travail : L'article suppose que $A/B \sim A'/B'$ via des modules de Morita $M$ et $N$. Il définit des isomorphismes explicites entre les structures associées aux deux extensions :

   • Isomorphismes entre les centralisateurs $V_A(B)$ et $V_{A'}(B')$.
   • Isomorphismes entre les groupes d'automorphismes et les modules de dérivations.
   • Isomorphismes entre les produits tensoriels $A \otimes_B A$ et $A' \otimes_{B'} A'$.

2. Outils techniques clés :

   • Utilisation de systèmes de dualité (bases de Morita) $\{f_j, m_j\}$ et $\{g_k, n_k\}$ pour construire des applications $\phi, \psi, \varphi$.
   • Lemme 2.6 : Démonstration cruciale que l'équivalence de Morita induit un isomorphisme de groupes additifs entre les modules de dérivations $Der_B(A, S)$ et $Der_{B'}(A', S')$. Cela permet de transférer les propriétés liées aux dérivations (comme l'innerité) d'une extension à l'autre.
   • Propriétés de stabilité : Vérification directe que les conditions définissant chaque classe d'extensions (existence d'éléments spécifiques, scindage d'homomorphismes, etc.) sont préservées sous l'action des isomorphismes définis.

3. Résultats Principaux et Contributions

L'article établit l'invariance de Morita pour plusieurs nouvelles classes d'extensions et fournit un contre-exemple pour une classe spécifique.

A. Classes Invariantes par Morita

L'auteur démontre que les classes suivantes sont invariantes :

1. Extensions triviales (Proposition 3.1) :
   Si $A = B \oplus S$ avec une multiplication triviale, alors $A' = B' \oplus S'$ conserve cette structure. La preuve repose sur la compatibilité de la multiplication dans le produit tensoriel avec la décomposition directe.

2. Extensions libérales (Proposition 3.2) :
   Une extension est libérale si $A$ est engendré par un ensemble fini d'éléments du centralisateur $V_A(B)$. L'auteur montre que si $\{v_i\}$ engendre $A$ sur $B$, alors l'ensemble transformé $\{v'_i\}$ engendre $A'$ sur $B'$.

3. Extensions de profondeur deux (Théorème 3.3) :
   En utilisant la caractérisation de Kadison et Szlachányi (existence d'éléments $t_i$ et $\beta_i$ satisfaisant une identité spécifique), l'auteur prouve que cette propriété structurelle se transpose via l'isomorphisme $\psi$ et $\varphi$ aux extensions équivalentes.

4. Extensions fortement séparables (Théorème 3.4) :
   Basé sur la caractérisation de Sugano (existence d'éléments $v_i \in V_A(B)$ et $x_{ir} \otimes y_{ir}$ tels que $u = \sum v_i x_{ir} u y_{ir}$), l'article montre que cette relation fondamentale est préservée dans l'extension équivalente.

5. Extensions faiblement séparables (Théorème 3.5) :
   Une extension est faiblement séparable si toute dérivation $B$-linéaire de $A$ vers $A$ est intérieure. En s'appuyant sur le Lemme 2.6 (isomorphisme des modules de dérivations), l'auteur montre que si une dérivation dans $A$ est intérieure, sa correspondante dans $A'$ l'est également.

B. Contre-exemple : Une classe non invariante

L'article fournit un exemple concret d'une classe d'extensions qui n'est pas invariante par Morita :

• La classe : Extensions d'anneaux $A/B$ telles qu'il existe un entier $n > 0$ avec $\{x^n \mid x \in A\} \subseteq B$.
• Le contre-exemple :
  • Soit $k$ un corps de caractéristique $p$.
  • $A = k[t]$ et $B = k[t^p]$. Ici, pour tout $x \in A$, $x^p \in B$.
  • On construit l'extension équivalente $A'/B'$ où $A'$ et $B'$ sont des anneaux de matrices $2 \times 2$sur$A$et$B$ respectivement.
  • Bien que $A/B \sim A'/B'$, il existe des éléments dans $A'$ (par exemple une matrice spécifique) dont les puissances ne tombent pas dans $B'$.
  • Conclusion : La propriété "les puissances $n$-ièmes sont dans $B$" n'est pas préservée par l'équivalence de Morita.

4. Signification et Perspectives

• Consolidation théorique : Ce travail renforce la compréhension des propriétés structurelles des extensions d'anneaux qui sont intrinsèques à la catégorie des modules (c'est-à-dire invariantes par équivalence de Morita). Il confirme que des notions aussi diverses que la séparabilité forte, la profondeur deux et la nature "libérale" sont des propriétés catégorielles.
• Limites de l'invariance : La démonstration de l'existence d'une classe non invariante est cruciale. Elle prévient les généralisations abusives et montre que certaines propriétés arithmétiques ou de puissance ne sont pas préservées par l'équivalence de Morita.
• Questions ouvertes : L'auteur note que le statut de l'invariance de Morita pour les extensions quasi-séparables, les extensions faiblement quasi-séparables et les extensions normalisantes finies reste inconnu, ouvrant ainsi la voie à de futures recherches.

En résumé, cet article apporte des preuves rigoureuses de l'invariance de Morita pour plusieurs classes d'extensions importantes, tout en établissant des limites claires via un contre-exemple constructif, affinant ainsi la cartographie des propriétés préservées dans la théorie des extensions d'anneaux.