On the extension of inner derivations from dense ideals in Banach algebras

Dit artikel weerlegt de hypothese dat de eigenschap dat alle derivaties van een Banach-algebra naar een dicht ideaal inwendig zijn, impliceert dat alle derivaties naar de algebra zelf inwendig zijn, door een tegenvoorbeeld te construeren met compacte operatoren en eindig-rang operatoren.

De kern

Stel je voor dat je een enorme, complexe machine hebt: een Banach-algebra. In de wiskundige wereld is dit een soort "super-ruimte" vol met getallen en operaties die zich op een heel specifieke manier gedragen.

De vraag die deze auteurs (Hamid Shafieasl en Amir Mohammad Tavakkoli) stellen, is als volgt:

"Als we weten dat alle 'foutjes' (wiskundige afgeleiden) die binnen een klein, dichtbijgelegen deel van de machine optreden, makkelijk te repareren zijn met onderdelen uit dat kleine deel... betekent dat dan ook dat alle 'foutjes' in de hele machine makkelijk te repareren zijn met onderdelen uit de hele machine?"

Het antwoord van de auteurs is een klinkend NEE.

Hier is de uitleg in simpele taal, met behulp van analogieën:

1. De Machine en het Kleine Deel

Stel je de hele machine voor als een gigantisch ziekenhuis (de algebra $A$).
Binnen dat ziekenhuis is er een kleine, drukke eerste-hulpafdeling (het ideale $I$). Deze afdeling zit vol met artsen die heel goed zijn in hun werk, en ze zitten zo dicht bij de ingang dat ze bijna het hele ziekenhuis bestrijken (ze zijn "dicht" bij de rest).

• De "Foutjes" (Afgeleiden): In de wiskunde zijn dit veranderingen of bewegingen in de machine. Soms gaan deze bewegingen "slecht" (ze zijn niet "inwendig", oftewel niet gemaakt door een standaard onderdeel van de machine zelf).
• De "Reparatie" (Inwendig): Als een foutje "inwendig" is, betekent dit dat je het kunt oplossen door gewoon een bestaand onderdeel van de machine te verschuiven of te gebruiken.

2. Het Experiment

De auteurs kijken naar een heel specifiek ziekenhuis: het Ziekenhuis van de Compacte Operatoren ($K(H)$).
De eerste-hulpafdeling hierin bestaat uit eindige-rang operatoren ($F(H)$). Dit zijn artsen die alleen met een eindig aantal patiënten tegelijk kunnen werken, terwijl het hele ziekenhuis oneindig groot is.

De ontdekking:

1. Als je kijkt naar alleen de eerste-hulpafdeling (de kleine artsen), blijkt dat elk probleem dat daar opduikt, perfect kan worden opgelost door een van die kleine artsen zelf. Alles werkt perfect binnen dat kleine deel.
2. MAAR, als je naar het hele ziekenhuis kijkt, blijken er grote, onoplosbare problemen te zijn die niet kunnen worden opgelost door de artsen van het ziekenhuis zelf. Je hebt namelijk artsen nodig die niet in het ziekenhuis werken, maar ergens anders (in de "multiplier algebra", ofwel de buitenwereld van het ziekenhuis).

3. De Analogie: De "Buiten-Arbeider"

Stel je voor dat je een muur hebt die je moet schilderen.

• In de kleine kamer (het ideale $I$) heb je een setje kwasten. Als er een vlek komt, pakt iemand uit die kamer een kwast en repareert het. Alles is perfect.
• In de grote hal (de algebra $A$) is er echter een vlek die zo groot is, dat de kwasten uit de kleine kamer niet genoeg zijn. Je hebt een grote roller nodig.
• Het verrassende is: die grote roller hangt niet in de hal, en ook niet in de kleine kamer. Die hangt in de schuur (de ruimte $B(H)$).

De auteurs laten zien dat je, zelfs als je weet dat de kleine kamer perfect werkt met zijn eigen kwasten, niet kunt concluderen dat de grote hal ook perfect werkt met zijn eigen middelen. De grote hal heeft namelijk toegang tot de schuur, en daar zitten de "buiten-rols" die de kleine kamer niet kent.

4. Waarom is dit belangrijk?

In de wiskunde hopen mensen vaak dat als iets lokaal goed werkt (in een klein, dicht deel), het dan ook globaal goed werkt. Dit papier breekt die hoop.

