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

基本信息

  • 论文ID: 2408.07701
  • 标题: A categorical interpretation of Morita equivalence for dynamical von Neumann algebras
  • 作者: Joeri De Ro
  • 分类: math.OA (Operator Algebras), math.CT (Category Theory), math.QA (Quantum Algebra)
  • 发表时间: 2024年8月15日提交，2024年12月6日修订
  • 论文链接: https://arxiv.org/abs/2408.07701

摘要

本文研究局部紧量子群 GG 和 GG-W∗W^*-代数 (M,α)(M,\alpha) 上的 W∗W^*-范畴 RepG(M)\text{Rep}^G(M)，该范畴由 MM 在配备单位 GG-表示的 Hilbert 空间上的正规单位 GG-表示组成。该范畴具有范畴 Rep(G)=RepG(C)\text{Rep}(G) = \text{Rep}^G(\mathbb{C}) 的右作用，使其成为右 Rep(G)\text{Rep}(G)-模 W∗W^*-范畴。作者证明了 GG-动力学 von Neumann 代数的等变 Morita 等价性可以通过相应表示范畴的等价性来刻画，并在紧量子群情形下建立了等变版本的 Eilenberg-Watts 定理。

研究背景与动机

问题背景

  1. 经典 Morita 理论：对于 von Neumann 代数 MM 和 NN，经典的 Eilenberg-Watts 定理建立了 MM-NN-对应范畴 Corr(M,N)\text{Corr}(M,N) 与正规 ∗*-函子范畴 Fun(Rep(N),Rep(M))\text{Fun}(\text{Rep}(N), \text{Rep}(M)) 之间的等价性。
  2. 等变推广的需求：当 von Neumann 代数配备了量子群作用时，需要将这一理论推广到等变情形，这在量子群理论和非交换几何中具有重要意义。
  3. 技术挑战：等变情形下，简单的函子对应不再成立，需要考虑与量子群表示范畴的模结构相容的函子。

研究动机

  • 为动力学 von Neumann 代数的等变 Morita 等价性提供范畴论刻画
  • 建立等变版本的 Eilenberg-Watts 定理
  • 深化对量子群作用下代数结构的理解

核心贡献

  1. 构造了标准函子：建立了 GG-MM-NN-对应范畴 CorrG(M,N)\text{Corr}^G(M,N) 与相容 ∗*-函子范畴 FunRep(G)(RepG(N),RepG(M))\text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M)) 之间的标准函子 PP 和 QQ。
  2. 证明了部分逆性：对于一般局部紧量子群，证明了 Q∘P≅idQ \circ P \cong \text{id}。
  3. 等变 Morita 等价的范畴刻画：证明了 GG-动力学 von Neumann 代数 (M,α)(M,\alpha) 和 (N,β)(N,\beta) 等变 Morita 等价当且仅当 RepG(N)\text{Rep}^G(N) 和 RepG(M)\text{Rep}^G(M) 作为 Rep(G)\text{Rep}(G)-模 W∗W^*-范畴等价。
  4. 紧量子群的完全等价性：当 GG 是紧量子群时，证明了 P∘Q≅idP \circ Q \cong \text{id}，从而得到完整的等变 Eilenberg-Watts 定理。

方法详解

核心概念定义

G-W*-代数和等变对应

  • GG-W∗W^*-代数：(M,α)(M,\alpha)，其中 α:M→M⊗ˉL∞(G)\alpha: M \to M \bar{\otimes} L^\infty(G) 是满足余作用性质的同态
  • GG-MM-NN-对应：Hilbert 空间 HH 配备：
    • 单位 GG-表示 U∈B(H)⊗ˉL∞(G)U \in B(H) \bar{\otimes} L^\infty(G)
    • 正规 ∗*-同态 π:M→B(H)\pi: M \to B(H) 满足 (π⊗id)α(m)=U(π(m)⊗1)U∗(\pi \otimes \text{id})\alpha(m) = U(\pi(m) \otimes 1)U^*
    • 正规反 ∗*-同态 ρ:N→B(H)\rho: N \to B(H) 满足 (ρ⊗R)β(n)=U∗(ρ(n)⊗1)U(\rho \otimes R)\beta(n) = U^*(\rho(n) \otimes 1)U

表示范畴的模结构

RepG(M)\text{Rep}^G(M) 通过张量积获得 Rep(G)\text{Rep}(G) 的右模结构： H⊗K=(H⊗K,πH⊗1,UH,13UK,23)H \otimes K = (H \otimes K, \pi_H \otimes 1, U_{H,13}U_{K,23})

主要构造

函子 P 的定义

给定 G∈CorrG(M,N)G \in \text{Corr}^G(M,N)，定义函子 FG:RepG(N)→RepG(M)F_G: \text{Rep}^G(N) \to \text{Rep}^G(M)：

  • 对象：FG(H):=G⊠NHF_G(H) := G \boxtimes_N H（Connes 融合张量积）
  • 态射：FG(x)(y⊗Nξ)=y⊗NxξF_G(x)(y \otimes_N \xi) = y \otimes_N x\xi
  • 模相容性：TH,K:FG(H⊗K)→FG(H)⊗KT_{H,K}: F_G(H \otimes K) \to F_G(H) \otimes K

函子 Q 的定义

