[논문 리뷰] Finite Quantum Groupoids and Their Applications

Dmitri Nikshych, Leonid Vaînerman|ArXiv.org|2000. 06. 07.

Algebraic structures and combinatorial models참고 문헌 48인용 수 120

한 줄 요약

이 논문은 유한 깊이 부분군, 동적 양자군, 그리고 끈과 3차원 다면체의 불변량을 통합하는 프레임워크로 유한 양자 군oids(약한 호프 대수)를 수립한다. 표현 범주가 모나이드 및 쌍대 구조를 상속함으로써 드린펠트 이중과 비틀림 작용을 통해 브레드, 레이븐, 모듈라 범주를 구성할 수 있으며, 브라텔리 다이어그램을 통한 갈로아 대응과 주요 그래프 기술을 통해 부분군 이론에의 응용이 가능하다.

ABSTRACT

We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds.

연구 동기 및 목표

• 호프 대수와 유한 군oids의 일반화로서 유한 양자 군oids(약한 호프 대수)에 대한 종합적 이론을 개발하는 것.
• C*-양자 군oids가 von Neumann 대수 위에 작용하는 데 유한 깊이 부분군과 갈로아 대응을 수립하는 것.
• 양자 군oids의 표현 범주가 자연스럽게 브레드, 레이븐, 모듈라 범주를 유도함으로써 끈과 3차원 다면체의 불변량을 가능하게 하는 것.
• 근의 제곱근에서의 양자군의 동적 비틀림이 유한 양자 군oids와 양자 동적 양자 보일러-엑스터 방정식의 해를 유도하는 것.

제안 방법

• 체 k 위에서의 코곱과 약한 호프 대수 공리에 기반한 스위들러 표기법을 사용하여 양자 군oids를 정의하는 것.
• 드린펠트 이중과 쿼어시트리앙처 구조를 구성하여 표현 범주에 브레드 모나이드 범주를 유도하는 것.
• 호프 대수에 대한 비틀림 절차를 적용하여 동적 양자군과 자기쌍대 유한 양자 군oids를 생성하는 것.
• 스매시 곱과 작용의 이중성을 정의하여 블라튼너-몬트고메리 이중성의 양자 군oids 설정으로의 일반화를 이루는 것.
• 하어 적분과 쌍대자기의 제곱을 사용하여 양자 군oids의 반단순성과 C*-구조를 특징짓는 것.
• 표현 범주와 이중모듈러 범주에서의 단순 대상의 식별을 통해 포함관계 bBt ⊂bB의 브라텔리 다이어그램으로부터 주요 그래프를 유도하는 것.

실험 결과

연구 질문

• RQ1 유한 양자 군oids는 어떻게 유한 깊이 부분군의 비가환 대칭으로 기능하는가?
• RQ2 드린펠트 이중 작용은 양자 군oids에서 어떤 방식으로 모듈라 범주를 생성하는가?
• RQ3 근의 제곱근에서의 Uq(g)의 동적 비틀림은 어떻게 유한 양자 군oids와 양자 동적 양자 보일러-엑스터 방정식의 해를 유도하는가?
• RQ4 양자 군oids의 표현 범주는 어떻게 브레드, 레이븐, 모듈라 구조를 실현하는가?
• RQ5 유한 양자 군oids 포함관계의 브라텔리 다이어그램으로부터 부분군의 주요 그래프를 어떻게 재구성할 수 있는가?

주요 결과

• 유한 양자 군oids H의 표현 범주 Rep(H)는 이중 구조를 지닌 모나이드 범주이며, H가 쿼어시트리앙처, 레이븐, 또는 인수분해 가능한 구조를 지닐 경우 브레드, 레이븐, 또는 모듈라 범주로 된다.
• 유한 양자 군oids H는 정규화된 적분을 지닐 때이고, 그때에만 반단순적이다. 이는 약한 호프 대수 설정에서 마쉬케 정리의 일반화이다.
• 유한 깊이 부분군 N ⊂ M에 대해 이중모듈러의 범주와 양자 군oids B의 코모듈러의 범주 간에 동치가 존재하며, 갈로아 대응이 수립된다.
• 깊이 2 부분군 N ⊂ N>⊳K의 주요 그래프는 포함관계 δ(K) ⊂bB의 브라텔리 다이어그램에서 단순 대상이 포함된 연결 성분에 의해 주어진다.
• C*-양자 군oids B에 대해 포함관계 bBt ⊂bB는 부분군 N ⊂N>⊳B의 주요 그래프를 유도하며, bBt는 쌍대코이델의 상이다.
• 근의 제곱근에서의 Uq(g)의 동적 비틀림은 자기쌍대 유한 양자 군oids를 생성하며, 이는 양자 동적 양자 보일러-엑스터 방정식의 해를 제공한다.