[论文解读] Stability of C^*-algebra associated with the twisted CCR

Daniil Proskurin, Yu. S. Samoĭlenko|ArXiv.org|Dec 27, 2001

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

一句话总结

该论文证明了对于任意 μ ∈ (−1, 1)，与扭曲正则交换关系（TCCR）相关的普遍 C*-代数同构于由满足特定关系的偏等距生成的 C*-代数。此外，该研究进一步证明了该代数的 Fock 表示是忠实的，从而对 TCCR C*-代数在整个参数范围内实现了完整的结构与表示理论刻画。

ABSTRACT

The $C^*$-algebra associated with the twisted CCR constructed by W. Pusz and S.L. Woronowicz is considered. It is proved that the $C^*$-algebras corresponding to different values of parameter $0<=μ<1$ are isomorphic. It is proved that Fock representation is faithful on both *-algebra and $C^*$-algebra levels.

研究动机与目标

• 确定与 μ ∈ (−1,1) 的扭曲正则交换关系（TCCR）相关的普遍 C*-代数 Aμ 的结构。
• 建立 Aμ 与由特定关系生成的偏等距所生成的 C*-代数 A0 之间的同构关系。
• 证明 Aμ 的 Fock 表示是忠实的，从而确保该表示完整捕捉了代数的全部结构。

提出的方法

• 对 Aμ 的生成元进行极分解，并通过归纳程序定义一族偏等距 {t̂i}。
• 证明偏等距 {t̂i} 满足关系 t̂i*tj = δij(1 − ∑k<i t̂k t̂k*)，且当 i ≠ j 时 t̂j t̂i = 0。
• 利用 C*-代数的普遍性质，定义 A0 与 Aμ 之间的满同态，证明其互为逆映射，从而确立同构关系。
• 通过涉及 l2(ℕ) 上单边移位算子 S 的张量积分解，分析 A0 的不可约表示。
• 建立从 Fock 表示 C*-代数到 A0 的任意不可约表示 C*-代数的同态，通过限制与张量积结构证明其忠实性。
• 利用 C*(S,S*) ≅ T(C(𝕋)) 的核性，定义张量积 C*-代数之间的所需同态。

实验结果

研究问题

• RQ1 对于所有 μ ∈ (−1,1)，扭曲 CCR 的普遍 C*-代数 Aμ 是否同构于某个更简单的 C*-代数？
• RQ2 Aμ 的 Fock 表示在整个参数范围 μ ∈ (−1,1) 内是否保持忠实？
• RQ3 Aμ 的结构是否能通过满足与 μ 无关的典范关系的偏等距完全描述？
• RQ4 A0 的不可约表示与 Fock 表示在 C*-代数嵌入方面有何关系？

主要发现

• 对于所有 μ ∈ (−1,1)，C*-代数 Aμ 同构于 A0，即由满足 t̂i*tj = δij(1 − ∑k<i t̂k t̂k*) 且当 i ≠ j 时 t̂j t̂i = 0 的偏等距生成的普遍 C*-代数。
• Aμ 的 Fock 表示是忠实的，意味着它将 Aμ 有界线性算子的希尔伯特空间中单射地映射。
• Aμ 与 A0 之间的同构关系通过从极分解和偏等距的归纳定义构造出的显式同态建立。
• A0 的不可约表示通过移位算子与投影的张量积分类，其中 Fock 表示对应于 j = d 的情形。
• 通过从 Fock C*-代数到任意不可约表示 C*-代数的 C*-代数同态的构造，证明了 Fock 表示的忠实性，表明其核为平凡。
• A0 的结构允许使用单边移位算子 S 和投影对表示进行统一描述，从而支持了忠实性所需同态的构造。