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

A categorical interpretation of Morita equivalence for dynamical von Neumann algebras

Basic Information

Paper ID: 2408.07701
Title: A categorical interpretation of Morita equivalence for dynamical von Neumann algebras
Author: Joeri De Ro
Classification: math.OA (Operator Algebras), math.CT (Category Theory), math.QA (Quantum Algebra)
Submission Date: August 15, 2024; Revised December 6, 2024
Paper Link: https://arxiv.org/abs/2408.07701

Abstract

This paper investigates the $W^*$ -category $\text{Rep}^G(M)$ of $G$ - $W^*$ -algebras $(M,\alpha)$ for locally compact quantum groups $G$ , which consists of normal unitary $G$ -representations of $M$ on Hilbert spaces equipped with unitary $G$ -representations. This category admits a right action of the category $\text{Rep}(G) = \text{Rep}^G(\mathbb{C})$ , making it a right $\text{Rep}(G)$ -module $W^*$ -category. The author proves that equivariant Morita equivalence of $G$ -dynamical von Neumann algebras can be characterized through equivalences of corresponding representation categories, and establishes an equivariant version of the Eilenberg-Watts theorem in the compact quantum group setting.

Research Background and Motivation

Problem Background

Classical Morita Theory: For von Neumann algebras $M$ and $N$ , the classical Eilenberg-Watts theorem establishes an equivalence between the category of $M$ - $N$ -correspondences $\text{Corr}(M,N)$ and the category of normal $*$ -functors $\text{Fun}(\text{Rep}(N), \text{Rep}(M))$ .
Need for Equivariant Generalization: When von Neumann algebras are equipped with quantum group actions, this theory must be generalized to the equivariant setting, which is significant in quantum group theory and noncommutative geometry.
Technical Challenges: In the equivariant case, simple functor correspondences no longer hold; one must consider functors compatible with the module structure over the quantum group representation category.

Research Motivation

To provide a categorical characterization of equivariant Morita equivalence for dynamical von Neumann algebras
To establish an equivariant version of the Eilenberg-Watts theorem
To deepen understanding of algebraic structures under quantum group actions

Core Contributions

Construction of Standard Functors: Establishes standard functors $P$ and $Q$ between the category of $G$ - $M$ - $N$ -correspondences $\text{Corr}^G(M,N)$ and the category of compatible $*$ -functors $\text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M))$ .
Proof of Partial Inverse: For general locally compact quantum groups, proves that $Q \circ P \cong \text{id}$ .
Categorical Characterization of Equivariant Morita Equivalence: Proves that $G$ -dynamical von Neumann algebras $(M,\alpha)$ and $(N,\beta)$ are equivariantly Morita equivalent if and only if $\text{Rep}^G(N)$ and $\text{Rep}^G(M)$ are equivalent as $\text{Rep}(G)$ -module $W^*$ -categories.
Complete Equivalence for Compact Quantum Groups: When $G$ is a compact quantum group, proves that $P \circ Q \cong \text{id}$ , yielding the complete equivariant Eilenberg-Watts theorem.

Detailed Methodology

Core Concept Definitions

G-W*-algebras and Equivariant Correspondences

$G$ - $W^*$ -algebra: $(M,\alpha)$ , where $\alpha: M \to M \bar{\otimes} L^\infty(G)$ is a homomorphism satisfying coaction properties
$G$ - $M$ - $N$ -correspondence: A Hilbert space $H$ $H$ equipped with:
- A unitary $G$ -representation $U \in B(H) \bar{\otimes} L^\infty(G)$
- A normal $*$ -homomorphism $\pi: M \to B(H)$ satisfying $(\pi \otimes \text{id})\alpha(m) = U(\pi(m) \otimes 1)U^*$
- A normal anti- $*$ -homomorphism $\rho: N \to B(H)$ satisfying $(\rho \otimes R)\beta(n) = U^*(\rho(n) \otimes 1)U$

Module Structure of Representation Categories

$\text{Rep}^G(M)$ acquires a right $\text{Rep}(G)$ -module structure through tensor product: $H \otimes K = (H \otimes K, \pi_H \otimes 1, U_{H,13}U_{K,23})$

Main Constructions

Definition of Functor P

Given $G \in \text{Corr}^G(M,N)$ , define the functor $F_G: \text{Rep}^G(N) \to \text{Rep}^G(M)$ :

Objects: $F_G(H) := G \boxtimes_N H$ (Connes fusion tensor product)
Morphisms: $F_G(x)(y \otimes_N \xi) = y \otimes_N x\xi$
Module compatibility: $T_{H,K}: F_G(H \otimes K) \to F_G(H) \otimes K$

Definition of Functor Q

