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

Категориальная интерпретация эквивалентности Мориты для динамических алгебр фон Неймана

Основная информация

ID статьи: 2408.07701
Название: A categorical interpretation of Morita equivalence for dynamical von Neumann algebras
Автор: Joeri De Ro
Классификация: math.OA (Операторные алгебры), math.CT (Теория категорий), math.QA (Квантовая алгебра)
Дата публикации: Подано 15 августа 2024 г., пересмотрено 6 декабря 2024 г.
Ссылка на статью: https://arxiv.org/abs/2408.07701

Аннотация

В данной работе исследуются $W^*$ -категории $\text{Rep}^G(M)$ представлений над $G$ - $W^*$ -алгебрами $(M,\alpha)$ для локально компактных квантовых групп $G$ . Категория состоит из нормальных унитарных $G$ -представлений алгебры $M$ в гильбертовых пространствах, снабжённых унитарными $G$ -представлениями. Эта категория обладает правым действием категории $\text{Rep}(G) = \text{Rep}^G(\mathbb{C})$ , что делает её правым $\text{Rep}(G)$ -модульным $W^*$ -категориям. Автор доказывает, что эквивариантная эквивалентность Мориты динамических алгебр фон Неймана может быть охарактеризована через эквивалентность соответствующих категорий представлений, и устанавливает эквивариантную версию теоремы Эйленберга-Уоттса для компактных квантовых групп.

Исследовательский контекст и мотивация

Проблемный контекст

Классическая теория Мориты: Для алгебр фон Неймана $M$ и $N$ классическая теорема Эйленберга-Уоттса устанавливает эквивалентность между категорией $M$ - $N$ -соответствий $\text{Corr}(M,N)$ и категорией нормальных $*$ -функторов $\text{Fun}(\text{Rep}(N), \text{Rep}(M))$ .
Необходимость эквивариантного обобщения: Когда алгебры фон Неймана снабжены действием квантовой группы, требуется обобщение этой теории на эквивариантный случай, что имеет важное значение в теории квантовых групп и некоммутативной геометрии.
Технические трудности: В эквивариантном случае простое соответствие функторов перестаёт работать; необходимо рассматривать функторы, совместимые со структурой модуля над категорией представлений квантовой группы.

Исследовательская мотивация

Предоставить категориальную характеризацию эквивариантной эквивалентности Мориты для динамических алгебр фон Неймана
Установить эквивариантную версию теоремы Эйленберга-Уоттса
Углубить понимание алгебраических структур под действием квантовых групп

Основные вклады

Построение стандартных функторов: Установлены стандартные функторы $P$ и $Q$ между категорией $G$ - $M$ - $N$ -соответствий $\text{Corr}^G(M,N)$ и категорией совместимых $*$ -функторов $\text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M))$ .
Доказательство частичной обратимости: Для общих локально компактных квантовых групп доказано, что $Q \circ P \cong \text{id}$ .
Категориальная характеризация эквивариантной эквивалентности Мориты: Доказано, что $G$ -динамические алгебры фон Неймана $(M,\alpha)$ и $(N,\beta)$ эквивариантно Мориты-эквивалентны тогда и только тогда, когда $\text{Rep}^G(N)$ и $\text{Rep}^G(M)$ эквивалентны как $\text{Rep}(G)$ -модульные $W^*$ -категории.
Полная эквивалентность для компактных квантовых групп: Когда $G$ является компактной квантовой группой, доказано, что $P \circ Q \cong \text{id}$ , что даёт полную эквивариантную теорему Эйленберга-Уоттса.

Детальное описание методов

Определение основных концепций

G- $W^*$ -алгебры и эквивариантные соответствия

$G$ - $W^*$ -алгебра: $(M,\alpha)$ , где $\alpha: M \to M \bar{\otimes} L^\infty(G)$ — гомоморфизм, удовлетворяющий свойству косодействия
$G$ - $M$ - $N$ -соответствие: Гильбертово пространство $H$ $H$ , снабжённое:
- Унитарным $G$ -представлением $U \in B(H) \bar{\otimes} L^\infty(G)$
- Нормальным $*$ -гомоморфизмом $\pi: M \to B(H)$ , удовлетворяющим $(\pi \otimes \text{id})\alpha(m) = U(\pi(m) \otimes 1)U^*$
- Нормальным антигомоморфизмом $\rho: N \to B(H)$ , удовлетворяющим $(\rho \otimes R)\beta(n) = U^*(\rho(n) \otimes 1)U$

Модульная структура категории представлений

$\text{Rep}^G(M)$ приобретает структуру правого модуля над $\text{Rep}(G)$ через тензорное произведение: $H \otimes K = (H \otimes K, \pi_H \otimes 1, U_{H,13}U_{K,23})$

Основные конструкции

Определение функтора P

Для $G \in \text{Corr}^G(M,N)$ определяется функтор $F_G: \text{Rep}^G(N) \to \text{Rep}^G(M)$ :

На объектах: $F_G(H) := G \boxtimes_N H$ (тензорное произведение Конна)
На морфизмах: $F_G(x)(y \otimes_N \xi) = y \otimes_N x\xi$
Модульная совместимость: $T_{H,K}: F_G(H \otimes K) \to F_G(H) \otimes K$

Определение функтора Q

Теорема 3.5: Для нормального $\text{Rep}(G)$ -модульного $*$ -функтора $F: \text{Rep}^G(N) \to \text{Rep}^G(M)$ рассмотрим $(G, \pi_G, U_G) := F(L^2(N)) \in \text{Rep}^G(M)$ . Тогда существует единственное антипредставление $\rho_G: N \to B(G)$ такое, что $(G, \pi_G, \rho_G, U_G) \in \text{Corr}^G(M,N)$ .

