2025-11-21T09:43:15.505642

A categorical interpretation of Morita equivalence for dynamical von Neumann algebras

De Ro

$\DeclareMathOperator{\G}{\mathbb{G}}\DeclareMathOperator{\Rep}{Rep} \DeclareMathOperator{\Corr}{Corr}$Let $\G$ be a locally compact quantum group and $(M, Î±)$ a $\G$-$W^*$-algebra. The object of study of this paper is the $W^*$-category $\Rep^{\G}(M)$ of normal, unital $\G$-representations of $M$ on Hilbert spaces endowed with a unitary $\G$-representation. This category has a right action of the category $\Rep(\G)= \Rep^{\G}(\mathbb{C})$ for which it becomes a right $\Rep(\G)$-module $W^*$-category. Given another $\G$-$W^*$-algebra $(N, Î²)$, we denote the category of normal $*$-functors $\Rep^{\G}(N)\to \Rep^{\G}(M)$ compatible with the $\Rep(\G)$-module structure by $\operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ and we denote the category of $\G$-$M$-$N$-correspondences by $\operatorname{Corr}^{\G}(M,N)$. We prove that there are canonical functors $P: \Corr^{\G}(M,N)\to \operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ and $Q: \operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))\to \operatorname{Corr}^{\G}(M,N)$ such that $Q \circ P\cong \operatorname{id}.$ We use these functors to show that the $\G$-dynamical von Neumann algebras $(M, Î±)$ and $(N, Î²)$ are equivariantly Morita equivalent if and only if $\Rep^{\G}(N)$ and $\Rep^{\G}(M)$ are equivalent as $\Rep(\G)$-module-$W^*$-categories. Specializing to the case where $\G$ is a compact quantum group, we prove that moreover $P\circ Q \cong \operatorname{id}$, so that the categories $\Corr^{\G}(M,N)$ and $\operatorname{Fun}_{\Rep(\G)}(\Rep^{\G}(N), \Rep^{\G}(M))$ are equivalent. This is an equivariant version of the Eilenberg-Watts theorem for actions of compact quantum groups on von Neumann algebras.

academic

Eine kategoriale Interpretation der Morita-Äquivalenz für dynamische von Neumann-Algebren

Grundinformationen

Paper-ID: 2408.07701
Titel: A categorical interpretation of Morita equivalence for dynamical von Neumann algebras
Autor: Joeri De Ro
Klassifikation: math.OA (Operatoralgebren), math.CT (Kategorientheorie), math.QA (Quantenalgebra)
Einreichungszeit: Eingereicht am 15. August 2024, überarbeitet am 6. Dezember 2024
Paper-Link: https://arxiv.org/abs/2408.07701

Zusammenfassung

Die vorliegende Arbeit untersucht die $W^*$ -Kategorie $\text{Rep}^G(M)$ auf lokal kompakten Quantengruppen $G$ und $G$ - $W^*$ -Algebren $(M,\alpha)$ , die aus normalen unitären $G$ -Darstellungen von $M$ auf Hilberträumen mit unitärer $G$ -Darstellung besteht. Diese Kategorie besitzt eine Rechtsoperation der Kategorie $\text{Rep}(G) = \text{Rep}^G(\mathbb{C})$ , wodurch sie zu einer rechten $\text{Rep}(G)$ -Modul- $W^*$ -Kategorie wird. Der Autor zeigt, dass die äquivariante Morita-Äquivalenz von $G$ -dynamischen von Neumann-Algebren durch die Äquivalenz entsprechender Darstellungskategorien charakterisiert werden kann, und etabliert im Fall kompakter Quantengruppen eine äquivariante Version des Eilenberg-Watts-Theorems.

Forschungshintergrund und Motivation

Problemhintergrund

Klassische Morita-Theorie: Für von Neumann-Algebren $M$ und $N$ etabliert das klassische Eilenberg-Watts-Theorem eine Äquivalenz zwischen der $M$ - $N$ -Korrespondenz-Kategorie $\text{Corr}(M,N)$ und der Kategorie normaler $*$ -Funktoren $\text{Fun}(\text{Rep}(N), \text{Rep}(M))$ .
Bedarf nach äquivarianter Verallgemeinerung: Wenn von Neumann-Algebren mit Quantengruppenoperationen ausgestattet sind, muss diese Theorie auf den äquivarianten Fall verallgemeinert werden, was in der Quantengruppentheorie und nichtkommutativen Geometrie von großer Bedeutung ist.
Technische Herausforderungen: Im äquivarianten Fall funktioniert die einfache Funktorkorrepondenz nicht mehr; es müssen Funktoren betrachtet werden, die mit der Modulstruktur der Quantengruppendarstellungskategorie kompatibel sind.

Forschungsmotivation

Bereitstellung einer kategorientheoretischen Charakterisierung der äquivarianten Morita-Äquivalenz für dynamische von Neumann-Algebren
Etablierung einer äquivarianten Version des Eilenberg-Watts-Theorems
Vertieftes Verständnis algebraischer Strukturen unter Quantengruppenoperationen

