[논문 리뷰] Representations of C*-dynamical systems implemented by Cuntz families

Evgenios T. A. Kakariadis, Justin R. Peters|arXiv (Cornell University)|2012. 12. 22.

Advanced Operator Algebra Research참고 문헌 35인용 수 22

한 줄 요약

이 논문은 Cuntz 가족의 표현을 통한 C*-동역학계 $(A,\alpha)$ 와 관련된 비자기수반 연산자 대수 $A_{\text{nd}}\times_{\alpha}^{t}\mathcal{T}_{n}^{\!+}$ 를 조사하며, $A_{\text{nd}}\times_{\alpha}^{t}\mathcal{T}_{n}^{\!+}$ 의 C*-환경이 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 의 풀코너임을 규명한다. 이는 $n>1$ 일 때 Stacey 의 결과에 대한 비자기수반 대체 결과를 제공한다. 연구는 핵심적 간극을 메우며, Stacey 의 교차곱셈 대수에서 휘어진 교차곱셈으로의 표준 $*$-상사형이 $n>1$ 이고 $\alpha$ 가 자명사상이 아닐 때 단사적이지 않음을 보여준다.

ABSTRACT

Given a dynamical system $(A,\al)$ where $A$ is a unital $\ca$-algebra and $\al$ is a (possibly non-unital) *-endomorphism of $A$, we examine families $(π,\{T_i\})$ such that $π$ is a representation of $A$, $\{T_i\}$ is a Toeplitz-Cuntz family and a covariance relation holds. We compute a variety of non-selfadjoint operator algebras that depend on the choice of the covariance relation, along with the smallest $\ca$-algebra they generate, namely the $\ca$-envelope. We then relate each occurrence of the $\ca$-envelope to (a full corner of) an appropriate twisted crossed product. We provide a counterexample to show the extent of this variety. In the context of $\ca$-algebras, these results can be interpreted as analogues of Stacey's famous result, for non-automorphic systems and $n>1$. Our study involves also the one variable generalized crossed products of Stacey and Exel. In particular, we refine a result that appears in the pioneering paper of Exel on (what is now known as) Exel systems.

연구 동기 및 목표

• Stacey 의 다중성-$n$ 교차곱셈 결과를 $n>1$ 일 때 비자기수반 $*$-자명사상으로 확장하여, 원래의 동형사상이 실패하는 경우를 다루는 것.
• 대칭관계를 만족하는 $A$ 와 토플리츠-Cuntz 가족의 표현으로 생성된 비자기수반 연산자 대수의 C*-환경을 연구하는 것.
• 비자기수반 경우에 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 와 같은 풀코너를 통한 휘어진 교차곱셈과 C*-환경을 연결하는 것.
• 유니버설 C*-대수 $A\times_{\alpha}^{n}\mathbb{N}$ 와 비자기수반 대수 $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 의 C*-환경 간의 차이를 명확히 하여, 이들이 동형이 아니라는 것을 보여주는 것.

제안 방법

• Cuntz 가족 $\{T_i\}$ 와 $A$ 의 표현 $\pi$ 를 포함한 공유관계를 만족하는 유니버설 대수로 두 개의 비자기수반 연산자 대수 $A_{\text{nd}}\times_{\alpha}^{t}\mathcal{T}_{n}^{\!+}$ 와 $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 를 정의한다.
• Arveson 의 C*-환경 프로그램을 활용하여 이러한 비자기수반 대수에 의해 생성되는 최소 C*-대수를 규명한다.
• Stacey 의 유니버설 C*-대수 $A\times_{\alpha}^{n}\mathbb{N}$ 에서 휘어진 교차곱셈 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 로의 표준 $*$-상사형을 구성하고, 반례를 통해 $n>1$ 이고 $\alpha$ 가 자명사상이 아닐 때 단사적이지 않음을 보인다.
• $A_{\text{nd}}\times_{\alpha}^{t}\mathcal{T}_{n}^{\!+}$ 의 C*-환경이 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 의 풀코너임을 보여주며, Stacey 의 결과를 비자기수반 시스템으로 일반화한다.
• $\ell^1$-밀도 부분대수 $\ell^1(A,\alpha,\mathbb{F}_n^+)$ 에서의 푸리에 변환을 사용하여, $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 로의 통합이 완전 수축적이지만 완전 등거리가 아님을 보인다.
• 이deal 구조와 Šilov ideal 을 분석하여 C*-환경이 최소이며, 비자기수반 대수를 등거리적으로 반영한다는 것을 확인한다.

실험 결과

연구 질문

• RQ1 C*-동역학계 $\alpha$ 가 자명사상이 아니고 $n>1$ 일 때, Stacey 의 교차곱셈 $A\times_{\alpha}^{n}\mathbb{N}$ 에서 휘어진 교차곱셈 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 로의 표준 $*$-상사형이 단사적일까?
• RQ2 $A_{\text{nd}}\times_{\alpha}^{t}\mathcal{T}_{n}^{\!+}$ 의 C*-환경이 휘어진 교차곱셈의 풀코너로 표현될 수 있을까?
• RQ3 $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 의 C*-환경이 Stacey 의 유니버설 C*-대수 $A\times_{\alpha}^{n}\mathbb{N}$ 와 일치할까?
• RQ4 $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 가 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 로의 표준 통합이 완전 등거리일까?
• RQ5 $\ell^1$-밀도 부분대수 $\ell^1(A,\alpha,\mathbb{F}_n^+)$ 와 $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 의 C*-환경 간의 관계는 무엇인가?

주요 결과

• $A_{\text{nd}}\times_{\alpha}^{t}\mathcal{T}_{n}^{\!+}$ 의 C*-환경은 휘어진 교차곱셈 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 의 풀코너와 동형이며, 이는 $n>1$ 일 때 Stacey 의 결과에 대한 비자기수반 일반화를 제공한다.
• $n>1$ 이고 $\alpha$ 가 자명사상이 아닐 때, 표준 $*$-상사형 $A\times_{\alpha}^{n}\mathbb{N} \to A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 는 반례를 통해 단사적이지 않음을 보였다. 이는 $S_1^*S_1S_2$ 가 영이 아님을 통해 확인된다.
• $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 의 C*-환경은 $A\times_{\alpha}^{n}\mathbb{N}$ 와 동형이며, 이는 유니버설 C*-대수가 비자기수반 대수에 의해 생성되는 최소 C*-대수임을 확인한다.
• $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 가 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 로의 표준 통합은 완전 수축적이지만 완전 등거리가 아니며, 이는 C*-환경이 이미지보다 엄밀히 작다는 것을 의미한다.
• $\ell^1$-밀도 부분대수 $\ell^1(A,\alpha,\mathbb{F}_n^+)$ 는 푸리에 변환을 가지며, $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 로 단사적으로 통합되지만, 이 통합은 완전 등거리가 아니다.
• $A_{\text{nd}}\times_{\alpha}^{t}\mathcal{T}_{n}^{\!+}$ 와 $A_{\text{nd}}\times_{\alpha}\mathcal{T}_{n}^{\!+}$ 의 C*-환경은 서로 동형이 아니며, 첫 번째 경우는 $A_{\infty}\rtimes_{\alpha_{\infty}}\mathcal{O}_{n}$ 에서 풀코너를 가지지만 두 번째 경우는 그렇지 않다.