[논문 리뷰] AF-algebras and the tail-equivalence relation on Bratteli diagrams

R. Exel, Jean Renault|arXiv (Cornell University)|2003. 07. 16.

Advanced Operator Algebra Research참고 문헌 1인용 수 4

한 줄 요약

이 논문은 Bratteli 다이어그램의 무한 경로 상의 尾同値 관계와 같은 다이어그램으로 정의된 AF-대수 사이의 표준적 등장사상( canonical isomorphism )을 수립한다. 군oids C*-대수 기법과 경로 공간 위의 조건부 기대를 사용하여, 尾同値 관계가 약간의 적절한 등장사상 관계를 생성하며, 그에 대응하는 C*-대수는 표준적 *-환형사상에 의해 AF-대수와 등장사상함을 보여, Bratteli 다이어그램 상의 동역학계와 AF-대수의 구조를 연결한다.

ABSTRACT

Given a Bratteli diagram D we consider the compact topological space formed by all infinite paths on D. Two such path are said to be tail-equivalent when they "have the same tail", i.e. when they eventually coincide. This equivalence relation is approximately proper and hence one may consider the C*-algebra associated to it according to a procedure recently introduced by the first named author and A. Lopes. The main result of this work is the proof that this algebra is isomorphic to the AF-algebra associated to the given Bratteli diagram.

연구 동기 및 목표

• Bratteli 다이어그램의 무한 경로 상의 尾同値 관계와 그가 정의하는 AF-대수 사이의 구조적 연결 고리를 설정하는 것.
• 약간의 적절한 尾同值 관계로부터 유도된 C*-대수가 Bratteli 다이어그램의 AF-대수와 등장사상임을 보여주는 것.
• 尾同値 관계와 관련된 군oids C*-대수의 구체적 실현을 제공하고, 표준적인 AF-대수 구성과 연관시키는 것.

제안 방법

• Bratteli 다이어그램 D의 무한 경로 공간 Ω를 ∏ₙ∈ℕ Eₙ 상의 곱위상으로 정의한다. 여기서 Eₙ는 Vₙ에서 Vₙ₊₁로 가는 간선의 집합이다.
• 두 경로가 결국 일치하면 동치로 간주하는 尾同値 관계 ∼ 를 Ω 상에 도입하고, 유한한 초기 부분에 대한 동치관계 ∼ₙ 을 정의한다.
• 고정된 尾를 갖는 섬유 위에서의 평균을 사용하여, 함수를 ∼ₙ-동치류 상에서 일정한 함수로 매핑하는 조건부 기대 Eₙ: C(Ω) → C(Ω; Rₙ) 를 구성한다.
• G를 ∼ 에서 동치인 쌍 (α,β) 로 이루어진 군oids로 정의하고, 그에 대응하는 군oids C*-대수 C*(G) 를 실현하며, C(Ω) 가 C*(G) 의 부분대수로 식별된다.
• Toeplitz 대수 T(R,E) 내의 프로젝션 êₙ 과 그들의 이미지 êₙ̂ 를 C*(G) 내에서 정의하고, êₙ êₙ₊₁ = êₙ₊₁ 및 êₙ f êₙ = Eₙ(f) êₙ 를 만족함을 보인다.
• 표준적 *-환형사상 φ: T(R,E) → C*(G) 가 재료 과잉 이상의 이상으로 나누어져, 등장사상 ψ: C*(R,E) → C*(G) 를 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 Bratteli 다이어그램 상의 尾同値 관계와 관련된 C*-대수와 동일한 다이어그램으로 정의된 AF-대수 사이에 등장사상이 존재하는가?
• RQ2 尾同値 관계의 구조는 AF-대수의 표준적인 귀납적 극한 구성과 어떻게 관련되어 있는가?
• RQ3 尾同値 관계의 군oids C*-대수를 명시적으로 실현하고 표준적인 AF-대수와 비교할 수 있는가?
• RQ4 조건부 기대와 프로젝션은 두 C*-대수적 구조 사이의 관계를 어떻게 규정하는가?
• RQ5 Toeplitz 대수 내의 재료 과잉 이상이 군oids C*-대수로의 환형사상 하에서 사라지는가?

주요 결과

• Bratteli 다이어그램의 경로 공간 Ω 상의 尾同値 관계와 관련된 C*-대수는 동일한 다이어그램으로 정의된 AF-대수와 등장사상이다.
• Toeplitz 대수 T(R,E) 에서 군oids C*-대수 C*(G) 로의 표준적 *-환형사상 φ: T(R,E) → C*(G) 는 재료 과잉 이상으로 나누어져, 등장사상 ψ: C*(R,E) → C*(G) 를 유도한다.
• T(R,E) 내의 프로젝션 êₙ 은 C*(G) 내의 프로젝션 êₙ̂ 로 사상되며, êₙ êₙ₊₁ = êₙ₊₁ 를 만족함으로써 AF-대수의 귀납적 극한 구조를 반영한다.
• 조건부 기대 Eₙ: C(Ω) → C(Ω; Rₙ) 는 고정된 尾를 갖는 섬유 위에서의 평균으로 실현되며, 그 상은 Ω/Rₙ 상의 연속 함수에 대응한다.
• 함수 j: C*(G) → C₀(G) 는 단사적이며, n번째 프로젝션의 이미지에 속하는 k 에 대해 j(k) 의 지지부위는 Rₙ 내에 포함되어 있어, 동치관계의 구조와 호환됨을 보장한다.
• ψ 는 핵에 재료 과잉 이상이 포함되어 있고, 이미지가 전체 군oids C*-대수를 생성함을 보여, 등장사상임을 증명한다.