Note on Morita equivalence in ring extensions

Dit artikel bewijst dat verschillende klassen van ringuitbreidingen Morita-invariant zijn en levert een tegenvoorbeeld van een klasse die deze eigenschap mist.

De kern

Stel je voor dat wiskundigen, en dan specifiek degenen die zich bezighouden met ringen (een soort abstracte rekenregels), een enorme bibliotheek hebben vol met verschillende soorten "uitbreidingen". Een uitbreiding is simpelweg wanneer je een bestaande rekenwereld (laten we die B noemen) uitbreidt met nieuwe regels en getallen om een grotere wereld te maken (A).

Deze tekst, geschreven door Satoshi Yamanaka, gaat over een heel specifiek idee: Morita-equivalentie.

De Grote Metafoor: De "Taal" van de Wereld

Stel je voor dat ringen steden zijn en de uitbreidingen nieuwe wijken die aan die steden worden gebouwd.

• Morita-equivalentie is als het vergelijken van twee steden die er totaal anders uitzien (andere straten, andere gebouwen), maar die exact dezelfde taal spreken en dezelfde sociale structuur hebben. Als je een probleem oplost in stad A, kun je dat probleem vertalen naar stad A' en krijg je precies hetzelfde antwoord, alleen dan in de "taal" van A'. Ze zijn wiskundig gezien "twee kanten van dezelfde medaille".

De vraag die de auteur stelt is: Als we een specifieke eigenschap hebben voor een wijk (bijvoorbeeld: "deze wijk heeft een speciale brug"), geldt die eigenschap dan ook voor de andere stad als ze Morita-equivalent zijn?

Als het antwoord "ja" is, noemen we die eigenschap Morita-invariant. Het betekent dat de eigenschap zo fundamenteel is dat hij niet verandert, zelfs niet als je de stad in een andere "verpakking" stopt.

Wat doet de auteur in dit paper?

De auteur doet twee dingen:

1. Hij bewijst dat bepaalde "soorten wijken" altijd hetzelfde blijven.
   Hij kijkt naar verschillende klassen van uitbreidingen (soorten wijken) en toont aan dat als je een wijk van dit type hebt, en je verandert hem in een Morita-equivalentie-versie, de nieuwe wijk ook van dat type is. Het is alsof je zegt: "Als een wijk een 'Triviale Uitbreiding' is (een simpele uitbreiding), dan is zijn 'tweelingstad' ook een Triviale Uitbreiding."

   De soorten die hij bewijst dat ze "veilig" zijn (invariant) zijn:

   • Triviale uitbreidingen: De simpele, rechttoe-rechtaan uitbreidingen.
   • Liberal uitbreidingen: Wijken die op een specifieke manier "los" zijn gebouwd.
   • Diepte-twee uitbreidingen: Wijken met een bepaalde complexe structuur die diep in de grond zit (een wiskundige eigenschap die te maken heeft met hoe lagen op elkaar liggen).
   • Sterk scheidbare uitbreidingen: Wijken die heel goed "gescheiden" kunnen worden, zonder dat de structuur instort.
   • Zwak scheidbare uitbreidingen: Een iets minder strenge versie van bovenstaande.

   De boodschap: Deze eigenschappen zijn zo sterk dat ze overleven in elke Morita-equivalente versie van de ring.

2. Hij toont een uitzondering aan.
   Niet alles is veilig. De auteur geeft een voorbeeld van een eigenschap die niet Morita-invariant is.

   • Het voorbeeld: Stel je een eigenschap voor: "In deze wijk zijn alle getallen tot de macht $n$ te vinden in de oude stad." (Wiskundig: $\{x^n | x \in A\} \subseteq B$).
   • De auteur toont aan dat je een stad kunt hebben die deze eigenschap heeft, maar als je hem omzet in zijn Morita-equivalent (zijn "tweelingstad"), is die eigenschap plotseling weg! De nieuwe stad heeft die specifieke structuur niet meer.
   • De les: Niet elke eigenschap is fundamenteel genoeg om de "taalwissel" te overleven.

Waarom is dit belangrijk?

In de wiskunde willen we weten welke eigenschappen echt belangrijk zijn voor de structuur van een ring, en welke alleen maar een "verpakking" zijn.

