[論文レビュー] 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 Geometry参考文献 9被引用数 7

ひとこと要約

この論文は、超越的 $q$ に対して、量子群 $SL_q(n+1)$ および $Sp_q(2n)$ 上のすべての双不変第一順位微分計算を分類する。非可約計算は、非可約余表現と単位根 ($SL_q(n+1)$ に対して $ abla^{n+1}=1$、$Sp_q(2n)$ に対して $ abla^2=1$) によってパラメータ化され、双不変計算がすべて内部的であることを示し、量子リー代数が中心元によって生成されることを証明する。この証明には、双対ホップ代数 $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)$ 上のすべての双不変第一順位微分計算を分類すること。
• これらの計算に関連する量子リー代数の代数的構造を特定すること。
• すべてのこのような双不変計算が内部的であり、量子リー代数が中心元によって生成されることを確立すること。
• 双対ホップ代数 $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)$ 上の双不変第一順位微分計算の完全な分類は何か？
• RQ2 $Sp_q(2n)$ 上の非可約双不変計算はどのようにパラメータ化され、そのパラメータが満たす制約は何か？
• RQ3 これらの量子群上のすべての双不変微分計算は内部的か？ その量子リー代数の構造は何か？
• RQ4 双対ホップ代数 $R(G_q)^0$ は、双不変計算の分類にどのように寄与するか？
• RQ5 単位根は、微分計算の非可約成分をパラメータ化する際に果たす役割は何か？

主な発見

• すべての非可約双不変第一順位微分計算は、$SL_q(n+1)$ に対して非可約余表現と複素数 $\zeta$（$\zeta^{n+1}=1$ を満たすもの）によってパラメータ化される。
• $Sp_q(2n)$ に対しては、非可約計算は非可約余表現と $\zeta$（$\zeta^2=1$ を満たすもの）によってパラメータ化される。
• $SL_q(n+1)$ および $Sp_q(2n)$ 上のすべての双不変微分計算は内部的であり、量子リー代数は中心元によって生成される。
• 分類は超越的 $q$ に対して完全かつ正確であり、余表現と $\zeta$ 以外に連続的なパrameterは存在しない。
• $R(G_q)^0$ の構造により、分類は有限であり、表現論的データによって完全に決定される。
• 結果として、量子群の表現論とその微分計算構造との間の明確な代数的対応関係が確立された。