[논문 리뷰] Rokhlin dimension for compact quantum group actions

Eusebio Gardella, Mehrdad Kalantar외 1명|arXiv (Cornell University)|2017. 03. 31.

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

한 줄 요약

이 논문은 C*-대수 위에 작용하는 임의의 컴팩트 양자군에 대한 모델 이론 프레임워크를 확장하여 Rokhlin 차원과 Rokhlin 성질을 일반화한다. 이러한 작용이 메트릭 구조의 논리에서 첫째 순서의 공리화 가능하다는 것을 보임으로써, 저자들은 coexact 및 분리 가능한 설정을 넘어서 Rokhlin 차원과 등변 순서 0 차원을 일반화하며, 고정점 대수와 교차곱에 대해 유한 핵심 차원과 유한 분해 계수의 보존을 증명한다.

ABSTRACT

We show that, for a given compact or discrete quantum group $G$, the class of actions of $G$ on C*-algebras is first-order axiomatizable in the logic for metric structures. As an application, we extend the notion of Rokhlin property for $G$-C*-algebra, introduced by Barlak, Szabó, and Voigt in the case when $G$ is second countable and coexact, to an arbitrary compact quantum group $G$. All the the preservations and rigidity results for Rokhlin actions of second countable coexact compact quantum groups obtained by Barlak, Szabó, and Voigt are shown to hold in this general context. As a further application, we extend the notion of equivariant order zero dimension for equivariant *-homomorphisms, introduced in the classical setting by the first and third authors, to actions of compact quantum groups. This allows us to define the Rokhlin dimension of an action of a compact quantum group on a C*-algebra, recovering the Rokhlin property as Rokhlin dimension zero. We conclude by establishing a preservation result for finite nuclear dimension and finite decomposition rank when passing to fixed point algebras and crossed products by compact quantum group actions with finite Rokhlin dimension.

연구 동기 및 목표

• 고정된 컴팩트 또는 이산 양자군이 C*-대수 위에 작용하는 클래스가 메트릭 구조의 논리에서 첫째 순서의 공리화 가능하다는 것을 확립하는 것.
• coexact 및 분리 가능한 조건에 대한 이전 가정을 제거하고, 임의의 컴팩트 양자군에 대해 Rokhlin 성질과 Rokhlin 차원을 일반화하는 것.
• 등변 순서 0 차원의 개념을 컴팩트 양자군 작용으로 확장하여 Rokhlin 차원의 모델 이론적 특성화를 가능하게 하는 것.
• 유한 Rokhlin 차원을 가진 작용에 대해 고정점 대수와 교차곱에서의 유한 핵심 차원과 유한 분해 계수의 보존 결과를 증명하는 것.
• 기존의 Rokhlin 작용에 대한 보존 및 강성 결과를 양자군 설정에서 통합하고 일반화하여, 비분리적 및 비coexact 경우를 포함하는 것.

제안 방법

• C*-대수와 양자군에 대한 종류를 가진 다수의 종류를 가진 언어를 사용하여 컴팩트 양자군의 작용을 메트릭 구조의 논리에서의 구조로 형식화한다.
• 이 논리에서 양적 존재적 통합과 공식을 정의하여 Rokhlin 유형 성질의 모델 이론적 본질을 포착한다.
• G-C*-대수의 클래스의 공리화 가능성을 이용하여 양자군 작용과 호환되는 초구조 및 감소적 곱을 정의한다.
• 기존의 고전적 및 coexact 양자군 설정에서의 개념을 일반화하여, G-등변 *-호모모르피즘에 대해 등변 순서 0 차원의 개념을 도입한다.
• G-작용의 Rokhlin 차원을, 작용이 등변 순서 0 차원 n 분해를 가질 수 있는 최소의 n으로 정의한다.
• 모델 이론적 보존 정리들을 적용하여, 작용이 유한 Rokhlin 차원을 가질 경우 고정점 대수와 교차곱에서의 유한 핵심 차원과 유한 분해 계수가 보존됨을 보인다.

실험 결과

연구 질문

• RQ1 컴팩트 양자군 작용에 대한 Rokhlin 성질과 Rokhlin 차원은 coexact 및 제2가산 설정을 넘어서 일반화될 수 있는가?
• RQ2 고정된 컴팩트 양자군이 C*-대수 위에 작용하는 클래스는 메트릭 구조의 논리에서 첫째 순서의 공리화 가능한가?
• RQ3 등변 순서 0 차원의 개념은 어떻게 컴팩트 양자군 작용으로 확장되어 Rokhlin 차원을 정의할 수 있는가?
• RQ4 유한 Rokhlin 차원을 가진 작용에 대해 고정점 대수와 교차곱에서 C*-대수의 어떤 구조적 성질이 보존되는가?
• RQ5 양성 존재적 통합의 모델 이론적 프레임워크는 양자군 작용에 대한 강성 및 보존 결과를 도출하는 데 사용될 수 있는가?

주요 결과

• 임의의 고정된 컴팩트 또는 이산 양자군 $G$가 C*-대수 위에 작용하는 클래스는 메트릭 구조의 논리에서 첫째 순서의 공리화 가능하다.
• G-C*-대수에 대한 Rokhlin 성질은 메트릭 구조의 논리에서 양적 존재적 통합으로 특성화되며, 이는 이전 결과를 임의의 컴팩트 양자군으로 일반화한다.
• G-작용의 Rokhlin 차원은 등변 순서 0 차원을 통해 정의되며, Rokhlin 차원 0은 정확히 Rokhlin 성질에 해당한다.
• 이전에 coexact 및 분리 가능성을 요구했던 Rokhlin 작용에 대한 모든 보존 및 강성 결과가 임의의 컴팩트 양자군으로 확장된다.
• 유한 Rokhlin 차원을 가진 작용에 대해 고정점 대수와 교차곱에서의 유한 핵심 차원과 유한 분해 계수가 보존된다.
• 모델 이론적 프레임워크는 양자군 작용과 호환되는 G-C*-대수의 초구조 및 감소적 곱의 구성이 가능하게 한다.