[논문 리뷰] Nondegenerate Representations of Continuous Product Systems

Michael Skeide|arXiv (Cornell University)|2006. 07. 15.

Advanced Operator Algebra Research참고 문헌 21인용 수 6

한 줄 요약

이 논문은 C*-대수 위의 연속적이고 충실한 프로덕트 시스템이 힐버트 모듈러에 대해 연속적이고 충실하며 비퇴화된 표현을 갖는다는 것을 증명한다. 핵심 기여는 오른쪽 확장의 방법을 사용한 구성적 증명으로, 아르베송의 힐버트 공간에 대한 결과를 더 일반적인 힐버트 모듈러의 설정으로 확장하고, 이를 통해 (반)충실한 CP-반군에 대한 기본 확장의 존재를 증명하는 데 응용한다.

ABSTRACT

We show that every (continuous) faithful product system admits a (continuous) faithful nondegenerate representation. For Hilbert spaces this is equivalent to Arveson's result that every Arveson system comes from an E_0-semigroup. We point out that for Hilbert modules this is not so. As applications we show a C*-algebra version of a result for von Neumann algebras due to Arveson and Kishimoto, and a result about existence of elementary dilations for (semi-)faithful CP-semigroups.

연구 동기 및 목표

• von Neumann 대수 위의 연속적 프로덕트 시스템(즉, 아르베송 시스템)에 대한 아르베송의 결과를 C*-대수 위의 힐버트 모듈러 설정으로 확장한다.
• 연속적이고 충실하며 비퇴화된 표현이 존재함을 증명한다.
• 표현 결과를 응용하여, 유일한 C*-대수 위의 (반)충실한 CP-반군에 대해 기본 확장의 존재를 증명한다.
• 특히 연속적 섹션과 강한 연속성의 맥락에서, 프로덕트 시스템, 오른쪽 확장, 표현 간의 관계를 명확히 한다.

제안 방법

• 연속적이고 충실한 프로덕트 시스템을 힐버트 모듈러 H로 오른쪽 확장함으로써, 가족 {w_t: E_t ⊙ H → H}의 이중선형 유니터리 w_t를 구성한다.
• 오른쪽 확장을 통해 η^w_t: E_t → B(H)의 표현을 정의한다. 이는 η^w_t(x_t)h = w_t(x_t ⊙ h)로 주어지며, 비퇴화성과 충실성을 보장한다.
• 정리 2.9(연속적이고 충실한 프로덕트 시스템에 대한 연속적 오른쪽 확장의 존재)를 적용하여, 프로덕트 시스템이 강한 연속성을 갖는 경우 결과 표현의 강한 연속성을 확보한다.
• CP-반군과 단위를 갖는 프로덕트 시스템 간의 대응관계(비하-스키드 구축을 통함)를 활용하여 표현 결과를 확장 이론과 연결한다.
• 표현 η^w를 사용하여, 단위 ξ^•에 대해 c_t = η^w_t(ξ_t)의 반군을 정의함으로써, CP-반군 T_t(b) = ⟨ξ_t, bξ_t⟩의 기본 확장을 구성한다.
• 스키드(2009c)의 연속적 왼쪽 확장에 관한 결과를 활용하여, 이 프레임워크를 σ-유니탈 C*-대수와 가산 생성 힐버트 모듈러로 확장한다.

실험 결과

연구 질문

• RQ1 모든 연속적이고 충실한 힐버트 C*-모듈러 프로덕트 시스템은 유일한 C*-대수 위에서 연속적이고 충실하며 비퇴화된 표현을 갖는가?
• RQ2 이러한 표현의 존재는 (반)충실한 CP-반군에 대한 기본 확장을 구성하는 데 사용될 수 있는가?
• RQ3 힐버트 모듈러 설정에서 프로덕트 시스템의 표현 이론은 힐버트 공간(아르베송 시스템)의 경우와 어떻게 다를까?
• RQ4 연속적 프로덕트 시스템이 힐버트 모듈러로 연속적인 오른쪽 확장을 갖기 위한 조건은 무엇인가?

주요 결과

• 모든 연속적이고 충실한 프로덕트 시스템은 유일한 C*-대수 위에서 연속적이고 충실하며 비퇴화된 표현을 갖는다.
• 이러한 표현의 존재는 프로덕트 시스템이 힐버트 모듈러로 연속적인 오른쪽 확장을 갖는 것과 동치이다.
• 모든 (반)충실하고 강한 연속성을 갖는 CP-반군은 어떤 힐버트 공간 H에 대해 B(H)로 연속적인 기본 확장을 갖는다.
• 표현의 구성은 연속적인 오른쪽 확장의 존재에 의존하며, 이는 프로덕트 시스템이 연속적일 때이고 대수가 σ-유니탈이거나 모듈러가 가산 생성일 경우 보장된다.
• 이 결과는 아르베송의 E_0-반군에 대한 정리의 일반화로서, 이 맥락에서 프로덕트 시스템의 표현 이론이 더 풍부하다는 것을 보여준다.
• 유니터리 확장과 비하-스키드 구축을 통한 CP-반군에서 프로덕트 시스템으로의 이론적 접근은 비가환 동역학에서의 확장 이론을 위한 통합적 프레임워크를 제공한다.