Kernbeiträge

Konstruktion von Standardfunktoren: Etablierung von Standardfunktoren $P$ und $Q$ zwischen der $G$ - $M$ - $N$ -Korrespondenz-Kategorie $\text{Corr}^G(M,N)$ und der Kategorie kompatibler $*$ -Funktoren $\text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M))$ .
Beweis partieller Invertierbarkeit: Für allgemeine lokal kompakte Quantengruppen wird $Q \circ P \cong \text{id}$ nachgewiesen.
Kategoriale Charakterisierung äquivarianter Morita-Äquivalenz: Es wird gezeigt, dass $G$ -dynamische von Neumann-Algebren $(M,\alpha)$ und $(N,\beta)$ äquivariant Morita-äquivalent sind genau dann, wenn $\text{Rep}^G(N)$ und $\text{Rep}^G(M)$ als $\text{Rep}(G)$ -Modul- $W^*$ -Kategorien äquivalent sind.
Vollständige Äquivalenz für kompakte Quantengruppen: Wenn $G$ eine kompakte Quantengruppe ist, wird $P \circ Q \cong \text{id}$ nachgewiesen, woraus das vollständige äquivariante Eilenberg-Watts-Theorem folgt.

Methodische Erläuterung

Definitionen zentraler Konzepte

G-W*-Algebren und äquivariante Korrespondenzen

$G$ - $W^*$ -Algebra: $(M,\alpha)$ , wobei $\alpha: M \to M \bar{\otimes} L^\infty(G)$ ein Homomorphismus ist, der die Koaktionseigenschaften erfüllt
$G$ - $M$ - $N$ -Korrespondenz: Ein Hilbertraum $H$ $H$ ausgestattet mit:
- Unitärer $G$ -Darstellung $U \in B(H) \bar{\otimes} L^\infty(G)$
- Normalem $*$ -Homomorphismus $\pi: M \to B(H)$ erfüllend $(\pi \otimes \text{id})\alpha(m) = U(\pi(m) \otimes 1)U^*$
- Normalem Anti- $*$ -Homomorphismus $\rho: N \to B(H)$ erfüllend $(\rho \otimes R)\beta(n) = U^*(\rho(n) \otimes 1)U$

Modulstruktur der Darstellungskategorie

$\text{Rep}^G(M)$ erhält durch Tensorprodukt eine Rechtsmodulstruktur über $\text{Rep}(G)$ : $H \otimes K = (H \otimes K, \pi_H \otimes 1, U_{H,13}U_{K,23})$

Hauptkonstruktionen

Definition des Funktors P

Gegeben $G \in \text{Corr}^G(M,N)$ , wird der Funktor $F_G: \text{Rep}^G(N) \to \text{Rep}^G(M)$ definiert durch:

Objekte: $F_G(H) := G \boxtimes_N H$ (Connes-Fusionstesorprodukt)
Morphismen: $F_G(x)(y \otimes_N \xi) = y \otimes_N x\xi$
Modulkompatibilität: $T_{H,K}: F_G(H \otimes K) \to F_G(H) \otimes K$

Definition des Funktors Q

Theorem 3.5: Gegeben ein normaler $\text{Rep}(G)$ -Modul- $*$ -Funktor $F: \text{Rep}^G(N) \to \text{Rep}^G(M)$ , betrachte $(G, \pi_G, U_G) := F(L^2(N)) \in \text{Rep}^G(M)$ . Dann existiert eine eindeutige Anti- $*$ -Darstellung $\rho_G: N \to B(G)$ derart, dass $(G, \pi_G, \rho_G, U_G) \in \text{Corr}^G(M,N)$ .

Technische Innovationen

Behandlung der Modulkompatibilität: Durch die Forderung, dass Funktoren mit der $\text{Rep}(G)$ -Modulstruktur kompatibel sind, werden die Schwierigkeiten der Funktorkorrepondenz im äquivarianten Fall gelöst.
Anwendung von Kreuzprodukten: Geschickte Nutzung des Kreuzprodukts $M \rtimes_\alpha G$ zur Umwandlung äquivarianter Probleme in nichtäquivariante.
Schlüsselrolle der Kompaktheit: Nachweis spezieller Eigenschaften im Fall kompakter Quantengruppen, die vollständige Äquivalenz ermöglichen.

Hauptergebnisse

Charakterisierung äquivarianter Morita-Äquivalenz

Theorem 3.10: Sei $G$ eine lokal kompakte Quantengruppe. Dann sind $G$ - $W^*$ -Algebren $(M,\alpha)$ und $(N,\beta)$ äquivariant $W^*$ -Morita-äquivalent genau dann, wenn $\text{Rep}^G(M)$ und $\text{Rep}^G(N)$ als $\text{Rep}(G)$ -Modul- $W^*$ -Kategorien äquivalent sind.

Äquivariantes Eilenberg-Watts-Theorem

Theorem 4.5: Sei $G$ eine kompakte Quantengruppe. Dann sind die Funktoren $P: \text{Corr}^G(M,N) \to \text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M))$ $Q: \text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M)) \to \text{Corr}^G(M,N)$ zueinander invers.

