[论文解读] Crossed product of a C*-algebra by an endomorphism, coefficient algebras and transfer operators

А. Б. Антоневич, V. I. Bakhtin+1 more|ArXiv.org|Feb 19, 2005

Advanced Operator Algebra Research参考文献 7被引用 7

一句话总结

本文提出了一种使用部分等距的C*-代数关于自同态的交叉积的新统一构造，该构造涵盖了并推广了现有的构造，如Exel的、Cuntz-Krieger的以及Paschke的交叉积。其主要贡献是通过系数代数和转移算子定义了一个自然且内部一致的规范交叉积结构，解决了先前方法中的模糊性，并确保初始代数能忠实嵌入。

ABSTRACT

The paper presents a construction of the crossed product of a C*-algebra by an endomorphism generated by partial isometry

研究动机与目标

• 解决现有C*-代数自同态交叉积构造中的模糊性与不一致性问题。
• 提供一种统一、自然且内部一致的交叉积构造，推广已知实例。
• 阐明系数代数与转移算子在交叉积理论中的核心结构性作用。
• 确立初始C*-代数忠实嵌入交叉积的条件，解决Exel构造中的一个关键局限性。
• 提供一个理解通过部分等距与扩展过程构建的交叉积一般结构的概念框架。

提出的方法

• 构造从C*-代数A和一个自同态α开始，利用一个实现自同态的部分等距S，满足对所有a ∈ A有S*aS = α(a)。
• 交叉积被定义为由A和S生成的泛C*-代数，且满足关系S*aS = α(a)，形成A的一个C*-代数扩张。
• 系数代数被识别为对偶作用的固定点代数，其结构通过存在一个完备转移算子δ*满足δδ*(a) = δ(1)aδ(1)来表征。
• 证明了完备转移算子的存在性等价于δ(A)是遗传子代数，且存在一个具有特定性质的中心投影P。
• 该方法利用自同态、部分等距与转移算子之间的相互作用，定义了一个推广已知构造的规范交叉积。
• 通过证明新构造在单一一致结构下恢复并统一了现有实例（包括Exel的、Kwasniewski的以及Cuntz-Krieger的交叉积），验证了该框架的有效性。

实验结果

研究问题

• RQ1 如何实现一种统一且规范的C*-代数自同态交叉积构造，使其涵盖现有构造？
• RQ2 在何种条件下可确保初始C*-代数A忠实嵌入交叉积中，从而解决Exel构造中的已知问题？
• RQ3 在基于部分等距构建的交叉积中，系数代数与转移算子如何自然出现？
• RQ4 新构造在何种意义上推广了Exel的交叉积，且在何时与之重合？
• RQ5 转移算子在决定系数代数与整体交叉积结构方面起什么作用？

主要发现

• 所提出的交叉积构造是泛用且规范的，定义为由A和一个满足对所有a ∈ A有S*aS = α(a)的部分等距S生成的包络C*-代数。
• 该构造确保了初始C*-代数A能忠实嵌入交叉积中，解决了Exel构造中A可能无法嵌入的关键局限性。
• 交叉积的系数代数同构于对偶作用的固定点代数，其结构由存在一个完备转移算子δ*满足δδ*(a) = δ(1)aδ(1)来表征。
• 完备转移算子的存在性等价于δ(A)是遗传子代数，且存在一个中心投影P，使得δ在P A上限制为*-同构。
• 新构造推广并统一了已知实例：当转移算子由部分等距导出时，它恢复了Exel的交叉积；Cuntz-Krieger与Kwasniewski的交叉积则作为特例包含其中。
• 该框架揭示了：一旦系数代数构建完成，转移算子即被唯一确定，尽管在初始阶段它可能不唯一，这凸显了其作为导出对象而非初始对象的角色。