[논문 리뷰] C*-Algebras of Irreversible Dynamical Systems

R. Exel, A. M. Vershik|ArXiv.org|2002. 03. 19.

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

한 줄 요약

이 논문은 측도를 보존하는 변환에서 유래한 Arzumanian–Vershik C*-대수와 자기 커버링 맵에서 유래한 C*-대수의 두 유형을, 내림사슬에 의한 교차곱 구조의 특수한 경우로 통합한다. 원소의 표현에 대해 원환면 작용과의 공변성에 기반한 충실성 기준을 확립하고, 생성자와 관계에 기반한 명시적 표현을 제공하며, 커버링 맵의 경우 단순성은 위상적 기약성 조건으로 특성화된다.

ABSTRACT

We show that certain C*-algebras which have been studied among others by Arzumanian, Vershik, Deaconu, and Renault in connection to a measure preserving transformation of a measure space and/or to a covering map of a compact space are special cases of the endomorphism crossed-product construction recently introduced by the first named author. As a consequence these algebras are given presentations in terms of generators and relations. These results come as a consequence of a general Theorem on faithfulness of representations which are covariant with respect to certain circle actions. For the case of topologically free covering maps we prove a stronger result on faithfulness of representations which needs no covariance. We also give a necessary and sufficient condition for simplicity.

연구 동기 및 목표

• 측도를 보존하는 변환과 자기 커버링 맵에서 유도된 C*-대수의 연구를 하나의 프레임워크 아래 통합하기.
• 이 대수들이 Exel에 의해 도입된 내림사슬에 의한 교차곱 구조의 특수한 경우임을 보여주기.
• 원환면 작용과의 공변성 조건을 만족하는 표현에 대해 충실성 정리를 확립하기.
• 이 C*-대수들의 생성자와 관계에 기반한 명시적 표현 제공하기.
• 커버링 맵에 대해 $ C^*(X,T) $의 단순성 조건을 $ T $의 위상적 기약성 조건으로 특성화하기.

제안 방법

• 비가역 동역계를 위한 통합적 프레임워크로 내림사슬에 의한 교차곱 구조를 활용한다.
• 원환면 작용과의 공변성 조건을 만족하는 표현의 충실성을 증명하기 위해 일반화된 게이지 불변 유일성 정리를 적용한다.
• 알고리즘적 표현에서 중복을 제거하기 위해 단일 관계를 도입하여 간결한 생성자-관계 기반 서술을 가능하게 한다.
• 조건부 기대와 Watatani의 인덱스-유한 유형 개념을 활용하여 대수적 구조가 잘 정의되어 있음을 보장한다.
• 전이 연산자와 코어 C*-대수의 구조를 활용하여 이상 구조와 표현의 충실성 분석을 수행한다.
• 위상적 자유성과 기약성 조건을 적용하여 기본 대수에서 이상을 올리는 방식으로 단순성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 Arzumanian–Vershik 대수와 커버링 맵에 대한 $ C^*(X,T) $는 어떤 단일 C*-대수 구조 아래 통합될 수 있는가?
• RQ2 내림사슬에 의한 교차곱 대수의 표현이 충실한 조건은 무엇인가? 특히 원환면 작용과의 공변성 조건이 있을 경우에 대해.
• RQ3 자기 커버링 맵에 대해 $ C^*(X,T) $의 명시적 생성자-관계 표현은 어떻게 얻을 수 있는가?
• RQ4 내림사슬에 의한 교차곱 대수 $ C(X) times_{eta, ho} bN $는 언제 단순한가?
• RQ5 전이 연산자는 대수의 구조와 표현의 충실성에 어떤 역할을 하는가?

주요 결과

• Arzumanian–Vershik 대수 $ ilde{AV}(X,T, u) $와 자기 커버링 맵에 대한 $ C^*(X,T) $ 대수는 모두 내림사슬에 의한 교차곱 구조의 특수한 경우이다.
• 교차곱 대수의 표현이 충실한 조건은 코어 대수에서의 충실성과 원환면 작용과의 공변성 조건을 만족할 경우, 일반화된 게이지 불변 유일성 정리에 의해 보장된다.
• 위상적으로 자유로운 커버링 맵의 경우, 공변성 조건 없이도 표현의 충실성을 증명할 수 있어 더 강력한 결과를 얻는다.
• 내림사슬이 Watatani의 의미에서 유한 지수를 가질 경우, $ C^*(X,T) $는 생성자와 관계에 기반한 간결한 표현을 갖는다. 이 경우 단일 관계로 중복을 제거할 수 있다.
• 교차곱 $ C(X) times_{eta, ho} bN $는 커버링 맵 $ T $가 위상적으로 기약적일 때이고, 그 때에만 단순하다.
• 단순성은 비자명한 $ T $-불변 열린 부분집합이 존재하지 않을 때 성립하며, 교차곱의 이상은 전이 연산자와 내림사슬의 구조를 통해 기본 대수의 불변 이상으로 올라온다.