[论文解读] A few remarks on exact C(X)-algebras

Étienne Blanchard|arXiv (Cornell University)|Dec 15, 2000

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

一句话总结

本文将C(X)-代数的精确性准则从连续情形推广至下半连续情形，通过C(X)-模上的有界共轭可定义算子的C(X)-子代数，对可分下半连续C*-丛提供了新的刻画。本文建立了C(X)-代数及单位双简化H opf C*-代数的精确性条件，并通过乘法单位元证明了紧致量子群的两种精确性概念的等价性。

ABSTRACT

We extend in this paper several results of E. Kirchberg, S. Wassermann and the author dealing with continuous fields of C*--algebras to the semi-continuous case. We provide a new characterisation of separable lower semi-continuity C*--bundles and we present exactness criteria for C(X)-algebras and unital bisimplifiable Hopf \cst-algebras.

研究动机与目标

• 将连续C*-丛场的精确性准则推广至半连续情形，特别是下半连续情形。
• 通过C(X)-模上之有界共轭可定义算子的C(X)-子代数，对可分下半连续C*-丛提供新的刻画。
• 建立C(X)-代数及单位双简化H opf C*-代数的精确性准则。
• 利用乘法单位元的语言，证明紧致量子群的两种精确性概念的等价性。

提出的方法

• 运用C(X)-代数及C(X)-线性态射理论，分析C*-丛的连续性性质。
• 将下半连续性概念应用于C(X)-表示，并通过带有共轭可定义算子的希尔伯特C(X)-模构造刻画。
• 利用C(X)-代数与单位双简化H opf C*-代数的完整与约化半直积，推导精确性条件。
• 利用乘法单位元定义协作用，并证明半直积序列的精确性。
• 构造一个代数张量积的例子，其无法赋予连续结构。
• 应用乘子代数与逼近单位元理论，验证半直积序列的精确性。

实验结果

研究问题

• RQ1 能否将通过C(X)-线性同构嵌入O2 ⊗ C(X)来刻画连续C*-丛的方法，推广至下半连续情形？
• RQ2 在半连续丛的背景下，何种条件可确保C(X)-代数是精确的？
• RQ3 通过半直积与通过乘法单位元定义的紧致量子群的两种精确性概念之间有何关系？
• RQ4 当底层量子群为单位双简化时，C(X)-线性协作用下，约化半直积的精确性是否得以保持？
• RQ5 能否将半直积精确性结果推广至非阿美因情形的正规乘法单位元？

主要发现

• 可分下半连续C*-丛微分同胚于希尔伯特C(X)-模上之有界共轭可定义算子C*-代数的C(X)-子代数。
• 存在C(X)-线性同构嵌入O2 ⊗ C(X)的条件，可刻画可分下半连续C*-丛。
• C(X)-代数的精确性等价于其在单位双简化H opf C*-代数上的C(X)-线性协作用下所关联的半直积序列的精确性。
• 对于具有精确约化C*-代数L(S)的单位双简化H opf C*-代数S，约化半直积A ⋊r S构成一个连续场，其纤维为Ax ⋊r S。
• 通过乘法单位元及半直积结构，证明了紧致量子群的两种精确性概念是等价的。
• 构造了一个例子，其中连续C*-丛与C*-代数的代数张量积无法赋予任何连续C(X)-代数结构。