[论文解读] Non-compact quantum groups arising from Heisenberg type Lie bialgebras

Byung-Jay Kahng|ArXiv.org|Apr 3, 1998

Algebraic structures and combinatorial models参考文献 29被引用 11

一句话总结

本文通过首先利用上 cocycle 修正线性括号，实现对偶泊松–李群结构，然后构建一个扭曲群 C*-代数，该代数作为严格变形量子化，从海森伯型李双代数构造出非紧致量子群。关键贡献在于在该 C*-代数上显式构造出一个局部紧致量子群结构——包括共乘法、单位元、反演算子、哈尔权以及一个准三角 R-矩阵——该结构与经典情况下的准三角性一致。

ABSTRACT

The dual Lie bialgebra of a certain ``quasitriangular'' Lie bialgebra structure on the Heisenberg Lie algebra determines a (non-compact) Poisson--Lie group G. The compatible Poisson bracket on G is non-linear, but it can still be realized as a ``cocycle perturbation'' of the linear Poisson bracket. We construct a certain twisted group C*-algebra A, which is shown to be a strict deformation quantization of G. Motivated by the data at the Poisson (classical) level, we then construct on A its locally compact quantum group structures: comultiplication, counit, antipode and Haar weight, as well as its associated multiplicative unitary operator. We also find a quasitriangular ``quantum universal R-matrix'' type operator for A, which agrees well with the quasitriangularity at the Lie bialgebra level.

研究动机与目标

• 从由海森伯代数上的准三角李双代数导出的非紧致泊松–李群构造一个局部紧致量子群。
• 将对偶群上的非线性泊松括号实现为线性括号的上 cocycle 修正。
• 利用扭曲群 C*-代数建立泊松–李群的严格形变量子化。
• 在所得 C*-代数上定义完整的量子群结构——包括共乘法、单位元、反演算子、哈尔权。
• 构造一个与李双代数层面的准三角性相匹配的准三角 R-矩阵算子。

提出的方法

• 利用海森伯李代数上准三角结构的对偶李双代数，定义对偶群 G 上的非线性泊松括号。
• 证明非线性泊松括号是线性泊松括号的上 cocycle 变形，从而实现量子化。
• 构造一个扭曲群 C*-代数 A，作为泊松–李群 G 的严格形变量子化。
• 利用泊松–李群数据在 A 上显式定义共乘法、单位元、反演算子和哈尔权。
• 从量子群结构构造一个乘法幺正算子，确保自对偶性。
• 在 A 上定义一个准三角 R-矩阵算子，满足量子杨–巴克斯方程，并与经典准三角性一致。

实验结果

研究问题

• RQ1 如何从具有准三角结构的海森伯型李双代数构造出非紧致量子群？
• RQ2 对偶泊松–李群上的非线性泊松括号能否被实现为线性括号的上 cocycle 修正？
• RQ3 所得的严格形变量子化是否具有完整的局部紧致量子群结构？
• RQ4 在量子群上是否存在一个与经典准三角性相容的准三角 R-矩阵算子？
• RQ5 在此非紧致情形下，乘法幺正算子如何与量子群结构相关联？

主要发现

• 对偶群 G 上的非线性泊松括号被实现为线性泊松括号的上 cocycle 修正，从而实现了形变量子化。
• 构造了一个扭曲群 C*-代数 A，并证明其为泊松–李群 G 的严格形变量子化。
• C*-代数 A 携带完整的局部紧致量子群结构，包括共乘法、单位元、反演算子和哈尔权。
• 在 A 上显式构造了一个乘法幺正算子，编码了量子群对称性。
• 在 A 上定义了一个准三角 R-矩阵算子，满足量子杨–巴克斯方程，并与李双代数层面的经典准三角性一致。
• A 上的量子群结构与经典泊松–李群及其准三角性一致，为一个准三角量子群的非紧致例子提供了构造。