[논문 리뷰] Tannaka-Kreùõn duality for compact quantum homogeneous spaces. I. General theory

Kenny De Commer, Makoto Yamashita|arXiv (Cornell University)|2013. 01. 01.

Advanced Operator Algebra Research참고 문헌 36인용 수 14

한 줄 요약

이 논문은 컴팩트 양자군 G의 유한차원 표현의 텐서(category) Repp(G) 위의 모듈러 C*-분류체에 대한 등변 모리타 동치에 관해, 양자 G-균일 공간들 사이의 일대일 대응을 수립한다. 등변 힐버트 모듈의 카테고리적 구조를 활용하여, 비에르고딕 작용에 대한 전역 이중성 프레임워크를 제공하며, 이는 피니아리와 로버츠의 이전 연구를 범주론적 및 표현 이론적 맥락에서 일반화한 것이다.

ABSTRACT

An ergodic action of a compact quantum group G on an operator algebra A can be interpreted as a quantum homogeneous space for G. Such an action gives rise to the category of finite equivariant Hilbert modules over A, which has a module structure over the tensor category ReppGq of finite-dimensional representations of G. We show that there is a one-to-one correspondence between the quantum G-homogeneous spaces up to equivariant Morita equivalence, and indecomposable module C u -categories over ReppGq up to natural equivalence. This gives a global approach to the duality theory for ergodic actions as developed by C. Pinzari and J. Roberts.

연구 동기 및 목표

• 컴팩트 양자군의 비에르고딕 작용에 대한 전역적 범주론적 이중성 이론을 개발하는 것.
• 등변 힐버트 모듈의 관련 카테고리에 의해 양자 G-균일 공간을 특성화하는 것.
• 등변 모리타 동치에 관해, 양자 균일 공간과 Repp(G) 위의 모듈러 C*-분류체 사이의 대응을 수립하는 것.
• 범주론적 및 표현 이론적 방법을 사용하여 피니아리와 로버츠의 이중성 결과를 일반화하는 것.

제안 방법

• 논문은 유한 등변 힐버트 모듈의 카테고리, 즉 작용 대수 A 위의 등변 힐버트 모듈의 카테고리가 Repp(G), 즉 G의 유한차원 표현의 텐서 카테고리 위의 모듈러 카테고리로 사용된다.
• Tannaka-Krein 이중성 원리를 적용하여, 표현 카테고리 Repp(G)로부터 양자군 G를 재구성한다.
• 등변 힐버트 모듈의 Repp(G) 위의 모듈러 구조에 기반하여, A 위의 G-작용을 코딩한다.
• 등변 모리타 동치에 관해 양자 균일 공간을 분류하기 위해, Repp(G) 위의 분해 불가능한 모듈러 C*-분류체의 개념을 도입한다.
• 양자 G-균일 공간의 카테고리와 Repp(G) 위의 분해 불가능한 모듈러 C*-분류체의 카테고리 사이의 범주 동치를 통해 이중성을 수립한다.

실험 결과

연구 질문

• RQ1 비에르고딕 작용의 컴팩트 양자군 작용이 범주론적 구조를 통해 체계적으로 분류될 수 있는가?
• RQ2 양자 G-균일 공간과 Repp(G) 위의 모듈러 카테고리 사이의 정확한 대응은 무엇인가?
• RQ3 등변 모리타 동치는 Repp(G) 위의 모듈러 C*-분류체의 구조와 어떻게 관련되는가?
• RQ4 범주론적 방법을 통해 Tannaka-Krein 이중성은 양자 균일 공간의 맥락으로 확장될 수 있는가?

주요 결과

• 등변 모리타 동치에 관해, 양자 G-균일 공간과 Repp(G) 위의 분해 불가능한 모듈러 C*-분류체 사이에 일대일 대응이 존재한다.
• 양자 균일 공간 위의 유한 등변 힐버트 모듈의 카테고리는 자연스럽게 Repp(G) 위의 모듈러 카테고리로 형성된다.
• 이중성 프레임워크는 표현 이론적 및 범주론적 자료를 통해 양자 균일 공간의 전역적 특성화를 제공한다.
• 결과는 피니아리와 로버츠의 이전 이중성 결과들을 범주론적 프레임워크 내에서 일반화하고 통합한다.