[논문 리뷰] Stability of C^*-algebra associated with the twisted CCR

Daniil Proskurin, Yu. S. Samoĭlenko|ArXiv.org|2001. 12. 27.

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

한 줄 요약

이 논문은 임의의 μ ∈ (−1, 1)에 대해 비틀린 캐논리컬 교환관계(TCCR)와 관련된 보편 C*-대수 Aμ가 특정 관계를 만족하는 부분 등위성사들에 의해 생성되는 C*-대수와 동형임을 증명한다. 또한 이 대수의 포크 표현이 충실함을 보이며, 전체 매개변수 범위에서 TCCR C*-대수의 완전한 구조적 및 표현 이론적 특성화를 제공한다.

ABSTRACT

The $C^*$-algebra associated with the twisted CCR constructed by W. Pusz and S.L. Woronowicz is considered. It is proved that the $C^*$-algebras corresponding to different values of parameter $0<=μ<1$ are isomorphic. It is proved that Fock representation is faithful on both *-algebra and $C^*$-algebra levels.

연구 동기 및 목표

• 비틀린 캐논리컬 교환관계(TCCR)에 대해 μ ∈ (−1,1)일 때 보편 C*-대수 Aμ의 구조를 규명하는 것.
• Aμ와 부분 등위성사들에 의해 생성되는 특정 관계를 만족하는 C*-대수 A0 사이의 동형성을 확립하는 것.
• Aμ의 포크 표현이 충실함을 증명하여 대수적 구조를 완전히 반영함을 보장하는 것.

제안 방법

• Aμ의 생성자들에 대한 극분해를 구성하고, 귀납적 절차를 통해 부분 등위성사 {t̂i}의 집합을 정의하는 것.
• 부분 등위성사 {t̂i}가 t̂i*tj = δij(1 − ∑k<i t̂k t̂k*)를 만족하고, i ≠ j일 때 t̂j t̂i = 0임을 증명하는 것.
• C*-대수의 보편 성질을 이용하여 A0와 Aμ 사이의 전사 준동형사상을 정의하고, 상호 역원임을 보여 동형성을 증명하는 것.
• l2(ℕ) 위의 단방향 이동연산자 S를 포함하는 텐서곱 분해를 이용해 A0의 기약 표현을 분석하는 것.
• 포크 표현 C*-대수에서 A0의 임의의 기약 표현 C*-대수로의 준동형사를 정의하고, 제약과 텐서곱 구조를 통해 충실성을 증명하는 것.
• C*(S,S*) ≅ T(C(𝕋))의 핵심성(핵심성)을 활용하여 C*-대수의 텐서곱 사이에 필요한 준동형사를 정의하는 것.

실험 결과

연구 질문

• RQ1 모든 μ ∈ (−1,1)에 대해 비틀린 CCR C*-대수 Aμ의 보편 C*-대수는 더 단순한 C*-대수와 동형인가?
• RQ2 Aμ의 포크 표현은 전체 매개변수 범위 μ ∈ (−1,1)에서 충실한가?
• RQ3 Aμ의 구조는 μ에 독립적인 표준 관계를 만족하는 부분 등위성사들을 통해 완전히 기술될 수 있는가?
• RQ4 A0의 기약 표현은 C*-대수의 임베딩 관점에서 포크 표현과 어떻게 관련되는가?

주요 결과

• 모든 μ ∈ (−1,1)에 대해 C*-대수 Aμ는 부분 등위성사들 t̂i가 t̂i*tj = δij(1 − ∑k<i t̂k t̂k*)를 만족하고, i ≠ j일 때 t̂j t̂i = 0임을 만족하는 보편 C*-대수 A0와 동형이다.
• Aμ의 포크 표현은 충실하다. 즉, Aμ를 힐버트 공간 위의 유계 연산자로 단사적으로 매핑한다.
• 극분해와 부분 등위성사들의 귀납적 정의를 통해 명시적인 준동형사를 구성함으로써 Aμ와 A0 사이의 동형성이 확립된다.
• A0의 기약 표현은 이동연산자와 사영의 텐서곱을 통해 분류되며, 포크 표현은 j = d인 경우에 해당한다.
• 포크 표현의 충실성은 Fock C*-대수에서 임의의 기약 표현 C*-대수로의 C*-대수 준동형사를 구성함으로써 증명되며, 이에 따라 핵이 자명함을 보인다.
• A0의 구조는 단방향 이동연산자 S와 사영을 이용한 균일한 표현 기술을 가능하게 하며, 충실성에 필요한 준동형사를 구성하는 데 기여한다.