Theorem 3.5: Given a normal $\text{Rep}(G)$ -module $*$ -functor $F: \text{Rep}^G(N) \to \text{Rep}^G(M)$ , consider $(G, \pi_G, U_G) := F(L^2(N)) \in \text{Rep}^G(M)$ . There exists a unique anti- $*$ -representation $\rho_G: N \to B(G)$ such that $(G, \pi_G, \rho_G, U_G) \in \text{Corr}^G(M,N)$ .

Technical Innovations

Handling Module Compatibility: By requiring functors to be compatible with the $\text{Rep}(G)$ -module structure, resolves difficulties in the equivariant functor correspondence.
Application of Crossed Products: Cleverly utilizes the crossed product $M \rtimes_\alpha G$ to transform equivariant problems into non-equivariant ones.
Key Role of Compactness: Demonstrates special properties in the compact quantum group case, enabling complete equivalence.

Main Results

Characterization of Equivariant Morita Equivalence

Theorem 3.10: Let $G$ be a locally compact quantum group. Then $G$ - $W^*$ -algebras $(M,\alpha)$ and $(N,\beta)$ are equivariantly $W^*$ -Morita equivalent if and only if $\text{Rep}^G(M)$ and $\text{Rep}^G(N)$ are equivalent as $\text{Rep}(G)$ -module $W^*$ -categories.

Equivariant Eilenberg-Watts Theorem

Theorem 4.5: Let $G$ be a compact quantum group. Then the functors $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)$ are mutual inverses.

Key Lemma

Proposition 4.1: For a compact quantum group $G$ , $\text{Rep}^G(M)$ is isomorphic to $\text{Rep}(M \rtimes_\alpha G)$ , allowing equivariant problems to be reduced to non-equivariant problems on crossed products.

Technical Details

Construction of Crossed Products

For a $G$ - $W^*$ -algebra $(M,\alpha)$ , the crossed product is defined as: $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 of Generators

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

Classical Theory Foundations

Rieffel's Work Rie74: Establishes foundations of Morita theory for von Neumann algebras
Eilenberg-Watts Theorem Ei60, Wa60: Characterizes equivalences between module categories
Connes Fusion Sau83: Provides tensor product construction for correspondences

Quantum Group Theory

Kustermans-Vaes Theory KV00, KV03: Systematic theory of locally compact quantum groups
Equivariant Correspondence Theory DCDR24: Prior work directly underlying this paper

Categorical Methods

Module Category Theory DCY13: Module category methods in Tannaka-Krein duality
$W^*$ -Categories GLR85: Abstract framework for von Neumann algebra categories

Conclusions and Discussion

Main Conclusions

Successfully establishes a categorical characterization of equivariant Morita equivalence for dynamical von Neumann algebras
Proves the complete equivariant Eilenberg-Watts theorem in the compact quantum group setting
Reveals the crucial role of quantum group compactness in equivariant theory

Limitations

General Locally Compact Case: For non-compact quantum groups, $P \circ Q \cong \text{id}$ does not necessarily hold
Lack of Concrete Counterexamples: While counterexamples are expected to exist, the paper does not provide explicit constructions
Technical Complexity: Proofs involve substantial technical details, potentially limiting accessibility

Future Directions

Deeper Study of Non-Compact Cases: Seek concrete examples where $P \circ Q \cong \text{id}$ fails
More General Quantum Groups: Extend results to broader classes of quantum groups
Application Extensions: Applications in quantum information and noncommutative geometry

In-Depth Evaluation

Strengths

Theoretical Depth: Successfully generalizes the classical Eilenberg-Watts theorem to the equivariant setting, with significant theoretical value
Technical Innovation: Skillfully handles technical difficulties in the equivariant case, particularly the module compatibility requirement
Clear Structure: Well-organized paper with logical progression from general theory to special cases
Completeness: Provides complete characterization for the compact quantum group case

Weaknesses

Generality Limitations: Main results restricted to compact quantum groups; general case remains unresolved
Computational Complexity: Some proofs involve intricate diagram chasing; more elegant approaches may exist
Lack of Concrete Applications: Insufficient concrete examples from mathematical physics

Impact

Theoretical Contribution: Provides important categorical tools for algebraic theory of quantum group actions
Methodological Value: Demonstrates how to generalize classical algebraic theory to the quantum setting
Foundation for Future Research: Establishes basis for further investigation in related fields

Applicable Domains

Quantum group representation theory
Equivariant theory in noncommutative geometry
Classification problems in operator algebras
Symmetry studies in quantum information theory

References

This paper is primarily based on the following important literature:

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

This paper makes important contributions at the intersection of operator algebras and quantum group theory, particularly in equivariant Morita theory. Despite certain technical limitations, its theoretical value and methodological significance are substantial.