[논문 리뷰] Equivariant logic and applications to C*-dynamics

Eusebio Gardella, Martino Lupini|arXiv (Cornell University)|2016. 08. 19.

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

한 줄 요약

이 논문은 국소적으로 컴act한 군의 메트릭 구조 위에서의 작용을 위한 등변 모델 이론적 프레임워크를 개발하며, Łoś의 정리와 초곱 포화성의 유사 정리를 증명한다. 이를 C*-다이나믹스에 적용하여, 연속 부분이 강한 자기흡수적 작용의 중심 시퀀스 대수와 초곱 대수 사이에 등변 동형사상이 존재함을 초월가정 하에 증명하고, 순서 0 차원 이론을 통해 분해 차원과 핵심 차원과 같은 차원 불변량에 대한 새로운 부등식을 도출한다.

ABSTRACT

We introduce a model-theoretic framework for the study actions of a locally compact group on metric structures. In this setting, we prove analogs of fundamental model-theoretic results, such as \L os' theorem and countable saturation of ultrapowers. We then present applications to C*-dynamics. In particular, we prove that the continuous part of the central sequence algebra of a strongly self-absorbing action is indistinguishable from the continuous part of the sequence algebra, and in fact equivariantly isomorphic under the Continuum Hypothesis. As another application, we present a unified approach to several dimensional inequalities in C*-algebras. This is done through the notion of order zero dimension for an (equivariant) homomorphism. Finiteness of the order zero dimension implies that the dimension of the target algebra can be bounded by the dimension of the domain. The dimension can be, among others, decomposition rank, nuclear dimension, or Rokhlin dimension. As a consequence, we obtain new inequalities for these quantities. As a third application we obtain the following result: if a C*-algebra $A$ absorbs a strongly self-absorbing C*-algebra $D$, and $\alpha$ is an action of a compact group $G$ on $A$, then $\alpha$ absorbs any strongly self-absorbing action of $G$ on $D$. This has a number of interesting consequences, already in the case of the trivial action. For example, $D$-stability passes from $A$ to the crossed product. Additionally, our result restricts the possible value of the Rokhlin dimension of actions on $\mathcal{Z}$-absorbing C*-algebras to $\{0,1,\infty\}$. It also implies that an action of a finite group with finite Rokhlin dimension with commuting towers automatically has the Rokhlin property if the algebra is UHF-absorbing.

연구 동기 및 목표

• 국소적으로 컴팩트한 군에 대한 메트릭 구조 위에서의 작용을 위한 모델 이론적 프레임워크를 개발한다.
• Łoś의 정리와 초곱 포화성과 같은 기본 모델 이론 결과들을 등변 설정으로 확장한다.
• 이 프레임워크를 C*-다이나믹스에 적용하여 중심 시퀀스 대수와 차원 불변량을 이해한다.
• 등변 준동형사상의 순서 0 차원 개념을 사용하여 C*-대수학 내의 차원 불변량을 통합하고 일반화한다.
• 특히 D-안정적인 C*-대수에서의 작용에 대한 흡수 결과를 확립한다. 여기서 D는 강한 자기흡수적일 수 있다.

제안 방법

• 국소적으로 컴팩트한 군의 메트릭 구조 위에서의 작용을 위한 등변 모델 이론적 설정을 도입한다.
• 등변 맥락에서 초곱에 대한 Łoś의 정리와 가산 포화성의 유사 정리를 증명한다.
• 등변 준동형사상의 순서 0 차원을 정의하여, 이는 차원 불변량을 제어하는 복잡성의 척도로 기능한다.
• 초월가정을 사용하여 중심 시퀀스 대수의 연속 부분과 시퀀스 대수 사이의 등변 동형사상을 확립한다.
• 이 프레임워크를 적용하여, D-흡수적 C*-대수 위에서의 작용이 동일한 군에 대한 모든 강한 자기흡수적 작용을 흡수함을 보인다.
• 순서 0 차원을 활용하여 분해 차원, 핵심 차원, Rokhlin 차원에 대한 정량적 경계를 도출한다.

실험 결과

연구 질문

• RQ1 강한 자기흡수적 작용의 중심 시퀀스 대수의 연속 부분이 시퀀스 대수와 초월가정 하에 등변 동형사상이 되는 조건은 무엇인가?
• RQ2 준동형사상의 순서 0 차원은 도메인의 차원에 비해 타겟 C*-대수의 차원을 어떻게 제한하는가?
• RQ3 D-흡수는 C*-대수 위에서의 군 작용의 Rokhlin 차원에 어떤 제약을 가하는가?
• RQ4 다양한 C*-대수 클래스에 걸쳐 강한 자기흡수적 작용의 흡수를 통일적으로 특징지을 수 있는가?
• RQ5 UHF-흡수적 C*-대수에서 유 end의 Rokhlin 차원과 교환 가능한 타워를 갖는 경우, Rokhlin 성질은 어느 정도 자동으로 유도되는가?

주요 결과

• 초월가정 하에 강한 자기흡수적 작용의 중심 시퀀스 대수의 연속 부분은 시퀀스 대수와 등변 동형사상이 된다.
• 등변 준동형사상의 순서 0 차원이 유한하면, 타겟 C*-대수의 차원(예: 분해 차원, 핵심 차원, Rokhlin 차원)이 도메인의 차원으로 제한된다.
• C*-대수 A가 강한 자기흡수적 C*-대수 D를 흡수하고, α가 A 위에 국소적으로 컴팩트한 군 G의 작용이라면, α는 D 위에서 G의 임의의 강한 자기흡수적 작용을 흡수한다.
• A가 D-안정적이고 α가 강한 자기흡수적 작용이라면, A ⋊α G의 D-안정성은 A로부터 유도된다.
• Z-흡수적 C*-대수 위에서의 작용의 Rokhlin 차원은 {0, 1, ∞}의 값들만 가질 수 있다.
• 유한군의 작용이 UHF-흡수적 C*-대수 위에서 유한한 Rokhlin 차원과 교환 가능한 타워를 갖는다면, 자동으로 Rokhlin 성질을 가진다.