[논문 리뷰] A dynamical characterization of diagonal preserving $*$-isomorphisms of graph $C^*$-algebras

Sara E. Arklint, Søren Eilers외 1명|arXiv (Cornell University)|2016. 05. 04.

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

한 줄 요약

이 논문은 그래프 C∗-대수 C∗(E)와 C∗(F) 사이의 대각선을 보존하는 ∗-동형사상이 경계 경로 공간의 연속적인 궤도 동치성에 의해 완전히 특징지어지며, 이는 궤도 동치성의 개선된 개념을 통해 궤도상의 최종적으로 주기적인 점들을 보존한다. 주요 결과는 조건 (L)이 성립하지 않을 경우에도 이 동치성이 성립함을 보이며, 이는 이전 결과들을 일반화하고, 동적 불변량을 통해 대각선을 보존하는 동형사상에 의한 그래프 C∗-대수의 분류를 해결한다.

ABSTRACT

We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal preserving $*$-isomorphism between the graph $C^*$-algebras $C^*(E)$ and $C^*(F)$.

연구 동기 및 목표

• 궤도 동치성의 개념을 개선하여 조건 (L)의 경우를 초월한 그래프 C∗-대수의 분류를 확장한다.
• 그래프 C∗-대수 사이의 대각선을 보존하는 ∗-동형사상에 대한 완전한 동적 특징을 설정한다.
• 가산 이동 공간에 대한 궤도 동치성과 흐름 동치성 사이의 관계를 규명한다.
• Matsumoto, Matui, Brownlowe–Carlsen–Whittaker의 결과들을 통합하고 일반화하기 위해 주기적인 점을 보존하는 요소를 포함한다.

제안 방법

• 최종적으로 주기적인 점들을 보존하는 연속적인 궤도 동치성의 개선된 개념을 도입한다.
• ERRS16에서 제시한 '삽입'과 '제거' 기법을 사용하여 일반적인 경우를 조건 (L)의 경우로 환원한다.
• 그래프 군류 GE와 GF 사이의 동형사상을 구성하여 C∗(E)와 C∗(F) 위의 대각선을 보존하는 ∗-동형사상을 유도한다.
• 그래프 C∗-대수의 보편 성질을 이용하여 군류의 동형사상을 ∗-동형사상으로 올리며, 대각선 부분대수를 보존한다.
• [BCW14]의 결과를 조건 (L)을 만족하는 그래프에 적용하여 기본 사례로 삼는다.
• 안정화와 컴act 연산자와의 안정화를 통해 대각선을 보존하는 동형사상과 주기점 보존 궤도 동치성 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 언제 두 그래프 C∗-대수 C∗(E)와 C∗(F) 사이에 대각선을 보존하는 ∗-동형사상이 존재하는가?
• RQ2 경계 경로 공간에 대해 어떤 동적 조건이 이러한 동형사상과 정확히 대응하는가?
• RQ3 그래프가 조건 (L)을 만족하지 않을 경우 그래프 C∗-대수의 분류는 어떻게 초월할 수 있는가?
• RQ4 사이클이 출구가 없을 경우에도 대각선을 보존하는 동형사상을 포괄하는 궤도 동치성의 개선된 개념이 존재하는가?
• RQ5 주기점을 보존하는 궤도 동치성과 이동 공간의 흐름 동치성 사이의 관계는 무엇인가?

주요 결과

• C∗(E)와 C∗(F) 사이에 대각선을 보존하는 ∗-동형사상이 존재하는 것은, E와 F의 경계 경로 공간 사이에 최종적으로 주기적인 점들을 보존하는 연속적인 궤도 동치성이 존재하는 것과 정확히 동치이다.
• 주기점을 보존하는 궤도 동치성의 개선된 개념은, 조건 (L)이 성립하지 않을 경우에도 대각선을 보존하는 ∗-동형사상에 대해 필수적이고 충분한 조건이다.
• 출구가 없는 유한 그래프의 경우, 고전적인 궤도 동치성의 개념은 정확히 대각선을 보존하는 ∗-동형사상과 일치한다.
• C∗(E) ⊗ K와 C∗(F) ⊗ K의 안정화가 대각선을 보존하는 ∗-동형사상으로 연결되는 것은, 안정화된 경계 경로 공간이 주기점을 보존하는 궤도 동치성을 가지는 것과 정확히 동치이다.
• 이 결과들은 가산 이동 공간에 대해 궤도 동치성과 흐름 동치성 간의 관계를 해결한다: 안정화된 그래프 SE와 SF 사이의 궤도 동치성은 원래의 이동 공간 XE와 XF 사이의 흐름 동치성과 정확히 동치이다.
• 이 논문은 대각선 부분대수가 단순하지 않은 경우에도, C∗-대수로부터 원천이 되는 이동 공간을 복원하기 위해 필요한 부족한 불변량임을 확인한다.