[논문 리뷰] Commutants of von Neumann Modules, Representations of B^a(E) and Other Topics Related to Product Systems of Hilbert Modules

Michael Skeide|ArXiv.org|2003. 08. 25.

Advanced Operator Algebra Research참고 문헌 10인용 수 13

한 줄 요약

이 논문은 강한 전형적인 바나흐 모듈러스 $`\mathscr{B}^a(E)$ 위에서의 CP-반군에 대해, 단위 벡터가 필요 없이, 콘mutant 기반의 곱 구조를 통해 힐버트 모듈러의 곱 시스템을 구성하는 방법을 제안한다. 이는 파워스가 두 개의 공간적 $E_0$-반군으로부터 구성한 CP-반군의 아르베슨 시스템이 반드시 텐서곱이 아니며, 그 자체로 각각의 아르베슨 시스템의 곱임을 증명하고, 곱 시스템의 맥락에서 콘mutant 구성 간의 쌍대성도 확립한다.

ABSTRACT

We review some of our results from the theory of product systems of Hilbert modules. We explain that the product systems obtained from a CP-semigroup in a paper by Bhat and Skeide and in a paper by Muhly and Solel are commutants of each other. Then we use this new commutant technique to construct product systems from E_0-semigroups on B^a(E) where E is a strongly full von Neumann module. (This improves the construction from a paper by Skeide for Hilbert modules where existence of a unit vector is required.) Finally, we point out that the Arveson system of a CP-semigroup constructed by Powers from two spatial E_0-semigroups is the product of the corresponding spatial Arveson systems as defined (for Hilbert modules) in a paper by Skeide. It need not coincide with the tensor product of Arveson systems.

연구 동기 및 목표

• CP-반군 $T_t$에 대해, 단위 벡터가 필요로 하는 이전의 구성 방식을 일반화하여, $`\mathscr{B}^a(E)$ 위의 힐버트 모듈러의 곱 시스템을 콘mutant 기반으로 구성하는 방법을 개발하는 것.
• CP-반군으로부터 유도된 아르베슨 시스템과 그 최소 약한 확장 간의 관계를 명확히 하며, 특히 파워스의 구성 방식의 맥락에서 이를 다루는 것.
• 두 개의 공간적 $E_0$-반군으로부터 파워스의 구성 방식으로 만든 CP-반군의 아르베슨 시스템이 각각의 개별 아르베슨 시스템의 곱(텐서곱이 아님)임을 보이는 것.
• CP-반군과 그 콘mutant로부터 구성된 곱 시스템 간의 쌍대성 관계를 확립하여, 힐버트 모듈러 맥락에서 이전의 콘mutant 쌍에 대한 결과를 일반화하는 것.

제안 방법

• G = G^1 \bigoplus G^2 일 때, CP-반군 $T_t$ 위에서 GNS 구성법을 사용하여 양측 von Neumann $`\mathscr{B}(G)$-모듈러의 곱 시스템을 구성한다.
• 각 개별 아르베슨 시스템의 순환 벡수 $\omega^1_t, \omega^2_t$ 로부터 $\xi_t$ 를 구성하고, $\mathscr{E}_t$ 를 $\mathcal{B} \xi_t \mathcal{B}$ 의 스칼라 결합의 닫힘으로 정의한다.
• 식 $\mathscr{E}_t \cong \mathscr{B}(G \oplus G, (G \oplus G) \otimes H_t)$ 를 이용하여 곱의 구조를 실현하며, 여기서 $H_t = \mathbb{C}\omega_t \oplus (\mathfrak{H}^1_t \ominus \mathbb{C}\omega^1_t) \oplus (\mathfrak{H}^2_t \ominus \mathbb{C}\omega^2_t)$ 이다.
• 내적 $\langle \xi_t, a \xi_t \rangle = T_t(a)$ 가 성립함을 검증하여, GNS 모듈러가 CP-반군을 정확히 실현함을 보장한다.
• 최종적으로 유도된 곱 시스템 $\mathfrak{H}^\otimes = (\mathfrak{H}_t)$ 가 각 개별 아르베슨 시스템의 곱 $\mathfrak{H}^1 \circledcirc \mathfrak{H}^2$ 와 등급 동형임을 보인다.
• CP-반군 $T$ 의 최소 약한 확장이 $\vartheta^1$ 과 $\vartheta^2$ 의 $E_0$-반군의 곱임을 보이고, $T$ 의 아르베슨 시스템이 텐서곱이 아닌 곱 시스템임을 확인한다.

실험 결과

연구 질문

• RQ1 CP-반군 $T_t$ 가 $\mathscr{B}^a(E)$ 위에 정의된 경우, 단위 벡터가 존재하는 힐버트 모듈러를 초월하여 곱 시스템을 구성하는 것이 가능할 수 있는가?
• RQ2 두 개의 $E_0$-반군으로부터 구성된 CP-반군의 아르베슨 시스템과 그 개별 아르베슨 시스템의 텐서곱 간의 정확한 관계는 무엇인가?
• RQ3 바나흐 모듈러 맥락에서, CP-반군과 그 콘mutant로부터 유도된 곱 시스템 간의 관계는 어떻게 되는가?
• RQ4 파워스의 구성 방식으로부터 유도된 CP-반군의 아르베슨 시스템이 구성에 사용된 $E_0$-반군들의 아르베슨 시스템의 곱과 동일한가?
• RQ5 이러한 CP-반군의 최소 약한 확장은 곱 시스템의 구조에 대해 명시적으로 기술될 수 있는가?

주요 결과

• 강한 전형적인 바나흐 모듈러 $E$ 에 대해 $\mathscr{B}^a(E)$ 위의 CP-반군으로부터 곱 시스템을 구성할 때, 단위 벡터가 필요 없이도 가능하며, 이는 이전 결과를 일반화한다.
• 두 개의 공간적 $E_0$-반군으로부터 파워스의 구성으로 유도된 CP-반군의 아르베슨 시스템은 각 개별 아르베슨 시스템의 곱과 등급 동형이며, 텐서곱이 아니다.
• GNS 구성법에 기반한 곱 시스템 $\mathfrak{H}^\otimes$ 는 $(\mathfrak{H}^1 \circledcirc \mathfrak{H}^2)^\otimes$ 와 등거리 동형이며, 이는 곱의 구조가 정확히 실현되었음을 확인한다.
• 내적 $\mathscr{E}_t$ 를 $\mathscr{B}(G \oplus G, (G \oplus G) \otimes H_t)$ 로 정의하고, $H_t = \mathbb{C}\omega_t \oplus (\mathfrak{H}^1_t \ominus \mathbb{C}\omega^1_t) \oplus (\mathfrak{H}^2_t \ominus \mathbb{C}\omega^2_t)$ 를 사용함으로써, CP-반군 $T_t$ 와 일치하는 내적의 구조가 정확히 실현된다.
• CP-반군으로부터 구성된 곱 시스템의 콘mutant은 해당 CP-반군의 콘mutant CP-반군으로부터 구성된 곱 시스템과 등급 동형이며, 이는 두 구성 간의 쌍대성 관계를 증명한다.
• CP-반군 $T$ 의 최소 약한 확장은 $\vartheta^1$ 과 $\vartheta^2$ 의 $E_0$-반군의 곱으로 명시적으로 기술되며, 그 아르베슨 시스템은 개별 시스템의 곱으로서 나타난다.