I 型のC*環について

328

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

フォンノイマン環の分類については、和書で記述されていることが多い。しかしながら、 $C^{*}$ 環の特殊な場合とも言えるフォンノイマン環の分類より $C^{*}$ 環の方が、初歩的なことに限れば入門しやすいかも知れない。今日は、そのことについて基本的な事実をメモすることを本稿の目的とする。

$C^{*}$ 環が $I$ 型だった時の同値な言い換えを取ってみても、フォンノイマン環の分類の場合の証明手法とは異なるなど面白さが感じられるから、どうぞごゆっくり。

以下、 $A$ を $C^{*}$ 環とする。 $H$ は無限次元ヒルベルト空間とする。

$A$ の正元 $x$ がabelianであるとは、 $x$ によって生成されるhereditary $C^{*}$ 部分環すなわち ${\overset{―}{x A x}}^{∥ \cdot ∥}$ が可換であることを言う。

$A は I 型 :\Leftrightarrow A の非零の任意の剰余環が a b e l i a n な元 \neq 0 を持つ$
$A は I_{0} 型 :\Leftrightarrow A は a b e l i a n な元たちによって生成されている$
$A は antiliminary :\Leftrightarrow A は a b e l i a n な元 \neq 0 を含まない$

I型von Neumann環は一般に $C^{*}$ 環としてI型とは限らないことに注意。これは、von Neumann環 $B (H)$ の剰余環であるカルキン環 $B (H) / K (H)$ は可換な元を持たないことから明らかである。このことは、カルキン環は単純だったことから。

$x \in A^{+}$ がAbelian $\Leftrightarrow A$ の任意の既約表現 $(π, H)$ に対して $\dim π (x) \leq 1$

$x$ がabelianで $(π, H)$ が既約表現とすると、 $π (x)$ は $π (A)$ においてabelianである。 $π$ が既約表現のとき $B (H) = π (A)^{″}$ であるから $π (x) B (H) π (x)$ は可換となり $\dim π (x) \leq 1$ を満たす（任意の $ξ \in H_{π} ∖ {0}$ に対し $ξ$ は $π$ の巡回ベクトルなので $H_{π} = \overset{―}{π (A) ξ} = C ξ$ より）。
逆に $x \in A^{+}$ とし、任意の既約表現 $π$ に対して $\dim π \leq 1$ とすると、 $x A x$ をuniversal representation $(H, φ)$ で送った先の $φ (x A x)$ は可換であることが確かめられる。 $φ$ は忠実だから $x$ はabelianとなる。

$A$ がHilbert空間 $H$ にacting irreduciblyする作用素がなす $C^{*}$ 環であって、 $A \cap K (H) \neq 0$ ならば、 $K (H) \subset A$ が成り立つ。
$A$ の任意の忠実な既約表現 $\neq 0$ は恒等表現とユニタリー同値である。

$A \cap K (H) \neq 0$ なので、有限階の射影 $p \in A \cap K (H)$ が存在する。MurphyのTheorem 2.4.9を参照する。後半の主張は $(π_{ψ}, H_{ψ})$ が忠実な表現となる $A$ の任意の純粋状態 $ψ \in A$ が、 $H$ のあるベクトル $ξ$ を用いて一意的に決定できることを示せば良い。 $(π_{ψ}, H_{ψ})$ が忠実だから $ψ |_{K (H)} \neq 0$ であり、よって $K (H)$ 上の純粋状態は0ではない。これは、ある単位ベクトル $ξ \in H$ が存在し、任意の $x \in K (H)$ に対し $ψ (x) = (x ξ | ξ)$ を意味する( $*$ )。イデアル上の状態の定義域を $A$ とする拡張は一意的だから、任意の $x \in A$ で $ψ (x) = (x ξ | ξ)$ である。( $*$ )と実際にユニタリー同値となることはMurphy p.146を参照する。次の事実を使えばいい。

