[论文解读] A cocycle in the adjoint representation of the orthogonal free quantum groups

Pierre Fima, Roland Vergnioux|arXiv (Cornell University)|Feb 19, 2014

Advanced Operator Algebra Research参考文献 42被引用 9

一句话总结

本文证明了正交自由量子群 $Δ\mathbb{F}O_n$ 不是内可约的，并构造了一个显式且适当的共轭式，该共轭式弱包含于正则表示中，从而证明其满足强 (HH) 性质。这强化了 Haagerup 的逼近性质，并为它们的 von Neumann 代数 $Σ\mathcal{L}(\mathbb{F}O_n)$，$n\geq3$，提供了强固性的新证明。该构造依赖于伴随表示中的一个共轭式，并利用了算子代数中的形变技术。

ABSTRACT

We show that the orthogonal free quantum groups are not inner amenable and we construct an explicit proper cocycle weakly contained in the regular representation. This strengthens the result of Vaes and the second author, showing that the associated von Neumann algebras are full II_1-factors and Brannan's result showing that the orthogonal free quantum groups have Haagerup's approximation property. We also deduce Ozawa-Popa's property strong (HH) and give a new proof of Isono's result about strong solidity.

研究动机与目标

• 证明离散正交自由量子群 $\\mathbb{F}O_n$ 不是内可约的，从而与经典自由群形成关键区别。
• 构造一个显式且适当的共轭式，该共轭式弱包含于正则表示中，从而强化 Haagerup 的逼近性质。
• 证明 $\mathcal{L}(\mathbb{F}O_n)$ 满足强 (HH) 性质，即 Haagerup 性质的加强形式。
• 利用新构造的共轭式与形变技术，为 $\mathcal{L}(\mathbb{F}O_n)$ 提供强固性的新证明。
• 将适当共轭式存在的事实与在强子正则表示中不存在此类共轭式的现象联系起来，如 [Ver12] 所示。

提出的方法

• 通过量子群 $L^2$-空间中的特定算子 $X$，在 $\mathbb{F}O_n$ 的伴随表示中构造共轭式 $c_X$。
• 利用与 Haar 泛函 $h$ 相关的 GNS 构造，定义希尔伯特空间 $H$ 和乘法酉算子 $V$。
• 应用公式 $c_X(g) = \sum_{k,l} X_{kl} \Lambda_h(v_{ik}v_{jl})$，其中 $v_{ij}$ 为生成元，且通过选择 $X$ 确保适当性。
• 通过证明 $\|c_X(g)\|_2 \to \infty$ 当 $\|g\|_2 \to \infty$ 时，利用 $X$ 的谱性质，确立共轭式 $c_X$ 的适当性。
• 应用 [OP10a, OP10b] 中的形变技术，证明 $L^2(\tilde{M}) \ominus L^2(M)$ 弱包含于粗双模中，从而满足强固性的条件。
• 利用 $\Delta_X = \delta_X^*\delta_X$ 是 $\mathbb{C}[\mathbb{F}O_n]$ 上的中心乘子这一事实，使经典技术可推广至量子情形。

实验结果

研究问题

• RQ1 正交自由量子群 $\mathbb{F}O_n$ 是否是内可约的？这与经典自由群有何区别？
• RQ2 能否为 $\mathbb{F}O_n$ 显式构造一个弱包含于正则表示中的适当共轭式？
• RQ3 此类共轭式的存在是否意味着强 (HH) 性质？这对 $\mathcal{L}(\mathbb{F}O_n)$ 的结构有何含义？
• RQ4 能否利用此新共轭式与形变方法，重新证明 $\mathcal{L}(\mathbb{F}O_n)$ 的强固性？
• RQ5 此类共轭式无法存在于强子正则表示中的事实，与 $H^1_{(2)}(\mathbb{F}O_n)$ 的消失有何关联？

主要发现

• 正交自由量子群 $\mathbb{F}O_n$ 不是内可约的，这与经典自由群形成了关键区别。
• 构造了一个显式且适当的共轭式 $c_X$，其弱包含于正则表示中，从而以具体实现方式确认了 Haagerup 的逼近性质。
• von Neumann 代数 $\mathcal{L}(\mathbb{F}O_n)$ 满足强 (HH) 性质，即 Haagerup 性质的加强形式，这由该共轭式的存在所保证。
• 该构造使得可利用 [OP10a, OP10b] 中的形变技术，为 $\mathcal{L}(\mathbb{F}O_n)$，$n\geq3$，提供强固性的新证明。
• 结果确认了：在强子正则表示中不可能存在适当的共轭式，这与 $H^1_{(2)}(\mathbb{F}O_n)$ 的消失一致。
• $\mathbb{C}[\mathbb{F}O_n]$ 上的中心乘子 $\Delta_X = \delta_X^*\delta_X$ 使得经典强固性论证可被适配至量子情形。