[논문 리뷰] Corepresentation theory of universal cosovereign Hopf algebras

Julien Bichon|ArXiv.org|2002. 11. 04.

Algebraic structures and combinatorial models참고 문헌 12인용 수 11

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 일반적인 코소버레인 호프 대수 $H(F)$의 코표현 이론을 수립하며, 반카의 컴acts 양자군에 대한 결과를 일반화한다. 일반적인 $F$에 대해 $H(F)$의 코모듈 범주가 $H(q)$의 것과 모나이드 동치임을 보이며, 단순 코모듈은 자유 모노이드 $\mathbb{N} * \mathbb{N}$로 색인되고, 일반화된 곱 $\odot$에 의해 결정되는 융합 규칙을 가진다. 이는 표현의 완전한 분류를 가능하게 하며, 비트레이스 측도를 지닌 행렬 대수의 양자 자기동형군에 적용된다.

ABSTRACT

We determine the corepresentation theory of universal cosovereign Hopf algebras, for generic matrices over an algebraically closed field of characteristic zero.

연구 동기 및 목표

• 특성 0인 대수적으로 닫힌 체 위에서 반카의 컴팩트 양자군에 대한 코표현 이론을 비콤팩트이고 일반적인 경우로 일반화한다.
• 일반적인 행렬 $F$에 대해 보편 코소버레인 호프 대수 $H(F)$의 코모듈 범주의 구조를 규명한다.
• $H(F)$의 모든 단순 코모듈을 분류하고 그 융합 규칙을 묘사한다.
• 코표현 이론을 비트레이스 측도를 지닌 행렬 대수의 양자 자기동형군의 표현 이론에 적용한다.

제안 방법

• 표현의 보편 성질을 이용하여 $H(F)$의 코표현 이론을 $q$가 $q^2 - \operatorname{tr}(F)q + 1 = 0$을 만족하는 $H(q)$의 것으로 환원한다.
• 정규화된 $F$에 대해 $H(F)$와 $H(q)$의 코모듈 범주 간의 모나이드 동치를 수립한다.
• $H(q)$를 자유곱 $k[z,z^{-1}] * \mathcal{O}(SL_q(2))$의 호프 부분대수로 실현하여 기존의 분류 결과를 활용한다.
• 두 생성자에 대한 자유 대수 위에서 반카의 융합 곱 $\odot$를 적용하여 단순 코모듈의 텐서곱 분해를 묘사한다.
• $\operatorname{tr}(E) = \operatorname{tr}(F)$ 이고 $\operatorname{tr}(E^{-1}) = \operatorname{tr}(F^{-1})$ 이면, 양자 자기동형군 $A_{\text{aut}}(M_m(k), \operatorname{tr}_E)$와 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$ 사이에 호프-갈로와스 체계를 구성한다.
• $\operatorname{tr}(F) = \operatorname{tr}(F^{-1})$ 이고 $q$가 이차방정식을 만족하면, $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$는 $\mathcal{O}(SO_{q^{1/2}}(3))$와 모나이드 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 위에서 반카의 컴팩트 케이스에 대한 코표현 이론이 일반적 비콤팩트 설정으로 어떻게 일반화되는가?
• RQ2 $F$가 일반적일 경우 $H(F)$의 코모듈 범주의 구조는 무엇인가?
• RQ3 $H(F)$의 단순 코모듈은 어떻게 색인되고, 그 융합 규칙은 무엇인가?
• RQ4 $H(F)$의 표현 이론과 비트레이스 측도를 지닌 행렬 대수의 양자 자기동형군 간의 관계는 무엇인가?
• RQ5 $A_{\text{aut}}(M_m(k), \operatorname{tr}_E)$와 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$의 코모듈 범주가 언제 모나이드 동치가 되는가?

주요 결과

• $H(F)$의 코모듈 범주는 $q^2 - \operatorname{tr}(F)q + 1 = 0$의 해인 $q$에 대해 정규화된 $F$에 대해 $H(q)$의 것과 모나이드 동치이다.
• 일반적인 $F$ (즉, $q$가 3 이상의 순서를 가진 단위근이 아닐 때)에 대해 $H(F)$는 코세미단순이며, 단순 코모듈의 완전한 분류를 가진다.
• 각 단순 $H(F)$-코모듈은 유일한 $x \in \mathbb{N} * \mathbb{N}$에 대해 $U_x$와 동형이며, $U_e = k$, $U_\alpha = U$, $U_\beta = V = U^*$이다.
• 단순 코모듈의 텐서곱은 $U_x \otimes U_y \cong \bigoplus_{\{a,b,g \in \mathbb{N} * \mathbb{N} \mid x = a g, y = \bar{g} b\}} U_{a b}$를 만족하며, 반카의 융합 규칙을 일반화한다.
• $\operatorname{tr}(F) = \operatorname{tr}(F^{-1})$ 이고 $q$가 일반적일 경우, 양자 자기동형군 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$의 코모듈 범주는 $\mathcal{O}(SO_{q^{1/2}}(3))$와 모나이드 동치이다.
• $\operatorname{tr}(E) = \operatorname{tr}(F)$ 이고 $\operatorname{tr}(E^{-1}) = \operatorname{tr}(F^{-1})$ 이면, $A_{\text{aut}}(M_m(k), \operatorname{tr}_E)$와 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$의 코모듈 범주는 모나이드 동치이다.