[論文レビュー] Measures on projections in a $W^*$-algebra of type $I_2$

A. N. Sherstnev|arXiv (Cornell University)|Dec 23, 2011

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

ひとこと要約

本稿は、型 $I_2$ の $W^*$-代数における任意の正の測度が、ヒルベルト空間値の直交ベクトル測度のノルムの二乗として現れることを確立する。$M_2$-値の射影の構造を用いて明示的にそのようなベクトル測度を構成し、スペクトル射影に関する帰納法を活用することで、著者はハムハルターの結果を、型 $I_2$ の直和成分を含むすべての $W^*$-代数へと拡張し、射影上の測度を直交ベクトル測度によって完全に特徴づけることを達成した。

ABSTRACT

It is shown that for every measure $m$ on projections in a $W^*$-algebra of type $I_2$, there exists a Hilbert-valued orthogonal vector measure $μ$ such that $\|μ(p)\|^2= m(p)$ for every projection $p$. With regard to J. Hamhalter's result (Proc. Amer. Math. Soc., 110 (1990), 803-806) it means that the assertion is valid for an arbitrary $W^*$-algebra.

研究の動機と目的

• 型 $I_2$ の $W^*$-代数における射影上の任意の正の測度が、直交ベクトル測度のノルムの二乗として表現可能かどうかという未解決問題を解消すること。
• 型 $I_2$ の直和成分を含まない $W^*$-代数に限って成り立っていたハムハルターの結果を、型 $I_2$ を含むすべての $W^*$-代数へと拡張すること。
• 型 $I_2$ の $W^*$-代数におけるすべての射影 $p$ に対して $\|\mu(p)\|^2 = m(p)$ を満たす明示的な直交ベクトル測度 $\mu$ を構成すること。
• すべての $W^*$-代数において射影上の測度を直交ベクトル測度によって一元的に表現する枠組みを提供し、分類を完全化すること。

提案手法

• 型 $I_2$ の $W^*$-代数を $\mathcal{M} \otimes M_2$ として表し、ここで $\mathcal{M}$ は可換で、$M_2$ は $2 \times 2$ 複素行列の代数である。
• 射影を $x \in \mathcal{M}^+$, $v \in \mathcal{M}^{\text{un}}$, $\pi \in \mathcal{M}^{\text{pr}}$ を用いた三つ組 $(x, v, \pi)$ でパrameterize する。ただし $0 \leq x \leq \pi$ かつ $\text{rp}(x(\pi - x)) = \pi$ を満たす。
• スペクトル分解と直交射影上での帰納的拡張を用い、ヒルベルト空間 $H$ 内の値をとる、有限加法的で直交性を持つベクトル測度 $\mu$ を定義し、$\|\mu(p)\|^2 = m(p)$ を満たすようにする。
• 問題を扱いやすい部分に分解するため、$\mathcal{M}^\text{pr}$ 内の pairwise な直交射影の maximal な族 $\{\pi_j\}$ を Zorn の補題を用いて構成する。
• $L^2(\Omega, \nu)$ 内に、直交性およびノルム条件を満たす密度関数 $h_{\gamma 1}, h_{\gamma 2}, k_{\gamma 1}, k_{\gamma 2}$ を構成し、各射影 $p$ に対する $\mu(p)$ を定義することで、分解間での一貫性を保証する。
• 拡張された $\mu$ が直交ベクトル測度の公理を満たすことを検証する：直交射影の像が直交し、測度 $m$ のノルムが保存されること。

実験結果

リサーチクエスチョン

• RQ1 型 $I_2$ の $W^*$-代数における射影上の任意の正の測度が、ヒルベルト空間値の直交ベクトル測度のノルムの二乗として表現可能か。
• RQ2 ハムハルターが型 $I_2$ の和成分を含まない $W^*$-代数に対して得た表現結果が、型 $I_2$ を含む代数へも拡張可能か。
• RQ3 型 $I_2$ の $W^*$-代数におけるすべての射影 $p$ に対して $\|\mu(p)\|^2 = m(p)$ を満たすような直交ベクトル測度 $\mu$ を構成的に構築できるか。
• RQ4 代数 $\mathcal{M} \otimes M_2$ 内の射影の構造をどのように活用して、一貫した方法でそのようなベクトル測度を定義・拡張できるか。

主な発見

• 型 $I_2$ の $W^*$-代数における射影上の任意の測度 $m$ に対して、ヒルベルト空間値の直交ベクトル測度 $\mu$ が存在し、すべての射影 $p$ に対して $\|\mu(p)\|^2 = m(p)$ を満たす。
• 構成は明示的であり、三つ組 $(x, v, \pi)$ を用いた $\mathcal{M} \otimes M_2$ 内の射影の分解に依存しており、直交成分上での帰納的拡張が可能である。
• 証明はスペクトル分解と $L^2$-値の密度関数を用いて $\mu(p)$ を定義し、ノルム保存と直交射影の像の直交性を保証する。
• ハムハルターの以前の結果を、型 $I_2$ の和成分を含むすべての $W^*$-代数にまで拡張することで、結果を完全にした。
• 射影格子全体への $\mu$ の拡張は、Zorn の補題と直交射影族上での一貫した貼り合わせによって達成される。
• 最終的な結果は、任意の $W^*$-代数における射影上の正の測度が、ある複素ヒルベルト空間 $H$ への直交ベクトル測度のノルムの二乗として現れることを示している。