[論文レビュー] Multiplicative maps on ideals of operators which are local automorphisms

Lajos Molnár|ArXiv.org|Sep 9, 1999

Advanced Topics in Algebra参考文献 11被引用数 3

ひとこと要約

この論文は、可分なヒルベルト空間 H 上の有界作用素の C*-代数 B(H) における乗法的写像について、反射的性質に類似した結果を確立する。任意の乗法的写像 φ: B(H) → B(H)（線形性や連続性を仮定しない）が、各点で有界作用素ノルムにおいて自己同型で局所的に近似可能であるならば、φ は B(H) の自己同型でなければならない。主な貢献は、最小限の正則性仮定の下で、このような局所自己同型写像の構造的特徴づけをすることにある。

ABSTRACT

We present the following reflexivity-like result concerning the automorphism group of the $C^*$-algebra B(H), H being a separable Hilbert space. Let $ϕ:B(H) o B(H)$ be a multiplicative map (no linearity or continuity is assumed) which can be approximated at every point by automorphisms of B(H) (these automorphisms may, of course, depend on the point) in the operator norm. Then $ϕ$ is an automorphism of the algebra B(H).

研究の動機と目的

• B(H) 上の自己同型で局所的に近似可能な乗法的写像の構造を調査すること。
• このような局所的近似がグローバルな自己同型性を意味するかどうかを特定すること。
• 最小限の正則性条件下で、B(H) の自己同型群に対する反射的性質に類似した結果を確立すること。
• 作用素代数における局所的性質とグローバルな代数的構造との間の相互作用を探索すること。
• 既知の C*-代数の自己同型に関する結果を、線形的でも連続的でもない乗法的写像の設定に拡張すること。

提案手法

• 論文は、線形性や連続性を仮定しない乗法的写像 φ: B(H) → B(H) を分析する。
• 任意の T ∈ B(H) に対して、ネット (α_i) が存在し、i → ∞ のとき ||φ(T) - α_i(T)|| → 0 となることを仮定する。
• 証明は、可分なヒルベルト空間 H における C*-代数 B(H) の構造に依存する。
• B(H) の自己同型はユニタリまたはアンチユニタリ作用素によって実装されることを用いる。
• φ が局所的に主要な代数的およびスペクトル的性質を保存することを示し、それがグローバルな自己同型の性質を強制することを証明する。
• 結論は、剛性結果に基づく：乗法的写像が自己同型で局所的に近似可能ならば、その写像が乗法的であれば、グローバルに自己同型でなければならない。

実験結果

リサーチクエスチョン

• RQ1 B(H) 上の乗法的写像が自己同型で局所的に近似可能である場合、どのような条件下でグローバルな自己同型となるか？
• RQ2 自己同型の特徴づけにおいて、連続性や線形性の仮定を削除することは可能か？
• RQ3 乗法的写像の局所的性質が、そのグローバルな代数的構造をどの程度決定づけるか？
• RQ4 線形的でも連続的でもないが、自己同型で局所的に近い乗法的写像 B(H) 上では、どのように振る舞うか？
• RQ5 有界作用素ノルムにおける自己同型の点별極限である乗法的写像に、どのような構造的制約が生じるか？

主な発見

• 任意の乗法的写像 φ: B(H) → B(H) が、各点で有界作用素ノルムにおいて自己同型で局所的に近似可能であるならば、φ は代数 B(H) の自己同型でなければならない。
• この結果は、写像 φ の線形性や連続性を仮定しないでも成立する。
• 線形性や連続性といった標準的な正則性仮定が欠けていても、局所的近似条件が十分にグローバルな自己同型の性質を強制する。
• 証明は、B(H) の自己同型がユニタリまたはアンチユニタリ作用素によって実装されることを用いる。
• この結果は、強い剛性性質を示している：乗法的写像が自己同型と局所的に構造的に類似しているならば、乗法的性質が保たれる限り、グローバルに自己同型となる。
• これは、作用素代数における既知の反射的性質に類似した結果を拡張し、B(H) の自己同型の新たな特徴づけを提供する。