[论文解读] A new look at the Crossed-Product of a C*-Algebra by a Semigroup of Endomorphisms

Ruy Exel|arXiv (Cornell University)|Nov 2, 2005

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

一句话总结

本文提出了一种新的C*-代数关于半群自同态作用的交叉积框架，采用“相互作用群”——自同态与转移算子的推广——实现了一致的构造，正确地将Cuntz-Krieger代数实现为马尔可夫子移位的产物。关键贡献在于提出了一套理论，通过在代数作用上引入群分次结构来纳入对偶算子，从而避免了标准交叉积构造中等距实现失败的问题。

ABSTRACT

Let G be a group and let P be a subsemigroup of G. In order to describe the crossed product of a C*-algebra A by an action of P by unital endomorphisms we find that we must extend the action to the whole group G. This extension fits into a broader notion of "interaction groups" which consists of an assignment of a positive operator V_g on A for each g in G, obeying a partial group law, and such that (V_g,V_{g^{-1}}) is an interaction for every g, as defined in a previous paper by the author. We then develop a theory of crossed products by interaction groups and compare it to other endomorphism crossed product constructions.

研究动机与目标

• 解决在单态自同态背景下，C*-交叉积构造中标准等距协变条件的失败问题，特别是在马尔可夫子移位的语境下。
• 开发一个统一的框架，通过“相互作用群”将自同态和转移算子扩展为群分次结构。
• 提供一种构造方法，正确地将Cuntz-Krieger代数表示为C(K)关于马尔可夫移位诱导的自同态的交叉积。
• 证明标准等距实现条件 α(a) = SaS* 在Cuntz-Krieger代数中无法成立，从而说明需要新的协变条件。

提出的方法

• 引入两个算子 V_g 与 V_{g^{-1}} 之间的“相互作用”概念，作为自同态与转移算子的推广。
• 将相互作用群定义为一族 {V_g}（g 属于群 G），使得每对 (V_g, V_{g^{-1}}) 构成一个相互作用。
• 通过涉及 V_g(a) 与 V_{g^{-1}} 的对偶作用的通用关系，构造交叉积 A ×_V G。
• 利用Fock代数 A(H) 的通用性质，通过希尔伯特空间 H 上的等距算子 s_g 定义自同态 α_g 与转移算子 L_g。
• 证明所得系统 (A(H), N×N, α, ℓ) 满足Larsen动力系统公理，但不满足相互作用群扩展所需的交换性条件。
• 应用Fock代数的通用性质，推导出转移算子 L = α^{-1} ∘ E，其中 E 是一个条件期望。

实验结果

研究问题

• RQ1 在马尔可夫子移位诱导的自同态作用下，Cuntz-Krieger代数中是否可以满足标准等距协变条件 α(a) = SaS*？
• RQ2 是否存在一种一致的推广，使得交叉积构造能正确地将 O_A 表示为 C(K) 关于自同态的交叉积？
• RQ3 如何在群分次框架下系统性地统一半群自同态的转移算子与自同态本身？
• RQ4 需要何种结构才能通过相互作用将自同态的半群作用扩展为完整的群作用？
• RQ5 标准构造为何对单态自同态会失败，而何种替代协变条件可解决此问题？

主要发现

• 通过利用对角子代数的极大性，使用反证法证明：在 O_2 中，马尔可夫子移位在空间 K 上诱导的自同态无法满足标准等距协变条件 α(a) = SaS*。
• 由马尔可夫子移位在 C(K) 上诱导的自同态 α 不是满射，这与 SaS* 通过酉算子 S 实现该自同态的要求相矛盾。
• 提出一种新的协变条件：Sa = α(a)S 且 S*S a S = L(a)，其中 L 为转移算子，该条件避免了等距条件的失败。
• 系统 (A(H), N×N, α, ℓ) 满足 Larsen 的动力系统公理，但不满足交换性条件 α_g L_g ∘ α_h L_h = α_h L_h ∘ α_g L_g，因此无法扩展为相互作用群。
• 通过 L = α^{-1} ∘ E（E 为条件期望）构造转移算子 L，提供了与单自同态情况相推广的一致对偶作用。
• 相互作用群框架将自同态与转移算子统一为单一的群分次结构，使得半群作用的交叉积构造得以一致实现。