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

Une interprétation catégorique de l'équivalence de Morita pour les algèbres de von Neumann dynamiques

Informations fondamentales

ID de l'article : 2408.07701
Titre : A categorical interpretation of Morita equivalence for dynamical von Neumann algebras
Auteur : Joeri De Ro
Classification : math.OA (Algèbres d'opérateurs), math.CT (Théorie des catégories), math.QA (Algèbre quantique)
Date de publication : Soumis le 15 août 2024, révisé le 6 décembre 2024
Lien de l'article : https://arxiv.org/abs/2408.07701

Résumé

Cet article étudie la $W^*$ -catégorie $\text{Rep}^G(M)$ sur les algèbres $G$ - $W^*$ $(M,\alpha)$ pour un groupe quantique localement compact $G$ , catégorie composée des représentations unitaires $G$ -normales de $M$ sur des espaces de Hilbert équipés de représentations unitaires $G$ . Cette catégorie possède une action droite de la catégorie $\text{Rep}(G) = \text{Rep}^G(\mathbb{C})$ , ce qui en fait une $W^*$ -catégorie module droite $\text{Rep}(G)$ . L'auteur démontre que l'équivalence de Morita équivariante des algèbres de von Neumann dynamiques peut être caractérisée par l'équivalence des catégories de représentations correspondantes, et établit une version équivariante du théorème d'Eilenberg-Watts dans le cas des groupes quantiques compacts.

Contexte et motivation de la recherche

Contexte du problème

Théorie de Morita classique : Pour les algèbres de von Neumann $M$ et $N$ , le théorème classique d'Eilenberg-Watts établit une équivalence entre la catégorie des correspondances $M$ - $N$ $\text{Corr}(M,N)$ et la catégorie des foncteurs $*$ -normaux $\text{Fun}(\text{Rep}(N), \text{Rep}(M))$ .
Nécessité d'une généralisation équivariante : Lorsque les algèbres de von Neumann sont munies d'une action de groupe quantique, il est nécessaire d'étendre cette théorie au cas équivariant, ce qui revêt une importance capitale en théorie des groupes quantiques et en géométrie non commutative.
Défis techniques : Dans le cas équivariant, la simple correspondance de foncteurs ne fonctionne plus ; il faut considérer des foncteurs compatibles avec la structure de module de la catégorie des représentations du groupe quantique.

Motivation de la recherche

Fournir une caractérisation catégorique de l'équivalence de Morita équivariante pour les algèbres de von Neumann dynamiques
Établir une version équivariante du théorème d'Eilenberg-Watts
Approfondir la compréhension des structures algébriques sous l'action de groupes quantiques

Contributions principales

Construction de foncteurs standards : Établissement de foncteurs standards $P$ et $Q$ entre la catégorie des correspondances $G$ - $M$ - $N$ $\text{Corr}^G(M,N)$ et la catégorie des foncteurs $*$ -compatibles $\text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M))$ .
Preuve d'une inversibilité partielle : Pour les groupes quantiques localement compacts généraux, démonstration que $Q \circ P \cong \text{id}$ .
Caractérisation catégorique de l'équivalence de Morita équivariante : Démonstration que les algèbres de von Neumann dynamiques $G$ -équivariantes $(M,\alpha)$ et $(N,\beta)$ sont équivalentes au sens de Morita si et seulement si $\text{Rep}^G(N)$ et $\text{Rep}^G(M)$ sont équivalentes en tant que $W^*$ -catégories modules $\text{Rep}(G)$ .
Équivalence complète pour les groupes quantiques compacts : Lorsque $G$ est un groupe quantique compact, démonstration que $P \circ Q \cong \text{id}$ , d'où découle le théorème d'Eilenberg-Watts équivariant complet.

Explication détaillée des méthodes

Définitions des concepts fondamentaux

Algèbres $G$ - $W^*$ et correspondances équivariantes

