[논문 리뷰] Partial dynamical systems and C*-algebras generated by partial isometries

Ruy Exel, Marcelo Laca외 1명|arXiv (Cornell University)|1997. 12. 18.

Advanced Operator Algebra Research참고 문헌 20인용 수 126

한 줄 요약

이 논문은 부분 등장사상으로 생성된 C*-대수를 분석하기 위한 통합 프레임워크를 수립한다. 이는 아벨 C*-대수의 부분군 작용을 통한 축소된 교차곱으로 이를 실현함으로써 이루어지며, 이러한 C*-대수의 표현의 충실성, 단순성, 아이디얼 구조가 기저가 되는 부분 작용의 위상적 자유성과 애매성에 의해 결정됨을 증명한다. 이 이론을 부분군 표현, 준격자주순서군의 토플리츠 대수, 쿤츠-크리거 대수에 적용한다.

ABSTRACT

A collection of partial isometries whose range and initial projections satisfy a specified set of conditions often gives rise to a partial representation of a group. The C*-algebra generated by the partial isometries is thus a quotient of the universal C*-algebra for partial representations of the group, from which it inherits a crossed product structure, of an abelian C*-algebra by a partial action of the group. Questions of faithfulness of representations, simplicity, and ideal structure of these C*-algebras can then be addressed in a unified manner from within the theory of partial actions. We do this here, focusing on two key properties of partial dynamical systems, namely amenability and topological freeness; they are the essential ingredients of our main results in which we characterize faithful representations, simplicity and the ideal structure of crossed products. As applications we consider three situations involving C*-algebras generated by partial isometries: partial representations of groups, Toeplitz algebras of quasi-lattice ordered groups, and Cuntz-Krieger algebras. These C*-algebras share a crossed product structure which we give here explicitly and which we use to study them in terms of the underlying partial actions.

연구 동기 및 목표

• 부분 작용을 이용하여 부분 등장사상으로 생성된 C*-대수에 대한 일반 이론을 개발한다.
• 기저가 되는 부분 동역계의 성질을 통해 이러한 C*-대수의 충실한 표현, 단순성, 아이디얼 구조를 특징짓는다.
• 이 이론을 세 가지 핵심 클래스에 적용한다: 부분군 표현, 준격자주순서군의 토플리츠 대수, 쿤츠-크리거 대수.
• 이러한 C*-대수들의 명시적 교차곱 실현을 제공하여, 부분 작용 이론을 통한 구조 분석을 가능하게 한다.

제안 방법

• 주어진 부분 표현에 대해 군의 부분 작용에 의한 아벨 C*-대수의 교차곱으로 군의 보편 C*-대수를 구성한다.
• 부분 등장사상 간의 주어진 관계에 따라 아벨 C*-대수의 스펙트럼을 명시적으로 정의한다.
• 국소적으로 컴act한 하우스도르프 공간 위의 부분 작용에 대해 위상적 자유성을 도입하고 분석하며, 축소된 교차곱의 아이디얼이 아벨 대수와 비자명하게 만날 수 있음을 보인다.
• 작용이 위상적으로 자유롭고 근사 성질을 갖는 경우, 교차곱의 아이디얼과 부분 작용에 대한 불변 아이디얼 사이에 일대일 대응이 성립함을 확립한다.
• 근사 성질을 이용해 애매성을 보장함으로써, 전체 교차곱과 축소된 교차곱이 일치함을 암시한다.
• 적절한 공간 위에서 명시적인 부분 작용을 구성함으로써, 세 가지 구체적 사례인 부분군 표현, 일반화된 토플리츠 대수, 쿤츠-크리거 대수에 이 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 C*-대수의 부분 등장사상으로 생성된 표현이 언제 충실한가?
• RQ2 어떤 조건에서 기저가 되는 부분 작용이 관련 교차곱의 단순성을 보장하는가?
• RQ3 교차곱의 아이디얼은 기저가 되는 동역계의 불변 아이디얼과 어떻게 관련되는가?
• RQ4 축소된 교차곱이 전체 교차곱과 일치하는 조건은 무엇인가?
• RQ5 쿤츠-크리거 고유성 정리는 부분 작용의 일반 원리로부터 어떻게 도출될 수 있는가?

주요 결과

• 위상적으로 자유로운 부분 작용에 의한 C*-대수의 축소 교차곱의 표현이 충실한지 여부는 아벨 C*-대수 위에서의 충실성과 동치이다.
• 부분 작용이 위상적으로 자유롭고 근사 성질을 만족할 경우, 축소 교차곱은 단순하다.
• 닫힌 불변 부분집합에서 근사 성질과 위상적 자유성을 갖는 부분 작용에 대해, 교차곱의 아이디얼은 불변 아이디얼과 일대일 대응된다.
• 이산군의 부분 표현을 통한 표준 부분 작용은 군이 무한일 때에만 위상적으로 자유롭다.
• 준격자주순서군의 토플리츠 C*-대수는 위상적으로 자유로운 부분 작용에 의한 교차곱과 동형이므로, 표현이 충실한지 여부는 대각선에서의 충실성과 동치이다.
• 쿤츠-크리거 대수 $\mathcal{O}_A$는 $n$개의 생성자를 갖는 자유군 위의 부분 작용에 의한 교차곱과 동형이며, 쿤츠와 크리거의 조건 (I)은 부분 작용의 위상적 자유성과 동치이며, 이는 충실성 기준을 통해 쿤츠-크리거 고유성 정리를 암시한다.