[논문 리뷰] Rank-two graphs whose C^*-algebras are direct limits of circle algebras

David Pask, Iain Raeburn외 2명|ArXiv.org|2005. 12. 13.

Advanced Operator Algebra Research참고 문헌 15인용 수 7

한 줄 요약

이 논문은 C*-대수들이 원환면 대수들의 직접 극한인 AT 대수인, 랭크-2 브라텔리 다이어그램이라고 불리는 랭크-2 그래프의 클래스를 구성한다. 이는 비자명한 K₁을 가진 AT 대수의 구체적 실현을 제공한다. 이 C*-대수의 K-이론을 계산하고, 단순성과 실수-랭크 제로 조건을 특성화하며, 어떤 대수가 무리각 회전 대수와 번스-데든스 대수에 대응하는 전역 모서리(full corner)를 포함하는지 규명한다.

ABSTRACT

We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and have real-rank zero, and characterise the K-invariants achieved by such algebras. We give examples of rank-2 Bratteli diagrams whose C*-algebras contain as full corners the irrational rotation algebras and the Bunce-Deddens algebras.

연구 동기 및 목표

• C*-대수가 원환면 대수들의 직접 극한인, 즉 AT 대수인 랭크-2 그래프의 클래스를 구성한다.
• 랭크-2 브라텔리 다이어그램으로 알려진 부분군에 대해 이러한 그래프의 C*-대수의 K-이론을 계산한다.
• K-이론적 조건과 동역학적 조건을 사용하여 이러한 C*-대수가 단순하고 실수-랭크 제로일 조건을 특성화한다.
• 랭크-2 브라텔리 다이어그램에서 유래한 어떤 C*-대수가 무리각 회전 대수와 번스-데든스 대수에 대응하는 전역 모서리를 포함하는지 규명한다.
• 추가 조건 하에서 추적 단체와 원 위의 확률 측도 사이의 호메오모르피즘을 수립하고 추적 단체를 묘사한다.

제안 방법

• 파란 그래프가 비순환인 브라텔리 다이어그램이고, 빨간 그래프가 이산적인 순환들로 이루어진 2-그래프를 정의하며, 인수화 규칙을 만족시킨다.
• 유한한 직합의 행렬 대수들에 대한 C(𝕋) 위의 부분대수들의 증가하는 합집합으로 C*-대수를 구성함으로써, 이 대수가 AT 대수임을 보인다.
• 기초적인 K-이론 계산을 통해 C*-대수의 K₀와 K₁을 결정하며, K₁이 K₀에 임베딩되고 몫이 랭크 0임을 보인다.
• 가위-불변 아이디얼과 차원 군 K₀의 순서 아이디얼 사이의 전단사 사상 수립.
• 추적을 분리하는 데 필요한 '큰 순열 인수화 조건'을 도입하여 실수-랭크 제로 결과를 확보한다.
• AT 대수의 엘리엇 분류 정리를 적용하여 K-불변량을 특성화하고 실수-랭크 제로 및 단순 C*-대수를 식별한다.

실험 결과

연구 질문

• RQ1 어떤 랭크-2 그래프가 C*-대수를 원환면 대수들의 직접 극한으로 유도하는가?
• RQ2 랭크-2 브라텔리 다이어그램의 C*-대수의 K-이론은 무엇이며, 기저가 되는 그래프의 구조와 어떻게 관련되는가?
• RQ3 랭크-2 브라텔리 다이어그램의 C*-대수가 단순하고 실수-랭크 제로일 조건은 무엇인가?
• RQ4 랭크-2 브라텔리 다이어그램에서 유래한 어떤 C*-대수가 무리각 회전 대수 또는 번스-데든스 대수에 대응하는 전역 모서리를 포함하는가?
• RQ5 이러한 C*-대수의 추적 단체는 원 위의 확률 측도와 어떻게 관련되는가?

주요 결과

• 랭크-2 브라텔리 다이어그램의 C*-대수는 항상 비자명한 K₁을 가지므로, 순수하게 무한하거나 AF 대수가 아니며, 항상 AT 대수이다.
• K₀ 군은 ℤ의 직합과 동형이며, K₁은 K₀의 부분군 G와 동형이며, K₀/G는 랭크 0이다.
• 단순성의 필요충분조건은 2-그래프가 공중합성이며, 큰 순열 인수화 성질을 만족한다는 것이다.
• 모든 빨간 순환의 길이가 1이라면, 추적 단체는 원 위의 확률 측도 공간과 호메오모르픽이며, 측도에서 추적으로 가는 사상은 애फ인 연속이다.
• 관련 동역학계가 특정 조건의 조밀성과 최소성 조건을 만족할 때, C*-대수에 무리각 회전 대수에 대응하는 전역 모서리가 존재한다.
• 순환 길이의 수열이 순환 크기의 역수에 대한 합성 조건을 만족할 경우, C*-대수에 번스-데든스 대수에 대응하는 전역 모서리가 존재한다.