巡回ベクトル $ξ_{1}, ξ_{2}$ をそれぞれに持つ $C^{*}$ 環 $A$ の部分表現 $(π_{1}, H_{1}), (π_{2}, H_{2})$ がequivalent with isometry $u$ s.t. $u ξ_{1} = ξ_{2} と、 (π_{1} (x) ξ_{1} | ξ_{1}) = (π_{2} (x) ξ_{2} | ξ_{2}) \forall x \in A$
であることとは同値である。実際、
$u : π_{1} (A) ξ_{1} \to π_{2} (A) ξ_{2} を u π_{1} (x) ξ_{1} = π_{2} (x) ξ_{2}$ と定めると、確かに $u$ はisometryである。実際

$(π_{1} (A) ξ_{1} | π_{1} (B) ξ_{1}) = (π (B^{*} A) ξ_{1} | ξ_{1}) = (π_{2} (B^{*} A) ξ_{2} | ξ_{2}) = (π_{2} (A) ξ_{2} | π_{2} (B) ξ_{2})$
であり、この $u$ を巡回ベクトルの性質を用いて $u : H_{1} \to H_{2}$ と拡張できる。

$A を I 型 C^{*} 環とするとき A の任意の既約表現 (π, H) に対して K (H) \subset π (A)$ である。もし $A$ が $I_{0}$ 型なら $π (A) = K (H)$ が成り立つ。

$x \in π (A) を ∥ x ∥ = 1$ を満たすabelianとするとき $x$ は $H$ 上のrank 1の射影となる。前定理より $K (H) \subset π (A)$ である。 $π (A)$ はabelianな元つまりrank 1の有限階作用素で生成され最小性から $π (A) \subset K (H)$ が成り立つ。

abelianな元によって生成される $C^{*} 部分環 A_{0} \subset A は A$ の $I_{0}$ 型-極大イデアルである。

$J$ をabelianな元を含む、 $A^{+}$ における最小のhereditaryな凸錐とする。 $x \in J$ と、有限集合 $(x_{i})$ で $x \leq \sum x_{i}$ かつ $x_{i}$ はabelianを満たすものが存在することは同値である。正元和での表示にすることを考え、任意の $x \in J$ に対して $x = \sum_{i} y_{i}^{*} y_{i}, y_{i} y_{i}^{*} \leq x_{i} となる (y_{i}) \subset A$ が取れる。
abelianな元 $b$ が存在して $a \leq b$ と書ける任意の正元 $a$ はabelianで、 $y y^{*}$ がabelianなることから $y^{*} y$ もabelianとなる。
よって $x$ はabelianな正元の和だから $J \subset A_{0}$ である。任意のユニタリー $u \in A$ に対して $u^{*} J u = J$ が成り立つ(Murphy 3.3.2より $u^{*} J u = \overset{―}{u A^{+} u}$ で上から $J$ が $A_{0}$ で閉である)。 $\overset{―}{J} \subset (A_{0})^{+}$ で $\overset{―}{J}$ は $A$ の全てのabelianな元を含むため、 $\overset{―}{J} = (A_{0})^{+}$ を満たす。すなわち凸錐の定義から $A_{0}$ は $A$ のイデアルである。 $A$ のイデアル内でabelianな元は $A$ においてもabelianなので、 $A_{0}$ は $A$ の極大 $I_{0}$ 型-イデアルである。

$I_{0} 型 C^{*}$ 環の任意の元は、abelianな元の和として書ける近似単位元をもつ。 ${\sum_{i} x_{i} | x_{i} : abelian} は A^{+}$ でhereditaryな稠密凸錐であるため、 $A$ の近似単位元を含む。つまり、 $C^{*}$ 環 $A$ には近似単位元 $(u_{λ})$ が存在するが $A$ が $I_{0}$ 型の場合それが常にabelianな $x_{i}$ を用いて $u_{λ} = \sum_{i} x_{i}$ と書ける。