[논문 리뷰] On the commutant of $C(X)$ in $C^*$-crossed products by $\mathbb{Z}$ and their representations

Christian Svensson, Jun Tomiyama|arXiv (Cornell University)|2008. 07. 18.

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

한 줄 요약

이 논문은 $\mathbb{Z}$에 의한 $C^*$-크로스드 프로덕트에서 $C(X)$의 커플랑트에 대한 상세한 분석을 제공하며, 커플랑트와 그 스펙트럼의 구체적인 기술을 수립하고, 기저가 되는 동역계에 관계없이 모든 비영인 이상이(폐쇄되거나 안 되든) 항상 교차함을 증명한다. 주요 결과로는 $C(X)^\prime$가 항상 최대의 교환 $C^*$-부분대수이자 보편적인 이상 교차 성질을 지닌다.

ABSTRACT

For the $C^*$-crossed product $C^*(Σ)$ associated with an arbitrary topological dynamical system $Σ= (X, σ)$, we provide a detailed analysis of the commutant, in $C^* (Σ)$, of $C(X)$ and the commutant of the image of $C(X)$ under an arbitrary Hilbert space representation $ ildeπ$ of $C^* (Σ)$. In particular, we give a concrete description of these commutants, and also determine their spectra. We show that, regardless of the system $Σ$, the commutant of $C(X)$ has non-zero intersection with every non-zero, not necessarily closed or self-adjoint, ideal of $C^* (Σ)$. We also show that the corresponding statement holds true for the commutant of $ ildeπ(C(X))$ under the assumption that a certain family of pure states of $ ildeπ(C^* (Σ))$ is total. Furthermore we establish that, if $C(X) \subsetneq C(X)'$, there exist both a $C^*$-subalgebra properly between $C(X)$ and $C(X)'$ which has the aforementioned intersection property, and such a $C^*$-subalgebra which does not have this property. We also discuss existence of a projection of norm one from $C^*(Σ)$ onto the commutant of $C(X)$.

연구 동기 및 목표

• 임의의 위상 동역계 $\Sigma = (X,\sigma)$에 대해 $C^*(\Sigma)$에서 $C(X)'$의 구체적인 기술을 제공한다.
• C(X)'의 스펙트럼을 규명하고, 그것이 캐논컬 유니터리 $\delta$의 작용에 관해 불변임을 보여준다.
• C(X)'의 이상 교차 성질과 그 표현을 연구하며, 특히 순수 상태와 비폐쇄 이상과의 관계를 다룬다.
• C(X)와 $C(X)'$ 사이의 중간 $C^*$-부분대수를 검토하고, 이상 교차 성질을 지닌 것들을 특성화한다.
• C(X)'에 대한 노름이 1인 사영이 존재하는 조건을 확립하고, 그 존재 시에 그 사영이 충실함을 증명한다.

제안 방법

• 순수 상태 $\varphi_{y,t}$에 대응하는 불가약 표현 $\tilde{\pi}_{y,t}$와 GNS 구성법을 사용하여 커플랑트를 분석한다.
• 주기 시스템에서 주기가 $q$일 경우, $C(X)'$를 $a \in C^*(\Sigma)$이면서 $q \nmid j$일 때마다 $a(j) = 0$인 원소들의 집합으로 명시적으로 기술한다.
• 자동형사상 $\operatorname{Ad}\delta$와 $\operatorname{Ad}\delta^*$를 적용하여 $C(X)'$와 그 스펙트럼이 쌍대 작용에 대해 불변임을 보인다.
• 순수 상태의 전체 가족 $\Phi$를 사용하여, $C(X)'$가 비폐쇄인 이상을 포함한 모든 비영인 이상과도 교차함을 증명한다.
• 대수적 부분공간 위에 노름 감소 선형 사상 $E_0$를 구성하고, 연속성에 의해 $C(X)'$ 위로 노름이 1인 사영으로 확장한다.
• 주기 시스템에서 순수 상태 확장의 유일성에 의해, 노름이 1인 사영의 유일성과 충실성을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 위상 동역계 $\Sigma = (X,\sigma)$에 대해 $C^*(\Sigma)$에서 커플랑트 $C(X)'$의 정확한 구조는 무엇인가?
• RQ2 비폐쇄 또는 자기수반일 필요 없이, $C^*(\Sigma)$의 모든 비영인 이상과 $C(X)'$가 교차하는가?
• RQ3 노름이 1인 사영이 $C^*(\Sigma)$에서 $C(X)'$로 존재하는 조건은 무엇인가?
• RQ4 C(X) \subset B \subset C(X)'를 만족하는 중간 $C^*$-부분대수 $B$는 이상 교차 성질과 어떻게 관련되는가?
• RQ5 C(X)'의 스펙트럼과 $X$에서의 $\sigma$의 역학 사이의 관계는 무엇인가?

주요 결과

• C(X)'는 $C^*(\Sigma)$의 교환 $C^*$-부분대수이며, $\operatorname{Ad}\delta$와 $\operatorname{Ad}\delta^*$에 관해 불변이며, 그 스펙트럼은 주기점에서의 $\sigma$-불변 측도 공간과 위상동형이다.
• C(X)'는 비폐쇄 또는 자기수반일 필요 없이, $C^*(\Sigma)$의 모든 비영인 이상과 교차한다. 이는 시스템 $\Sigma$에 관계없이 항상 성립한다.
• 만약 $C(X)^\prime$가 $C(X)$보다 엄밀히 크다면, $C(X) \subsetneq B_1 \subsetneq C(X)^\prime$와 $C(X) \subsetneq B_2 \subsetneq C(X)^\prime$를 만족하는 중간 $C^*$-부분대수 $B_1$, $B_2$가 존재하며, 이 중 $B_1$는 이상 교차 성질을 지니고 $B_2$는 그렇지 않다.
• 노름이 1인 사영이 $C^*(\Sigma)$에서 $C(X)'$로 존재하는 것은 $\operatorname{Per}_k(\sigma)^0$가 모든 양의 정수 $k$에 대해 닫혀 있을 때이고, 이 경우 사영은 유일하고 충실하다.
• 주기 시스템 $\Sigma = \operatorname{Per}_q(\sigma)$에 대해, 유일한 노름이 1인 사영 $E_0$가 존재하며, 이는 $q$-주기 성분에 대한 평균화를 통해 명시적으로 구성된다.
• C(X)'의 스펙트럼은 $y \in \operatorname{Per}_q(\sigma)$인 순수 상태 $\varphi_{y,t}$의 집합과 위상동형이며, $\delta$의 작용은 이 스펙트럼 위에서 위상동형을 유도한다.