[論文レビュー] Continuity of ring *-homomorphisms between C*-algebras

Mark Tomforde|ArXiv.org|Oct 2, 2008

Advanced Operator Algebra Research参考文献 3被引用数 4

ひとこと要約

この論文は、線形性を仮定せずに、単位的 *-保存環準同型が任意の単位的 C*-代数間で自動的に収縮的であることを証明している。すなわち、すべての $ a \in A $ に対して $ \|\phi(a)\| \leq \|a\| $ が成り立つ。主な結果は、このような準同型が線形 *-準同型と共役線形 *-準同型の直和に分解可能であることを示しており、*-準同型の古典的連続性結果を一般化する。

ABSTRACT

The purpose of this short note is to prove that if $A$ and $B$ are unital C*-algebras and $ϕ: A o B$ is a unital *-preserving ring homomorphism, then $ϕ$ is contractive; i.e., $\| ϕ(a) \| \leq \| a \|$ for all $a \in A$. (Note that we do not assume $ϕ$ is linear.) We use this result to deduce a number of corollaries as well as characterize the form of such unital *-preserving ring homomorphisms. (This note may be of interest to C*-algebraists as well as algebraists who study noncommutative rings and algebras. It is meant to be accessible to a general mathematician and does not require any prior knowledge of C*-algebras.)

研究の動機と目的

• 単位的 *-保存環準同型が線形でない場合でも、単位的 C*-代数間で自動的に収縮的であることを確立すること。
• 標準的な線形 *-準同型の枠を超えて、このような準同型の構造を、特にその実線形成分の観点から特徴づけること。
• *-準同型の古典的連続性結果を、* 構造を保存するより広い環準同型のクラスにまで拡張すること。
• 関数解析学と環論を結ぶことで、C*-代数における代数的性質および正値性からノルム制御が生じることを示すこと。

提案手法

• 行列の拡張 $\phi_2: M_2(A) \to M_2(B)$ を用いて、ノルムの振る舞いと 2×2 行列の正値性を関連付ける。
• ゲルファンド＝ナイマーク表現を用いて、C*-代数をヒルベルト空間上の具体的な作用素代数として実現する。
• *-保存性の利用：C*-代数における $ a \geq 0 $ であれば、*-保存環準同型のもとで $ \phi(a) \geq 0 $ が成り立つ。
• 順序保存によるスペクトル半径推定：自己随伴な $ a $ に対して、$ r(\phi(a)) \leq r(a) $ が、$ \phi $ によるスペクトルの包含関係から導かれる。
• 順序保存と有理数近似から、単位元のスカラー倍における $ \phi $ の実線形性が導かれる。
• 像代数の中心における直交射影を用いて、線形部と共役線形部に分離するための準同型の分解を行う。

実験結果

リサーチクエスチョン

• RQ1 単位的 C*-代数間の *-保存環準同型が線形性を仮定せずに収縮的であるか。
• RQ2 このような準同型の構造的形態は、標準的な線形 *-準同型の枠を超えてどのように特徴づけられるか。
• RQ3 線形性の欠如が、*-保存環準同型のスペクトル的およびノルム的性質にどのように影響するか。
• RQ4 このような準同型は、標準的成分（線形および共役線形）に分解可能か。
• RQ5 正値性および順序保存性が、実線形性およびしたがってノルム制御をどれほどまでに示唆するか。

主な発見

• 任意の単位的 *-保存環準同型 $\phi: A \to B$ は、すべての $ a \in A $ に対して $ \|\phi(a)\| \leq \|a\| $ を満たす。これは、線形性を仮定せずとも収縮性が保証されることを示している。
• このような準同型は、単位元のスカラー倍上で必然的に実線形であり、したがって自己随伴元に対して順序およびスペクトル半径を保存する。
• 像 $\phi$ は、$ P + Q = 1_B $ を満たす直交射影 $ P $ と $ Q $ を中心に含む $ B $ の C*-部分代数に含まれる。このため、$ \phi $ は $ \phi_1 + \phi_2 $ に分解可能である。
• 成分 $ \phi_1 $ は複素線形であり、$ \phi_2 $ は共役線形であるため、$ \phi $ は線形および共役線形の *-保存環準同型の直和である。
• 像代数の中心が自明であれば、$ \phi $ は線形または共役線形であり、混合成分は存在しない。
• この結果は、カジソンのジョルダン *-同型に関する定理を一般化するが、同型でない、非線形の、および非フォン・ノイマン代数の設定にも適用可能である。