[Paper Review] Classification of Bicovariant Differential Calculi on the Quantum Groups $SL_q(n+1)$ and $Sp_q(2n)$

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

Advanced Algebra and Geometry9 references7 citations

TL;DR

This paper classifies all bicovariant first-order differential calculi on the quantum groups $SL_q(n+1)$ and $Sp_q(2n)$ for transcendental $q$. It shows that irreducible calculi are parametrized by irreducible corepresentations and roots of unity ($\zeta^{n+1}=1$ for $SL_q(n+1)$, $\zeta^2=1$ for $Sp_q(2n)$), and proves all such calculi are inner with quantum Lie algebras generated by a central element, using structural results on the dual Hopf algebra $R(G_q)^0$. The classification is complete and exact for transcendental $q$. The key contribution is a full algebraic characterization of bicovariant differential structures on these quantum groups.

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.

Motivation & Objective

• To classify all bicovariant first-order differential calculi on the quantum groups $SL_q(n+1)$ and $Sp_q(2n)$ for transcendental $q$.
• To determine the algebraic structure of the quantum Lie algebras associated with these calculi.
• To establish that all such bicovariant calculi are inner, with the quantum Lie algebra generated by a central element.
• To use structural results on the dual Hopf algebra $R(G_q)^0$ to derive the classification.
• To provide a complete and exact parametrization of irreducible bicovariant calculi via corepresentations and roots of unity.

Proposed method

• The classification relies on the representation theory of the quantum group and the structure of its dual Hopf algebra $R(G_q)^0$.
• Irreducible bicovariant calculi are constructed from irreducible corepresentations of the quantum group.
• A complex parameter $\zeta$ is introduced, constrained by $\zeta^{n+1}=1$ for $SL_q(n+1)$ and $\zeta^2=1$ for $Sp_q(2n)$, which parametrizes the calculi.
• The inner structure of the calculi is analyzed using the quantum Lie algebra, which is shown to be generated by a central element.
• The proof uses the fact that for transcendental $q$, the representation theory of $R(G_q)^0$ is sufficiently rigid to allow a full classification.
• The classification is completed by showing that any bicovariant calculus decomposes into a direct sum of irreducible ones, each determined by the above data.

Experimental results

Research questions

• RQ1 What is the complete classification of bicovariant first-order differential calculi on $SL_q(n+1)$ for transcendental $q$?
• RQ2 How are the irreducible bicovariant calculi on $Sp_q(2n)$ parametrized, and what constraints do the parameters satisfy?
• RQ3 Are all bicovariant differential calculi on these quantum groups inner, and what is the structure of their quantum Lie algebras?
• RQ4 How does the dual Hopf algebra $R(G_q)^0$ contribute to the classification of bicovariant calculi?
• RQ5 What role do roots of unity play in parametrizing the irreducible components of the differential calculi?

Key findings

• All irreducible bicovariant first-order differential calculi on $SL_q(n+1)$ are parametrized by irreducible corepresentations and complex numbers $\zeta$ with $\zeta^{n+1}=1$.
• For $Sp_q(2n)$, irreducible calculi are parametrized by irreducible corepresentations and $\zeta$ with $\zeta^2=1$.
• Every bicovariant differential calculus on $SL_q(n+1)$ and $Sp_q(2n)$ is inner, with the quantum Lie algebra generated by a central element.
• The classification is complete and exact for transcendental $q$, with no additional continuous parameters beyond the corepresentation and $\zeta$.
• The structure of $R(G_q)^0$ ensures that the classification is finite and fully determined by representation-theoretic data.
• The results establish a precise algebraic correspondence between the representation theory of the quantum group and its differential calculus structure.