Regularity results for classes of Hilbert C*-modules with respect to special bounded modular functionals

Dit artikel onderzoekt de uniciteit van uitbreidingen van de nul-functie op Hilbert C*-modules over specifieke C*-algebra's (zoals W*-algebra's en compacte C*-algebra's) en toont aan dat een niet-triviale scheidende functionaal alleen bestaat indien er een niet-adjungeerbare operator met een niet-biorthogonaal gesloten kern aanwezig is.

De kern

De Kernvraag: Kun je een "onzichtbare muur" vinden?

Stel je voor dat je een heel groot, complex gebouw hebt (de C-algebra). Binnen dit gebouw zijn er verschillende kamers of ruimtes (Hilbert C-modules).

In de wiskunde van deze ruimtes is er een speciale regel: als je in een grote kamer ($N$) staat, kun je vaak een "blik" of een "sensor" gebruiken om te kijken of er iets in een kleinere kamer ($M$) zit die in die grote kamer ligt. Deze sensor is een lineaire functie.

Het probleem:
Stel dat de kleinere kamer ($M$) zo zit dat er geen enkele "ruimte" overblijft die er niet mee overlapt. In wiskundetaal zeggen we: de "orthogonale complement" is leeg ($M^\perp = \{0\}$). Het is alsof $M$ zo'n dichte vulling is van $N$ dat er geen gat is om erdoorheen te kijken.

De vraag die de wiskundigen stellen is:

"Als ik in de grote kamer ($N$) sta en ik probeer een sensor te bouwen die in de kleine kamer ($M$) niets detecteert (dus 0 aangeeft), kan ik die sensor dan gebruiken om in de rest van de grote kamer ($N$) toch iets te zien? Of moet die sensor overal 0 aangeven?"

In het verleden dachten wiskundigen dat het antwoord altijd "nee" was (je kunt geen sensor bouwen die in $M$ stil is en in $N$ luidruchtig). Maar onlangs vonden twee andere wiskundigen (Kaad en Skeide) een tegenvoorbeeld. Ze bouwden een heel speciaal, raar gebouw waar dit wel mogelijk was. Dit zorgde voor veel verwarring: "Is onze hele theorie nu fout?"

Wat doet dit artikel?

Michael Frank, de auteur, zegt: "Wacht even. Laten we niet panikeren. Laten we kijken naar speciale soorten gebouwen."

Hij onderzoekt drie soorten "perfecte" gebouwen (wiskundige structuren) om te zien of het daar wel of niet mogelijk is om zo'n raar tegenvoorbeeld te vinden:

1. W-algebra's:* Zeer complete, "stabiele" structuren (vergelijkbaar met een gebouw dat perfect is opgebouwd uit onbreekbare stenen).
2. Monotoon complete C-algebra's:* Gebouwen waar je oneindig veel lagen kunt stapelen zonder dat het instort.
3. Compacte C-algebra's:* Gebouwen die eindig en goed beheersbaar zijn (vergelijkbaar met een eindig aantal blokken).

De Resultaten: De "Perfecte" Gebouwen

Frank komt tot een geruststellend resultaat voor deze drie speciale soorten gebouwen:

• Het antwoord is NEE. In deze speciale, "goede" gebouwen is het onmogelijk om een sensor te bouwen die in de kleine kamer ($M$) stil is, maar in de grote kamer ($N$) toch iets meet.
• Als je sensor in $M$ 0 aangeeft, dan is hij overal in $N$ 0.
• Dit betekent dat in deze speciale gevallen de wiskundige theorie nog steeds veilig is. De "raarste" tegenvoorbeelden die Kaad en Skeide vonden, kunnen in deze specifieke, stabiele gebouwen niet bestaan.

