[論文レビュー] Orthogonality-preserving, C*-conformal and conformal module mappings on Hilbert C*-modules

Michael Frank, A. S. Mishchenko+1 more|arXiv (Cornell University)|Jul 17, 2009

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

ひとこと要約

この論文は、（非）単位的 C*-代数上の完全なヒルベルト C*-加群における直交性を保つ、C*-適合性を満たす、および適合性を満たす有界加群写像を特徴づける。直交性を保つ写像は、乗法的代数の中心に属する要素による等長写像のスカラー倍であることが示され、C*-適合および適合写像は、正の実数倍の等長加群作用素に正確に一致することが明らかになる。これは、乗法的代数の中心が非自明な場合に顕著な違いを示す。

ABSTRACT

We investigate orthonormality-preserving, C*-conformal and conformal module mappings on Hilbert C*-modules to obtain their general structure. Orthogonality-preserving bounded module maps T act as a multiplication by an element λof the center of the multiplier algebra of the C*-algebra of coefficients combined with an isometric module operator as long as some polar decomposition conditions for the specific element λare fulfilled inside that multiplier algebra. Generally, T always fulfils the equality $ = | λ|^2 < x,y>$ for any elements x,y of the Hilbert C*-module. At the contrary, C*-conformal and conformal bounded C*-linear mappings are shown to be only the positive real multiples of isometric module operators.

研究の動機と目的

• ヒルベルト C*-加群上で直交性、C*-適合性、または適合性を保つ有界加群写像の一般的構造を特定すること。
• 中心が非自明なヒルベルト C*-加群の文脈において、直交性を保つ写像と等長写像または適合写像との関係を明確にすること。
• C*-適合および適合写像が、係数 C*-代数に追加の仮定がなくても、必ず正の実数倍の等長加群作用素であることを確立すること。
• 非自明な中心を持つ係数 C*-代数の下で、一般な条件下で先行研究の部分的結果に生じる曖昧さを解消し、完全な特徴づけを提供すること、非単位的 C*-代数を含む。

提案手法

• 解析は、係数 C*-代数の包摂 von Neumann 代数の乗法的代数および中心の構造に依存する。
• 極分解と表現論を用いて、係数代数の二重双対における最小中心射影への直交性を保つ写像の作用を分析する。
• 加群がその二重双対において w*-稠密であることを利用し、中心射影を介してノルムと内積を比較する。
• 加群を最小中心射影に関連する成分に分解し、各成分における写像の振る舞いを比較することで一様スケーリングを導出する。
• 乗法的代数の直和分解における要素のノルムおよびその像のノルムが達成される場所に基づいて、場合分けを行う。
• ユニタリ同値による角度条件の不変性と中心射影の性質を用いて、各成分間でのスケーリング定数が等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト C*-加群上の有界加群写像が直交性を保つとき、それが乗法的代数の中心に属する要素による等長写像のスカラー倍であるための条件は何か？
• RQ2 係数 C*-代数の乗法的代数の中心が非自明な場合、C*-適合および適合加群写像は、直交性を保つ写像とどのように異なるか？
• RQ3 係数代数に追加の仮定がなくても、C*-適合または適合加群写像は正の実数倍の等長加群作用素として特徴づけられるか？
• RQ4 係数 C*-代数が非単位的または非自明な中心を持つ場合、直交性を保つ写像にどのような構造的制約が生じるか？
• RQ5 有界加群写像が最小中心射影上で示す振る舞いが、ヒルベルト C*-加群全体におけるそのグローバル構造をどの程度決定するか？

主な発見

• 直交性を保つ有界加群写像は、すべての x, y に対して ⟨T(x),T(y)⟩ = |λ|²⟨x,y⟩ を満たし、λ は乗法的代数の中心に属する。
• λ が乗法的代数においてある極分解条件を満たす限り、このような写像は λ による乗法と等長加群作用素の合成として作用する。
• C*-適合および適合有界加群写像は、係数 C*-代数の構造にかかわらず、必ず正の実数倍の等長加群作用素に一致する。
• 乗法的代数の中心が非自明な場合、直交性を保つ写像が必ずしも適合的または等長的でないことが明らかになり、これらのクラスの根本的な違いが示される。
• 写像が一般化された角度条件を保つ場合、直交する最小中心射影 e および f におけるスケーリング定数 λ_e と λ_f は等しくならなければならない。これにより加群全体で一様スケーリングが成立する。
• 写像のグローバル構造は、最小中心射影におけるその作用によって決定され、成分間の一様性は角度保存条件から導かれる。