[논문 리뷰] KK-theory of circle actions with the Rokhlin property

Eusebio Gardella|arXiv (Cornell University)|2014. 05. 10.

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

한 줄 요약

이 논문은 C*-대수에서 원형 작용과 Rokhlin 성질을 갖는 경우에 대해 등변 KK-이론 분류를 수립한다. 이는 분리 가능한 핵심 C*-대수에서 이러한 작용이 Kirchberg 대수에서의 작용과 KK^𝕋-동치임을 증명하며, Kirchberg 대수에서 두 Rokhlin 작용이 동치일 조건은 정확히 그것들이 KK^𝕋-동치일 때임을 보여준다. UCT 경우에서는 이 동치관계가 표준적인 K-이론적 확장 불변량의 동형으로 간소화된다.

ABSTRACT

We investigate the structure of circle actions with the Rokhlin property, particularly in relation to equivariant $KK$-theory. Our main results are $\mathbb{T}$-equivariant versions of celebrated results of Kirchberg: any Rokhlin action on a separable, nuclear C*-algebra is $KK^\mathbb{T}$-equivalent to a Rokhlin action on a Kirchberg algebra; any Rokhlin action on an exact separable C*-algebra embeds equivariantly into $\mathcal{O}_2$ (with its unique Rokhlin action); and two circle actions with the Rokhlin property on a Kirchberg algebra are conjugate if and only if they are $KK^\mathbb{T}$-equivalent. In the presence of the UCT, $KK^\mathbb{T}$-equivalence for Rokhlin actions reduces to isomorphism of a $K$-theoretical invariant, namely of a canonical pure extension naturally associated to any Rokhlin action, and we provide a complete description of the extensions that arise from actions on nuclear C*-algebras. In contrast with the non-equivariant setting, an isomorphism between the $K^\mathbb{T}$-theories of Rokhlin actions on Kirchberg algebras does not necessarily lift to a $KK^\mathbb{T}$-equivalence.

연구 동기 및 목표

• Rokhlin 성질을 갖는 원형 작용에 대해 Kirchberg의 비등변 KK-이론 결과를 등변 설정으로 확장한다.
• 등변 KK-이론을 활용하여 분리 가능한 핵심 C*-대수에서 Rokhlin 작용의 구조를 특성화한다.
• Kirchberg 대수에서 Rokhlin 작용을 KK^𝕋-동치를 통해 완전히 분류한다.
• UCT 경우에서 Rokhlin 작용을 분류하는 표준 순수 확장 불변량을 규명한다.
• 등변 설정에서 K^𝕋-이론의 동형과 KK^𝕋-동치 사이의 차이를 명확히 한다.

제안 방법

• Rokhlin 작용이 단위 C*-대수에서 전조 자동형사를 갖는다는 사실을 이용해 Ext*에서 표준 순수 확장을 구성한다.
• Takai의 이중성과 Julg의 정리를 적용하여 교차곱의 K^𝕋-이론과 고정점 대수의 K-이론을 연결한다.
• O_2와 O_∞의 흡수 성질을 활용하여 등변 임bedding과 KK^𝕋-동치를 구성한다.
• 연속적인 Rokhlin 성질과 코homology 동치 결과를 활용하여 쌍대 작용을 연결하고 등변 동치를 수립한다.
• UCT를 이용하여 KK^𝕋-동치를 표준적인 K-이론적 확장 불변량의 동형으로 간소화한다.
• 고정점 대수에서의 프로젝션 립팅을 통해 주어진 작용과 KK^𝕋-동치인 단위 Kirchberg 대수와 Rokhlin 작용을 구성한다.

실험 결과

연구 질문

• RQ1 분리 가능한 핵심 C*-대수에서 Rokhlin 작용이 Kirchberg 대수에서의 Rokhlin 작용과 KK^𝕋-동치가 되는 조건은 무엇인가?
• RQ2 Kirchberg 대수에서 두 Rokhlin 작용이 동치일 조건은 무엇이며, 이는 그것들의 KK^𝕋-동치와 어떻게 관련되는가?
• RQ3 UCT는 K-이론적 불변량을 통한 Rokhlin 작용의 분류를 어떻게 단순화하는가?
• RQ4 Rokhlin 작용과 관련된 표준 순수 확장이 분류 과정에서 수행하는 역할은 무엇인가?
• RQ5 왜 등변 설정에서는 K^𝕋-이론의 동형이 반드시 KK^𝕋-동치로 올라가지 못하는가? 비등변 설정과의 차이점은 무엇인가?

주요 결과

• 분리 가능한 핵심 C*-대수에서의 Rokhlin 작용은 항상 Kirchberg 대수에서의 Rokhlin 작용과 KK^𝕋-동치이다.
• 정확한 분리 가능한 C*-대수에서 Rokhlin 작용은 항상 O_2의 고유한 Rokhlin 작용과 등변적으로 임베딩된다.
• Kirchberg 대수에서 두 Rokhlin 작용은 정확히 그것들이 KK^𝕋-동치일 때 동치이다.
• UCT가 성립하는 경우, KK^𝕋-동치는 작용과 관련된 표준 순수 확장 불변량의 동형으로 간소화된다.
• 핵심 C*-대수에서 Rokhlin 작용으로부터 유도되는 확장들은 특정한 K-이론적 성질을 갖는 순수 확장으로 완전히 특성화된다.
• Kirchberg 대수에서 Rokhlin 작용의 K^𝕋-이론 간의 동형이 반드시 KK^𝕋-동치로 올라가지 않는다는 점은 비등변 설정과의 핵심적 차이를 드러낸다.