[논문 리뷰] A characterization of amenability of group actions on $C^\ast$-algebras

Masayoshi Matsumura|arXiv (Cornell University)|2012. 04. 13.

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

한 줄 요약

이 논문은离산 정확한 군 $\Gamma$ 가 단위 항등원을 가진 교환 $C^*$-대수 $A$ 위에 작용할 때, 전체 및 축소된 교차곱 $C^*$-대수의 일치가 작용의 애매성(amenability)을 암시함을 증명한다. 증명은 약한 기대 성질(WEP)과 성질 $C'$를 활용하며, 아르베송의 확장 정리와 $\Gamma$--equivariant 완전 양의 지도를 사용하여 축소된 교차곱이 핵심적임을 보이고, 이는 알려진 특성화를 통해 애매성으로 이어진다.

ABSTRACT

We show that coincidence of the full and reduced crossed product $C^\ast$-algebras of a group action on a unital commutative $C^\ast$-algebra implies amenability of the action whenever the group is exact. This is a partial answer to a problem posed by C. Anantharaman-Delaroche in 1987.

연구 동기 및 목표

• 1987년 아나타라마단-델라로슈가 제기한 문제의 부분적 해결: 전체 및 축소된 교차곱의 일치를 통해 애매한 군 작용을 특성화하는 것.
• 기존 결과의 역을 증명: 애매한 작용이 전체 및 축소된 교차곱의 일치를 암시함을 보임.
• A \otimes A^{\rm op}의 핵심성 가정 하에 비가환 $C^*$-대수로 특성화를 확장함.
• 정확한 군에 대해, $A$가 단위 항등원을 가지며 교환적일 경우, 교차곱의 일치가 애매성으로 이어짐을 보임.
• 헤울라니cki의 방법과는 다름을 보이는, 약한 기대 성질과 성질 $C'$를 활용한 새로운 증명 기법 제공.

제안 방법

• 아르베송의 확장 정리를 사용하여 축소된 교차곱의 표현을 $B(\ell^2\Gamma \otimes H)$ 위의 완전 양의 지도로 확장함.
• 곱셈 영역 성질을 활용하여 $\ell^\infty\Gamma \otimes A$ 에서 $A^{\ast\ast}$ 로의 $\Gamma$--equivariant 완전 양의 지도를 구성함.
• 아르클랏과 배티의 약한 기대 성질(WEP)과 성질 $C'$를 적용하여 이러한 지도의 존재를 보장함.
• 군 $\Gamma$ 가 정확하고 $A$ 가 단위 항등원을 가질 경우, 작용 $\Gamma \curvearrowright \ell^\infty\Gamma \otimes A$ 가 애매함을 증명함.
• 축소된 교차곱의 함자성질을 사용하여 포함사상 $A \rtimes_r \Gamma \hookrightarrow (A \rtimes_r \Gamma)^{\ast\ast}$ 가 핵심적 $C^*$-대수를 통과하는 교환 다이어그램을 구성함.
• 만약 $C^*$-대수가 이중 이중 쌍대에 핵심적 지도를 통해 통합되면, 그 대수는 핵심적임을 이용하여 $A \rtimes_r \Gamma$ 가 핵심적임을 결론함.

실험 결과

연구 질문

• RQ1 정확한 군을 가정할 때, 단위 항등원을 가진 교환 $C^*$-대수 $A$ 위의 군 작용에 대해 전체 및 축소된 교차곱이 일치하면, 그 작용은 애매한가?
• RQ2 군이 정확할 조건 하에서, 아나타라마단-델라로슈의 결과의 역—즉, 애매한 작용이 전체 및 축소된 교차곱의 일치를 암시함—이 성립하는가?
• RQ3 축소된 교차곱의 핵심성에 의한 애매성 특성화는 비가환 $C^*$-대수로 어느 정도까지 확장될 수 있는가?
• RQ4 약한 기대 성질(WEP)과 성질 $C'$는 교차곱 대수의 $\Gamma$-equivariant 완전 양의 지도를 구성하는 데 어떻게 상호작용하는가?
• RQ5 군 $\Gamma$ 가 정확하고 $A$ 가 단위 항등원을 가질 경우, 대각 작용 $\Gamma \curvearrowright \ell^\infty\Gamma \otimes A$ 는 애매한가?

주요 결과

• 이산 정확한 군 $\Gamma$ 와 단위 항등원을 가진 교환 $\Gamma$-$C^*$-대수 $A$ 에 대해, 전체 및 축소된 교차곱이 일치하면, 작용 $\Gamma \curvearrowright A$ 는 애매하다.
• 축소된 교차곱 $A \rtimes_r \Gamma$ 는 핵심적임을 보이고, 이는 $A$ 가 단위 항등원을 가지며 교환적일 경우 작용의 애매성으로 이어진다.
• A \otimes A^{\rm op} 가 핵심적이고 전체 및 축소된 교차곱이 일치할 경우, 이 결과는 비가환 $C^*$-대수로 확장된다.
• 아르베송의 확장과 곱셈 영역의 논증을 활용하여 $\ell^\infty\Gamma \otimes A$ 에서 $A^{\ast\ast}$ 로의 $\Gamma$-equivariant 완전 양의 지도를 구성함으로써 증명이 이루어진다.
• 정확한 군일 경우, 작용 $\Gamma \curvearrowright \ell^\infty\Gamma \otimes A$ 가 애매함을 증명함이 축소된 교차곱의 핵심성 증명에 핵심적이다.
• 이중 이중 쌍대에 대한 포함사상이 핵심적 $C^*$-대수를 통과하는 것으로 인해 $A \rtimes_r \Gamma$ 가 핵심적임을 유도함.