[논문 리뷰] Free actions of compact quantum group on unital C*-algebras

Paul Baum, Kenny De Commer외 1명|arXiv (Cornell University)|2013. 04. 09.

Advanced Operator Algebra Research참고 문헌 33인용 수 25

한 줄 요약

이 논문은 단위 C*-대수 위의 컴act 양자군 작용에 대해 세 조건의 동치성을 확립한다: C*-자유성(함수해석학적 조건), Peter-Weyl-Galois 조건(표준 사상의 대수적 동형), 강한 모노이드성(범주론적 성질). 주요 기여는 표준 사상의 동형을 통해 C*-자유성을 대수적 조건으로 특성화함으로써 고전적 Galois 이론과 주요 다발 이론을 양자적 환경으로 일반화하는 것이다.

ABSTRACT

Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism. In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in algebraic terms.

연구 동기 및 목표

• 단위 C*-대수 위의 컴 pact 양자군 작용의 맥락에서 고전적 Galois 이론과 주요 다발 이론을 일반화하기 위해.
• 기능해석학에 뿌리를 두고 있는 C*-자유성 개념을 표준 사상의 동형을 통해 대수적 특성화하기 위해.
• 세 가지 서로 다른 개념—C*-자유성, Peter-Weyl-Galois 조건, 강한 모노이드성—을 동치 프레임워크로 통합하기 위해.
• Hopf 대수학적 및 C*-대수학적 도구를 사용하여 고전적 정규 코버링과 군 작용 이론을 비가환 환경으로 확장하기 위해.

제안 방법

• 단위 *-환형사상 δ: A → A ⊗min H 가 코결합성과 코단위성을 만족하는 방식으로 컴 pact 양자군 (H, Δ) 에 의한 A 위의 코작용을 정의한다.
• O(H)가 행렬 계수의 밀집 Hopf *-부분대수이므로, P_H(A)를 δ의 상이 A ⊗ O(H) 에 속하는 원소들로 구성된 A 의 부분대수로 정의한다.
• B = A^{coH} 인 고정점 대수를 사용하여, x ⊗ y ↦ (x ⊗ 1)δ(y) 로 정의된 표준 사상 can: P_H(A) ⊗_B P_H(A) → P_H(A) ⊗ O(H) 를 구성한다.
• 세 조건의 동치성을 확립한다: (1) {(x⊗1)δ(y)}cls = A ⊗min H 를 만족하는 C*-자유성; (2) 표준 사상이 전단사인 것 (Peter-Weyl-Galois 조건); (3) 코모듈러에 대한 코작용의 강한 모노이드성.
• 컴 pact 양자군의 Peter-Weyl 이론을 활용하여 문제를 유한차원 Hopf 대수적 구조로 환원하고, O(H) 와 H 사이의 쌍대성 관계를 활용한다.
• 코텐서 곱과 코모듈러 대수를 포함한 비가환 기하학 및 Hopf-Galois 이론의 기법을 적용하여 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 단위 C*-대수 위의 컴 pact 양자군 작용에서 C*-자유성이 표준 사상이 동형임과 동치인가?
• RQ2 고전적 정규 코버링 공간과 Galois 확대의 개념이 대수적 동형 조건을 통해 컴 pact 양자군 작용으로 일반화될 수 있는가?
• RQ3 코모듈러에 대한 코작용의 강한 모노이드성은 C*-자유성과 Peter-Weyl-Galois 조건과 같은 구조적 조건과 일치하는가?
• RQ4 콤���트 하우스도르프 공간 위의 군 작용의 자유성은 표준 사상의 동형을 통해 순수하게 대수적으로 표현될 수 있는가?

주요 결과

• 모든 컴 pact 양자군 작용에 대해 C*-자유성, Peter-Weyl-Galois 조건, 강한 모노이드성의 세 조건은 상호 동치이다.
• 표준 사상 can: P_H(A) ⊗_B P_H(A) → P_H(A) ⊗ O(H), x⊗y ↦ (x⊗1)δ(y) 는 작용이 C*-자유일 때이고 그 때에만 동형이다.
• 이 동치성은 고전 결과를 일반화한다: 유한군이 콤팩트 하우스도르프 공간 위에 작용할 때, 그 작용이 자유일 필요충분조건은 표준 사상이 동형임이다. 또한 Galois 확대는 동일한 동형 조건으로 특성화된다.
• 결과적으로 C*-자유성에 대한 순수한 대수적 기준을 제공하며, 기능해석학적 조건을 코모듈러 대수의 범주 내 동형 조건으로 대체한다.
• 이 동치성은 비가환 환경에서도 성립하여, 고전적 주요 다발 이론과 Galois 확대 이론을 컴 pact 양자군으로 확장한다.
• 논문은 C*-자유 작용의 필드가 전역적으로 C*-자유 작용을 이룬다는 것을 증명하여 국소 데이터 간의 호환성을 보여준다.