[논문 리뷰] Semicrossed products of C*-algebras and their C*-envelopes

Evgenios T. A. Kakariadis|arXiv (Cornell University)|2011. 02. 10.

Advanced Operator Algebra Research참고 문헌 32인용 수 9

한 줄 요약

이 논문은 C*-대수에 대한 단위 *-환원사상에 의한 반교차곱(product)의 C*-환경은 (전체 모서리의) 교차곱임을 규명한다. 환원사상이 *-단사일 경우, 이러한 모든 반교차곱들은 동일한 C*-환경을 공유하며, 이는 직접극한체계의 교차곱으로서 식별된다. 이는 페터스의 이전 결과를 일반화하고, 비가환 및 비자기적 설정으로 이론을 확장한다.

ABSTRACT

Let $\mathcal{C}$ be a C*-algebra and $α:\mathcal{C} ightarrow \mathcal{C}$ a unital *-endomorphism. There is a natural way to construct operator algebras which are called semicrossed products, using a convolution induced by the action of $α$ on $\mathcal{C}$. We show that the C*-envelope of a semicrossed product is (a full corner of) a crossed product. As a consequence, we get that, when $α$ is *-injective, the semicrossed products are completely isometrically isomorphic and share the same C*-envelope, the crossed product $\mathcal{C}_\infty times_{α_\infty} \mathbb{Z}$. We show that minimality of the dynamical system $(\mathcal{C},α)$ is equivalent to non-existence of non-trivial Fourier invariant ideals in the C*-envelope. We get sharper results for commutative dynamical systems.

연구 동기 및 목표

• 반교차곱의 C*-환경을 C*-대수와 단위 *-환원사상으로부터 유도하는 것.
• 다른 반교차곱들이 완전히 등거리 등조화적 동형이며 동일한 C*-환경을 공유하는 조건을 규명하는 것.
• C*-환경 내에서 비자명한 푸리에-불변 아이디얼이 존재하지 않는 조건을 통해 동적계의 최소성 조건을 기술하는 것.
• 기존의 C*-환경 이론을 가환 C*-대수에서 비가환 C*-대수로 확장하는 것, 특히 *-단사성 조건 하에서의 일반화.

제안 방법

• 등거리 승수와 환원사상의 작용을 연결하는 공변관계를 이용해 반교차곱을 구성한다.
• C*-환경을 최소 C*-커버로 간주하고, 실리브 경계 아이디얼을 이용해 환경을 식별한다.
• 직접극한 구성법을 통해 시스템 $({\mathcal{C}}_\infty, \alpha_\infty)$를 정의하고, $\alpha$가 *-단사일 경우 그 교차곱이 C*-환경임을 보인다.
• 문제를 스펙트럼 $\widehat{{\mathcal{C}}}$와 위상적 자유성 분석으로 환원하며, 특히 가환 경우를 중심으로 다룬다.
• 동적계의 최소성과 C*-환경 내 비자명한 푸리에-불변 아이디얼의 부재 사이의 동치성을 확립한다.
• 위상다이나믹스의 결과, 특히 고정점이 아닌 점들의 조밀성 등을 적용하여 단순성과 최소성 조건을 기술한다.

실험 결과

연구 질문

• RQ1 C*-대수에서 단위 *-환원사상에 의해 유도된 반교차곱의 C*-환경은 무엇인가?
• RQ2 다른 반교차곱들이 완전히 등거리 등조화적 동형이며 동일한 C*-환경을 공유하는 조건은 무엇인가?
• RQ3 동적계 $({\mathcal{C}}, \alpha)$의 최소성은 그 C*-환경의 아이디얼 구조와 어떻게 관련되는가?
• RQ4 가환 C*-대수에서의 최소성 및 단순성 특성은 스펙트럼이 하우스도르프 공간인 비가환 C*-대수로 어떻게 일반화될 수 있는가?

주요 결과

• 모든 반교차곱의 C*-환경은 (전체 모서리의) 교차곱이며, 이는 보편적 기술을 제공한다.
• $\alpha$가 *-단사일 경우, 모든 반교차곱은 완전히 등거리 등조화적 동형이며 동일한 C*-환경을 공유하며, 이는 교차곱 ${\mathcal{C}}_\infty \rtimes_{\alpha_\infty} \mathbb{Z}$로 표현된다.
• 동적계 $({\mathcal{C}}, \alpha)$의 최소성은 C*-환경 내 비자명한 푸리에-불변 아이디얼이 존재하지 않는 것과 동치이다.
• 가환 시스템의 경우, C*-환경의 단순성은 스펙트럼 상의 시스템이 최소이면서 위상적으로 자유롭다는 것을 의미하며, 이는 스펙트럼이 무한함을 뜻한다.
• 가환 경우에선 네 가지 표준 반교차곱이 모두 완전히 등거리 등조화적 동형이며 동일한 C*-환경 $\mathrm{C}(\widetilde{X}) \rtimes_{\tilde{\phi}} \mathbb{Z}$를 공유한다.
• C*-환경이 단순함은 그에 대응하는 스펙트럼 상의 시스템이 최소이면서 위상적으로 자유로워야 하며, 이는 스펙트럼이 무한함을 뜻한다.