[论文解读] The Martin boundary of a discrete quantum group

Sergey Neshveyev, Lars Tuset|ArXiv.org|Sep 20, 2002

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

一句话总结

本文通过利用与 $ q $-迹态 $ \phi $ 的卷积定义了离散量子群的调和元素的 $ C^* $-代数 $ A_\phi $，发展了离散量子群的 Martin 边界理论。它建立了将正调和元素与 $ A_\phi $ 上的正线性泛函联系起来的表示定理，并证明了对偶量子群 $ \widehat{SU_q(2)} $ 的 Martin 边界同构于 Podleř 的量子齐次球面，统一了 Biane 和 Izumi 的结果。

ABSTRACT

We consider the Markov operator P_phi on a discrete quantum group given by convolution with a q-tracial state phi. In the study of harmonic elements x, P_phi(x)=x, we define the Martin boundary A_phi. It is a separable C*-algebra carrying canonical actions of the quantum group and its dual. We establish a representation theorem to the effect that positive harmonic elements correspond to positive linear functionals on A_phi. The C*-algebra A_phi has a natural time evolution, and the unit can always be represented by a KMS state. Any such state gives rise to a u.c.p. map from the von Neumann closure of A_phi in its GNS representation to the von Neumann algebra of bounded harmonic elements, which is an analogue of the Poisson integral. Under additional assumptions this map is an isomorphism which respects the actions of the quantum group and its dual. Next we apply these results to identify the Martin boundary of the dual of SU_q(2) with the quantum homogeneous sphere of Podles. This result extends and unifies previous results by Ph. Biane and M. Izumi.

研究动机与目标

• 将经典的 Martin 边界理论推广到离散量子群的非交换设定中。
• 通过定义一个 $ C^* $-代数的 Martin 边界 $ A_\phi $，使其自然地承载量子群及其对偶的作用。
• 建立一个表示定理，将正调和元素与 $ A_\phi $ 上的正线性泛函联系起来。
• 将 $ \widehat{SU_q(2)} $ 的 Martin 边界识别为 Podleř 的量子齐次球面，统一了先前的结果。
• 从 $ A_\phi $ 的 GNS 表示构造一个到有界调和元素的 von Neumann 代数的 Poisson 积分映射，并在适当条件下证明其为同构。

提出的方法

• 通过在离散量子群上与 $ q $-迹态 $ \phi $ 的卷积，定义马尔可夫算子 $ P_\phi = (\phi \otimes \iota)\Delta $。
• 将 Martin 边界 $ A_\phi $ 构造为 $ P_\phi $-调和元素的可分 $ C^* $-代数。
• 利用平衡定理，通过形式幂级数 $ \sum_{n=0}^\infty P_\phi^n(x) $ 近似调和元素，从而实现边界的构造。
• 在 $ A_\phi $ 上引入自然的时间演化，并证明单位可由 KMS 态表示。
• 从 $ A_\phi $ 的 GNS von Neumann 闭包构造一个到有界调和元素的 von Neumann 代数的 u.c.p. 映射，其作用类似于 Poisson 积分。
• 证明在附加假设下，该映射是同构，且保持量子群及其对偶的作用。

实验结果

研究问题

• RQ1 在离散量子群的背景下，Martin 边界如何被定义，以推广经典理论？
• RQ2 Martin 边界 $ A_\phi $ 的结构是什么，量子群及其对偶如何作用于其上？
• RQ3 正调和元素能否通过 $ A_\phi $ 上的正线性泛函表示，KMS 态在此中起什么作用？
• RQ4 从 $ A_\phi $ 到有界调和元素的 Poisson 积分映射是否为同构，其条件是什么？
• RQ5 对偶量子群 $ \widehat{SU_q(2)} $ 的 Martin 边界是什么，它与 Podleř 的量子齐次球面有何关系？

主要发现

• Martin 边界 $ A_\phi $ 是一个可分 $ C^* $-代数，自然承载离散量子群及其对偶的作用。
• 正调和元素与 $ A_\phi $ 上的正线性泛函之间存在双射关系，从而确立了表示定理。
• $ C^* $-代数 $ A_\phi $ 具有自然的时间演化，且单位可由 KMS 态表示。
• 在附加假设下，从 $ A_\phi $ 的 GNS von Neumann 闭包到有界调和元素的 von Neumann 代数的 u.c.p. 映射是同构。
• $ \widehat{SU_q(2)} $ 的 Martin 边界同构于 Podleř 的量子齐次球面 $ C(S^2_{q,0}) $。
• 同构 $ \sigma: C(S^2_{q,0}) \to \Psi / \hat{A} $ 与对偶量子群 $ (\hat{A}, \hat{\Delta}) $ 的右协作用相容，且 $ \Psi / \hat{A} $ 上的态 $ \nu $ 是拟不变的，其 Radon-Nikodym 余循环为 $ (K \otimes \iota)\hat{\Delta}(I_0) $。