De Analogie van de Spiegel:
Stel je voor dat $M$ en $N$ twee spiegels zijn. In een normaal, imperfect gebouw (een willekeurige C*-algebra) kan het gebeuren dat je in de kleine spiegel ($M$) niets ziet, maar als je naar de grote spiegel ($N$) kijkt, zie je toch een vreemd beeld.
In de "perfecte" gebouwen (W*-algebra's, etc.) werkt het zo: als de kleine spiegel niets reflecteert, dan is de grote spiegel ook volledig zwart. Er is geen verborgen beeld. De "spiegel" van de grote kamer is exact hetzelfde als die van de kleine kamer, zodra je ze op elkaar legt.

Een Nieuw Inzicht: De "Gebroken" Operator

Het artikel maakt ook een interessant verband tussen dit probleem en een ander concept: operatoren (machines die dingen veranderen).

Frank laat zien dat het bestaan van zo'n "raar" sensor (een functie die in $M$ 0 is en in $N$ niet) precies hetzelfde is als het bestaan van een gebrekkige machine (een operator) in het gebouw.

• Als je een machine hebt die sommige dingen "verdwijnt" (in de kern zit), maar die verdwijning niet goed kan worden "opgevangen" door de rest van het gebouw, dan kun je die sensor bouwen.
• In de "perfecte" gebouwen die Frank bestudeert, zijn alle machines zo goed gebouwd dat dit niet kan gebeuren. Alles is "bi-orthogonaal gesloten" (een ingewikkelde term die betekent: alles zit netjes op zijn plek en niets verdwijnt in een zwart gat).

Waarom is dit belangrijk?

Voor de wiskundige wereld is dit een grote geruststelling.

1. Bevestiging: Het bevestigt dat de theorie van Hilbert C*-modules in veel belangrijke gevallen (zoals bij quantummechanica of complexe analyse) nog steeds stevig staat.
2. Correctie: Het corrigeert een eerdere bewering (uit 2002) die niet altijd waar bleek te zijn, maar nu wel bewezen is voor deze specifieke, belangrijke gevallen.
3. Richting: Het helpt wiskundigen om te weten waar ze moeten zoeken als ze weer een raar tegenvoorbeeld willen vinden (namelijk in de "minder perfecte", minder complete gebouwen) en waar ze het niet hoeven te zoeken.

Samenvatting in één zin

Michael Frank laat zien dat in de meest stabiele en "compleet" gebouwde wiskundige structuren, het onmogelijk is om een onzichtbare muur te vinden die je in het ene deel van de kamer kunt zien, maar in het andere deel niet; als er niets in het kleine deel zit, is er ook niets in het grote deel, en dat maakt de theorie weer veilig voor die specifieke gevallen.

Technische samenvatting

Titel: Regulariteitsresultaten voor klassen van Hilbert C*-modulen met betrekking tot speciale begrenste modulaire functionalen

Auteur: Michael Frank
Publicatiedatum: 3 januari 2024 (herziene versie)
Onderwerp: Operatoralgebra, Hilbert C*-modulen, functionaalanalyse.

---

1. Het Kernprobleem

Het artikel adresseert een fundamenteel probleem in de theorie van Hilbert C*-modulen dat voortkomt uit een opmerkelijk tegenvoorbeeld van J. Kaad en M. Skeide (2023). Het centrale vraagstuk is als volgt geformuleerd:

Stel dat $M \subset N$ twee Hilbert C*-modulen zijn over een vaste C*-algebra $A$ (de coëfficiënten), zodanig dat het orthogonale complement van $M$ ten opzichte van $N$ triviaal is, d.w.z. $M^\perp = \{0\}$.

• De vraag: Bestaat er een niet-triviale, begrenste $A$-lineaire functionaal $r_0: N \to A$ die nul is op $M$ (een uitbreiding van de nul-functie op $M$)?
• Equivalentie: In de context van Hilbertruimten is dit onmogelijk (als $M^\perp = \{0\}$, dan is $M$ dicht in $N$ en is elke continue uitbreiding van de nul-functie triviaal). In de meer algemene setting van Hilbert C*-modulen is dit echter niet altijd waar, tenzij specifieke "regulariteits"condities op de algebra $A$ of de modulen worden gesteld.

Het artikel onderzoekt onder welke voorwaarden de unieke uitbreiding van de nul-functie geldt, d.w.z. dat elke dergelijke $r_0$ noodzakelijkerwijs de nul-functie op de hele module $N$ moet zijn.

2. Methodologie en Theoretische Kader

Frank gebruikt een combinatie van structurele analyse van C*-algebra's en de theorie van Hilbert C*-modulen. De methodologie omvat:

• Classificatie van Algebra's: De analyse wordt specifiek toegepast op drie belangrijke klassen van C*-algebra's waar "goede" eigenschappen worden verwacht:
  1. $W^*$-algebra's (von Neumann-algebra's).
  2. Monotoon complete C*-algebra's.
  3. Compacte C*-algebra's.
• Dualiteit en Zelf-dualiteit: Er wordt diepgaand gebruikgemaakt van het concept van zelf-dualiteit van Hilbert C*-modulen. Voor monotoon complete algebra's wordt de $A$-duale Banach-module $N'$ geanalyseerd.
• Orde-convergentie: Voor monotoon complete algebra's wordt gebruikgemaakt van $\tau^o_2$-convergentie (gebaseerd op orde-convergentie in de algebra) om de zelf-dualiteit van modulen karakteriseren.
• Biorthogonale Complementation: Een cruciaal technisch hulpmiddel is het bestuderen van de relatie tussen de kern van een operator en zijn biorthogonale complement ($Ker(T)^{\perp\perp}$). Het artikel koppelt het bestaan van niet-triviale functionalen aan het bestaan van begrenste module-operatoren wier kernen niet biorthogonaal gesloten zijn.
• Contrast met eerdere werken: De auteur corrigeert en verfijnt eerdere beweringen, specifiek Lemma 2.4 uit zijn eigen werk (Frank, 2002), en toont aan dat dit lemma wel geldt voor de bovenstaande klassen, maar faalt voor algemene C*-algebra's (zoals aangetoond door Kaad en Skeide).

