[논문 리뷰] Double categories and quantum groupoids

Nicolás Andruskiewitsch, Sonia Natale|arXiv (Cornell University)|2003. 08. 25.

Algebraic structures and combinatorial models참고 문헌 19인용 수 32

한 줄 요약

이 논문은 이중 범주론을 사용하여 매칭된 군oids 쌍에서 약한 호프 대수(양자 군oids)를 구성한다. 공백 이중 군oids—각 상자가 인접한 임의의 두 변으로 유일하게 결정되는 것—는 군oids 대수와 코대수 구조를 통해 양자 군oids를 유도하며, 카의 구성법을 일반화하고 카 유형의 정확한 수열을 통해 코homological 자료와 연결한다.

ABSTRACT

We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I. Kac in the sixties. Our approach is based on the notion of double groupoids, as introduced by Ehresmann.

연구 동기 및 목표

• 군oids 쌍의 매칭된 쌍에서 G. I. 카의 호프 대수 구성법을 약한 호프 대수(양자 군oids)로 일반화하기 위해 이중 군oids의 구조를 사용하는 것.
• 구성 법칙에 대한 충분 조건을 도입하여 어떤 이중 군oids가 약한 호프 대수를 유도하는지 정확히 규명하는 것.
• 이중 복합체와 전체 복합체를 사용하여 양자 군oids의 확장과 자기동형사상의 코homological 프레임워크를 수립하는 것.
• 표준 기저의 이중곱의 이중 범주론적 해석을 제공하여 구성의 그림자적이고 대수적인 통합을 이룩하는 것.
• Opext 및 Aut 군을 분석하여 이러한 양자 군oids로부터 유도되는 텐서 범주의 분류 기반을 마련하는 것.

제안 방법

• 이중 범주를 사용하여 군oids 작용에서 유래된 수평 및 수직의 구조를 가진 상자(사상)의 복합을 모델링하는 프레임워크를 제공한다.
• 이중 군oids를 소형 범주에서의 범주 대상으로 정의하며, 수평 및 수직의 가역 복합이 존재한다.
• 각 상자가 인접한 임의의 두 변으로 유일하게 결정되는 '공백' 이중 군oids의 개념을 도입하여, 이는 약한 호프 대수의 구조와의 호환성을 보장한다.
• 수직 및 수평 군oids의 군oids 코homology에서 이중 복합체를 구성하며, 미분 $ d_H $ 와 $ d_V $ 를 포함하고, 전체 복합체 $ \operatorname{Tot}A^{\cdot\cdot} $ 를 형성한다.
• 기호 기법을 적용하여 전체 복합체를 $ (-1)^s d_V^{r,s} $ 로 정의함으로써 코homology에서 장점 정확한 수열을 구성할 수 있도록 한다.
• 이중 복합체의 짧은 정확한 수열 $ 0 \to A^{\cdot\cdot} \to D^{\cdot\cdot} \to E^{\cdot\cdot} \to 0 $ 을 분석하여 코homology에서 카 유형의 정확한 수열을 유도하며, 주요 정확한 수열을 $ H^n({\mathcal{D}}, \Bbbk^\times) $ 를 포함하도록 이끌어낸다.

실험 결과

연구 질문

• RQ1 군oids 대수와 코대수 구조를 갖춘 어떤 이중 군oids가 약한 호프 대수를 유도하는가?
• RQ2 이중 군oids의 전체 복합체의 코homology는 대각 군oids와 그 부분군의 코homology와 어떻게 관련되어 있는가?
• RQ3 공백 이중 군oids 조건이 약한 호프 대수 공리가 만족됨을 보장하는 데 어떤 역할을 하는가?
• RQ4 이중 범주론을 통해 카 정확한 수열은 양자 군oids의 맥락에서 어떻게 일반화될 수 있는가?
• RQ5 Opext 및 Aut 군은 양자 군oids의 확장과 대칭을 분류하는 데 어떤 의미를 지니는가?

주요 결과

• 각 상자가 인접한 두 변으로 유일하게 결정되는 공백 이중 군oids는 매칭된 군oids 쌍과 동치이며, 약한 호프 대수를 구성하는 데 충분 조건을 제공한다.
• 벡터 공간으로서 상자들에 의해 생성되는 공간 위에 약한 호프 대수의 구조를 구성하며, 수직 군oids에서 곱셈을, 수평 군oids에서 코곱셈을 유도한다.
• 코homology에서 장점 정확한 수열이 확립된다: $ 0 \to H^1({\mathcal{D}}, \Bbbk^\times) \to H^1({\mathcal{H}}, \Bbbk^\times) \oplus H^1({\mathcal{V}}, \Bbbk^\times) \to \operatorname{Aut}(\Bbbk{\mathcal{T}}) \to \cdots $, 카의 수열을 일반화한다.
• 전체 복합체 $ \operatorname{Tot}A^{\cdot\cdot}({\mathcal{T}}, \Bbbk^\times) $ 의 코homology는 $ H^n({\mathcal{D}}, \Bbbk^\times) $ 와 동형이며, 이중 복합체와 대각 군oids의 코homology를 연결한다.
• Opext(\Bbbk{\mathcal{V}}, \Bbbk{\mathcal{H}}) 및 \operatorname{Aut}(\Bbbk{\mathcal{T}}) 군은 양자 군oids의 확장과 자기동형사상을 분류하는 데 해석된다.
• 이 프레임워크는 이러한 양자 군oids가 동일한 텐서 범주를 유도하는지 분석하기 위한 새로운 코homological 도구를 제공한다.