Algèbre $G$ - $W^*$ : $(M,\alpha)$ , où $\alpha: M \to M \bar{\otimes} L^\infty(G)$ est un homomorphisme satisfaisant les propriétés de coaction
Correspondance $G$ - $M$ - $N$ : Espace de Hilbert $H$ $H$ équipé de :
- Une représentation unitaire $G$ -normale $U \in B(H) \bar{\otimes} L^\infty(G)$
- Un homomorphisme $*$ -normal $\pi: M \to B(H)$ satisfaisant $(\pi \otimes \text{id})\alpha(m) = U(\pi(m) \otimes 1)U^*$
- Un homomorphisme anti- $*$ -normal $\rho: N \to B(H)$ satisfaisant $(\rho \otimes R)\beta(n) = U^*(\rho(n) \otimes 1)U$

Structure de module de la catégorie de représentations

$\text{Rep}^G(M)$ acquiert une structure de module droit de $\text{Rep}(G)$ via le produit tensoriel : $H \otimes K = (H \otimes K, \pi_H \otimes 1, U_{H,13}U_{K,23})$

Constructions principales

Définition du foncteur $P$

Étant donné $G \in \text{Corr}^G(M,N)$ , définition du foncteur $F_G: \text{Rep}^G(N) \to \text{Rep}^G(M)$ :

Objets : $F_G(H) := G \boxtimes_N H$ (produit tensoriel de fusion de Connes)
Morphismes : $F_G(x)(y \otimes_N \xi) = y \otimes_N x\xi$
Compatibilité de module : $T_{H,K}: F_G(H \otimes K) \to F_G(H) \otimes K$

Définition du foncteur $Q$

Théorème 3.5 : Étant donné un foncteur $*$ -module $\text{Rep}(G)$ normal $F: \text{Rep}^G(N) \to \text{Rep}^G(M)$ , en considérant $(G, \pi_G, U_G) := F(L^2(N)) \in \text{Rep}^G(M)$ , il existe une unique représentation anti- $*$ $\rho_G: N \to B(G)$ telle que $(G, \pi_G, \rho_G, U_G) \in \text{Corr}^G(M,N)$ .

Points d'innovation technique

Traitement de la compatibilité de module : En exigeant que les foncteurs soient compatibles avec la structure de module $\text{Rep}(G)$ , résolution des difficultés de la correspondance de foncteurs dans le cas équivariant.
Utilisation du produit croisé : Exploitation astucieuse du produit croisé $M \rtimes_\alpha G$ pour transformer les problèmes équivariants en problèmes non équivariants.
Rôle clé de la compacité : Démonstration des propriétés spéciales dans le cas des groupes quantiques compacts, rendant possible l'équivalence complète.

Résultats principaux

Caractérisation de l'équivalence de Morita équivariante

Théorème 3.10 : Soit $G$ un groupe quantique localement compact. Les algèbres $G$ - $W^*$ $(M,\alpha)$ et $(N,\beta)$ sont équivalentes au sens de Morita $W^*$ -équivariant si et seulement si $\text{Rep}^G(M)$ et $\text{Rep}^G(N)$ sont équivalentes en tant que $W^*$ -catégories modules $\text{Rep}(G)$ .

Théorème d'Eilenberg-Watts équivariant

Théorème 4.5 : Soit $G$ un groupe quantique compact. Alors les foncteurs $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)$ sont mutuellement inverses.

Lemmes clés

Proposition 4.1 : Pour un groupe quantique compact $G$ , $\text{Rep}^G(M)$ est isomorphe à $\text{Rep}(M \rtimes_\alpha G)$ , ce qui permet de réduire les problèmes équivariants aux problèmes non équivariants sur le produit croisé.

Détails techniques

Construction du produit croisé

Pour une algèbre $G$ - $W^*$ $(M,\alpha)$ , le produit croisé est défini par : $M \rtimes_\alpha G = \{z \in M \bar{\otimes} B(L^2(G)) : (\alpha \otimes \text{id})(z) = (\text{id} \otimes \Delta_l)(z)\}$

Action des générateurs

