[논문 리뷰] Endomorphisms of B(H)

Ola Bratteli, Palle E. T. Jørgensen외 1명|ArXiv.org|1994. 08. 29.

Advanced Operator Algebra Research참고 문헌 20인용 수 16

한 줄 요약

이 논문은 Cuntz 대수 $\mathcal{O}_n$의 표현을 사용하여, 분리 가능 힐베르트 공간 위의 유한 연산자 대수 $\mathcal{B}(\mathcal{H})$의 단위 임베딩을 분류한다. 인덱스 $n \geq 2$인 이동의 공轭류와 UHF 대수 $M_{n^\infty}$ 위의 순수 상태의 동치류 사이의 대응을 수립함으로써, $P/\sim$를 통해 공轭류를 완전히 표기한다. 여기서 $P$는 $M_{n^\infty}$ 위의 순수 상태의 집합이고, $\sim$는 매끄럽지 않은 동치관계이다. 주요 기여는, 불변 벡터 상태가 없는 공轭이 아닌 이동이 비가산 많음이 증명됨을 보여준다.

ABSTRACT

The unital endomorphisms of B(H) of (Powers) index n are classified by certain U(n)-orbits in the set of non-degenerate representations of the Cuntz algebra O_n on H. Using this, the corre- sponding conjugacy classes are identified, and a set of labels is given. This set is given as P modulo a certain non-smooth equivalence, where P is a set of pure state on the UHF algebra of Glimm type n^infinity. Several subsets of P, giving concrete examples of non- conjugate shifts, are worked out in detail, including sets of product states, and a set of nearest neighbor states.

연구 동기 및 목표

• 인덱스 $n \geq 2$인 $\mathcal{B}(\mathcal{H})$의 단위 임베딩의 공轭류를 분류하는 것, 특히 이동을 중심으로 한다.
• 인덱스 $n \geq 2$인 이동이 불변 벡터 상태를 가지지 않을 수 있는지에 대한 열린 문제를 해결하는 것.
• UHF 대수 $M_{n^\infty}$ 위의 순수 상태와 매끄럽지 않은 동치관계를 사용하여 공轭류를 완전히 표기하는 것.
• Cuntz 대수 $\mathcal{O}_n$의 표현을 통해 임베딩의 분류를 확장하고, von Neumann과 Powers의 기초적 아이디어를 적용하는 것.

제안 방법

• 인덱스 $n$인 $\mathcal{B}(\mathcal{H})$의 단위 임베딩과 힐베르트 공간 $\mathcal{H}$ 위에서의 $\mathcal{O}_n$의 비퇴화 표현 사이의 대응을 $U(n)$-오빗을 사용하여 수립한다.
• 이동의 공轭류에 자연스러운 보렐 구조를 부여하고, 이가 가산으로 분리되지 않음을 보인다.
• 표기 공간을 $P/\sim$로 정의한다. 여기서 $P$는 UHF 대수 $M_{n^\infty}$ 위의 순수 상태의 집합이고, $\sim$는 매끄럽지 않은 동치관계이다.
• 무한 텐서곱 구조 $M_{n^\infty} = \bigotimes_{k=-\infty}^{\infty} M_n$를 활용하여, 힐베르트 공간 텐서곱 위의 양방향 오른쪽 이동을 통해 이동 역학을 모델링한다.
• von Neumann의 1938년 작업과 Guichardet의 확장을 활용하여, 불변 벡터 상태가 없는 이동의 구체적 예를 구성한다.
• 임베딩과 자동형사의 이론을 적용하여, 이동 $\alpha$를 더 큰 공간 $H' \otimes \mathcal{H}$ 위의 $*$-자기동형사 $\beta$로 확장한다. 이때 $\beta$는 $M_n$-성분에서 양방향 오른쪽 이동으로 작용하며, $\alpha$의 점근적 성질을 유지한다.

실험 결과

연구 질문

• RQ1 인덱스 $n \geq 2$인 $\mathcal{B}(\mathcal{H})$의 단위 임베딩은 대수적 불변량을 통해 공轭류로 분류될 수 있는가?
• RQ2 인덱스 $n \geq 2$인 $\mathcal{B}(\mathcal{H})$ 위에 불변 벡터 상태가 없는 이동이 존재하는가?
• RQ3 이러한 이동의 공轭류의 구조는 어떻게 되며, 순수 상태 위의 잘 정의된 동치관계로 매개변수화될 수 있는가?
• RQ4 이동의 점근적 및 에르고딕 성질은 UHF 대수 $M_{n^\infty}$와 그 상태 공간의 구조와 어떻게 관련되는가?
• RQ5 공轭류의 분류에 보렐 구조를 도입할 수 있으며, 이는 가산으로 분리되지 않는가?

주요 결과

• 공轭류 $\operatorname{Shift}_n(\mathcal{B}(\mathcal{H}))$의 공轭류는 $P/\sim$와 일대일 대응된다. 여기서 $P$는 UHF 대수 $M_{n^\infty}$ 위의 순수 상태의 집합이고, $\sim$는 매끄럽지 않은 동치관계이다.
• $\operatorname{End}_n(\mathcal{B}(\mathcal{H}))$, $\operatorname{Erg}_n(\mathcal{B}(\mathcal{H}))$, $\operatorname{Shift}_n(\mathcal{B}(\mathcal{H}))$의 공轭류는 자연스러운 보렐 구조를 가지며, 이는 가산으로 분리되지 않는다.
• 인덱스 $n \geq 2$인 $\mathcal{B}(\mathcal{H})$ 위에 비가산 많은 공轭이 아닌 이동이 존재한다. 이는 제품 상태 집합과 근접 이웃 상태 집합에서의 구체적 예를 구성함으로써 입증된다.
• 불변 벡터 상태가 없는 이동의 구체적 구성이 제공되어, [Pow2]에서 남겨진 열린 질문을 해결한다.
• 이동 역학은 더 큰 힐베르트 공간 $H' \otimes \mathcal{H}$ 위의 $*$-자기동형사 $\beta$로 확장될 수 있으며, 이때 $\beta$는 $M_n$-성분에서 양방향 오른쪽 이동으로 작용하며, $\alpha$의 점근적 구조를 유지한다.
• 분류는 Cuntz 대수 $\mathcal{O}_n$의 표현 이론에 기반하며, 핵심 통찰은 $\mathcal{B}(\mathcal{H})$에서 $\alpha$-불변 상태가 $M_{n^\infty}$에서 $\mathcal{O}_n$-불변 상태에 대응된다는 것이다.