[논문 리뷰] Duality Theorem and Drinfeld Double in Braided Tensor Categories

Yao-Zhong Zhang|ArXiv.org|2003. 07. 17.

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 브레드된 텐서 범주에서 유한 훅프 대수의 드린펠트 듀얼이 $C_{H,H} = C_{H,H}^{-1}$ 조건 하에 준삼각형임을 증명하고 이중성 정리 수립. 고전적 이중성 및 듀얼 구성의 범주론적 훅프 대수 기법을 이용한 브레드된 설정으로 일반화.

ABSTRACT

Let $H$ be a finite Hopf algebra with $C_{H,H} = C_{H,H}^{-1}.$ The duality theorem is shown for $H$, i.e., $$ (R # H)# H^{\hat *} \cong R \otimes (H \bar \otimes H^{\hat *}) \hbox {as algebras in} {\cal C}.$$ Also, it is proved that the Drinfeld double $(D(H),[b])$ is a quasi-triangular Hopf algebra in ${\cal C}$.

연구 동기 및 목표

• 브레드된 텐서 범주로 고전적 훅프 대수의 이중성 정리를 일반화하기.
• 브레드된 범주로 드린펠트 듀얼의 구성 방법을 일반화하기.
• 브레드된 텐서 범주에서 $C_{H,H} = C_{H,H}^{-1}$ 조건 하에 드린펠트 듀얼 $D(H)$ 가 준삼각형 훅프 대수임을 증명하기.
• 브레드된 환경에서 모듈러 대수와 스매시 tích의 범주론적 프레임워크 수립하기.
• 드린펠트 듀얼이 브레드된 맥락에서 준삼각형성 공리 (QT1)-(QT3)를 만족하는지 검증하기.

제안 방법

• 정의된 브레드된 텐서 범주 $\mathcal{C}$ (항등원 $I$ 와 브레딩 $C$ 를 가짐) 를 사용.
• 유한 훅프 대수 $H$ 에 대해 이중 대상 $H^{\hat{*}} = ((H^*)^{\mathrm{op}})^{\mathrm{cop}}$ 정의.
• 범주 $\mathcal{C}$ 내의 왼쪽 $H$-모듈러 대수 $(R,\alpha)$ 에 대해 스매시 곱 $R\#H$ 적용.
• 곱셈 $m_{H \bar{\otimes} H^{\hat{*}}} = (\mathrm{id}_H \otimes d \otimes \mathrm{id}_{H^{\hat{*}}})$ 를 통해 $H \bar{\otimes} H^{\hat{*}}$ 에 대수 구조 도입.
• 평가 및 코평가 사상 $d$ 와 $b$ 를 사용해 이중 대상을 정의하고 이중성 조건 검증.
• 브레딩 $C_{H,H}$ 와 그 역을 사용해 모듈러 작용 정의 및 왜곡 쌍 공리 검증.

실험 결과

연구 질문

• RQ1 브레드된 텐서 범주에서 이중성 정리 $ (R\#H)\#H^{\hat{*}} \cong R \otimes (H \bar{\otimes} H^{\hat{*}}) $ 가 성립하는 조건은 무엇인가요?
• RQ2 드린펠트 듀얼 $D(H)$ 는 어떻게 구성하고, 브레드된 범주에서 준삼각형임을 어떻게 증명할 수 있나요?
• RQ3 $C_{H,H} = C_{H,H}^{-1}$ 조건이 이중성 및 준삼각형성 결과를 보장하는 데 어떤 역할을 하나요?
• RQ4 모듈러 대수 구조와 스매시 곱은 브레드된 맥락에서 어떻게 행동합니까?
• RQ5 범주론적으로 $\mathcal{C}$ 에서 정의된 드린펠트 듀얼이 준삼각형성 공리 (QT1)-(QT3) 를 만족합니까?

주요 결과

• 조건 $C_{H,H} = C_{H,H}^{-1}$ 하에, $\mathcal{C}$ 내에서 대수로서 $ (R\#H)\#H^{\hat{*}} \cong R \otimes (H \bar{\otimes} H^{\hat{*}}) $ 가 성립함.
• 드린펠트 듀얼 $D(H)$ 는 $C_{H,H} = C_{H,H}^{-1}$ 조건 하에 $\mathcal{C}$ 내 준삼각형 훅프 대수이며, 준삼각형성 공리를 만족하는 유니버설 $R$-행렬 $[b]$ 를 가짐.
• $C_{H,H} = C_{H,H}^{-1}$ 조건은 브레딩 $C$ 와 관련된 평가 사상의 대칭성과 동치임.
• $H \bar{\otimes} H^{\hat{*}}$ 는 곱셈 $m_{H \bar{\otimes} H^{\hat{*}}} = (\mathrm{id}_H \otimes d \otimes \mathrm{id}_{H^{\hat{*}}})$ 를 통해 잘 정의됨.
• 드린펠트 듀얼 $D(H)$ 는 특정 코곱셈 $\Delta^{\mathrm{cop}}$ 과 유니버설 $R$-행렬 $[b]$ 를 가진 $H \otimes H^{\hat{*}}$ 로 구성됨.
• 증명은 브레딩과 평가/코평가 사상 $\mathcal{C}$ 내에서의 성질을 사용해 준삼각형성 공리 (QT1)-(QT3) 검증에 기반함.