[논문 리뷰] Irreducible representations of nilpotent groups generate classifiable C*-algebras

Caleb Eckhardt, Elizabeth Gillaspy|arXiv (Cornell University)|2015. 10. 19.

Advanced Operator Algebra Research참고 문헌 13인용 수 6

한 줄 요약

이 논문은 유한 생성된 나이플로우 군의 기약 유니터리 표현에 의해 생성되는 C*-대수들이 Universal Coefficient Theorem (UCT)를 만족함을 증명한다. 이는 기존의 결과들과 결합하여 이러한 대수들이 그들의 Elliott 불변량에 의해 분류 가능하다는 것을 의미한다. 핵심 방법은 이러한 C*-대수들이 호모토피적으로 자명한 2-코사이클을 가진 왜곡된 군 C*-대수의 중심 자르기임을 보여주며, 이는 K-이론 계산과 유한 핵심 차원을 가진 단위, 단순, 분리 가능, 핵심적인 C*-대수의 UCT 클래스 내에서의 분류를 가능하게 한다.

ABSTRACT

We show that C*-algebras generated by irreducible representations of finitely generated nilpotent groups satisfy the universal coefficient theorem of Rosenberg and Schochet. This result combines with previous work to show that these algebras are classifiable by their Elliott invariants within the class of unital, simple, separable, nuclear C*-algebras with finite nuclear dimension that satisfy the universal coefficient theorem. We also show that these C*-algebras are central cutdowns of twisted group C*-algebras with homotopically trivial cocycles.

연구 동기 및 목표

• 유한 생성된 나이플로우 군의 기약 표현에 의해 생성되는 C*-대수들이 Universal Coefficient Theorem (UCT)를 만족함을 입증함으로써, 분류에 있어 핵심적인 누락된 조건을 보완한다.
• 이러한 C*-대수들이 호모토피적으로 자명한 2-코사이클을 가진 왜곡된 군 C*-대수의 중심 자르기임을 보여주며, K-이론 분석을 가능하게 한다.
• Tikuisis, White, 그리고 Winter의 최근 분류 정리와 UCT 결과를 조합하여 이러한 C*-대수들의 분류 문제를 해결한다.
• 유한 인덱스 성질을 가진 유한 공轭 부분군을 활용하여 이러한 C*-대수들을 반복된 Z-행동에 의한 교차곱으로 구조적으로 분해한다.
• Gf 밖에서 사라지는 극단적 추적을 가진 표현들이 생성하는 C*-대수가 UCT를 만족하고 분류 가능함을 보여준다.

제안 방법

• 유한 생성된 나이플로우 군에서 유한 공轭 부분군 Gf 가 G 에서 유한 인덱스를 가지며 G/Gf 가 토르션 자유임을 이용하여 반복적인 반직접곱 분해를 가능하게 한다.
• Lemma 3.0.7을 적용하여 G의 C*-대수를 Gf 의 C*-대수에 대한 Z-행동에 의한 반복된 교차곱으로 표현하며, 조건 τ(x) = 0 (x ∉ Gf) 를 만족한다.
• C*(Gf) 가 부분호모제너스(따라서 유형 I)이므로, Rosenberg-Schochet의 결과에 의해 그 표현들이 생성하는 C*-대수가 UCT를 만족함을 이용한다.
• Z-행동에 의한 UCT 보존 성질(참고: [15, Proposition 2.7, Theorem 4.1])을 활용하여 전체 C*-대수가 UCT를 만족함을 결론짓는다.
• Fell의 흠숭 원리에 따라 G 위의 표현 πτ 와 G/N 위의 정규 표현과 Hτ 위의 표현의 텐서곱 사이의 유니터리 동치를 수립한다.
• C*(G/N, σ) 내의 중심 프로젝션 p 를 구성하여 C*(π(G)) ≅ pC*(G/N, σ) 를 확보한다. 여기서 σ 는 G/N 에 정의된 2-코사이클이며, 자명한 코사이클과 호모토피적이다.

실험 결과

연구 질문

• RQ1 유한 생성된 나이플로우 군의 기약 표현에 의해 생성되는 C*-대수들이 Universal Coefficient Theorem (UCT)를 만족하는가?
• RQ2 이러한 C*-대수들이 호모토피적으로 자명한 코사이클을 가진 왜곡된 군 C*-대수의 중심 자르기로 표현될 수 있는가?
• RQ3 UCT 만족도가 알려진 핵심성과 단순성과 함께 조합될 경우, Elliott 불변량에 의한 분류를 보장하는가?
• RQ4 유한 공轭 부분군 Gf 의 구조가 표현 C*-대수의 구조에 어떤 영향을 미치는가?
• RQ5 Gf 밖에서 사라지는 극단적 추적의 역할은 어떤 식으로 분류 가능한 C*-대수를 구성하는가?

주요 결과

• 유한 생성된 나이플로우 군 G 의 기하학적 기약 유니터리 표현 π 에 의해 생성되는 C*-대수 C*π(G) 는 Universal Coefficient Theorem (UCT) 를 만족한다.
• C*π(G) 는 Z(G) 의 유한 인덱스의 토르션 자유 부분군 N 이며, G/N 에 정의된 2-코사이클 σ 를 가진 왜곡된 군 C*-대수 C*(G/N, σ) 의 중심 자르기와 동형이다.
• 2-코사이클 σ 는 자명한 코사이클과 호모토피적이며, 이는 C*(G/N, σ) 의 K-이론이 비왜곡된 군 C*-대수 C*(G/N) 과 동형임을 의미한다.
• C*π(G) 는 단위, 단순, 분리 가능, 핵심적이며 유한 핵심 차원을 가지며 UCT 를 만족하는 C*-대수의 범주 내에서 그의 Elliott 불변량에 의해 분류 가능하다.
• 표현 C*π(G) 는 Gf 에서 극단적 추적 τ 가 Gf 밖에서 사라지는 조건을 만족할 때, C*πτ(Gf) 에 대한 Z-행동에 의한 반복된 교차곱과 동형이다.
• 증명은 C*πτ(Gf) 가 부분호모제너스(따라서 유형 I)이므로 UCT 를 만족하고, Z-교차곱에 의한 UCT 보존 성질에 기반한다.