[논문 리뷰] A dichotomy for groupoid C*-algebras

Timothy Rainone, Aidan Sims|arXiv (Cornell University)|2017. 07. 14.

Advanced Operator Algebra Research참고 문헌 20인용 수 5

한 줄 요약

이 논문은 약한, 최소, 위상적으로 주목할 만한 군oids의 감소 C*-대수에서 안정적인 유한성과 순수 무한성 사이의 이분법을 증명한다. 이는 그에 관련된 전순서 아벨 모노이드 $ S(G) $ 가 거의 무감쇠일 때 성립한다. 저자들은 에테일 군oids에 대해 일반화된 유형 반군 $ S(G) $ 를 도입하여, 그 대수적 구조가 C*-대수의 유한/무한성과 연결되도록 하고, 순수 무한성이 $ S(G) $ 에서 상태가 존재하지 않는 것과 동치임을 증명한다. 이는 이전의 군 작용 결과를 더 넓은 군oids 설정으로 확장한다.

ABSTRACT

We study the finite versus infinite nature of C*-algebras arising from etale groupoids. For an ample groupoid G, we relate infiniteness of the reduced C*-algebra of G to notions of paradoxicality of a K-theoretic flavor. We construct a pre-ordered abelian monoid S(G) which generalizes the type semigroup introduced by Rørdam and Sierakowski for totally disconnected discrete transformation groups. This monoid reflects the finite/infinite nature of the reduced groupoid C*-algebra of G. If G is ample, minimal, and topologically principal, and S(G) is almost unperforated we obtain a dichotomy between stable finiteness and pure infiniteness for the reduced C*-algebra of G.

연구 동기 및 목표

• 군 작용에서의 유형 반군 프레임워크를 일반적인 에테일 약한 군oids로 확장하기.
• 군oids의 C*-대수에서 안정적인 유한성과 순수 무한성 사이의 이분법을 설정하기.
• Rørdam과 Sierakowski의 파라독스성과 순수 무한성에 관한 결과를 군oids 설정으로 일반화하기.
• C*-대수 $ C^*_r(G) $ 의 유한/무한성 성질을 캡처하는 전순서 아벨 모노이드 $ S(G) $ 를 정의하고, 군oids 동치에 대해 그 불변성을 증명하기.
• 만약 $ S(G) $ 가 거의 무감쇠일 경우, $ C^*_r(G) $ 는 안정적으로 유한하거나 순수 무한이 된다는 것을 보여주기.

제안 방법

• 에테일 약한 군oids $ G $ 의 단위 공간에서 컴acts지지된 국소적으로 상수인 정수 값을 갖는 함수들의 모노이드의 몫으로 전순서 아벨 모노이드 $ S(G) $ 를 구성하기.
• 범위와 원천 이미지가 일치하는 이분법의 존재에 기반한 비음수 함수들 사이의 동치관계 $ \thicksim $ 를 정의하기.
• 유한 개의 쌍에 대해 $ f \thicksim g $ 와 $ f_i \thicksim g_i $ 가 성립할 때를 포함하는 추가 관계 $ \thickapprox $ 를 정의하여 유한 분해 동치를 캡처하기.
• $ S(G) $ 가 군oids 동치에 대해 불변임을 증명하고, $ G $ 가 변환 군oids일 경우 고전적인 유형 반군 $ S(X,\Gamma) $ 와 동형임을 보여주기.
• 위상 그래프 반군에서 군oids 반군으로의 준동형사상 $ \tau: S(E) \to S(G_E) $ 가 존재함을 이용하여 $ S(G) $ 의 구조를 그래프의 C*-대수와 연결하기.
• 반군의 구조를 적용하여, $ S(G) $ 가 거의 무감쇠이고 $ G $ 가 최소이며 위상적으로 주목할 만한 경우, $ C^*_r(G) $ 가 안정적인 유한성과 순수 무한성 사이의 이분법을 만족함을 증명하기.

실험 결과

연구 질문

• RQ1 약한 군oids의 감소 C*-대수가 언제 안정적인 유한성과 순수 무한성 사이의 이분법을 보일 수 있는가?
• RQ2 유형 반군 구성은 어떻게 군 작용에서 에테일 군oids로 일반화될 수 있는가?
• RQ3 전순서 모노이드 $ S(G) $ 의 거의 무감쇠 성질이 $ C^*_r(G) $ 의 유한성 성질을 결정하는 데 어떤 역할을 하는가?
• RQ4 군oids 설정에서 $ S(G) $ 에서 상태가 존재하지 않는 것은 $ C^*_r(G) $ 의 순수 무한성과 어떻게 관련되는가?
• RQ5 반군 $ S(G) $ 는 군oids $ G $ 의 K-이론적 및 동역학적 구조를 어느 정도 캡처하는가?

주요 결과

• 전순서 아벨 모노이드 $ S(G) $ 는 군oids 동치에 대해 불변이며, Rørdam과 Sierakowski의 유형 반군을 군oids 설정으로 일반화한다.
• 약한, 최소, 위상적으로 주목할 만한 군oids $ G $ 에 대해, $ S(G) $ 가 거의 무감쇠일 경우 $ C^*_r(G) $ 는 이분법을 만족한다: 즉, 안정적으로 유한하거나 순수 무한이 된다.
• 만약 $ G $ 가 변환 군oids $ X \rtimes \Gamma $ 라면, 반군 $ S(G) $ 는 고전적인 유형 반군 $ S(X,\Gamma) $ 와 동형이다.
• 위상 그래프 $ E $ 에 대해 $ \tau: S(E) \to S(G_E) $ 가 전사 준동형사상으로 존재함을 통해, 그래프 설정의 결과를 군oids 설정으로 이전할 수 있다.
• 완전히 이산적인 위상 그래프 $ E $ 에 대해 범위 사상이 적절하고 전사일 경우, $ C^*(E) $ 가 단순하고 $ S(E) $ 가 거의 무감쇠이면, $ C^*(E) $ 는 순수 무한이거나 준대각선적이다.
• 순수 무한성은 $ C^*_r(G) $ 가 $ S(G) $ 에서 상태가 존재하지 않을 때에만 성립하며, 이는 모든 $ \theta \in S(G) $ 에 대해 $ 2\theta \leq \theta $ 를 만족함과 동치이며, Rørdam과 Sierakowski의 결과를 일반화한다.