[论文解读] Weak quantum hypergroups from finite index C*-inclusions

Keshab Chandra Bakshi, Debashish Goswami+1 more|arXiv (Cornell University)|Jan 18, 2026

Advanced Operator Algebra Research被引用 0

一句话总结

作者在简单统一的有限索引包含 B ⊂ A 的第二相对交换子 B' ∩ A1 上构造一个典型的完全正 coproduct，提出弱量子超群的概念，并在不可约情形下显示其可恢复量子超群，在深度-2 情况下与弱 Hopf 代数等价。

ABSTRACT

We study a finite index inclusion of simple unital C*-algebras and construct a canonical completely positive coproduct on the second relative commutant, thereby endowing it with a natural coalgebra structure. Motivated by this construction, we introduce the notion of a weak quantum hypergroup, a generalization of the quantum hypergroups of Chapovsky and Vainerman. We show that every finite index inclusion gives rise to such a weak quantum hypergroup, and that the corresponding weak quantum hypergroup possesses a Haar integral. In the irreducible case, this structure satisfies the axioms of a quantum hypergroup in the sense of Chapovsky and Vainerman, while in the depth 2 setting our framework yields the associated weak Hopf algebra constructed by Nikshych and Vainerman. These results provide a unified and intrinsically C*-algebraic framework for generalized quantum symmetries associated with finite index inclusions.

研究动机与目标

• 从任意有限索引的简单单元 C*-代数包含中提取并动机化一个标准的量子对称性对象。
• 在第二相对交换子上定义基于卷积的对合代数并建立一个完全正的 coproduct。
• 引入并发展弱量子超群框架，作为量子对称性和弱 Hopf 代数对称性的广义化。
• 在特殊情形下与已知结构保持一致性（不可约和深度-2）。

提出的方法

• 使用 Watatani 的塔和高阶相对交换子上的 Fourier 变换来定义 B' ∩ A1 上的卷积积。
• 通过一个双线性形式构造 Δ 在 B' ∩ A1 上（⟨Δ(x), y⊗z⟩ = τ^{1/2}⟨x, y⋆z⟩）。
• 证明 Δ 是完全正映射，并且 (B' ∩ A1, Δ, ε) 形成带余 counit ε 的 coalgebra。
• 将 B' ∩ A1 上的 Δ 与 Nikshych–Vainerman 的 Δ^{NV} 结构通过对偶性联系起来，并将其与深度-2 的弱 Hopf 代结构联系起来。
• 在不可约情形下，该结构成为真正的量子超群；在深度-2 情况下与已知的弱 Hopf 代数构造相符。
• 展示弱量子超群存在左右不变测度和 Haar 积的存在性。

实验结果

研究问题

• RQ1 每一个简单单位 C*-代数包含 B ⊂ A 的有限索引包含是否会在第二相对交换子 B' ∩ A1 上产生一个标准的弱量子超群结构？
• RQ2 在何种条件下弱量子超群可升级为真正的量子超群（如不可约情形）或与已知的弱 Hopf 代结构（如深度-2）相关？
• RQ3 所构造的 Δ 如何与 Fourier/卷积结构及与 A' ∩ A2 的对偶性相互作用？
• RQ4 在该框架下是否存在左右不变测度和 Haar 积，它们在不可约/深度-2 约简下的行为如何？

主要发现

• B' ∩ A1 载有源自包含 B ⊂ A 的标准弱量子超群结构。
• 当包含不可约时，弱量子超群升级为量子超群。
• 该弱量子超群具备左右不变测度并具 Haar 积。
• 在深度-2 的情形下，该构造得到 Nikshych 与 Vainerman 的相关弱 Hopf 代数，与已知对称性框架相连。
• 该 coalgebra 结构通过一个非退化配对对 A' ∩ A2 上的 coalgebra 结构具有对偶性，与 Nikshych–Vainerman 理论一致。