[논문 리뷰] The Brauer-Picard group of the representation category of finite supergroup algebras

Martín Mombelli|arXiv (Cornell University)|2012. 02. 28.

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

한 줄 요약

이 논문은 유한 초군 algebra의 표현 범주에 대한 Brauer-Picard 군을 계산한다. 이는 $χ(V,u,G) = \wedge(V) \# \Bbbk G$ 형태의 호프 대수이며, $u$는 $G$-모듈러 $V$ 위에서 $-1$으로 작용하는 중심 원소이다. $χ(V,u,G) \otimes \u03c7(V,u,G)^{\rm{cop}}$ 내의 코이디얼 부분대수의 변형을 통한 정확한 분해 불가분 이중모듈러 범주의 분류를 이용하여, Brauer-Picard 군과 라그랑주 데이터의 동치류 집합 사이의 군 동형사상을 수립함으로써, 가역 이중모듈러 범주의 완전한 구조적 기술을 제공한다.

ABSTRACT

We develop further the techniques presented in [M. Mombelli. On the tensor product of bimodule categories over Hopf algebras. Preprint arXiv:1111.1610 ] to study bimodule categories over the representation categories of arbitrary finite-dimensional Hopf algebras. We compute the Brauer-Picard group of equivalence classes of exact invertible bimodule categories over the representation categories of a certain large family of pointed non-semisimple Hopf algebras, the so called supergroup algebras. To obtain this result we first give a classification of equivalence classes of exact indecomposable bimodule categories over such Hopf algebras.

연구 동기 및 목표

• 유한 초군 algebra의 표현 범주에 대한 Brauer-Picard 군을 계산하는 것. 이는 비단순점적 호프 대수의 일종인, 비단순점적 호프 대수의 일종이다.
• 표현 범주 $\operatorname{Rep}(\mathcal{A}(V,u,G))$ 위의 정확한 분해 불가분 이중모듈러 범주의 동치류를 $\mathcal{A}(V,u,G) \otimes \mathcal{A}(V,u,G)^{\rm{cop}}$ 내의 코이디얼 부분대수의 변형을 이용하여 분류하는 것.
• Brauer-Picard 군과 라그랑주 데이터 $(W^1,W^2,W^3,\beta,F,\psi)$의 동치류 집합의 군 간의 군 동형사상을 수립하는 것.
• 심플렉틱 유사 이차형식과 군 작용을 이용한 가역 이중모듈러 범주의 구체적 매개화를 제공하는 것.

제안 방법

• 표현 범주 $\operatorname{Rep}(\mathcal{A}(V,u,G))$ 위의 정확한 분해 불가분 이중모듈러 범주를 $\mathcal{A}(V,u,G) \otimes \mathcal{A}(V,u,G)^{\rm{cop}}$-코모듈러 대수의 동치류로 분류하는 것.
• $\mathcal{A}(V,u,G)$가 코라디컬적으로 등급이 붙어 있음을 이용하여, 텐서곱 내의 코이디얼 부분대수의 변형으로 분류를 단순화하는 것.
• 이러한 이중모듈러 범주를 매개화하는 6중항 $(W^1,W^2,W^3,\beta,F,\psi)$를 구성하는 것. 여기서 $F \subseteq G \times G$는 부분군이며, $\psi$는 2-코호몰로지, $\beta$는 특정 대칭성과 반대칭성 조건을 만족하는 $F$-불변 이차형식이다.
• 이러한 6중항 간의 동치 관계를 정의하여, 동일한 이중모듈러 범주를 유도하는 것을 식별하는 것.
• Brauer-Picard 군과 $V \oplus V^*$의 자동형사상의 동치류 집합 $\overline{\mathcal{O}}(V,u,G)$ 간의 군 동형사상을 수립하는 것.
• 표현 $\sigma: \overline{\mathcal{O}}(V,u,G) \to \overline{\mathrm{Lag}}(V,u,G)$, $\sigma(\overline{(T,\alpha)}) = \overline{(\tau(W_T,\beta_T), \alpha)}$ 가 잘 정의된 군 동형사상임을 증명하는 것.

실험 결과

연구 질문

• RQ1 유한 초군 algebra의 표현 범주에 대한 Brauer-Picard 군의 구조는 무엇인가?
• RQ2 표현 범주 $\operatorname{Rep}(\mathcal{A}(V,u,G))$ 위의 정확한 분해 불가분 이중모듈러 범주는 어떻게 분류할 수 있는가?
• RQ3 군 작용, 부분공간, 이차형식을 이용한 가역 이중모듈러 범주의 정확한 매개화는 무엇인가?
• RQ4 Brauer-Picard 군과 라그랑주 데이터의 군 간에 군 동형사상이 존재하는가?
• RQ5 스위드러 히프 대수와 같은 특정 예시에서 Brauer-Picard 군은 어떻게 행동하는가?

주요 결과

• Brauer-Picard 군 $\mathrm{BrPic}(\operatorname{Rep}(\mathcal{A}(V,u,G)))$ 는 $V \oplus V^*$의 자동형사상의 동치류 집합 $\overline{\mathcal{O}}(V,u,G)$ 와 군 동형이다.
• 표현 범주 $\operatorname{Rep}(\mathcal{A}(V,u,G))$ 위의 모든 정확한 분해 불가분 이중모듈러 범주는 특정한 불변성과 대칭성 조건을 만족하는 이차형식 $\beta$를 가진 6중항 $(W^1,W^2,W^3,\beta,F,\psi)$ 로부터 유도된다.
• 사상 $\sigma: \overline{\mathcal{O}}(V,u,G) \to \overline{\mathrm{Lag}}(V,u,G)$ 는 잘 정의되어 있고 전단사이며, 이는 Brauer-Picard 군이 이러한 6중항의 동치류에 대해 분류됨을 증명한다.
• 스위드러 히프 대수의 경우($\dim V = 1$, $G = \mathbb{Z}_2$), Brauer-Picard 군은 $\mathcal{O} \times \mathbb{Z}_2$ 와 군 동형이며, 여기서 $\mathcal{O} = \{A \in SL_2(\mathbb{C}) : A_{12} = 0\}$ 이고, 차수 4인 일차 매개변수를 가진 가역 이중모듈러 범주의 한 가닥이 존재한다.
• $(u,u) \notin F$ 이면, 이차형식 $\beta$ 는 $W^1 \times W^2$ 에서 0이 되며, 이러한 경우 분류가 단순해진다.
• 구성은 두 가역 이중모듈러 범주의 텐서곱이 여전히 가역적이고 분해 불가능하다는 것을 보장하며, 이는 Brauer-Picard 군의 군 구조와 일관된다.