• De les: Het feit dat een klein, dicht deel van een systeem "perfect" is, betekent niet dat het grote systeem ook "perfect" is.
• De oorzaak: Het grote systeem heeft toegang tot een grotere wereld (de "vermenigvuldigers" of de buitenwereld) waar de kleine kamer geen toegang toe heeft. Die extra ruimte zorgt ervoor dat er nieuwe, "buiten-achtige" problemen ontstaan die je niet kunt oplossen met alleen de middelen van binnen.

Samenvatting

De auteurs zeggen: "Je kunt niet zeggen dat een heel gebouw veilig is, alleen omdat de kleine kantoorruimte veilig is. Soms zijn de gevaarlijke elementen verborgen in de grote hallen, en die kun je niet zien als je alleen naar de kleine kamer kijkt."

Ze hebben dit bewezen met wiskundige bewijsstukken (zoals de "Johnson-Parrott stelling"), maar de boodschap is simpel: Kijk niet alleen naar het kleine, dichte deel; de grote structuur kan verrassingen opleveren.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Extension of Inner Derivations from Dense Ideals in Banach Algebras" van Hamid Shafieasl en Amir Mohammad Tavakkoli, geschreven in het Nederlands.

Titel: Over de Uitbreiding van Inwendige Afgeleiden van Dichte Idealen in Banach-algebra's

1. Het Onderzoeksvraagstuk

Het artikel adresseert een fundamentele vraag binnen de theorie van operatoralgebra's en Banach-algebra's:
Stel dat $A$ een Banach-algebra is en $I$ een dicht ideaal in $A$. Als bekend is dat elke afgeleide $D: A \to I$ inwendig is (d.w.z. geïmplementeerd door een element $x \in I$ via $D(a) = ax - xa$), impliceert dit dan dat elke afgeleide $D: A \to A$ ook inwendig is (geïmplementeerd door een element $x \in A$)?

De auteurs geven een rigoureuze negatief antwoord op deze vraag. Ze tonen aan dat de eigenschap dat afgeleiden naar een dicht ideaal inwendig zijn, niet voldoende is om te garanderen dat afgeleiden naar de volledige algebra inwendig zijn, vooral wanneer het ideaal "te klein" is om de volledige cohomologie van de algebra te vangen.

2. Methodologie en Wiskundige Preliminaria

De auteurs baseren hun argumentatie op de theorie van compacte operatoren, Schatten-classes en Hochschild-cohomologie.

• Definities:

  • Afgeleide: Een lineaire afbeelding $D$ die voldoet aan de Leibniz-regel: $D(ab) = aD(b) + D(a)b$.
  • Inwendige afgeleide: Een afgeleide van de vorm $D(a) = [x, a] = ax - xa$ voor een zekere $x$ in het codomein.
  • Schatten $p$-klassen ($S_p(H)$): De verzameling van compacte operatoren met $p$-sommeerbare singuliere waarden. Voor $p=1$ zijn dit trace-class operatoren, voor $p=2$ Hilbert-Schmidt operatoren.
  • Hochschild Cohomologie ($H^1(A, M)$): De ruimte van continue afgeleiden gedeeld door de inwendige afgeleiden. $H^1(A, M) = 0$ betekent dat alle afgeleiden in $M$ inwendig zijn.

• Het Tegenvoorbeeld:
  De kern van het bewijs ligt in de keuze van:

  • $A = K(H)$: De algebra van compacte operatoren op een scheidbare, oneindig-dimensionale Hilbertruimte $H$.
  • $I = F(H)$: Het ideaal van eindig-rang operatoren (een dicht ideaal in $K(H)$).

3. Belangrijkste Resultaten en Bewijsvoering

Hoofdstelling 4.1 (Het Tegenvoorbeeld):
De auteurs bewijzen dat:

1. Elke afgeleide $D: K(H) \to F(H)$ inwendig is en geïmplementeerd wordt door een element in $F(H)$.
2. Er echter afgeleiden $D: K(H) \to K(H)$ bestaan die niet inwendig zijn in $K(H)$ (ze zijn "uitwendig").

Bewijsstrategie:

