[논문 리뷰] Unit Vectors, Morita Equivalence and Endomorphisms

Michael Skeide|arXiv (Cornell University)|2004. 12. 12.

Advanced Operator Algebra Research인용 수 5

한 줄 요약

이 논문은 대응 이론의 두 핵심 문제를 해결한다: 힐버트 모듈러스 위의 가역적 연산자 대수의 단위 원소가 되는 내형사상 중 주어진 전방 또는 강한 전방 대응을 다중성 대응으로 가지는 것과, 이러한 대응에 대한 힐버트 공간 위의 비퇴화적 충실한 표현을 찾는 것이다. 주요 기여는 $W^*$-대응에 대해 전방성 조건 하에서, $C^*$-대응에 대해 충실성 조건 하에서의 완전한 해결이며, 단위 벡터와 모리타 동치를 중심 도구로 사용하였고, 이는 제품 체계와 $E_0$-반군에의 응용을 포함한다.

ABSTRACT

We solve two problems in the theory of correspondences that have important implications in the theory of product systems. The first problem is the question whether every correspondence is the correspondence associated (by the representation theory) with a unital endomorphism of the algebra of all adjointable operators on a Hilbert module. The second problem is the question whether every correspondence allows for a nondegenerate faithful representation on a Hilbert space. We also resolve an extension problem for representations of correspondences and we provide new efficient proofs of several well-known statements in the theory of representations of W*-algebras.

연구 동기 및 목표

• 문제 1 해결: $C^*$-또는 $W^*$-대수 $\mathcal{B}$ 위의 전방 또는 강한 전방 대응 $E$가 주어졌을 때, $\mathscr{B}^a(F)$의 단위 엄밀(또는 정상) 내형사상 $\vartheta$를 구성하여 $E$가 다중성 대응 $F_\vartheta$가 되도록 하는 것.
• 문제 2 해결: $\mathcal{B}$ 위의 충실한 대응 $E$가 주어졌을 때, 힐버트 공간 위의 비퇴화적 충실한(정상) 표현을 찾는 것.
• 전방성(문제 1에 대해)과 충실성(문제 2에 대해) 조건이 각각 문제의 해법 존재에 필수적이고 충분한 조건임을 입증하는 것.
• $W^*$-경우에 문제 1과 문제 2가 바나드 콘스트럭션을 통한 바나드 대응의 공액성에 의해 상호 이중성임을 밝혀내는 것.
• 개발된 방법의 힘을 보여주기 위해 기존의 $W^*$-대수 표현 이론의 결과들에 대해 새로운, 간단한 증명을 제시하는 것.

제안 방법

• 힐버트 및 $W^*$-모듈러스에서의 단위 벡자를 사용하여 표현을 구성하고 모리타 동치를 확립하는 것.
• $W^*$-대응과 모듈러스에 대한 모리타 동치를 적용하여 표현과 내형사상을 연결하는 것.
• $F \bar{\odot}^s E \cong F$를 만족하는 바나드 $\mathcal{B}$-모듈러스 $F$를 구성하여, $\mathscr{B}^a(F)$ 위에 다중성 $E$를 가지는 단위 내형사상 $\vartheta$를 유도하는 것.
• 최소 아이디얼 $M_n$으로의 분해를 통한 $\mathcal{B}$-모듈러스의 구조적 분석을 통해 $F$를 $\mathfrak{H}_n \otimes \mathbb{C}_n$ 성분으로 분해하는 것.
• $\mathcal{B}'$ 위의 왼쪽 이동 $\mathscr{S}$를 사용하여 $E$의 공액을 기술하고, $F^\prime$ 위에 $E'$의 표현을 구성하는 것.
• $G^\infty$와 $E \odot G$ 사이의 유니터리 동치를 확립하여 $F^\prime \bar{\odot}^s E^\prime \cong F^\prime$임을 보여주고, 내형사상의 구조를 확인하는 것.

실험 결과

연구 질문

• RQ1 모든 전방 또는 강한 전방 $W^*$-대응 $E$는 어떤 힐버트 $\mathcal{B}$-모듈러스 $F$에 대해 $\mathscr{B}^a(F)$의 단위 내형사상의 다중성 대응으로서 실현될 수 있는가?
• RQ2 비퇴화적 왼쪽 작용을 갖는 의미에서 충실한 모든 대응 $E$는 힐버트 공간 위에 비퇴화적 충실한(정상) 표현을 갖는가?
• RQ3 전방성(문제 1에 대해)과 충실성(문제 2에 대해) 조건이 각각 그러한 내형사상과 표현의 존재에 대해 필수적이고 충분한 조건인가?
• RQ4 $W^*$-경우에 문제 1과 문제 2는 어떻게 관련되어 있으며, 이 이중성은 바나드 대응의 공액 콘스트럭션을 통해 표현될 수 있는가?
• RQ5 문제 1과 2를 해결하는 데 사용된 방법들이 이산 제품 체계를 구성하고 연속 시간 $E_0$-반군으로 결과를 확장하는 데 적용될 수 있는가?

주요 결과

• 논문은 강한 전방 $W^*$-대응에 대해 문제 1을 완전히 해결하였고, 단위 $C^*$-대수 위의 전방 $C^*$-대응에 대해서도 마찬가지로 해결하였다. 이는 이러한 대응이 $\mathscr{B}^a(F)$ 위의 단위 내형사상의 다중성 대응으로서 실현됨을 보여준다.
• $W^*$-대응의 경우 문제 2의 해법은 정상 표현을 통해 달성되며, 충실성 조건은 그러한 표현의 존재에 대해 필수적이고 충분한 조건임을 입증한다.
• $F \bar{\odot}^s E \cong F$를 만족하는 바나드 $\mathcal{B}$-모듈러스 $F$의 구성은 $\mathscr{B}^a(F)$ 위에 다중성 $E$를 가지는 단위 내형사상 $\vartheta$를 유도하며, 이는 $\mathfrak{H}_n$ 위의 이동 유사 작용을 통해 명시적으로 실현된다.
• $F \bar{\odot}^s E \cong F$의 동형사상에 의해 유도된 내형사상 $\vartheta$는 $(a_1, a_2, \ldots) \mapsto (a_1, a_1, a_2, \ldots)$로 작용하며, 이는 $\mathscr{B}^a(F)$ 위의 한쪽 이동의 단위화에 해당한다.
• $E$의 공액은 $E' = M_1 \oplus {}_{\text{\scriptsize$\mathscr{S}$}}\mathcal{B}'$로 나타나며, $F^\prime$ 위에 $\bigoplus_{n\in\mathbb{N}} \mathfrak{H}$ 위의 성분별 작용을 통해 $E'$의 표현이 실현된다.
• $G^\infty$ 위의 $E^\infty$ 표현이 $G^\infty$와 유니터리 동치임을 보여 $F^\prime \bar{\odot}^s E^\prime \cong F^\prime$임을 확인하였고, 이는 $\vartheta^\prime$가 $\mathbf{1}_1 \otimes \mathscr{B}(\mathfrak{H})$ 위의 작용을 두 배로 하는 것으로 실현됨을 보여준다.