[논문 리뷰] Quantum groups of GL(2) representation type

Colin Mrozinski|arXiv (Cornell University)|2012. 01. 17.

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

한 줄 요약

이 논문은 핵심 표현 반군이 $GL(2)$와 동형인 특성 0인 대수적으로 닫힌 체 위의 코세미단순 호프 대수를 분류한다. Tannaka-Krein dualit와 이중형 이차형식을 포함하는 행렬 관계로 정의된 새로운 호프 대수 가닥 $Σ(A,B)$를 이용하여, 양자 $GL_q(2)$와의 모나이드 동치를 확립하고, 행렬 불변량과 $q$의 일반성 조건에 기반한 완전한 동형 분류를 제시한다. 주요 기여는 가역 행렬로 매개화된 보편 대수를 통한 $GL(2)$ 유형 양자군의 구조적이고 범주론적인 분류이다.

ABSTRACT

We classify the cosemisimple Hopf algebras whose corepresentation semi-ring is isomorphic to that of GL(2). This leads us to define a new family of Hopf algebras which generalize the quantum similitude group of a non-degenerate bilinear form. A detailed study of these Hopf algebras gives us an isomorphic classification and the description of their corepresentation categories.

연구 동기 및 목표

• 핵심 표현 반군이 $GL(2)$와 동형인 특성 0인 대수적으로 닫힌 체 위의 모든 코세미단순 호프 대수를 분류하는 것.
• 비퇴도 이차형식에 대한 양자 유사군 구성의 일반화를 통해 새로운 호프 대수 가닥 $\mathcal{G}(A,B)$를 제안하는 것.
• 행렬 조건을 만족할 경우 $\mathcal{G}(A,B)$와 $\mathcal{O}(GL_q(2))$의 코모듈 카테고리 사이의 모나이드 동치를 확립하는 것.
• 행렬 불변량과 $q$의 일반성 조건에 기반하여 이러한 호프 대수의 완전한 동형 분류를 제공하는 것.
• 분류를 컴팩트 경우로 확장하고, 비가환 이중갈로와스 대상 및 코homological 불변량을 분석하는 것.

제안 방법

• 이차형식의 대칭성을 포함하는 관계 $x^t A x = A d$, $x B x^t = B d$, $d d^{-1} = 1$를 갖는 보편 호프 대수 $\mathcal{G}(A,B)$를 생성자 $x_{ij}, d, d^{-1}$로 정의한다.
• 코곱 $\Delta(x_{ij}) = \sum_k x_{ik} \otimes x_{kj}$, 코유닛 $\varepsilon(x_{ij}) = \delta_{ij}$, 반대항 $S(x) = d^{-1} A^{-1} x^t A$를 통해 $\mathcal{G}(A,B)$에 호프 대수 구조를 부여한다.
• Tannaka-Krein dualit와 Schauenburg의 호프 이중갈로와스 대상 정리에 기반하여, 조건 $B^t A^t B A = \lambda I_n$과 $q$가 이차방정식을 만족할 경우 $\mathrm{Comod}(\mathcal{G}(A,B))$와 $\mathrm{Comod}(\mathcal{O}(GL_q(2)))$ 사이의 모나이드 동치를 증명한다.
• 감소된 단항식의 기저와 $d$의 비퇴도성을 확보하기 위해 다이아몬드 렘마에 의존하는 연결된 코군oid를 구성함으로써 동치를 증명한다.
• 등장 조건을 적용하여 동형 조건 유도: $\mathcal{G}(A,B) \cong \mathcal{G}(C,D)$ iff $n=m$ 이고, 행렬 $P$ 또는 그의 역행렬 전치에 의한 공액으로 $C,D$가 $A,B$와 관련되어 있음.
• $\mathcal{G}(A,B)$-갈로와스 대상, 그들의 군, 그리고 게으른 코homology를 분석하고 결과를 컴팩트 경우로 확장한다.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 위의 코세미단순 호프 대수 중 핵심 표현 반군이 $GL(2)$와 동형인 것은 무엇인가?
• RQ2 $\mathcal{G}(A,B)$의 코모듈 카테고리가 언제 $\mathcal{O}(GL_q(2))$와 모나이드 동치가 되는가?
• RQ3 행렬 조건 $B^t A^t B A = \lambda I_n$을 만족할 때, 두 호프 대수 $\mathcal{G}(A,B)$와 $\mathcal{G}(C,D)$가 동형인가?
• RQ4 매개변수 $q$는 분류에서 어떤 역할을 하는가? $q$의 일반성은 $\mathcal{G}(A,B)$의 구조에 어떻게 영향을 미치는가?
• RQ5 $\mathcal{G}(A,B)$의 호프 이중갈로와스 대상과 게으른 코homology는 그 모나이드 및 구조적 성질과 어떻게 관련되는가?

주요 결과

• $\mathcal{G}(A,B)$의 코모듈 카테고리가 $\mathcal{O}(GL_q(2))$와 모나이드 동치가 되기 위한 조건은 $B^t A^t B A = \lambda I_n$ 이고, $q$가 $q^2 - \sqrt{\lambda^{-1}} \operatorname{tr}(AB^t) q + 1 = 0$ 를 만족할 때이다.
• 핵심 표현 반군이 $GL(2)$와 동형인 모든 코세미단순 호프 대수는 $B^t A^t B A = \lambda I_n$을 만족하고 $q$가 일반적(근이 아니며 $\pm 1$이 아님)인 어떤 $A,B \in GL_n(k)$에 대해 $\mathcal{G}(A,B)$와 동형이다.
• 두 호프 대수 $\mathcal{G}(A,B)$와 $\mathcal{G}(C,D)$가 동형인 것은 $n = m$ 이고, $P \in GL_n(k)$ 가 존재하여 $(C,D) = (P^t A P, P^{-1} B P^{-1t})$ 또는 $(C,D) = (P^t B^{-1} P, P^{-1} A^{-1} P^{-1t})$ 를 만족할 때이다.
• $\mathcal{G}(A,B)$는 감소된 단항식의 기저를 가지며, $d$는 영인자(zerodivisor)가 아니므로 국소화에 대해 잘 정의된 비영 대수임을 보장한다.
• 다이아몬드 렘마를 통한 비퇴도성 분석을 통해 $\mathcal{G}(A,B)$는 비퇴도적이고 잘 정의된 PBW 유형 기저를 가짐을 확인하여, 비퇴도성과 잘 정의된 대수적 성질을 입증한다.
• 분류는 컴팩트 경우로 확장되며, $\mathcal{G}(A,B)$-이중갈로와스 대상의 군과 그 게으른 코hom로지 군이 완전히 기술된다.