• Ruimtelijke Implementatie (Sakai's Theorema): Elke afgeleide op $K(H)$ is ruimtelijk, wat betekent dat er een $S \in B(H)$ (de algebra van alle begrenste operatoren) bestaat zodat $D = \text{ad}_S$.
• Johnson-Parrott Stelling: Als $[S, T]$ compact is voor alle $T \in B(H)$, dan is $S$ een compacte verstoring van een scalair (d.w.z. $S = cI + K$ met $K \in K(H)$).
• Stap 1 (Naar $F(H)$): Als de afgeleide naar $F(H)$ gaat, toont de auteurs aan via het Baire-categoriestelling en de lage semi-continuïteit van de rang dat de rang van $[S, T]$ uniform begrensd moet zijn. Dit leidt tot de conclusie dat $S$ een compacte verstoring is.
• Stap 2 (Beperking tot $F(H)$): Door een constructie met een gewogen verschuiving (weighted shift) en eigenvectoren van de zelfgeadjungeerde component van $K$, tonen ze aan dat als $K$ niet eindig-rang zou zijn, de commutator $[K, T]$ oneindige rang zou hebben. Dit is een contradictie met het feit dat het beeld in $F(H)$ ligt. Dus moet de implementator in $F(H)$ zitten.
• Stap 3 (Uitwendige Afgeleiden): Als men $S$ kiest uit $B(H) \setminus (CI + K(H))$ (bijvoorbeeld de eenzijdige verschuiving), dan definieert $D = \text{ad}_S$ een afgeleide $K(H) \to K(H)$. Deze is niet inwendig in $K(H)$ omdat $S$ niet geschreven kan worden als $cI + K$ met $K \in K(H)$.

Generalisatie (Stelling 5.1):
Dit resultaat wordt uitgebreid naar de Schatten $p$-klassen $S_p(H)$.

• Elke afgeleide $D: K(H) \to S_p(H)$ is inwendig en geïmplementeerd door een element in $S_p(H)$.
• Het bewijs maakt gebruik van de gesloten grafiekstelling om de begrensdheid te tonen en de karakterisering van commutatoren in Schatten-classes (werk van Anderson en Weiss) om aan te tonen dat de implementator zelf in de Schatten-klasse moet liggen.

4. Cohomologische Interpretatie

Het artikel formuleert de resultaten in de taal van Hochschild-cohomologie, wat een scherp contrast (asymmetrie) blootlegt:

• Voor $A = K(H)$ en een dicht ideaal $I$ (zoals $F(H)$ of $S_p(H)$):
  $$H^1(K(H), I) = 0$$
  (Alle afgeleiden naar het ideaal zijn inwendig).
• Maar voor de algebra zelf:
  $$H^1(K(H), K(H)) \neq 0$$
  (Er bestaan uitwendige afgeleiden).

Dit betekent dat het verdwijnen van de eerste cohomologiegroep met coëfficiënten in een dicht sub-bimodule niet automatisch "lift" naar de algebra zelf. De obstructie zit hem in de multiplikatorenalgebra $M(A) = B(H)$.

5. Discussie en Betekenis

• Rol van Benaderingseenheden: Hoewel $K(H)$ een gebonden benaderingseenheid (b.a.i.) bezit (via projecties op eindig-dimensionale deelruimten), is $K(H)$ niet "amenabel" (amenable). De aanwezigheid van een b.a.i. in een ideaal garandeert dus niet de amenabiliteit van de volledige algebra of de trivialiteit van de cohomologie.
• Structuur van Multiplikatoren: De uitwendige afgeleiden in $K(H)$ worden mogelijk gemaakt door de "grootte" van de multiplikatorenalgebra $B(H)$. Afgeleiden die in een klein ideaal landen, dwingen de implementator om in dat kleine ideaal te zitten. Afgeleiden die in de volledige algebra landen, kunnen implementatoren uit de veel grotere $B(H)$ gebruiken die niet in de algebra zelf liggen.
• Conclusie: De interne structuur van dichte idealen is onvoldoende om de afgeleide-structuur van de ouder-Banach-algebra te dictëren zonder extra, sterke structurele aannames (zoals volledige amenabiliteit).

Samenvattend: Het artikel weerlegt de hypothese dat inwendigheid van afgeleiden naar dichte idealen overdraagbaar is naar de volledige algebra, en illustreert dit via een diepgaande analyse van compacte operatoren en hun cohomologische eigenschappen.