Schlüssellemmata

Proposition 4.1: Für kompakte Quantengruppen $G$ ist $\text{Rep}^G(M)$ isomorph zu $\text{Rep}(M \rtimes_\alpha G)$ , was ermöglicht, äquivariante Probleme auf nichtäquivariante Probleme über Kreuzprodukten zurückzuführen.

Technische Details

Konstruktion des Kreuzprodukts

Für eine $G$ - $W^*$ -Algebra $(M,\alpha)$ wird das Kreuzprodukt definiert als: $M \rtimes_\alpha G = \{z \in M \bar{\otimes} B(L^2(G)) : (\alpha \otimes \text{id})(z) = (\text{id} \otimes \Delta_l)(z)\}$

Wirkung von Erzeugern

Lemma 2.2: Wenn $G \in \text{Rep}^G(M)$ , dann $\text{End}_G(S^G(G)) = (\pi_G \otimes \text{id})(M \rtimes_\alpha G)'$ wobei $S^G(G) = (G \otimes L^2(G), (\pi_G \otimes \text{id}) \circ \alpha, V_{23})$ .

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Erfolgreiche Etablierung einer kategorientheoretischen Charakterisierung der äquivarianten Morita-Äquivalenz für dynamische von Neumann-Algebren
Nachweis des vollständigen äquivarianten Eilenberg-Watts-Theorems im Fall kompakter Quantengruppen
Offenlegung der Schlüsselrolle der Quantengruppenkompaktheit in der äquivarianten Theorie

Einschränkungen

Allgemeiner lokal kompakter Fall: Für nichtkompakte Quantengruppen gilt $P \circ Q \cong \text{id}$ nicht notwendigerweise
Mangel an konkreten Gegenbeispielen: Obwohl Gegenbeispiele erwartet werden, werden keine konkreten Konstruktionen bereitgestellt
Technische Komplexität: Der Beweis beinhaltet umfangreiche technische Details, die die Zugänglichkeit der Ergebnisse möglicherweise einschränken

Zukünftige Richtungen

Tiefere Untersuchung des nichtkompakten Falls: Suche nach konkreten Beispielen, wo $P \circ Q \cong \text{id}$ fehlschlägt
Allgemeinere Quantengruppen: Verallgemeinerung auf breitere Klassen von Quantengruppen
Anwendungserweiterungen: Anwendungen in Quanteninformation und nichtkommutativer Geometrie

Tiefgreifende Bewertung

Stärken

Theoretische Tiefe: Erfolgreiche Verallgemeinerung des klassischen Eilenberg-Watts-Theorems auf den äquivarianten Fall mit bedeutendem theoretischem Wert
Technische Innovation: Geschickte Bewältigung technischer Schwierigkeiten des äquivarianten Falls, besonders der Modulkompatibilitätsanforderungen
Klare Struktur: Wohlgeordnete Papierstruktur mit schrittweiser Progression von allgemeiner Theorie zu Spezialfällen
Vollständigkeit: Vollständige Charakterisierung für den Fall kompakter Quantengruppen

Mängel

Allgemeinheitsbeschränkungen: Hauptergebnisse beschränkt auf kompakte Quantengruppen; allgemeiner Fall bleibt ungelöst
Rechnerische Komplexität: Einige Beweise beinhalten komplexe Diagrammverfolgungen; möglicherweise existieren elegantere Methoden
Mangel an Anwendungsbeispielen: Fehlende konkrete mathematisch-physikalische Anwendungsbeispiele

Einflussfähigkeit

Theoretischer Beitrag: Bereitstellung wichtiger kategorientheoretischer Werkzeuge für die Algebratheorie unter Quantengruppenoperationen
Methodologischer Wert: Demonstration, wie klassische algebraische Theorien auf den Quantenfall verallgemeinert werden
Nachfolgeforschung: Grundlegung für weitere Forschung in verwandten Bereichen

Anwendungsszenarien

Quantengruppendarstellungstheorie
Äquivariante Theorie in der nichtkommutativen Geometrie
Klassifikationsprobleme in Operatoralgebren
Symmetrieforschung in der Quanteninformationstheorie

Literaturverzeichnis

Diese Arbeit basiert hauptsächlich auf folgenden wichtigen Werken:

DCDR24 K. De Commer and J. De Ro, Approximation properties for dynamical W*-correspondences
Rie74 M.A. Rieffel, Morita equivalence for C*-algebras and W*-algebras
KV00 J. Kustermans and S. Vaes, Locally compact quantum groups
DCY13 K. De Commer and M. Yamashita, Tannaka-Krein duality for compact quantum homogeneous spaces

Diese Arbeit leistet wichtige Beiträge im Schnittstellenbereich von Operatoralgebren und Quantengruppentheorie, insbesondere in der äquivarianten Morita-Theorie. Obwohl gewisse technische Einschränkungen bestehen, sind ihr theoretischer Wert und ihre methodologische Bedeutung erheblich.