[论文解读] Reflexivity of the automorphism and isometry groups of the suspension of $B(H)$

Lajos Molnár, Máté Győry|arXiv (Cornell University)|Nov 26, 1997

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

一句话总结

本文建立了在 $H$ 为可分无限维希尔伯特空间时，$B(H)$ 的悬垂代数的自同构群与等距同构群的代数反射性。通过算子代数与等距映射的结构分析，证明了 $C_0(\mathbb{R}) \otimes B(H)$ 上的每个局部自同构与每个局部满射等距同构必然是全局自同构或全局满射等距同构。

ABSTRACT

The aim of this paper is to show that the automorphism and isometry groups of the suspension of $B(H)$, $H$ being a separable infinite dimensional Hilbert space, are algebraically reflexive. This means that every local automorphism, respectively local surjective isometry of $C_0(\mathbb R)\otimes B(H)$ is an automorphism, respectively a surjective isometry.

研究动机与目标

• 研究作用于 $B(H)$ 悬垂代数上的自同构群与等距同构群的反射性，其中 $B(H)$ 为可分无限维希尔伯特空间上的有界算子代数。
• 确定 $C_0(\mathbb{R}) \otimes B(H)$ 上的每个局部自同构或局部满射等距同构是否必为全局自同构或全局等距同构。
• 将算子代数中反射性的理论推广至作为悬垂代数出现的非单位元、非交换 C*-代数。
• 阐明无限维算子空间中等距与自同构映射的结构刚性。

提出的方法

• 分析 $C_0(\mathbb{R}) \otimes B(H)$ 作为 C*-代数的结构，利用其作为 $B(H)$ 悬垂代数的表示。
• 应用泛函分析与算子理论技术，刻画局部自同构与局部满射等距同构。
• 利用 $B(H)$ 为冯诺依曼代数且 $C_0(\mathbb{R}) \otimes B(H)$ 为可分 C*-代数的事实，推导出刚性性质。
• 采用代数反射性的概念，要求任何在局部表现为准自同构或等距同构的映射必须为全局映射。
• 依赖于 $B(H)$ 的谱理论及趋于无穷时为零的连续函数的结构。
• 证明代数上映射的逐点行为迫使映射具有全局自同构或等距同构结构。

实验结果

研究问题

• RQ1 $C_0(\mathbb{R}) \otimes B(H)$ 上的每个局部自同构是否必可延拓为全局自同构？
• RQ2 $C_0(\mathbb{R}) \otimes B(H)$ 上的每个局部满射等距同构是否必为全局满射等距同构？
• RQ3 何种结构约束使得悬垂代数上的局部映射必为全局映射？
• RQ4 希尔伯特空间 $H$ 的无限维性如何影响自同构群与等距同构群的反射性？
• RQ5 能否将 $B(H)$ 的自同构群与等距同构群的反射性推广至其悬垂代数？

主要发现

• $C_0(\mathbb{R}) \otimes B(H)$ 的每个局部自同构均为自同构。
• $C_0(\mathbb{R}) \otimes B(H)$ 上的每个局部满射等距同构均为满射等距同构。
• $C_0(\mathbb{R}) \otimes B(H)$ 的自同构群是代数反射的。
• $C_0(\mathbb{R}) \otimes B(H)$ 的等距同构群是代数反射的。
• 该反射性结果的成立，特别依赖于 $H$ 的可分无限维性质以及悬垂代数的结构。
• 结果表明，此类 C*-代数的等距与自同构结构具有强烈的刚性。