[논문 리뷰] Measures on projections in a $W^*$-algebra of type $I_2$

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

Advanced Operator Algebra Research참고 문헌 2인용 수 4

한 줄 요약

이 논문은 $W^*$-대수의 유형 $I_2$에서의 모든 양측도가 힐버트 공간에 값을 갖는 직교 벡터 측도의 노름 제곱으로 나타남을 증명한다. $M_2$-값을 갖는 프로jections의 구조를 이용하고 스펙트럼 프로jections에 대한 귀납법을 활용하여, 저자는 해멀터의 결과를 $I_2$ 합성원소를 포함한 모든 $W^*$-대수로 확장함으로써, 프로jections에 대한 측도를 직교 벡터 측도를 통해 특성화하는 데 성공한다.

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^*$-대수의 모든 프로jections $p$에 대해 $\|\mu(p)\|^2 = m(p)$를 만족하는 명시적인 직교 벡터 측도 $\mu$를 구성하기 위해.
• 모든 $W^*$-대수에서 프로jections에 대한 측도를 직교 벡터 측도를 통해 표현하는 통합적 프레임워크를 제공하여 분류를 완성하기 위해.

제안 방법

• $\mathcal{M} \otimes M_2$로 형식 $I_2$의 $W^*$-대수를 표현하며, 여기서 $\mathcal{M}$은 가환이고 $M_2$는 $2 \times 2$ 복소행렬의 대수이다.
• $\mathcal{N} = \mathcal{M} \otimes M_2$의 프로jections를 삼중항 $(x, v, \pi)$로 매개변수화하며, 여기서 $x \in \mathcal{M}^+$, $v \in \mathcal{M}^{\text{un}}$, $\pi \in \mathcal{M}^{\text{pr}}$ 이고, 조건 $0 \leq x \leq \pi$ 및 $\text{rp}(x(\pi - x)) = \pi$ 를 만족시킨다.
• 스펙트럼 분해와 직교 프로jections에 대한 귀납적 확장을 활용하여, 힐버트 공간 $H$에 값이 있는 유한加성 직교 벡터 측도 $\mu$를 정의함으로써 $\|\mu(p)\|^2 = m(p)$를 확보한다.
• 문제를 다룰 수 있는 구성요소로 나누기 위해, $\mathcal{M}^\text{pr}$ 내의 두 개 이상의 직교 프로jections의 최대 가닥 $\{\pi_j\}$를 Zorn의 보조정리를 사용하여 구성한다.
• $L^2(\Omega, \nu)$ 내의 밀도 함수 $h_{\gamma 1}, h_{\gamma 2}, k_{\gamma 1}, k_{\gamma 2}$를 정의하여 직교성과 노름 조건을 만족시키며, 각 프로jections $p$에 대해 $\mu(p)$를 정의함으로써 분해 간 일관성을 확보한다.
• 확장된 $\mu$가 직교 벡터 측도의 공리계를 만족하는지 확인한다: 서로 직교하는 프로jections의 상이 직교하고, 측도 $m$의 노름이 유지된다.

실험 결과

연구 질문

• RQ1 형식 $I_2$의 $W^*$-대수에서의 모든 양측도가 힐버트 공간에 값을 갖는 직교 벡터 측도의 노름 제곱으로 표현될 수 있는가?
• RQ2 형식 $I_2$ 합성원소를 포함하지 않는 $W^*$-대수에서 해멀터가 확립한 표현 결과가 이러한 합성원소를 포함하는 경우로도 확장되는가?
• RQ3 형식 $I_2$의 $W^*$-대수의 모든 프로jections $p$에 대해 $\|\mu(p)\|^2 = m(p)$를 만족하는 직교 벡터 측도 $\mu$를 구성할 수 있는 방법이 존재하는가?
• RQ4 형식 $\mathcal{M} \otimes M_2$의 프로jections의 구조는 어떻게 활용되어 일관된 방식으로 이러한 벡터 측도를 정의하고 확장할 수 있는가?

주요 결과

• 형식 $I_2$의 $W^*$-대수에서의 모든 측도 $m$에 대해, 모든 프로jections $p$에 대해 $\|\mu(p)\|^2 = m(p)$를 만족하는 힐버트 공간에 값을 갖는 직교 벡터 측도 $\mu$가 존재한다.
• 이 구성은 명시적이며, $\mathcal{M} \otimes M_2$에서의 프로jections의 삼중항 $(x, v, \pi)$를 이용한 분해에 기반하여, 직교 성분들에 대한 귀납적 확장을 가능하게 한다.
• 증명은 스펙트럼 분해와 $L^2$-값을 갖는 밀도 함수를 사용하여 $\mu(p)$를 정의함으로써, 노름 유지 및 서로 직교하는 프로jections에 대한 상의 직교성을 보장한다.
• 이 결과는 해멀터의 이전 결과를 완성하여, 직교 벡터 측도를 통한 표현이 형식 $I_2$ 합성원소를 포함하는 모든 $W^*$-대수에서 성립함을 보여준다.
• 모든 프로jections 레이스터에 대한 $\mu$의 확장은 Zorn의 보조정리와 직교 프로jections 가닥에 대한 일관된 접합을 통해 달성된다.
• 최종 결과는 임의의 $W^*$-대수에서의 모든 양측도가 어떤 복소 힐버트 공간 $H$로의 직교 벡터 측도의 노름 제곱으로 나타남을 시사한다.