[논문 리뷰] Equivariant semiprojectivity

N. Christopher Phillips|arXiv (Cornell University)|2011. 12. 20.

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

한 줄 요약

이 논문은 컴act 군의 작용을 가진 C*-대수에 대해 등변 준가역성(equivariant semiprojectivity)을 도입하며, 유한 차원 C*-대수, 쿤츠 대수 $\mathcal{O}_d$와 $E_d$의 준자연적 작용, 그리고 유한군의 준자연적 작용을 가진 $\mathcal{O}_\infty$가 등변 준가역임을 증명한다. 또한 유한군에 대해 등변 준가역성이 생성자와 관계의 등변 안정성과 동치임을 증명하고, 자연스러운 $G$-중량을 가진 $C^*(G)$가 중량 준가역임을 보인다.

ABSTRACT

We define equivariant semiprojectivity for C*-algebras equipped with actions of compact groups. We prove that the following examples are equivariantly semiprojective: arbitrary finite dimensional C*-algebras with arbitrary actions of compact groups; the Cuntz algebras ${\mathcal{O}}_d$ and extended Cuntz algebras $E_d,$ for finite $d,$ with quasifree actions of compact groups; the Cuntz algebra ${\mathcal{O}}_{\infty}$ with any quasifree action of a finite group. For actions of finite groups, we prove that equivariant semiprojectivity is equivalent to a form of equivariant stability of generators and relations. We also prove that if $G$ is finite, then $C^* (G)$ is graded semiprojective.

연구 동기 및 목표

• 컴 pact 군의 작용을 가진 C*-대수에 대해 등변 준가역성의 이론을 정의하고 발전시키는 것.
• 임의의 컴 pact 군 작용을 가진 유한 차원 C*-대수들이 등변 준가역임을 확립하는 것.
• 유한 $d$와 유한군에 대해 $\mathcal{O}_d$, $E_d$, 및 $\mathcal{O}_\infty$에 대한 준자연적 작용이 등변 준가역임을 증명하는 것.
• 유한군에 대해 등변 준가역성이 생성자와 관계의 등변 안정성과 동치임을 보이는 것.
• 자연스러운 $G$-중량을 가진 $C^*(G)$가 중량 준가역임을 보이는 것.

제안 방법

• 컴 pact 군에서의 근사 등변 준동형사상을 진짜 준동형사상에 가깝게 만드는 반복적 방법을 사용하며, 유니터리에 대한 함수해석학적 연산을 활용한다.
• 준자연적 작용을 가진 $\mathcal{O}_d$와 $E_d$에 대해 코ycle 기반의 반복적 구성 기법을 적용하며, Blackadar의 기법을 변형한다.
• 단위원소 값을 가진 사상 $\rho_m: G \to U(C/J_n)$에 대한 극한 과정을 통해 진짜 군 준동형사상 $\rho: G \to U(C/J_n)$를 구성한다.
• C^*(G)의 보편 성질을 이용하여 구성된 준동형사상을 중량 *-준동형사상 $\psi: C^*(G) \to C/J_n$으로 올리는 데 사용한다.
• 수렴을 보장하기 위해 $\varepsilon$-한계를 가진 변형 기법을 적용하여 구성된 사상이 요구되는 노름 제어 범위 내에 유지되도록 한다.
• 모든 $a$에 대해 $\|a - u\| < \varepsilon$ 이면 $\|a(a^*a)^{-1/2} - u\| < \varepsilon_0$ 임을 보장하는 균일한 $\varepsilon_0$의 존재에 의존하여 반복 과정의 수렴을 확보한다.

실험 결과

연구 질문

• RQ1 컴 pact 군 작용을 가진 어떤 C*-대수가 등변 준가역인가?
• RQ2 유한군 작용에 대해 등변 준가역성이 생성자와 관계의 등변 안정성과 동치인가?
• RQ3 유한군에 대해 $\mathcal{O}_\infty$에 대한 준자연적 작용이 등변 준가역인가?
• RQ4 자연스러운 $G$-중량을 가진 $C^*(G)$는 중량 준가역인가?
• RQ5 Rokhlin 성질을 정확히 그룹에 의해 순열되는 프로젝션을 요구하도록 강화할 수 있는가?

주요 결과

• 임의의 컴 pact 군의 작용을 가진 유한 차원 C*-대수에 대해 등변 준가역성이 성립한다.
• 유한 $d$에 대해 컴 pact 군의 $\mathcal{O}_d$와 $E_d$에 대한 준자연적 작용은 등변 준가역이다.
• 유한군에 대해 $\mathcal{O}_\infty$에 대한 준자연적 작용은 등변 준가역이다.
• 유한군에 대해 등변 준가역성은 생성자와 관계의 등변 안정성과 동치이다.
• 자연스러운 $G$-중량을 가진 군 C*-대수 $C^*(G)$는 중량 준가역이다.
• Rokhlin 성질과 트라실 Rokhlin 성질의 Rokhlin 프로젝션은 정확히 그룹에 의해 순열되도록 요구할 수 있다.