[论文解读] Invariant integration theory on non-compact quantum spaces: Quantum (n,1)-matrix ball

Klaus-Detlef Kuersten, Elmar Wagner|ArXiv.org|May 27, 2003

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

一句话总结

本文利用算子代数方法，为非紧致量子空间建立了一种不变积分理论，聚焦于量子(n,1)-矩阵球。通过量子群作用的算子展开，引入广义量子迹作为不变积分，利用谱性质与希尔伯特空间表示证明其不变性，积分表达为q-变形格点的求和。

ABSTRACT

An operator theoretic approach to invariant integration theory on non-compact quantum spaces is introduced on the example of the quantum (n,1)-matrix ball O_q(Mat_{n,1}). In order to prove the existence of an invariant integral, operator algebras are associated to O_q(Mat_{n,1}) which allow an interpretation as ``rapidly decreasing'' functions and as functions with compact support on the quantum (n,1)-matrix ball. It is shown that the invariant integral is given by a generalization of the quantum trace. If an operator representation of a first order differential calculus over the quantum space is known, then it can be extended to the operator algebras of integrable functions. Hilbert space representations of O_q(Mat_{n,1}) are investigated and classified. Some topological aspects concerning Hilbert space representations are discussed.

研究动机与目标

• 为非紧致量子空间建立严格的不变积分理论，其中由于非紧致性，标准的哈尔泛函失效。
• 在希尔伯特空间设定下，定义量子(n,1)-矩阵球上可积函数类，即快速递减的算子。
• 通过群型元作用的算子展开，将量子迹推广为不变积分。
• 对量子空间的希尔伯特空间表示进行分类，并利用其定义与验证积分的不变性。
• 证明不同表示产生不同的可积函数代数，从而实现代数同构但几何上不同的量子空间的区分。

提出的方法

• 在稠密定义域D上构造量子空间O_q(Mat_{n,1})的*-表示π，映射到有界算子，从而生成希尔伯特空间H = D̄。
• 引入量子群作用的算子展开，通过表示空间上的左乘与右乘算子L_i, R_i表达生成元的作用。
• 定义广义量子迹为h(f) = c · Tr(Γ Q_1^{n+1} π(f))，其中f ∈ O_q(Mat_{n,1})，Γ与Q_i为实现作用的特定算子。
• 通过验证对所有X ∈ U_q(sl_n)与f在代数中，有h(X ⋗ f) = ε(X)h(f)，证明广义迹在量子群作用下不变。
• 利用谱理论与算子的迹类性质，确保在可积函数代数上迹的收敛性与良定义性。
• 证明可积函数代数在量子空间元素乘法与量子群作用下保持稳定。

实验结果

研究问题

• RQ1 在不存在归一化哈尔泛函的非紧致量子空间中，如何定义不变积分？
• RQ2 何种算子理论框架允许将量子迹推广至非紧致情形？
• RQ3 量子空间的希尔伯特空间表示如何与可积函数的构造及积分不变性相关联？
• RQ4 能否证明广义量子迹在量子群U_q(sl_n)作用于量子(n,1)-矩阵球时保持不变？
• RQ5 不同表示如何导致不同的可积函数代数？这如何反映底层量子空间的几何差异？

主要发现

• 在量子(n,1)-矩阵球上的不变积分h由广义量子迹给出：h(f) = c · Tr(Γ Q_1^{n+1} π(f))，其中f ∈ O_q(Mat_{n,1})。
• 通过验证对所有X ∈ 量子群与f ∈ 代数，有h(X ⋗ f) = ε(X)h(f)，证明积分在U_q(sl_n)作用下不变。
• 积分显式计算为h(f) = c ∑_{j₁,…,jₙ ∈ ℕ₀} p_{00}(q^{j₁},…,q^{jₙ}) q^{j₁}⋯q^{jₙ}，其中多项式满足p_{IJ} = 0当且仅当I=J=0。
• 广义量子迹是良定义且有限的，因为涉及的算子为迹类，且作用保持可积函数代数的结构。
• 希尔伯特空间表示对可积函数的结构进行分类，并允许利用谱理论定义自伴算子的函数。
• 不同表示产生不同的可积函数代数，从而实现代数同构但几何上不同的量子空间的区分。