[论文解读] Applications of Foelner's condition to quantum groups

David Kyed, Andreas Thom|arXiv (Cornell University)|Dec 1, 2009

Advanced Operator Algebra Research参考文献 19被引用 3

一句话总结

本文将 Følner 条件应用于共可约量子群，在冯诺依曼代数框架下建立了 Murray-von Neumann 维数的收敛性结果，同时推导出相关霍普夫代数的结构性质，特别是其奥雷环结构。主要贡献在于通过不可约核心表示的融合代数中的 Følner 序列，对某个算子的核维数进行有限维表示逼近。

ABSTRACT

Using the Foelner condition for coamenable quantum groups we derive information about the ring theoretical structure of the Hopf algebras arising from such quantum groups, as well as an approximation result concerning the Murray von Neumann dimension associated with the corresponding the von Neumann algebra.

研究动机与目标

• 使用 Følner 条件研究共可约量子群所生成的霍普夫代数的环论结构。
• 在紧致量子群相关的冯诺依曼代数中，建立 Murray-von Neumann 维数的逼近结果。
• 将不可约核心表示的融合代数中的 Følner 条件与 $L^2({\mathbb{G}})$ 上某些算子的核维数联系起来。
• 证明 $L^2({\mathbb{G}})$ 上表示算子的核维数可通过 Følner 序列，由有限维近似版本逼近。
• 在适当条件下，证明 $L^∞({\mathbb{G}})$ 上 $R_T^{(2)}$ 的核维数随 $i$ 增大而收敛至 $L^∞({\mathbb{G}}_i)$ 上的核维数。

提出的方法

• 本文在共可约紧致量子群 $\mathbb{G}$ 的不可约核心表示的融合代数中使用 Følner 条件，其定义基于一个有限集 $F$，其边界相对于其大小较小。
• 通过从量子群的直极限 $\mathbb{G}_i$ 导出的同态 $\pi_i$ 拉回，构造 $L^2({\mathbb{G}})$ 上算子 $R_T^{(2)}$ 的有限维逼近。
• 关键技术工具是一个涉及保持算子 $R_T^{(2)}$ 及其核结构的酉映射 $\pi_i^{(2)}$ 的交换图。
• 证明依赖于利用边界大小 $|\partial_S F|$ 和边界及 $F_i$ 支撑上的哈尔权 $\hat{h}_{{\mathbb{G}}_i}$ 来估计 Murray-von Neumann 维数的差异。
• 应用不等式 $|\dim_{L^\infty(\mathbb{G})}\ker(R_T^{(2)}) - \dim_{L^\infty(\mathbb{G}_i)}\ker(R_{T_i}^{(2)})| \leq 2n \frac{|\partial_S F|}{|F|}$ 来证明收敛性。
• 通过选择满足 $|\partial_S F|/|F| < \varepsilon/(2n)$ 的 $F$，确保当 $i$ 足够大时，维数差异小于 $\varepsilon$，从而建立收敛性。

实验结果

研究问题

• RQ1 不可约核心表示的融合代数中的 Følner 条件如何与 $L^2({\mathbb{G}})$ 上算子的核维数相关联？
• RQ2 能否通过量子群的有限维表示逼近 $L^\infty({\mathbb{G}})$ 上 $R_T^{(2)}$ 的 Murray-von Neumann 核维数？
• RQ3 共可约性与 Følner 条件如何导致霍普夫代数 $\operatorname{Pol}({\mathbb{G}})$ 的结构性质？
• RQ4 在何种条件下，$L^\infty({\mathbb{G}})$ 上 $R_T^{(2)}$ 的核维数随 $i$ 增大而收敛至 $L^\infty({\mathbb{G}}_i)$ 上的核维数？
• RQ5 映射 $\pi_i$ 在 $F$ 和 $S$ 的支撑及融合积上的单射性如何确保边界与核结构的保持？

主要发现

• 在 $\mathbb{G}_i$ 是量子群直极限且 $\pi_i$ 在相关集合上局部单射的条件下，当 $i$ 足够大时，$L^\infty({\mathbb{G}})$ 上 $R_T^{(2)}$ 的核 Murray-von Neumann 维数可被 $L^\infty({\mathbb{G}}_i)$ 上的对应维数任意精确地逼近。
• 核维数差异满足不等式 $|\dim_{L^\infty(\mathbb{G})}\ker(R_T^{(2)}) - \dim_{L^\infty(\mathbb{G}_i)}\ker(R_{T_i}^{(2)})| \leq 2n \frac{|\partial_S F|}{|F|}$，该不等式可通过 Følner 条件使差异任意小。
• 对任意 $\varepsilon > 0$，存在有限集 $F \subseteq \operatorname{Irred}(\mathbb{G})$，使得 $|\partial_S F|/|F| < \varepsilon/(2n)$，从而确保维数逼近的收敛性。
• 在有限维逼近 $F_i$ 上，核维数满足 $\dim_F(\ker(R_T^F)) = \dim_{F_i}(\ker(R_{T_i}^{F_i}))$，在 $\pi_i$ 下保持结构不变。
• $\hat{h}_{{\mathbb{G}}_i}$ 在边界 $\partial_{S_i}F_i$ 上的哈尔权与 $\hat{h}_{{\mathbb{G}}}$ 在 $\partial_S F$ 上的哈尔权一致，确保维数估计的一致性。
• 通过涉及酉映射 $\pi_i^{(2)}$ 的交换图，建立了核维数的收敛性，该图在逼近的量子群之间保持算子结构与核维数。