[논문 리뷰] Classification of Bicovariant Differential Calculi on the Quantum Groups $SL_q(n+1)$ and $Sp_q(2n)$

I. Heckenberger, Konrad Schmuedgen|ArXiv.org|1997. 07. 25.

Advanced Algebra and Geometry참고 문헌 9인용 수 7

한 줄 요약

이 논문은 초월수 $q$ 에 대해 양자군 $SL_q(n+1)$ 와 $Sp_q(2n)$ 상의 모든 이차형(first-order) 이중변형(bicovariant) 미분 계산을 분류한다. 기약(calculi)은 기약 코표현(corepresentations)과 단위근(root of unity)($SL_q(n+1)$ 에서 $ olimits^{n+1}=1$, $Sp_q(2n)$ 에서 $ olimits^2=1$)에 의해 매개화되며, 이 모든 계산이 양자 리 대수군(quantum Lie algebras)이 중심 원소에 의해 생성되는 내부(inner)임을 증명한다. 이는 이중 호프 대수 $R(G_q)^0$ 의 구조적 결과를 이용한다. 분류는 초월수 $q$ 에 대해 완전하고 정확하다. 주요 기여는 이러한 양자군 상의 이중변형 미분 구조의 완전한 대수적 특성화이다.

ABSTRACT

For transcendental values of $q$ all bicovariant first order differential calculi on the coordinate Hopf algebras of the quantum groups $SL_q(n+1)$ and $Sp_q(2n)$ are classified. It is shown that the irreducible bicovariant first order calculi are determined by an irreducible corepresentation of the quantum group and a complex number $ζ$ such that $ζ^{n+1}=1$ for $SL_q(n+1)$ and $ζ^2=1$ for $Sp_q(2n)$. Any bicovariant calculus is inner and its quantum Lie algebra is generated by a central element. The main technical ingredient is a result of the Hopf algebra $R(G_q)^0$ for arbitrary simple Lie algebras.

연구 동기 및 목표

• 초월수 $q$ 에 대해 양자군 $SL_q(n+1)$ 와 $Sp_q(2n)$ 상의 모든 이중변형(first-order) 미분 계산을 분류하는 것.
• 이 계산들과 관련된 양자 리 대수군의 대수적 구조를 규명하는 것.
• 모든 이러한 이중변형 계산이 내부적이며, 양자 리 대수군이 중심 원소에 의해 생성됨을 입증하는 것.
• 이중 호프 대수 $R(G_q)^0$ 의 구조적 결과를 이용하여 분류를 유도하는 것.
• 기약 이중변형 계산의 완전하고 정확한 매개화를 코표현과 단위근을 통해 제공하는 것.

제안 방법

• 분류는 양자군의 표현 이론과 그 이중 호프 대수 $R(G_q)^0$ 의 구조에 기반한다.
• 기약 이중변형 계산은 양자군의 기약 코표현에서 유도된다.
• 복소수 매개변수 $\zeta$ 가 도입되며, $SL_q(n+1)$ 에서는 $\zeta^{n+1}=1$, $Sp_q(2n)$ 에서는 $\zeta^2=1$ 으로 제약을 받는다. 이는 계산을 매개화한다.
• 양자 리 대수군을 이용하여 계산의 내부 구조를 분석하며, 이는 중심 원소에 의해 생성됨을 보여준다.
• 초월수 $q$ 에서는 $R(G_q)^0$ 의 표현 이론이 충분히 강한 구조를 지니므로 전체 분류가 가능하다는 사실을 이용한다.
• 모든 이중변형 계산이 기약 계산들의 직합으로 분해됨을 보여줌으로써 분류를 완성한다. 각 기약 계산은 위의 데이터로 유일하게 결정된다.

실험 결과

연구 질문

• RQ1 초월수 $q$ 에 대해 $SL_q(n+1)$ 상의 모든 이중변형(first-order) 미분 계산의 완전한 분류는 무엇인가?
• RQ2 $Sp_q(2n)$ 상의 기약 이중변형 계산은 어떻게 매개화되며, 그 매개변수들이 만족하는 제약 조건은 무엇인가?
• RQ3 이 양자군 상의 모든 이중변형 미분 계산은 내부적인가? 그리고 그 양자 리 대수군의 구조는 어떠한가?
• RQ4 이중 호프 대수 $R(G_q)^0$ 는 이중변형 계산의 분류에 어떻게 기여하는가?
• RQ5 단위근은 기약 성분들의 미분 계산을 매개화하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $SL_q(n+1)$ 상의 기약 이중변형(first-order) 미분 계산은 기약 코표현과 $\zeta^{n+1}=1$ 를 만족하는 복소수 $\zeta$ 에 의해 매개화된다.
• $Sp_q(2n)$ 에서는 기약 계산이 기약 코표현과 $\zeta^2=1$ 를 만족하는 $\zeta$ 에 의해 매개화된다.
• $SL_q(n+1)$ 와 $Sp_q(2n)$ 상의 모든 이중변형 미분 계산은 내부적이며, 양자 리 대수군이 중심 원소에 의해 생성된다.
• 분류는 초월수 $q$ 에 대해 완전하고 정확하며, 코표현과 $\zeta$ 이외의 추가 연속 매개변수는 존재하지 않는다.
• $R(G_q)^0$ 의 구조는 분류가 유한하며 표현 이론적 자료에 의해 완전히 결정됨을 보장한다.
• 결과는 양자군의 표현 이론과 그 미분 계산 구조 사이에 정확한 대수적 대응 관계를 확립한다.