[论文解读] States of Toeplitz-Cuntz algebras

Neal J. Fowler|ArXiv.org|Feb 26, 1997

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

一句话总结

本文通过满足 sl(Ω) ≤ Ω 的 Fock 空间上的正算子矩阵 Ω，刻画了 Toeplitz-Cuntz 代数 TO_n 的状态空间，其中 sl(Ω) 是对 Ω 的最后一个变量取迹的运算。关键结果表明，TO_n 上的规范不变固定点代数上的纯本质乘积态可唯一地延拓为 TO_n 上的一个圆周的纯态，从而通过切片不变性对这类态进行了完全分类。

ABSTRACT

We characterize the state space of a Toeplitz-Cuntz algebra TO_n in terms of positive operator matrices $Ω$ on Fock space which satisfy sl(Ω) \le Ω, where sl(Ω) is the operator matrix obtained from Ωby taking the trace in the last variable. Essential states correspond to those matrices Ωwhich are slice-invariant. As an application we show that a pure essential product state of the fixed-point algebra for the action of the gauge group has precisely a circle of pure extensions to TO_n.

研究动机与目标

• 通过算子理论方法刻画 Toeplitz-Cuntz 代数 TO_n 的状态空间。
• 将本质态识别为对应于切片不变算子矩阵 Ω 的态。
• 分析 TO_n 的规范不变固定点代数上的纯态结构。
• 确定给定纯本质乘积态向完整代数 TO_n 延拓的纯态数量及其性质。
• 利用 Fock 空间和迹运算，提供 TO_n 中态的完整算子矩阵描述。

提出的方法

• 通过作用于 Fock 空间的正算子矩阵 Ω 来表示 TO_n 上的状态。
• 通过在 Ω 的最后一个变量上取迹来定义算子矩阵 sl(Ω)。
• 将 sl(Ω) ≤ Ω 作为 Ω 表示一个态的充要条件。
• 将本质态表征为在切片运算下不变的那些 Ω，即满足 sl(Ω) = Ω。
• 利用 TO_n 上的规范作用分析固定点代数及其乘积态。
• 应用算子代数技术，证明 TO_n 的规范不变固定点代数上的纯本质乘积态可延拓为 TO_n 上的一个圆周的纯态。

实验结果

研究问题

• RQ1 TO_n 的状态空间在 Fock 空间上的算子矩阵方面如何表征？
• RQ2 哪些 TO_n 上的态是本质态，它们如何通过切片运算下的不变性来表征？
• RQ3 给定 TO_n 的规范不变固定点代数上的一个纯本质乘积态，其向完整代数 TO_n 延拓的纯态有多少个？
• RQ4 此类态向完整代数 TO_n 延拓的纯态集合具有怎样的几何结构？
• RQ5 对最后一个变量的迹运算 sl(Ω) 如何与 TO_n 上态的正性和一致性相关联？

主要发现

• TO_n 的态完全由满足 sl(Ω) ≤ Ω 的 Fock 空间上的正算子矩阵 Ω 表征。
• 本质态恰好对应于那些满足切片不变性（即 sl(Ω) = Ω）的 Ω。
• TO_n 的规范不变固定点代数上的一个纯本质乘积态可唯一地延拓为完整代数 TO_n 上的一个圆周（S¹）的纯态。
• 纯态延拓的集合形成一个以圆周为参数的连续族，表明态延拓的非唯一性。
• 通过迹约束矩阵的表征提供了一个完整且可计算的框架，用于分析 TO_n 中的态。
• 结果建立了算子矩阵不变性与 Toeplitz-Cuntz 代数中纯态结构之间的深刻联系。