[논문 리뷰] Cuntz-like algebras

Jean Renault|ArXiv.org|1999. 05. 29.

Advanced Operator Algebra Research참고 문헌 12인용 수 46

한 줄 요약

이 논문은 국소적 위상동형사상에 의해 정의되는 단일 생성자인 가짜군으로부터 유도되는 군궤적 C*-대수로서 Cuntz 유사 C*-대수를 제안한다. 이는 무한 행렬에 대한 Cuntz-Krieger 대수를 일반화한다. 동역학적 조건 하에서 이러한 대수들이 핵심적이고 단순하거나 순수 무한한 성질을 갖는 것으로 입증하였으며, 위상동역학과 군궤적 기법을 통해 그래프 대수와 Exel-Laca 대수를 통합적인 프레임워크로 다룬다.

ABSTRACT

The usual crossed product construction which associates to the homeomorphism $T$ of the locally compact space $X$ the C$^*$-algebra $C^*(X,T)$ is extended to the case of a partial local homeomorphism $T$. For example, the Cuntz-Krieger algebras are the C$^*$-algebras of the one-sided Markov shifts. The generalizations of the Cuntz-Krieger algebras (graph algebras, algebras $O_A$ where $A$ is an infinite matrix) which have been introduced recently can also be described as C$^*$-algebras of Markov chains with countably many states. This is useful to obtain such properties of these algebras as nuclearity, simplicity or pure infiniteness. One also gives examples of strong Morita equivalences arising from dynamical systems equivalences.

연구 동기 및 목표

• 전역적 동형사상에서 국소적 국소적 동형사상으로 교차곱 생성을 확장하여 더 넓은 범주의 C*-대수를 가능하게 한다.
• 무한 행렬에 대한 Cuntz-Krieger 대수, 그래프 대수 및 관련 일반화를 하나의 동역학적 프레임워크 안에서 통합적으로 기술한다.
• 위상군궤적 기법과 동역학계 성질을 이용하여 이러한 대수들의 핵심성, 단순성 및 순수 무한성을 확립한다.
• 특히 이동 동치를 통한 동역학계 동치로부터 유도되는 강한 Morita 동치를 통해 이러한 C*-대수 간의 강한 Morita 동치를 나타낸다.
• Exel과 Laca의 무한 (0,1)-행렬에 관련된 C*-대수의 군궤적 이론적 실현을 제공하여 그 구조와 유일성을 명확히 한다.

제안 방법

• 위상공간 X 위의 국소적 국소적 동형사상 T에 의해 단일 생성자 가짜군을 정의하고, G(X,T)로 표기하는 전체 가짜군을 생성한다.
• G = Germ(X, G(X,T))로 군궤적을 구성하며, 이는 본질적으로 주목적적이고 국소적으로 컴act하며 하우스도르프인 군궤적이다.
• G의 군궤적 C*-대수로서 C*(X,T)를 표준적 군궤적 이론적 구성법을 사용해 관련 대수를 부여한다.
• 군궤적의 애매성과 본질적 주목적성 조건을 이용해 기존 결과(예: [22]의 정리 4.3)를 통해 핵심성과 유일성 정리를 도출한다.
• 불가약성 및 (L) 조건(모든 고리가 외부 간선을 가짐)과 같은 동역학적 조건을 적용하여 단순성과 순수 무한성을 특성화한다.
• 이동 동치로부터 유도된 군궤적 동치로부터 유도되는 강한 Morita 동치를 통해 C*-대수 간의 동형을 설정한다.

실험 결과

연구 질문

• RQ1 국소적 동형사상 T에 대한 위상동역학을 통해 Cuntz-Krieger 대수의 구성법을 무한 행렬과 그래프 대수로 일반화할 수 있는가?
• RQ2 국소적 동형사상 T에 대한 어떤 동역학적 조건이 관련 C*-대수 C*(X,T)의 단순성 또는 순수 무한성 보장하는가?
• RQ3 C*-대수의 스펙트럼과 기저 이동 공간 사이의 정확한 관계는 무엇인가, 특히 점 (∅;∅) 에서의 관계는 어떻게 되는가?
• RQ4 이동 동치와 같은 동역학적 동치로부터 C*-대수 간의 강한 Morita 동치가 어떻게 유도되는가?
• RQ5 C*-대수 C*(X,T)가 어떤 경우에 unital C*-대수 O_A 또는 그 비-unital 형태와 일치하는가?

주요 결과

• 행렬 A가 영행을 갖지 않으며 ∅ ∉ J_A 이면, C*(X_A, T_A)는 Cuntz-Krieger 대수 O_A 와 동형이며, ∅ ∈ J_A 이면 X_A ∖ {(∅;∅)} 에서 제한된 경우 O_A 와 동형이다.
• A가 불가약하고 (L) 조건을 만족하면, C*(X_A, T_A)는 단순하다. 이는 관련 군궤적이 본질적으로 자유이고 시스템이 위상적으로 전이적이기 때문이다.
• A가 (L) 조건을 만족하고 모든 정점가 고리에 외부 간선이 있다면, C*(X_A, T_A)는 순수 무한하다. 이는 모든 비어 있지 않은 열린 집합이 T에 대한 반복적 이미지가 그 이미지의 진부분집합이 되는 부분집합을 포함하기 때문이다.
• Cuntz-Krieger 관계 (CK1–CK4)를 만족하는 힐베르트 공간 위의 C*(X_A, T_A)의 표현은 충실한 것으로, 생성자를 유지하는 동형에 의한 C*-대수의 유일성을 보장한다.
• 관련 군궤적이 애매성이면 C*(X_A, T_A)는 핵심적이다. 이는 (L) 조건과 불가약성 조건을 만족할 경우 성립한다.
• C*(X_A, T_A)와 C*(X_B, T_B) 사이의 강한 Morita 동치는 기저 동역학계 간의 이동 동치로부터 유도된 군궤적 동치로부터 유도된다.