[논문 리뷰] Tannaka-Krein duality for compact quantum homogeneous spaces. I. General theory

Kenny De Commer, Makoto Yamashita|arXiv (Cornell University)|2012. 11. 28.

Advanced Algebra and Geometry인용 수 15

한 줄 요약

이 논문은 컴팩트 양자 동차 공간들 간의 일대일 대응을, G--equivariant Morita 동치에 대해 고려할 때, 유한 차원 표현의 텐서 범주에 대한 불가분 모듈러 C*-범주들 사이에 설정한다. C*-범주와 이중 등급 힐버트 공간으로의 텐서 함자를 통한 Tannaka-Kreĭn 대칭 이론을 활용하여, 이전의 준텐서 함수 기반 접근법을 일반화하고 정교화한 전반적인 범주론적 프레임워크를 제공하며, 비어리스 동작에 대한 강력한 대칭 이론을 구축한다.

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 Rep(G) 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*-categories over Rep(G) up to natural equivalence. This gives a global approach to the duality theory for ergodic actions as developed by C. Pinzari and J. Roberts.

연구 동기 및 목표

• 컴팩트 양자군의 비어리스 동작을 위한 전반적인 범주론적 대칭 이론을 개발한다.
• 표현 범주 Rep(𝐺)에 대한 모듈러 C*-범주를 통해 컴팩트 양자 동차 공간을 특성화한다.
• 이전의 준텐서 함수 기반 접근법을, 이중 등급 힐버트 공간으로의 텐서 함수에 기반한 더 체계적인 프레임워크로 대체한다.
• G--equivariant Morita 동치에 대해 고려할 때, 양자 동차 공간들과 불가분 모듈러 C*-범주들 간의 동치를 설정한다.
• 클래식한 Tannaka-Kreĭn 대칭 이론을 컴팩트 양자군과 그들의 동차 공간의 비가환 설정으로 일반화한다.

제안 방법

• C*-대수 A에 G-작용이 있는 유한 G--equivariant 힐버트 모듈러의 범주를 사용하여, Rep(𝐺)에 대한 모듈러 C*-범주를 구성한다.
• 모듈러 C*-범주들과 Rep(𝐺)에서 End(𝒟)𝑓, 즉 유한 내부 동형사상의 범주로의 강한 텐서 C*-함수 사이의 대응을 설정한다.
• 표현 G의 작용이 A 위에서 기록된 쌍 (r,s)로 인덱싱된 힐버트 공간의 범주로의 이중 등급 텐서 함수를 통해 모듈러 C*-범주를 표현한다.
• 융합 범주 이론과 C*-범주에서의 대칭 이론을 적용하여, 불가분 모듈러 C*-범주가 G--equivariant Morita 동치에 대해 양자 동차 공간을 분류함을 보인다.
• R-행렬의 추적 성질과 유계성 조건을 이용하여 사상 공간의 차원에 대한 유한성 조건을 증명함으로써, 범주가 잘 정의되어 있음을 보장한다.
• 𝒟가 준순수하고 인덱스 집합 𝐽에 의해 인덱싱된 경우, End(𝒟)𝑓와 ℰ𝑓𝐽 사이의 텐서 동치를 활용하여, 구조를 구체적인 형태로 축소한다.

실험 결과

연구 질문

• RQ1 클래식한 Tannaka-Kreĭn 대칭 이론을 일반화할 수 있는 방식으로 컴팩트 양자 동차 공간을 어떻게 분류할 수 있는가?
• RQ2 C*-대수 위에서 컴팩트 양자군의 비어리스 작용에 대응하는 범주론적 구조는 무엇인가?
• RQ3 양자 동차 공간의 개념을 순수하게 Rep(𝐺) 위의 모듈러 범주론적 구조로 특성화할 수 있는가?
• RQ4 모듈러 C*-범주 이론은 전통적인 섬세한 함수자와 준텐서 함수 기반 접근법 간의 대칭 이론과 어떻게 관련이 있는가?
• RQ5 G-equivariant Morita 동치 하에서, 양자 동차 공간과 불가분 모듈러 C*-범주 사이의 정확한 대응은 무엇인가?

주요 결과

• G--equivariant Morita 동치에 대해 고려할 때, 컴팩트 양자 동차 공간들(1:1 대응)과 Rep(𝐺) 위의 불가분 모듈러 C*-범주들(자연 동치에 대해) 사이에 일대일 대응이 존재한다.
• 양자 동차 공간 위의 유한 G--equivariant 힐버트 모듈러의 범주는 자연스럽게 Rep(𝐺) 위의 불가분 모듈러 C*-범주를 이룬다.
• 이러한 모듈러 C*-범주의 구조는 J-인덱싱된 준순수 C*-범주 위의 유한 내부 동형사상의 범주 ℰ𝑓𝐽로의 Rep(𝐺)에서의 강한 텐서 C*-함수의 구조와 동치이다.
• 대응은 함자적이며 텐서 구조를 유지하며, 이는 이전의 준텐서 함수 기반 결과를 일반화한다.
• R-행렬의 유한성 조건은 사상 공간의 차원 합이 유계임을 보장하여, 범주 내에서 병리적인 행동을 방지한다.
• 이론은 이중 등급 힐버트 공간을 통한 모듈러 C*-범주의 구체적 실현을 제공하며, 더 넓은 대수적 프레임워크 내에서 약한 호프 대수와 호프-갈로아 이론과 연결된다.