3. Belangrijkste Resultaten en Bijdragen

A. Unieke Uitbreiding voor Specifieke Algebra's

Het hoofdbewijs (Theorema 3.8) stelt dat voor monotoon complete C-algebra's* (inclusief $W^*$-algebra's), als $M \subset N$ een Hilbert C*-submodule is met $M^\perp = \{0\}$, dan:

1. De zelf-duale module $M'$ is isometrisch in te bedden in $N'$.
2. Deze inbedding is een isometrische coincidentie: $M' = N'$.
3. Conclusie: Er bestaat geen niet-triviale begrenste $A$-lineaire functionaal $r_0: N \to A$ die op $M$ verdwijnt. De enige uitbreiding van de nul-functie is de nul-functie.

Dit resultaat geldt ook voor:

• Compacte C-algebra's* (Theorema 5.1): Hier is $M$ zelfs een orthogonaal direct sommand van $N$, en omdat $M^\perp=\{0\}$, volgt $M=N$.
• Eénzijdige maximale modulaire ideaal: Voor een willekeurige C*-algebra $A$ en een rechts modulair maximaal ideaal $D \subset A$, geldt dat de nul-functie op $D$ alleen de nul-functie op $D^{\perp\perp}$ (in $A$) als uitbreiding heeft (Theorema 6.1).

B. Karakterisering via Operatoren

Het artikel levert een nieuwe perspectief op de eigenschappen van begrenste modulaire operatoren:

• Er bestaat een niet-triviale $r_0$ met $M \subset Ker(r_0)$ en $M^\perp=\{0\}$ dan en slechts dan als er een begrenste $A$-lineaire operator $T_0: N \to N$ bestaat die niet-adjungeerbaar is, zodanig dat $Ker(T_0)$ niet biorthogonaal gesloten is en $M \subset Ker(T_0)$ (Propositie 4.3).
• Voor monotoon complete en compacte C*-algebra's is elke kern van een begrenste operator biorthogonaal gesloten (Theorema 4.4), wat de onmogelijkheid van dergelijke $r_0$ bevestigt.

C. Correctie van Eerdere Resultaten

De auteur biedt een correct bewijs van Lemma 2.4 uit [15] voor de gevallen van monotoon complete en compacte C*-algebra's, maar bevestigt dat dit lemma in het algemene geval (voor willekeurige C*-algebra's) onwaar is, in lijn met de tegenvoorbeelden van Kaad en Skeide.

D. Relatie met Multiplier Algebra's

Er wordt geanalyseerd hoe de algebra's van "compacte" operatoren $K_A(M)$ en $K_A(N)$ en hun multiplier algebra's $End^*_A(M)$ en $End^*_A(N)$ zich verhouden. Voor de onderzochte klassen blijkt dat de eenheidsoperatoren van deze algebra's samenvallen, wat wijst op een hoge mate van stabiliteit in de representatietheorie voor deze gevallen.

4. Significatie en Impact

• Oplossing van een open probleem: Het artikel lost de vraag op of de "categorische scheidingsproblematiek" (het kunnen scheiden van subruimten met trivialle orthogonaal complement door functionalen) zich voordoet in specifieke, goed-gedragde klassen van Hilbert C*-modulen. Het antwoord is negatief voor monotoon complete en compacte algebra's.
• Verduidelijking van de theorie: Het werk helpt de verwarring weg te nemen die ontstond door de tegenvoorbeelden van Kaad en Skeide. Het toont aan dat de "pathologische" gedragingen (zoals niet-biorthogonaal gesloten kernen) specifiek zijn voor bepaalde "slechte" C*-algebra's en niet voor de breed gebruikte klassen zoals $W^*$-algebra's.
• Correctie van de literatuur: Door een correct bewijs te leveren voor een eerdere bewering (Lemma 2.4) in specifieke contexten en de grenzen daarvan aan te geven, draagt het bij aan de zuiverheid van de bestaande literatuur.
• Nieuwe perspectieven: Het koppelen van de uitbreiding van functionalen aan de eigenschappen van kernen van niet-adjungeerbare operatoren biedt een nieuw instrument voor onderzoekers in de Hilbert C*-module theorie.

Conclusie

Michael Frank demonstreert dat voor een breed scala aan belangrijke C*-algebra's (monotoon compleet, compact, $W^*$), de theorie van Hilbert C*-modulen zich gedraagt als de theorie van Hilbertruimten wat betreft de uitbreiding van de nul-functie: als een submodule $M$ dicht ligt in $N$ ($M^\perp=\{0\}$), dan is elke begrenste lineaire uitbreiding van de nul-functie triviaal. Dit resulteert in een sterke regulariteit voor deze klassen, in tegenstelling tot het algemene geval waar dergelijke pathologieën mogelijk zijn.