[论文解读] Woronowicz's Tannaka-Krein duality and free orthogonal quantum groups

Sara Malacarne|arXiv (Cornell University)|Feb 15, 2016

Advanced Operator Algebra Research参考文献 4被引用 8

一句话总结

本文通过从有限维希尔伯特空间 $ H $ 的张量幂之间的算子集合重构霍普夫 $^*$-代数 $ \mathbb{C}[G] $，提供了沃罗诺维奇的紧致量子群的坦纳卡-克雷因对偶性的无范畴证明，确保所构造的量子群 $ G $ 的互变算子与给定算子一致。关键贡献是通过对偶性和理想商直接代数构造量子群，推广至自由正交与酉量子群。

ABSTRACT

Given a finite dimensional Hilbert space H and a collection of operators between its tensor powers satisfying certain properties, we give a category-free proof of the existence of a compact quantum group G with a fundamental representation U on H such that the intertwiners between the tensor powers of U coincide with the given collection of operators. We then explain how the general version of Woronowicz's Tannaka-Krein duality can be deduced from this.

研究动机与目标

• 提供沃罗诺维奇的紧致量子群坦纳卡-克雷因对偶性的无范畴、代数化证明。
• 从有限维希尔伯特空间 $ H $ 的张量幂之间算子集合显式重构霍普夫 $^*$-代数 $ \mathbb{C}[G] $。
• 证明所构造量子群 $ G $ 的表示范畴与给定的互变算子范畴一致。
• 将结果推广至任意具有共轭的刚性 $ C^* $-张量范畴，包括由有限或无限多个对象生成的范畴。
• 在自由正交与酉量子群等例子上展示该构造，表明其互变算子范畴与给定算子集合一致。

提出的方法

• 定义张量代数 $ \mathcal{A} = \bigoplus_{k=0}^\infty B(H^{\bigotimes k})^* $ 为 $ B(H) $ 上线性泛函的通用代数。
• 通过 $ B(H) $ 中乘法的对偶性在 $ \mathcal{A} $ 上构造双代数结构，其共乘法为 $ \Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj} $。
• 定义双理想 $ \mathcal{I} = \bigcup_n \mathcal{I}_n $，其中 $ \mathcal{I}_n $ 由在 $ \mathcal{C} $ 到第 $ n $ 层的算子系统的交换子上消失的泛函组成，确保与张量结构相容。
• 证明 $ \mathcal{I} $ 在共乘法与对合下保持不变，使得 $ \mathcal{A}/\mathcal{I} $ 成为霍普夫 $^*$-代数。
• 证明商代数 $ \mathbb{C}[G] = \mathcal{A}/\mathcal{I} $ 携带一个在 $ H $ 上的基底酉表示 $ U $，其互变算子恰好为 $ \mathcal{C} $ 中的算子。
• 通过在有限子范畴上取归纳极限，将结果推广至一般 $ C^* $-张量范畴，利用量子群构造的唯一性。

实验结果

研究问题

• RQ1 沃罗诺维奇的坦纳卡-克雷因对偶性能否在不依赖范畴语言的前提下，仅通过有限维对偶性和代数构造来证明？
• RQ2 如何从给定的希尔伯特空间张量幂之间互变算子集合显式重构紧致量子群的霍普夫 $^*$-代数？
• RQ3 一组张量幂之间的算子需满足何种条件，才能作为某个紧致量子群的互变算子？
• RQ4 该构造如何从单生成范畴推广至具有有限或无限多个生成元的范畴？
• RQ5 能否通过此方法恢复自由正交与酉量子群？其互变算子范畴是否与给定算子集合一致？

主要发现

• 本文证明了：若给定集合 $ \mathcal{C} $ 满足五个公理，则存在唯一的紧致量子群 $ G $，其在 $ H $ 上具有自共轭基底表示，使得对所有 $ k,l \geq 0 $，有 $ \operatorname{Hom}_G(H^{\otimes k}, H^{\otimes l}) = \mathcal{C}(k,l) $。
• 霍普夫 $^*$-代数 $ \mathbb{C}[G] $ 显式构造为 $ \mathcal{A}/\mathcal{I} $，其中 $ \mathcal{I} $ 是在算子系统 $ \mathcal{C} $ 的交换子上消失的泛函双理想。
• 该构造为无范畴构造，仅依赖有限维对偶性和线性代数，避免使用完整的范畴论工具。
• 当 $ \mathcal{C} $ 由满足共轭方程的单个算子 $ R $ 生成时，自由正交量子群 $ O_F^+ $ 成为特例。
• 通过取 $ H = K \oplus \overline{K} $ 并包含投影 $ p $ 和共轭方程的解 $ R $，可恢复自由酉量子群 $ U_Q^+ $。
• 对于一般 $ C^* $-张量范畴，量子群 $ G $ 作为有限子范畴相关量子群的归纳极限获得，且保持表示范畴结构。