[论文解读] Commutator Representations of Covariant Differential Calculi on Quantum Groups

Konrad Schmuedgen|arXiv (Cornell University)|May 30, 2001

Advanced Topics in Algebra被引用 4

一句话总结

本文通过希尔伯特空间上的无界算子，引入了量子群上协变微分演算的换位子表示。研究证明，对于 $SL_q(n+1)$、$O_q(n)$ 和 $Sp_q(2n)$ 等紧致量子群，当 $q$ 为实超越数时，左协变及某些双协变微分演算可通过交叉积代数 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$ 实现忠实的换位子表示，从而将非交换几何与量子群微分结构联系起来。

ABSTRACT

Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (π,F) of a *-representation πof A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if there exists a linear mapping t:G -> L(D) such that t(adb)=π(a)i[F,π(b)], a,b in A. Among others, it is shown that each left-covariant *-calculus G of a compact quantum group Hopf *-algebra A has a faithful commutator representation. For a class of bicovariant *-calculi on A there is a commutator representation such that F is the image of a central element of the quantum tangent space. If A is the Hopf *-algebra of the compact form of one of the quantum groups SL_q(n+1), O_q(n), Sp_q(2n) with real transcendental q, then this commutator representation is faithful. Keywords: Quantum Groups; Noncommuative Geometry; Differential Calculus

研究动机与目标

• 弥合量子群上协变微分演算与阿兰·孔涅非交换几何框架之间的鸿沟。
• 为 *-代数上的一阶微分 *-演算系统性地构建换位子表示方法。
• 为这类表示建立忠实性条件，特别是针对紧致量子群上的双协变演算。
• 证明交叉积代数 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$ 的海森堡表示可产生忠实的换位子表示。
• 为 $SL_q(n+1)$、$O_q(n)$ 和 $Sp_q(2n)$ 等特定量子群提供显式构造，其中 $q$ 为实超越数。

提出的方法

• 通过 *-代数 ${\mathcal{A}}$ 的 *-表示 $\pi$ 和希尔伯特空间稠密定义域 $\mathcal{D}$ 上的对称算子 $F$ 定义换位子表示，满足 $\tau(adb) = \pi(a)i[F,\pi(b)]$，其中 $\tau: \Gamma \to L(\mathcal{D})$ 为线性映射。
• 利用交叉积代数 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$ 构造代数换位子表示，借助霍普夫对偶 ${\mathcal{A}}^\circ$。
• 采用 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$ 的海森堡表示，将代数表示提升为希尔伯特空间表示。
• 利用量子切空间和 ${\mathcal{A}}^\circ$ 中的中心元构造表示，使得 $F$ 为某中心元的像。
• 通过证明 $\tau$ 在特定量子群上为单射，验证忠实性，其中 $q$ 为实超越数。
• 利用极分解和加权移位结构，在福克型希尔伯特空间上构造显式例子。

实验结果

研究问题

• RQ1 量子群上的协变微分演算能否通过希尔伯特空间表示中的无界换位子来实现？
• RQ2 在紧致量子群 *-代数上，左协变 *-演算在何种条件下可拥有忠实的换位子表示？
• RQ3 能否仅通过量子切空间中的一个中心元，对 $SL_q(n+1)$、$O_q(n)$ 和 $Sp_q(2n)$ 上的双协变演算实现忠实表示？
• RQ4 交叉积代数 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$ 如何促进换位子表示的构造？
• RQ5 超越参数 $q$ 在确保换位子表示忠实性方面起什么作用？

主要发现

• 每个紧致量子群霍普夫 *-代数 ${\mathcal{A}}$ 上的左协变 *-演算均存在忠实的代数换位子表示。
• 对于余三角形霍普夫 *-代数上的一类双协变 *-演算，存在一种代数换位子表示，其中 $F$ 为 ${\mathcal{A}}^\circ$ 中某中心元的像。
• 当 ${\mathcal{A}} = {\mathcal{O}}(G_q)$ 且 $G_q = SL_q(n+1), O_q(n), Sp_q(2n)$，$q$ 为实超越数时，换位子表示是忠实的。
• ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$ 的海森堡表示为左协变 *-演算提供了忠实的希尔伯特空间换位子表示。
• 通过极分解和加权移位算子，在福克型希尔伯特空间上提供了换位子表示的显式构造。
• 当 $\tau$ 为单射时，表示是忠实的，而这一点在指定的量子群与超越 $q$ 下成立。