[논문 리뷰] Boundary quotients and ideals of Toeplitz C*-algebras of Artin groups

John Crisp, Marcelo Laca|ArXiv.org|2006. 04. 06.

Advanced Operator Algebra Research참고 문헌 10인용 수 8

한 줄 요약

이 논문은 오른쪽 각을 가진 아르틴 군과 더 일반적인 준격자주순서군과 관련된 토플리츠 C*-대수의 이상적 구조와 경계 몫에 대해 연구한다. 이러한 대수들을 부분 교차곱으로 표현하고, 유계성 및 위상적 자유성 기준을 적용하여, 중심이 자명한 아르틴 군의 경우 경계 몫이 순수 무한하고 단순하다는 것을 증명한다. 또한 쿤츠의 $\mathcal{O}_n$를 일반화한 표현을 제공하며, 생성자들의 부분집합에 의해 매개화된 이상적을 제시한다.

ABSTRACT

We study the quotients of the Toeplitz C*-algebra of a quasi-lattice ordered group (G,P), which we view as crossed products by a partial actions of G on closed invariant subsets of a totally disconnected compact Hausdorff space, the Nica spectrum of (G,P). Our original motivation and our main examples are drawn from right-angled Artin groups, but many of our results are valid for more general quasi-lattice ordered groups. We show that the Nica spectrum has a unique minimal closed invariant subset, which we call the boundary spectrum, and we define the boundary quotient to be the crossed product of the corresponding restricted partial action. The main technical tools used are the results of Exel, Laca, and Quigg on simplicity and ideal structure of partial crossed products, which depend on amenability and topological freeness of the partial action and its restriction to closed invariant subsets. When there exists a generalised length function, or controlled map, defined on G and taking values in an amenable group, we prove that the partial action is amenable on arbitrary closed invariant subsets. Our main results are obtained for right-angled Artin groups with trivial centre, that is, those with no cyclic direct factor; they include a presentation of the boundary quotient in terms of generators and relations that generalises Cuntz's presentation of O_n, a proof that the boundary quotient is purely infinite and simple, and a parametrisation of the ideals of the Toeplitz C*-algebra in terms of subsets of the standard generators of the Artin group.

연구 동기 및 목표

• quasi-lattice ordered 군, 특히 오른쪽 각을 가진 아르틴 군과 관련된 토플리츠 C*-대수의 이상적 구조를 이해하는 것.
• 공변 등거리 표현에서의 적절성 조건의 실패로부터 유도되는 몫으로서 경계 몫을 특성화하는 것.
• 부분 작용의 유계성과 위상적 자유성에 기반하여, 경계 몫이 순수 무한하고 단순해지는 조건을 확립하는 것.
• 쿤츠의 $\mathcal{O}_n$ 표현을 일반화한 생성자와 관계를 이용한 경계 몫의 표현을 제공하는 것.
• 특히 중심이 자명한 아르틴 군의 경우, 표준 생성자들의 부분집합을 통해 토플리츠 C*-대수의 이상적을 매개화하는 것.

제안 방법

• 양의 원소 집합 $P$의 비어있지 않은 부분집합들 중에서 비어있고 방향성을 가진 집합들의 총집합인 Nica 스펙트럼을 통해 토플리츠 C*-대수의 부분 교차곱으로 표현한다. 이 스펙트럼은 전적으로 이산적인 컴acts Hausdorff 공간이다.
• Nica 스펙트럼에서의 유일한 최소 닫힌 불변 부분집합으로서 경계 스펙트럼을 식별하고, 이 부분집합에 제한된 부분 작용의 교차곱으로서 경계 몫을 정의한다.
• Exel, Laca, Quigg의 결과를 적용하여 부분 교차곱의 단순성과 이상적 구조를 분석하며, 부분 작용의 유계성과 위상적 자유성에 의존한다.
• 일반화된 길이 함수(통제 가능한 함수)가 애매한 군으로부터 존재할 경우, 닫힌 불변 부분집합 위에서의 부분 작용의 유계성을 증명한다.
• 준격자주순서군의 '핵심'을 도입하여 경계 작용의 위상적 자유성을 특성화하며, 이는 단순성에 있어 핵심적인 역할을 한다.
• 반대 그래프 $\Gamma^{\rm opp}$의 유한 연결 성분들의 유한 부분집합의 격자로 이상적을 매개화하고, 몫의 표현을 유도한다.

실험 결과

연구 질문

• RQ1 중심이 자명한 오른쪽 각을 가진 아르틴 군의 토플리츠 C*-대수의 이상적 구조는 무엇이며, 어떻게 생성자들의 부분집합으로 매개화할 수 있는가?
• RQ2 토플리츠 C*-대수의 경계 몫이 순수 무한하고 단순해지기 위한 조건은 무엇인가?
• RQ3 공변 등거리 표현에서의 적절성 조건의 실패는 이상적과 몫의 구조와 어떻게 관련되는가?
• RQ4 경계 몫은 쿤츠의 $\mathcal{O}_n$ 표현을 일반화한 생성자와 관계로 표현할 수 있는가?
• RQ5 애매한 군으로의 통제 가능한 함수는 Nica 스펙트럼의 불변 부분집합 위에서의 부분 작용의 유계성에 어떻게 영향을 미치는가?

주요 결과

• 중심이 자명한 오른쪽 각을 가진 아르틴 군의 토플리츠 C*-대수의 경계 몫은 경계 부분 작용이 유계성과 위상적 자유성을 만족할 경우 순수 무한하고 단순하다.
• 경계 몫은 쿤츠의 $\mathcal{O}_n$ 표현을 일반화한 생성자와 관계로 표현 가능하며, 모든 생성자에 대해 $1 - V_s V_s^*$의 곱에 해당하는 관계를 가진다.
• 토플리츠 C*-대수의 이상적은 표준 생성자들의 부분집합으로 매개화되며, 각 이상적은 상호 비교 불가능한 유한 부분집합들의 집합으로 유일하게 생성된다.
• 토플리츠 C*-대수의 최대 진부한 이상적은 $\Gamma^{\rm opp}$의 유한 연결 성분들에 대응하는 기본 관계 $S_\lambda$로 생성되며, 이는 경우에 따라 단일 원소 집합이다.
• 중심이 자명한 오른쪽 각을 가진 아르틴 군의 경우, 경계 몫은 $\Gamma^{\rm opp}$의 각 유한 연결 성분 $S_i$에 대해 $\prod_{s \in S_i} (I - V_s V_s^*) = 0$ 관계를 도입함으로써 얻어지며, 이 몫은 유일하고 최대의 진부한 몫이다.
• 경계 몫의 $K_0$에서 항등원의 차수는 $|\chi(\Gamma) - 1|$로 추측되며, 여기서 $\chi(\Gamma)$는 그래프 $\Gamma$의 오일러 특성수이다.