[論文レビュー] 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)$ のスパイラルに作用する自己同型群および等長群の反射性を調査すること。
• $C_0(\mathbb{R}) \otimes B(H)$ 上の任意の局所自己同型または局所全単射等長写像が、必ずしも全体的な自己同型または等長写像であるかどうかを特定すること。
• 非単位的かつ非可換な $C^*$-代数として現れるスパイラルの形をとる代数への作用素代数における反射性理論を拡張すること。
• 無限次元作用素的設定における等長写像および自己同型写像の構造的剛性を明確にすること。

提案手法

• $C_0(\mathbb{R}) \otimes B(H)$ を $B(H)$ のスパイラルとしての表現を活用し、$C^*$-代数としての構造を分析する。
• 関数解析および作用素論の技法を用いて、局所自己同型および局所全単射等長写像を特徴付ける。
• $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^*$-代数における等長写像および自己同型写像の構造的剛性を示している。