Lemme 2.2 : Si $G \in \text{Rep}^G(M)$ , alors $\text{End}_G(S^G(G)) = (\pi_G \otimes \text{id})(M \rtimes_\alpha G)'$ où $S^G(G) = (G \otimes L^2(G), (\pi_G \otimes \text{id}) \circ \alpha, V_{23})$ .

Travaux connexes

Fondements de la théorie classique

Travaux de Rieffel Rie74 : Établissement des fondations de la théorie de Morita pour les algèbres de von Neumann
Théorème d'Eilenberg-Watts Ei60, Wa60 : Caractérisation de l'équivalence entre catégories de modules
Fusion de Connes Sau83 : Fourniture de la construction du produit tensoriel pour les correspondances

Théorie des groupes quantiques

Théorie de Kustermans-Vaes KV00, KV03 : Théorie systématique des groupes quantiques localement compacts
Théorie des correspondances équivariantes DCDR24 : Travaux antérieurs sur lesquels cet article s'appuie directement

Méthodes catégoriques

Théorie des catégories modules DCY13 : Méthodes de catégories modules en dualité de Tannaka-Krein
Catégories $W^*$ GLR85 : Cadre abstrait pour les catégories d'algèbres de von Neumann

Conclusions et discussion

Conclusions principales

Établissement réussi d'une caractérisation catégorique de l'équivalence de Morita équivariante pour les algèbres de von Neumann dynamiques
Preuve du théorème d'Eilenberg-Watts équivariant complet dans le cas des groupes quantiques compacts
Révélation du rôle clé de la compacité du groupe quantique dans la théorie équivariante

Limitations

Cas localement compact général : Pour les groupes quantiques non compacts, $P \circ Q \cong \text{id}$ ne s'applique pas nécessairement
Manque de contre-exemples concrets : Bien que l'existence de contre-exemples soit attendue, l'article n'en fournit pas de construction explicite
Complexité technique : Les preuves impliquent de nombreux détails techniques, ce qui peut limiter l'accessibilité des résultats

Directions futures

Étude approfondie du cas non compact : Recherche d'exemples concrets où $P \circ Q \cong \text{id}$ échoue
Généralisation à des groupes quantiques plus larges : Extension à des classes plus générales de groupes quantiques
Élargissement des applications : Applications en théorie de l'information quantique et en géométrie non commutative

Évaluation approfondie

Avantages

Profondeur théorique : Généralisation réussie du théorème d'Eilenberg-Watts classique au cas équivariant, possédant une valeur théorique importante
Innovation technique : Traitement astucieux des difficultés techniques du cas équivariant, en particulier l'exigence de compatibilité de module
Clarté structurelle : Structure de l'article bien organisée, progression logique de la théorie générale aux cas particuliers
Complétude : Caractérisation complète pour le cas des groupes quantiques compacts

Insuffisances

Limitations de généralité : Les résultats principaux se limitent aux groupes quantiques compacts ; le cas général reste à résoudre
Complexité des calculs : Certaines preuves impliquent des diagrammes complexes dont on pourrait espérer des approches plus élégantes
Manque d'exemples d'application : Absence d'exemples concrets d'applications en physique mathématique

Impact

Contribution théorique : Fourniture d'outils catégoriques importants pour la théorie algébrique des actions de groupes quantiques
Valeur méthodologique : Démonstration de la manière de généraliser la théorie algébrique classique au cas quantique
Recherche ultérieure : Établissement des fondations pour des recherches ultérieures dans les domaines connexes

Domaines d'application

Théorie des représentations de groupes quantiques
Théorie équivariante en géométrie non commutative
Problèmes de classification en algèbres d'opérateurs
Étude des symétries en théorie de l'information quantique

Références bibliographiques

Cet article s'appuie principalement sur les références importantes suivantes :

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

Cet article apporte une contribution importante au domaine de l'intersection entre les algèbres d'opérateurs et la théorie des groupes quantiques, particulièrement en théorie de Morita équivariante. Bien que certaines limitations techniques existent, sa valeur théorique et sa portée méthodologique sont remarquables.