[논문 리뷰] Categorically Morita Equivalent Compact Quantum Groups

Sergey Neshveyev, Makoto Yamashita|arXiv (Cornell University)|2017. 04. 16.

Algebraic structures and combinatorial models참고 문헌 34인용 수 7

한 줄 요약

이 논문은 Tannaka–Krein 쌍대성에 의해 컴팩트 양자군 간의 범주적 모리타 동치를 역학적 성질로 특성화한다. 단위 C*-대수에서 두 컴팩트 양자군의 교환 작용이 주어질 때, 이 작용이 자유롭고 고정점 대수들이 유한차원이며, 이 대수들이 프로베누스 대수로서 쌍대성을 이룰 경우에만 그 대수들이 그들의 표현 범주에 대한 역행성 있는 이중모듈러 범주를 유도함을 보여준다—이는 이중 호프–갈로아 조건을 일반화한다.

ABSTRACT

We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka--Krein type duality, a unital C$^*$-algebra endowed with commuting actions of two compact quantum groups corresponds to a bimodule category over their representation categories. We show that this bimodule category is invertible if and only if the actions are free, with finite dimensional fixed point algebras, which are in duality as Frobenius algebras in an appropriate sense. This extends the well-known characterization of monoidal equivalence in terms of bi-Hopf--Galois objects.

연구 동기 및 목표

• 컴팩트 양자군의 표현 범주 간의 모리타 동치를 범주론적으로 특성화하는 것.
• 기존의 모나이드 동치에 대한 이중 호프–갈로아 특성화를 더 넓은 범주적 모리타 동치의 맥락으로 확장하는 것.
• 양자군의 해석적 성질과 그들의 범주론적 표현 이론적 구조 사이의 연결 고리를 설정하는 것.
• G-Hopf–갈로아 물체의 개념을 한 단계의 구성으로 범주적 모리타 동치인 양자군을 유도하는 데 일반화하는 것.
• C*-텐서 범주에서 유도된 맥락에서 프로베누스 대수와 쌍대성의 역할을 명확히 하는 것.

제안 방법

• Tannaka–Krein 쌍대성을 활용하여 두 컴팩트 양자군의 작용이 교환되는 C*-대수를 그들의 표현 범주에 대한 이중모듈러 범주에 연결한다.
• 이중모듈러 구조를 코딩하는 핵심 대상으로서, G2-작용과 G1-작용에 대해 고정된 유한생성 우측 힐버트 A-모듈의 범주를 정의한다.
• G1-G2-Morita–갈로아 조건을 도입: 작용이 자유롭고, 고정점 대수들이 유한차원이며, 모듈 AG1 ⊗A 와 AG2 ⊗A 가 작용에 대해 호환되는 방식으로 동형이어야 한다.
• C*-텐서 범주 내의 프로베누스 대수의 구조를 활용하여 고정점 대수 AG1 과 AG2 사이의 쌍대성을 연결한다.
• 유니터리 구조와 내부 Hom 대상을 활용하여 결과적으로 유도된 Q-시스템이 기약적임을 확인하고, 유니터리 조건을 만족함을 입증한다.
• 드린펠트 중심의 동치와 2-범주적 쌍대성을 활용하여, 이중모듈러 범주의 역행성과 G1-G2-Morita–갈로아 조건이 동치임을 보인다.

실험 결과

연구 질문

• RQ1 두 컴팩트 양자군에 대한 이중모듈러 범주 DA, 즉 고정된 유한생성 오른쪽 힐버트 A-모듈의 이중모듈러 범주는 언제 (Rep G2)-(Rep G1)-이중모듈러 범주로서 역행성을 갖는가?
• RQ2 컴팩트 양자군의 작용이 서로 교환될 때, 그들의 표현 범주 간의 범주적 모리타 동치를 보장하는 정확한 대수적 조건은 무엇인가?
• RQ3 에르고딕 작용의 경우에서 G1-G2-Morita–갈로아 조건은 고전적 이중 호프–갈로아 조건을 어떻게 일반화하는가?
• RQ4 컴팩트 양자군 간의 범주적 모리타 동치는 고정점 대수의 구조와 그들의 쌍대성에 의해 순수하게 특성화될 수 있는가?
• RQ5 프로베누스 대수와 그 모듈러 범주가 표현 범주 위의 역행성 있는 이중모듈러 범주를 실현하는 데 어떤 역할을 하는가?

주요 결과

• 고정된 유한생성 오른쪽 힐버트 A-모듈의 이중모듈러 범주 DA 는 G1 과 G2 가 A 위에서 자유롭게 작용하고 고정점 대수들이 유한차원일 때에만 (Rep G2)-(Rep G1)-이중모듈러 범주로서 역행성을 갖는다.
• 고정점 대수 AG1 과 AG2 는 모듈 AG1 ⊗A 와 AG2 ⊗A 가 각각의 작용에 대해 호환되는 방식으로 동형이 되는 방식으로 프로베누스 대수로서 쌍대성을 이룬다.
• G1-G2-Morita–갈로아 조건은 이중 호프–갈로아 조건을 일반화한다: 작용이 에르고딕일 경우(즉, AG1 = C 이고 AG2 = C 이면), 이 조건은 고전적 이중 호프–갈로아 물체의 구조로 축소된다.
• 표현 범주 내의 단순 대상 X 에 대응하는 객체 ¯XX 는 기약 Q-시스템이며, 관련된 모듈 구조는 유니터리이다.
• 사상 µY µ∗Y 는 d(¯XX)ιY 와 같음을 확인하여, Q-시스템 ¯XX 가 표준 Q-시스템 공리계(유니터리 조건 포함)를 만족함을 확인한다.
• AG1 과 AG2 간의 쌍대성은 AG1 ⊗A 와 AG2 ⊗A 사이의 유니터리 동형사상에 의해 실현되며, 이 동형사상의 구조는 각 고정점 대수의 작용에 대해 보존된다.