[논문 리뷰] Braided Lie algebras and bicovariant differential calculi over coquasitriangular Hopf algebras

X. Gomez, Shahn Majid|ArXiv.org|2001. 12. 28.

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

한 줄 요약

이 논문은 co-quasitriangular Hopf 대수 $ A $ 위에서의 bicovariant 제1차 미분 계산에 대해, 양자 보편 포락류 대수 $ U(g_\Gamma) $ 가 $ A $-comodule의 브레인드 카테고리 내에서 bialgebra의 구조를 지닌다는 것을 증명한다. 이는 $ \tilde{g}_\Gamma = k \oplus g_\Gamma $ 라는 자연스러운 확장에 의해 이루어지며, 이는 브레인드 리 대수를 형성한다. 주요 결과는 $ U(g_\Gamma) $ 가 $ \tilde{g}_\Gamma $ 의 부분대수의 브레인드 보편 포락류 대수와 동형이며, 계산이 내부적일 경우 이는 이차 구조를 지닌다는 것이다. 이는 $ n=2 $ 일 때 기존의 위튼 대수를 복원한다.

ABSTRACT

We show that if $g_Γ$ is the quantum tangent space (or quantum Lie algebra in the sense of Woronowicz) of a bicovariant first order differential calculus over a coquasitriangular Hopf algebra $(A,r)$, then a certain extension of it is a braided Lie algebra in the category of $A$-comodules. This is used to show that the Woronowicz quantum universal enveloping algebra $U(g_Γ)$ is a bialgebra in the braided category of $A$-comodules. We show that this algebra is quadratic when the calculus is inner. Examples with this unexpected property include finite groups and quantum groups with their standard differential calculi. We also find a quantum Lie functor for coquasitriangular Hopf algebras, which has properties analogous to the classical one. This functor gives trivial results on standard quantum groups $O_q(G)$, but reasonable ones on examples closer to the classical case, such as the cotriangular Jordanian deformations. In addition, we show that split braided Lie algebras define `generalised-Lie algebras' in a different sense of deforming the adjoint representation. We construct these and their enveloping algebras for $O_q(SL_n)$, recovering the Witten algebra for $n=2$.

연구 동기 및 목표

• co-quasitriangular일 때 양자 보편 포락류 대수 $ U(g_\Gamma) $ 에 bialgebra 또는 Hopf 대수의 구조를 도입하는 열린 문제를 해결한다.
• 워로노비치의 bicovariant 미분 계산과 브레인드 리 대수 이론 사이의 체계적 연결 고리를 구축한다.
• co-quasitriangular Hopf 대수를 위한 양자 리 함수를 정의하여 고전적 리 함수를 일반화한다.
• 계산이 내부적일 경우 $ U(g_\Gamma) $ 가 이차 bialgebra임을 보이고, 이는 브레인드 보편 포락류 대수의 형태임을 규명한다.
• 분할 브레인드 리 대수를 통해 일반화된 리 대수를 정의하고, $ n=2 $ 에서 위튼 대수를 복원한다.

제안 방법

• $ \tilde{g}_\Gamma = k \oplus g_\Gamma $ 를 양자 접선 공간 $ g_\Gamma $ 의 확장으로 정의하고, $ A $-comodule 카테고리 내에서 자연스러운 브레인드 리 대수의 구조를 지닌다는 것을 보인다.
• 대수 $ A $ 에 존재하는 co-quasitriangular 구조 $ r $ 을 사용하여 브레인드 카테고리를 정의하고, 이에 기반해 $ U(g_\Gamma) $ 에 브레인드 bialgebra의 구조를 구성한다.
• $ \tilde{g}_\Gamma $ 의 브레인드 보편 포락류 대수 $ B(\tilde{g}_\Gamma) $ 를 구성하며, 이는 $ U(g_\Gamma) $ 의 중심 확장이자 이의 몫으로서의 이차 구조를 지닌다.
• $ A $ 의 브레인드 그룹(브레인드 형태의 $ A $) 을 사용하여 $ A/I $ 의 대수적 구조를 쌍대화함으로써 $ \tilde{g}_\Gamma $ 에 코알gebra의 구조를 유도한다.
• 분할 브레인드 리 대수 이론을 적용하여 일반화된 리 대수 $ \mathfrak{sl}_q(n) $ 를 정의하며, $ \mathfrak{sl}_q(n) = \ker \epsilon \subset \tilde{g}_\Gamma $ 라고 하고, 그 축소된 포락류 대수를 구성한다.
• R-행렬 공식과 명시적 계산을 통해 $ U(g_\Gamma) $ 의 생성자들에 대한 교환관계를 유도하며, 카르탕형 관계와 루트 벡터의 교환관계를 포함한다.

실험 결과

연구 질문

• RQ1 co-quasitriangular Hopf 대수 $ A $ 위에서의 bicovariant 제1차 미분 계산에 대해, $ U(g_\Gamma) $ 에 대해 자연스러운 bialgebra의 구조를 어떻게 정의할 수 있는가?
• RQ2 언제 $ U(g_\Gamma) $ 가 이차 대수이며, 이는 내부적 미분 계산과 어떻게 관련이 있는가?
• RQ3 $ \tilde{g}_\Gamma = k \oplus g_\Gamma $ 에서의 브레인드 리 대수의 구조가 $ U(g_\Gamma) $ 에 bialgebra의 구조를 가능하게 하는 역할은 무엇인가?
• RQ4 co-quasitriangular Hopf 대수를 위한 양자 리 함수는 고전적 리 함수와 어떻게 다를 수 있으며, 비자명한 출력은 무엇인가?
• RQ5 $ \mathfrak{sl}_q(n) $ 의 일반화된 리 대수의 구조는 무엇이며, 그 축소된 포락류 대수는 $ n=2 $ 에서 위튼 대수와 어떻게 관련이 있는가?

주요 결과

• $ \tilde{g}_\Gamma = k \oplus g_\Gamma $ 는 $ A $-comodule 카테고리 내에서 브레인드 리 대수로서, bialgebra 구성의 기초적인 구조를 제공한다.
• 내부적 미분 계산의 경우, $ U(g_\Gamma) $ 는 $ \tilde{g}_\Gamma $ 의 부분대수 $ L \subset \tilde{g}_\Gamma $ 의 브레인드 보편 포락류 대수 $ B(L) $ 와 동형이며, 이는 $ g_\Gamma $ 와 같은 차원을 지닌 이차 bialgebra이다.
• 표준적인 양자군 $ O_q(G) $ 에 대해서는 $ U(g_\Gamma) $ 가 브레인드 행렬 대수 $ B(R) $ 와 동형이며, 따라서 브레인드 카테고리 내에서 bialgebra의 구조를 상속한다.
• $ \mathfrak{sl}_q(n) $ 의 축소된 포락류 대수 $ B_{\text{red}}(\mathfrak{sl}_q(n)) $ 는 $ B(\hat{\mathfrak{sl}}_q(n)) / \langle \text{tr} - \epsilon(\text{tr}) \lambda \rangle $ 로 정의되며, $ n=2 $ 에서는 위튼 대수와 일치한다. 이는 높은 $ n $ 으로의 일반화를 가능하게 한다.
• 많은 경우, 예를 들어 $ O_q(G) $ 나 유한군 위의 유한차원 bicovariant 계산에서는 $ U(g_\Gamma) $ 에 항등원이 존재하지 않으며, 이는 브레인드 보편 포락류 대수 $ B(L) $ 에서 항등원이 존재하지 않기 때문이다.
• R-행렬 공식과 명시적 계산을 통해 $ U(g_\Gamma) $ 의 생성자들에 대한 명시적 교환관계를 도출하였으며, 카르탕형 관계와 루트 벡터의 교환관계를 포함한다. 이는 $ n=2 $ 의 경우 기존 결과로 축소된다.