定理 3.5：给定正规 Rep(G)\text{Rep}(G)-模 ∗*-函子 F:RepG(N)→RepG(M)F: \text{Rep}^G(N) \to \text{Rep}^G(M)，考虑 (G,πG,UG):=F(L2(N))∈RepG(M)(G, \pi_G, U_G) := F(L^2(N)) \in \text{Rep}^G(M)。则存在唯一的反 ∗*-表示 ρG:N→B(G)\rho_G: N \to B(G) 使得 (G,πG,ρG,UG)∈CorrG(M,N)(G, \pi_G, \rho_G, U_G) \in \text{Corr}^G(M,N)。

技术创新点

  1. 模相容性的处理：通过要求函子与 Rep(G)\text{Rep}(G)-模结构相容，解决了等变情形下函子对应的困难。
  2. 交叉积的运用：巧妙地利用交叉积 M⋊αGM \rtimes_\alpha G 将等变问题转化为非等变问题。
  3. 紧性的关键作用：证明了紧量子群情形下的特殊性质，使得完全等价成为可能。

主要结果

等变 Morita 等价的刻画

定理 3.10：设 GG 是局部紧量子群。则 GG-W∗W^*-代数 (M,α)(M,\alpha) 和 (N,β)(N,\beta) 等变 W∗W^*-Morita 等价当且仅当 RepG(M)\text{Rep}^G(M) 和 RepG(N)\text{Rep}^G(N) 作为 Rep(G)\text{Rep}(G)-模 W∗W^*-范畴等价。

等变 Eilenberg-Watts 定理

定理 4.5：设 GG 是紧量子群。则函子 P:CorrG(M,N)→FunRep(G)(RepG(N),RepG(M))P: \text{Corr}^G(M,N) \to \text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M))Q:FunRep(G)(RepG(N),RepG(M))→CorrG(M,N)Q: \text{Fun}_{\text{Rep}(G)}(\text{Rep}^G(N), \text{Rep}^G(M)) \to \text{Corr}^G(M,N) 是相互逆的。

关键引理

命题 4.1：对于紧量子群 GG，RepG(M)\text{Rep}^G(M) 与 Rep(M⋊αG)\text{Rep}(M \rtimes_\alpha G) 同构，这使得等变问题可以归结为交叉积上的非等变问题。

技术细节

交叉积的构造

对于 GG-W∗W^*-代数 (M,α)(M,\alpha)，交叉积定义为： M⋊αG={z∈M⊗ˉB(L2(G)):(α⊗id)(z)=(id⊗Δl)(z)}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∈RepG(M)G \in \text{Rep}^G(M)，则 EndG(SG(G))=(πG⊗id)(M⋊αG)′\text{End}_G(S^G(G)) = (\pi_G \otimes \text{id})(M \rtimes_\alpha G)' 其中 SG(G)=(G⊗L2(G),(πG⊗id)∘α,V23)S^G(G) = (G \otimes L^2(G), (\pi_G \otimes \text{id}) \circ \alpha, V_{23})。

相关工作

经典理论基础

  1. Rieffel 的工作 Rie74：建立了 von Neumann 代数的 Morita 理论基础
  2. Eilenberg-Watts 定理 Ei60, Wa60：刻画了模范畴之间的等价性
  3. Connes 融合 Sau83：提供了对应的张量积构造

量子群理论

  1. Kustermans-Vaes 理论 KV00, KV03：局部紧量子群的系统理论
  2. 等变对应理论 DCDR24：本文直接基于的前期工作

范畴论方法

  1. 模范畴理论 DCY13：Tannaka-Krein 对偶中的模范畴方法
  2. W∗W^*-范畴 GLR85：von Neumann 代数范畴的抽象框架

结论与讨论

主要结论

  1. 成功建立了动力学 von Neumann 代数等变 Morita 等价性的范畴论刻画
  2. 证明了紧量子群情形下的完整等变 Eilenberg-Watts 定理
  3. 揭示了量子群紧性在等变理论中的关键作用

局限性

  1. 一般局部紧情形：对于非紧量子群，P∘Q≅idP \circ Q \cong \text{id} 不一定成立
  2. 具体反例缺乏：虽然预期存在反例，但文中未提供具体构造
  3. 技术复杂性：证明涉及大量技术细节，可能限制了结果的可及性

未来方向

  1. 非紧情形的深入研究：寻找 P∘Q≅idP \circ Q \cong \text{id} 失效的具体例子
  2. 更一般的量子群：推广到更广泛的量子群类别
  3. 应用拓展：在量子信息和非交换几何中的应用

深度评价

优点

  1. 理论深度：将经典的 Eilenberg-Watts 定理成功推广到等变情形，具有重要的理论价值
  2. 技术创新：巧妙地处理了等变情形下的技术困难，特别是模相容性的要求
  3. 结构清晰：论文结构合理，从一般理论到特殊情形层层递进
  4. 完整性：对于紧量子群情形给出了完整的刻画

不足

  1. 一般性限制：主要结果局限于紧量子群，一般情形仍有待解决
  2. 计算复杂：某些证明涉及复杂的图表追踪，可能存在更简洁的方法
  3. 应用示例缺乏：缺少具体的数学物理应用例子

影响力

  1. 理论贡献：为量子群作用的代数理论提供了重要的范畴论工具
  2. 方法论价值：展示了如何将经典代数理论推广到量子情形
  3. 后续研究：为相关领域的进一步研究奠定了基础

适用场景

  • 量子群表示理论
  • 非交换几何中的等变理论
  • 算子代数的分类问题
  • 量子信息理论中的对称性研究

参考文献

本文主要基于以下重要文献：

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

这篇论文在算子代数和量子群理论的交叉领域做出了重要贡献，特别是在等变 Morita 理论方面。虽然存在一些技术限制，但其理论价值和方法论意义是显著的。