[논문 리뷰] Cartan subalgebras and the UCT problem, II

Selçuk Barlak, Xin Li|arXiv (Cornell University)|2017. 04. 17.

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

한 줄 요약

이 논문은 C*-대수 이론에서의 UCT 문제와 유한군 작용 하에서의 불변 카르탕 부분대수의 존재 사이에 깊은 연결 고리를 설정한다. 유한 순환군의 외부이자 강한 근사 내부 작용에 대해 Cuntz 대수 $\mathcal{O}_2$에 대한 작용에서, 교차곱이 UCT를 만족함과 동시에 카르탕 부분대수가 작용에 의해 보존됨이 동치임을 증명하며, 카르탕 부분대수를 통한 UCT 문제의 새로운 특성화를 제시한다.

ABSTRACT

We show that outer approximately represenbtable actions of a finite cyclic group on UCT Kirchberg algebras satisfy a certain quasi-freeness type property if the corresponding crossed products satisfy the UCT and absorb a suitable UHF algebra tensorially. More concretely, we prove that for such an action there exists an inverse semigroup of homogeneous partial isometries that generates the ambient C*-algebra and whose idempotent semilattice generates a Cartan subalgebra. We prove a similar result for actions of finite cyclic groups with the Rokhlin property on UCT Kirchberg algebras absorbing a suitable UHF algebra. These results rely on a new construction of Cartan subalgebras in certain inductive limits of Cartan pairs. We also provide a characterisation of the UCT problem in terms of finite order automorphisms, Cartan subalgebras and inverse semigroups of partial isometries of the Cuntz algebra $\mathcal{O}_2$. This generalizes earlier work of the authors.

연구 동기 및 목표

• UCT 문제와 C*-대수에서의 카르탕 부분대수 사이의 관계를 조사하는 것.
• UCT가 유한 순환군에 의한 교차곱에 대해 유지되는지 여부를 규명하는 것.
• 외부이자 강한 근사 내부 $\mathbb{Z}_p$-작용에 대해 $\mathcal{O}_2$에서의 $\alpha$-불변 카르탕 부분대수의 존재를 통해 UCT 문제를 특성화하는 것.
• 유도 극한 C*-대수에서의 카르탕 부분대수의 새로운 구성법을 개발하는 것 — 이는 별개의 관심사이다.

제안 방법

• 카르탕 부분대수를 가진 C*-대수의 특성화를 레우뇌의 비틀림 에탈 군환으로 사용한다.
• 교차곱으로부터 유도되는 $M_{p^\infty}$-흡수 카르티지 대수의 분류를 분석하기 위해 Kirchberg-Phillips 분류 정리를 적용한다.
• 특히 $\mathcal{O}_2$에 대해 유도 극한 C*-대수에서의 카르탕 부분대수의 새로운 구성법을 활용한다.
• 역반군의 타이트 C*-대수 이론을 사용하여 적절한 역반군 $\mathcal{S}$에 대해 $\mathcal{O}_2$를 $C^*_{\text{tight}}(\mathcal{S})$로 표현한다.
• 근사적 표현 가능성과 $KK$-동치에 관한 결과를 적용하여, 불변 카르탕 부분대수의 존재와 UCT 사이의 연결 고리를 맺는다.
• 모든 분리 가능하고 핵심적인 C*-대수에서 카르탕 부분대수를 가진 대수들이 UCT를 만족한다는 사실에 기반한다 — Tu와 Renault의 연구를 바탕으로 한다.

실험 결과

연구 질문

• RQ1 소수 $p$에 대해, 외부이자 강한 근사 내부 $\mathbb{Z}_p$-작용 하에서 $\mathcal{O}_2$에서의 $\alpha$-불변 카르탕 부분대수의 존재로 UCT 문제가 축소되는가?
• RQ2 UCT는 $\mathcal{O}_2$를 생성하고, $\mathcal{O}_2$와 고정점 대수 $\mathcal{O}_2^\alpha$ 양쪽에서 C*-대수로서 카르탕 부분대수가 되는 $\alpha$-균일한 역반군을 갖는가에 의해 특성화될 수 있는가?
• RQ3 UCT 문제는 $p=2$ 또는 $p=3$에 대해 모든 외부이자 강한 근사 내부 $\mathbb{Z}_p$-작용에 대해 $\mathcal{O}_2$에서의 카르탕 부분대수가 전역적으로 불변인가와 동치인가?
• RQ4 유도 극한 C*-대수에서의 카르탕 부분대수의 새로운 구성법이 모든 분류 가능한 안정적으로 유한한 C*-대수들을 분류하거나 실현하는 데 사용될 수 있는가?

주요 결과

• 모든 외부이자 강한 근사 내부 $\mathbb{Z}_p$-작용에 대해 UCT 문제는 $\mathcal{O}_2$에서의 $\mathbb{Z}_p$-불변 카르탕 부분대수의 존재와 동치이다.
• 모든 소수 $p \geq 2$에 대해, 교차곱 $\mathcal{O}_2 \rtimes_\alpha \mathbb{Z}_p$는 UCT를 만족함과 동시에 $\alpha$-균일한 역반군 $\mathcal{S}$가 존재할 조건이 동치이다. 이때 $C^*(E)$는 $\mathcal{O}_2$와 $\mathcal{O}_2^\alpha$ 양쪽에서 카르탕 부분대수가 되며, 근사적 표현 가능성을 나타내는 유니터리들이 $C^*(E)$에 속해 있다.
• 이 논문에서 다루는 작용의 범주는 UCT 문제를 특성화하기에 충분히 풍부하다: $\mathcal{O}_2$에 대한 모든 이러한 작용은 UCT 교차곱을 유도하며, 이는 모든 분리 가능하고 핵심적인 C*-대수가 UCT를 만족할 때에만 성립한다.
• 유도 극한 C*-대수에서의 카르탕 부분대수의 새로운 구성법은 별개의 관심사이며, 모든 분류 가능한 단위 안정적으로 유한한 C*-대수에서 카르탕 부분대수를 구성하는 데 응용되었다.
• UCT 문제는 $p=2$ 또는 $p=3$에 대해 $\mathcal{O}_2$에서의 카르탕 부분대수가 모든 외부이자 강한 근사 내부 $\mathbb{Z}_p$-작용에 대해 전역적으로 불변일 때와 동치이며, 이 특성화는 정리 4.16를 통해 모든 소수로 확장된다.
• 결과적으로 UCT 문제는 $\mathcal{O}_2$에서의 불변 카르탕 부분대수의 존재라는 기하학적-위상수학적 조건과 동치임을 확인하며, 연산자 대수학, 동역학학, 위상수학을 연결한다.