Технические инновации

Обработка модульной совместимости: Требование совместимости функторов со структурой $\text{Rep}(G)$ -модуля разрешает трудности эквивариантного случая.
Применение скрещённого произведения: Искусное использование скрещённого произведения $M \rtimes_\alpha G$ преобразует эквивариантную задачу в неэквивариантную.
Ключевая роль компактности: Доказано, что компактные квантовые группы обладают специальными свойствами, делающими полную эквивалентность возможной.

Основные результаты

Характеризация эквивариантной эквивалентности Мориты

Теорема 3.10: Пусть $G$ — локально компактная квантовая группа. Тогда $G$ - $W^*$ -алгебры $(M,\alpha)$ и $(N,\beta)$ эквивариантно $W^*$ -Мориты-эквивалентны тогда и только тогда, когда $\text{Rep}^G(M)$ и $\text{Rep}^G(N)$ эквивалентны как $\text{Rep}(G)$ -модульные $W^*$ -категории.

Эквивариантная теорема Эйленберга-Уоттса

Теорема 4.5: Пусть $G$ — компактная квантовая группа. Тогда функторы $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)$ являются взаимно обратными.

Ключевые леммы

Предложение 4.1: Для компактной квантовой группы $G$ категория $\text{Rep}^G(M)$ изоморфна $\text{Rep}(M \rtimes_\alpha G)$ , что позволяет свести эквивариантную задачу к неэквивариантной задаче на скрещённом произведении.

Технические детали

Построение скрещённого произведения

Для $G$ - $W^*$ -алгебры $(M,\alpha)$ скрещённое произведение определяется как: $M \rtimes_\alpha G = \{z \in M \bar{\otimes} B(L^2(G)) : (\alpha \otimes \text{id})(z) = (\text{id} \otimes \Delta_l)(z)\}$

Действие образующих

Лемма 2.2: Если $G \in \text{Rep}^G(M)$ , то $\text{End}_G(S^G(G)) = (\pi_G \otimes \text{id})(M \rtimes_\alpha G)'$ где $S^G(G) = (G \otimes L^2(G), (\pi_G \otimes \text{id}) \circ \alpha, V_{23})$ .

Связанные работы

Классическая теоретическая база

Работы Рифеля Rie74: Основание теории Мориты для алгебр фон Неймана
Теорема Эйленберга-Уоттса Ei60, Wa60: Характеризация эквивалентностей модульных категорий
Тензорное произведение Конна Sau83: Конструкция тензорного произведения для соответствий

Теория квантовых групп

Теория Кустерманса-Ваеса KV00, KV03: Систематическая теория локально компактных квантовых групп
Теория эквивариантных соответствий DCDR24: Предшествующая работа, на которой основана данная статья

Категориальные методы

Теория модульных категорий DCY13: Методы модульных категорий в двойственности Таннака-Крейна
$W^*$ -категории GLR85: Абстрактная структура категорий алгебр фон Неймана

Заключение и обсуждение

Основные выводы

Успешно установлена категориальная характеризация эквивариантной эквивалентности Мориты для динамических алгебр фон Неймана
Доказана полная эквивариантная теорема Эйленберга-Уоттса для компактных квантовых групп
Выявлена ключевая роль компактности квантовой группы в эквивариантной теории

Ограничения

Общий локально компактный случай: Для некомпактных квантовых групп $P \circ Q \cong \text{id}$ не обязательно выполняется
Отсутствие конкретных контрпримеров: Хотя ожидается существование контрпримеров, в статье они не приводятся
Техническая сложность: Доказательства содержат значительное количество технических деталей, что может ограничить доступность результатов

Направления будущих исследований

Углубленное изучение некомпактного случая: Поиск конкретных примеров, где $P \circ Q \cong \text{id}$ не выполняется
Обобщение на более широкие классы квантовых групп: Расширение результатов на более общие категории квантовых групп
Расширение приложений: Применение в квантовой информации и некоммутативной геометрии

Глубокая оценка

Преимущества

Теоретическая глубина: Успешное обобщение классической теоремы Эйленберга-Уоттса на эквивариантный случай имеет важное теоретическое значение
Технические инновации: Искусное разрешение технических трудностей эквивариантного случая, особенно требования модульной совместимости
Ясная структура: Логичная структура работы, последовательный переход от общей теории к частным случаям
Полнота: Полная характеризация для компактных квантовых групп

Недостатки

Ограничение общности: Основные результаты ограничены компактными квантовыми группами; общий случай остаётся нерешённым
Вычислительная сложность: Некоторые доказательства включают сложные диаграммные преследования; возможно существование более элегантных методов
Недостаток конкретных примеров: Отсутствуют конкретные примеры приложений в математической физике

Влияние

Теоретический вклад: Предоставляет важные категориальные инструменты для теории алгебр под действием квантовых групп
Методологическая ценность: Демонстрирует, как обобщить классическую алгебраическую теорию на квантовый случай
Основание для дальнейших исследований: Создаёт основу для последующих исследований в смежных областях

Области применения

Теория представлений квантовых групп
Эквивариантная теория в некоммутативной геометрии
Проблемы классификации в теории операторных алгебр
Исследование симметрий в квантовой теории информации

Библиография

Работа основана на следующих ключевых источниках:

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

Данная статья вносит значительный вклад в область пересечения теории операторных алгебр и теории квантовых групп, особенно в эквивариантной теории Мориты. Несмотря на некоторые технические ограничения, её теоретическая ценность и методологическое значение являются существенными.