• Als een eigenschap Morita-invariant is, weten we dat het een diepe, intrinsieke waarheid is over die uitbreiding. Het maakt niet uit hoe je er naar kijkt; het blijft waar.
• Als het niet invariant is, betekent het dat de eigenschap misschien alleen maar een toevallig detail is van hoe die specifieke ring is opgebouwd, en niet iets universeels.

Samenvatting in één zin

Deze paper is als een gids die ons vertelt: "Hier zijn de eigenschappen van ring-uitbreidingen die zo sterk zijn dat ze overleven in elke mogelijke 'vertaling' van de ring (Morita-equivalentie), en hier is een eigenschap die helaas verdwijnt als je de ring vertaalt."

Het helpt wiskundigen om te begrijpen welke kenmerken van een uitbreiding echt "essentieel" zijn en welke slechts oppervlakkig.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Note on Morita equivalence in ring extensions" van Satoshi Yamanaka, geschreven in het Nederlands.

Titel: Notitie over Morita-equivalentie in ringuitbreidingen

Auteur: Satoshi Yamanaka (Nationaal Instituut voor Technologie, Tsuyama College, Japan)
Publicatie: Communications in Algebra (2016)

---

1. Probleemstelling en Context

De kern van dit onderzoek ligt in de theorie van ringuitbreidingen (waarbij $B$ een deelring is van $A$). Een fundamentele vraag in de ringtheorie is of bepaalde eigenschappen van een uitbreiding $A/B$ behouden blijven onder Morita-equivalentie.

• Morita-equivalentie van ringuitbreidingen: Twee uitbreidingen $A/B$ en $A'/B'$ worden Morita-equivalent ($A/B \sim A'/B'$) genoemd als er Morita-modules $M$ en $N$ bestaan die een specifieke isomorfie tussen de tensorproducten van de ringen en modules induceren.
• Het probleem: Hoewel bekend was dat klassen zoals Galois-uitbreidingen, Frobenius-uitbreidingen, scheidbare uitbreidingen en QF-uitbreidingen Morita-invariant zijn (d.w.z. als $A/B$ tot deze klasse behoort, dan doet $A'/B'$ dat ook), was het onduidelijk of dit geldt voor andere belangrijke klassen van uitbreidingen.
• Doel: Het artikel beoogt te bewijzen dat diverse nieuwe klassen van ringuitbreidingen Morita-invariant zijn, en tegelijkertijd een contra-exempel te geven voor een klasse die niet invariant is.

2. Methodologie

De auteur maakt gebruik van de structurele theorie van Morita-equivalentie, specifiek gebaseerd op eerdere werken van Miyashita, Ikehata en anderen. De methodologie omvat:

1. Definitie van Morita-equivalentie voor uitbreidingen:
   Gegeven $A/B \sim A'/B'$, bestaan er Morita-modules $M$ ($A$-$A'$-module) en $N$ ($B$-$B'$-module) zodanig dat $A \otimes_B N \cong M$ als $A$-$B'$-modules.
2. Constructie van Isomorfismen:
   De auteur definieert expliciete afbeeldingen (gebaseerd op de dualiteit van de Morita-modules $N$ en $N^* = \text{Hom}_B(N, B)$) om structuren van $A$ naar $A'$ te transporteren:
   • $\phi: A \to A'$ (ringisomorfisme van de centraleisatoren).
   • $\psi: A \otimes_B A \to A' \otimes_{B'} A'$ (afbeelding op tensorproducten).
   • $\varphi: \text{End}_B(A) \to \text{End}_{B'}(A')$ (afbeelding op endomorfismen).
3. Overdracht van Eigenschappen:
   Voor elke klasse van uitbreidingen wordt de karakteriserende eigenschap (bijvoorbeeld het bestaan van specifieke elementen in $A \otimes_B A$ of eigenschappen van derivaties) geanalyseerd. De auteur toont aan dat als deze eigenschap geldt voor $A/B$, de geïnduceerde elementen in $A'$ en $B'$ dezelfde eigenschap bezitten, waardoor $A'/B'$ tot dezelfde klasse behoort.
4. Constructie van een Contra-exempel:
   Voor de niet-invariante klasse wordt een specifiek voorbeeld geconstrueerd met behulp van matrixringen over polynoomringen in een veld met karakteristiek $p$.

3. Belangrijkste Bijdragen en Resultaten

