[논문 리뷰] Amenability of Hopf C^*-algebras

Chi–Keung Ng|ArXiv.org|1999. 06. 08.

Advanced Operator Algebra Research참고 문헌 11인용 수 15

한 줄 요약

이 논문은 호프 $C^*$-대수에 대한 공단순성(coamenability)의 세 가지 동치 정의를 푸리에 대수 $A_S$ 기반으로 도입하고 연구하며, 국소 콪그룹의 단순성의 일반화이다. Kac-푸리에 쌍대성 프레임워크에서 한 쌍대 대상의 공단순성은 다른 쌍대 대상의 단순성과 동치임을 증명하며, 공단순성이 쌍대 대상의 뉘클레어성(nuclearity)을 암시함을 보이며, 고전적 결과를 양자군 설정으로 확장한다.

ABSTRACT

Three natural definitions for amenability of general Hopf C^*-algebras (all of them being generalizations of the case of locally compact groups) were given and the relations between them were studied. Moreover, amenability in the situation of duality of Hopf C^*-algebras was also studied.

연구 동기 및 목표

• 호프 $C^*$-대수에 대해 군의 단순성 기준의 일반화를 통해 공단순성을 정의하고 조사하는 것.
• 호프 $C^*$-대수의 푸리에 쌍대성 맥락에서 단순성과 공단순성 간의 쌍대성 탐구.
• 유계 근사 항등원, 점 분리, 쌍대 공간의 동형이라는 서로 다른 공단순성 조건 간의 등가성 확립.
• 공단순성이 쌍대 대상의 뉘클레어성과 불변 평균에 미치는 영향 조사.
• 호프 $C^*$-대수의 비가환·비코단순 설정으로의 고전적 군 단순성 결과 확장.

제안 방법

• 호프 $C^*$-대수 $S$의 공단순성을 세 조건을 통해 정의: (a) $A_S$가 유계 근사 항등원을 가짐; (b) $A_S$가 점을 분리하고 $S$는 쿤티탈임; (c) $S^* \cong M(A_S)$.
• 이전에 [12]에서 정의된 호프 $C^*$-대수 $S$의 푸리에 대수 $A_S$를, 군의 단순성 일반화의 중심 대상으로 사용.
• 공변 표현 이론과 불변 평균 이론을 적용하여 쌍대 시스템에서의 단순성 특성화.
• 내재적 쌍대성과 표현 이론을 이용해 Kac-푸리에 쌍대성 $(T,X,S)$에서 $T$의 공단순성과 $S$의 단순성 간의 등가성 확립.
• 교차곱과 뉘클레어성에 관한 결과를 적용해, $S$가 단순하면 그 축소 쌍대체 $\hat{S}_p$가 뉘클레어임을 증명.
• Kac-푸리에 쌍대성의 유일성을 이용해 이 경우 세 공단순성 조건이 일치함을 보임.

실험 결과

연구 질문

• RQ1 호프 $C^*$-대수에 대한 세 개의 공단순성 정의가 동치인가?
• RQ2 푸리에 쌍대성 프레임워크에서 호프 $C^*$-대수의 공단순성은 그 쌍대체의 단순성과 어떻게 관련되는가?
• RQ3 $A_S$에 대한 불변 평균의 존재는 공단순성에 의해 어떻게 특성화될 수 있는가?
• RQ4 호프 $C^*$-대수의 공단순성이 그 쌍대체의 뉘클레어성으로 이어지는가?
• RQ5 Kac-푸리에 쌍대성 설정에서 $H_3$-공단순성 조건은 $H_1$- 및 $H_2$-공단순성과 동치인가?

주요 결과

• Kac-푸리에 쌍대성 설정에서 세 공단순성 정의—$A_S$에 대한 유계 근사 항등원, 점 분리 및 쿤티탈성, $M(A_S)$와의 쌍대성—은 모두 동치이다.
• Kac-푸리에 쌍대성 $(T,X,S)$에서 $T$가 공단순이면 $S$는 단순이며, 이는 단순성과 공단순성 간의 쌍대성을 확립한다.
• $S$가 단순하면 $A_S$는 오른쪽 불변 평균을 가지며, 이는 고전적 군 이론 결과를 호프 $C^*$-대수 설정으로 확장한 것이다.
• 공단순성은 $T$가 뉘클레어 $C^*$-대수임을 암시하며, 공단순성 조건의 등가성과 쌍대체의 뉘클레어성에 의해 이를 증명할 수 있다.
• Kac-푸리에 쌍대성에서 $T$에 대한 $H_1$-, $H_2$-, $H_3$-공단순성은 모두 동치이며, 이는 군의 경우를 일반화한 것이다.
• $S$가 단순하면 그 쌍대체 $\hat{S}_p$는 항상 뉘클레어이며, 이는 $S$의 단순성과 교차곱의 뉘클레어성에 기인한다.