De paper levert bewijzen voor de Morita-invariantie van de volgende klassen van ringuitbreidingen:

• Triviale uitbreidingen (Trivial extensions):
  Als $A = B \oplus S$ een triviale uitbreiding is, dan is de geïnduceerde uitbreiding $A' = B' \oplus S'$ ook een triviale uitbreiding. De multiplicatieve structuur wordt behouden onder de Morita-afbeelding.
• Liberale uitbreidingen (Liberal extensions):
  Een uitbreiding is liberaal als $A$ wordt gegenereerd door een eindige verzameling elementen uit de centraleisator $V_A(B)$. De auteur bewijst dat als $A = \sum v_i B$, dan geldt $A' = \sum v'_i B'$, waarbij $v'_i$ de geïnduceerde elementen zijn.
• Diepte-twee uitbreidingen (Depth two extensions):
  Zowel linkse als rechtse diepte-twee uitbreidingen (gekenmerkt door de isomorfie $A \otimes_B A \cong \text{End}_B(A)$ in een bepaalde zin) worden bewezen invariant. De bewering steunt op het transporteren van de "dual basis" elementen $t_i$ en endomorfismen $\beta_i$ via de afbeelding $\psi$.
• Sterk scheidbare uitbreidingen (Strongly separable extensions):
  Dit is een generalisatie van Hirata-scheidbare uitbreidingen. De auteur toont aan dat de karakteriserende voorwaarde (het bestaan van elementen $v_i$ en $x_{ir} \otimes y_{ir}$ die een splitsing van een specifieke homomorfisme garanderen) behouden blijft onder Morita-equivalentie.
• Zwak scheidbare uitbreidingen (Weakly separable extensions):
  Een uitbreiding is zwak scheidbaar als elke $B$-derivatie $D: A \to A$ inwendig is ($D(x) = vx - xv$). De auteur bewijst dat als $A/B$ deze eigenschap heeft, dan is elke derivatie op $A'$ ook inwendig, door de inwendige generator $v$ te transformeren naar een element $v'$ in $A'$.

Het Contra-exempel (Niet-invariantie):
De auteur presenteert een klasse van uitbreidingen die niet Morita-invariant is:

• Definitie: De klasse van uitbreidingen $A/B$ waarvoor er een positief geheel getal $n$ bestaat zodat $\{x^n \mid x \in A\} \subseteq B$.
• Voorbeeld: Laat $k$ een veld zijn met karakteristiek $p$. Stel $A = k[t]$ en $B = k[t^p]$. Hier geldt dat $x^p \in B$ voor alle $x \in A$.
• Morita-transformatie: De auteur construeert matrixringen $A' = M_2(A)$ en $B' = M_2(B)$. Hoewel $A/B \sim A'/B'$, geldt voor $A'$ dat er geen $n$ bestaat zodat $(x')^n \in B'$ voor alle $x' \in A'$. Specifiek voor de matrix $\begin{pmatrix} 1 & t \\ 0 & 0 \end{pmatrix}$ is geen enkele macht in $B'$.
• Conclusie: Deze klasse is dus niet Morita-invariant.

4. Significatie en Conclusie

• Verrijking van de theorie: Het artikel breidt het scala aan bekende Morita-invariante klassen aanzienlijk uit. Dit bevestigt dat veel structurele eigenschappen van ringuitbreidingen intrinsiek zijn aan de Morita-equivalentieklasse en niet afhankelijk van de specifieke representatie van de ringen.
• Nuance in invariantie: Door het leveren van een contra-exempel, waarschuwt de auteur dat niet alle "natuurlijk ogende" eigenschappen invariant zijn. Dit benadrukt de noodzaak van zorgvuldige bewijzen voor elke nieuwe klasse.
• Open vragen: De auteur identificeert nog openstaande problemen, namelijk of de klassen van quasi-scheidbare en zwak quasi-scheidbare uitbreidingen, evenals eindige normaliserende uitbreidingen, Morita-invariant zijn. Dit biedt een richting voor toekomstig onderzoek.

Samenvattend biedt dit artikel een robuust wiskundig kader om te bepalen welke eigenschappen van ringuitbreidingen "veilig" zijn onder Morita-equivalentie, wat essentieel is voor het classificeren van ringstructuren in de niet-commutatieve algebra.