[論文レビュー] On the irreducible representations of a class of pointed Hopf algebras

David E. Radford, Hans‐Jürgen Schneider|ArXiv.org|Mar 11, 2006

Algebraic structures and combinatorial models参考文献 9被引用数 4

ひとこと要約

この論文は、半単純リー代数の多パrameter変形およびその有限次元商を含むクラスの指標付きホップ代数の有限次元非可約表現を、群的元のドミナント文字と非可約モジュールの同型類の間の全単射対応を確立することによって分類する。主な結果は、非退化な双線形形式および一般的 braiding 条件の下で、ドミナント文字による非可約表現のパラメータ表示が得られることである。

ABSTRACT

We parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work of N. Andruskiewitsch and the second author. Special cases are the multiparameter deformations of the enveloping algebras of semisimple Lie algebras where the deforming parameters are not roots of unity and some of their finite-dimensional versions in the root of unity case.

研究の動機と目的

• ニコルズ代数および二重コycle変形から生じるクラスの指標付きホップ代数の有限次元非可約表現を分類すること。
• 無限次元一般的ケースにおける非可約モジュールのパラメータ表示を、根の単位根設定における有限次元商へ拡張すること。
• 非退化ケースにおいて、群的部分代数のドミナント文字と非可約モジュールの同型類の間の全単射を確立すること。
• 特に、半単純リー代数の多パrameter変形を含む特定のホップ代数 $U(d,lambda)$ および $u(d,lambda)$ に一般枠組みを適用すること。
• リンクグラフが二部グラフでない場合、生成元がジャコブソン根基に属することを示すために、増幅イデアルの冪零性を用いる。

提案手法

• Yetter-Drinfeld 加群 $W, V$ に対して $U = b(W) times k[L]$ および $A = b(V) times k[G]$ を定義し、二重コycle変形 $H = (U times A)^ au$ を用いてホップ代数を構成する。
• 双線形形式 $eta$ を用いて定義されるドミナント性に基づき、$L^ imes imes G^ imes$ の文字の対 $( ho, heta)$ を用いて $H$-モジュールのパラメータ表示を行う。
• ホップ代数の射影 $H o H'$ を用いて非退化ケースに還元し、非可約表現の集合に全単射を誘導する。
• 一般的 braiding 条件の下で、$U$ および $A$ に対する一様次元非可約モジュールの存在を保証するため、[13] および [14] の結果を応用する。
• PBW 型基底および $k\bra x_i \bra \rtimes k[\fG]$ 内のルートベクトル構成を用いて、$u(\fd,\blambda)$ の構造を分析する。
• ホップ代数同型 $u(\fd,\blambda) \to (U \rtimes A)^\tau / (z_i \rtimes g_i^{-1} - 1)$ を構成し、表現論の移行を可能にする。

実験結果

リサーチクエスチョン

• RQ1 特定のクラスの指標付きホップ代数の有限次元非可約表現は、どのようにパラメータ表示できるか？
• RQ2 ドミナント文字から非可約モジュールへの写像が全単射となる条件は何か？
• RQ3 リンクグラフの二部性は、$u(\fd,\blambda)$ の構造および表現論にどのような役割を果たすか？
• RQ4 生成元 $x_k$ が他の頂点とリンクされていない場合、ジャコブソン根基内でどのように振る舞うか？
• RQ5 ホップ代数の射影を用いて、$U(\fd,\blambda)$ の表現論を、より小さなホップ代数の表現論へどの程度まで還元できるか？

主な発見

• 双線形形式 $\beta$ が非退化であるとき、$(\rho, \theta) \to L(\rho, \theta)$ は、$(U \rtimes A)^\tau$ 上の有限次元非可約モジュールの同型類とドミナント文字の対の間の全単射を与える。
• 一般的ケース（$q_{ii}$ が単位根でない）では、$(\fd, \blambda)$ のリンクグラフは二部グラフであり、一気に接合する構成が可能で、これにより定理 2.8 の適用が可能になる。
• $u(\fd,\blambda)$ に対して、写像 $\fG^\times \to \text{Irr}(u(\fd,\blambda))$, $\theta \to [L(\theta)]$ は全単射であり、$L(\theta)$ は $\theta$ によって誘導される文字 $\rho$ を用いて定義される。
• リンクグラフが二部グラフでない場合、他の頂点とリンクされていない任意の頂点 $k$ に対して、$x_k$ は生成する部分代数の増幅イデアルの冪零性によりジャコブソン根基に属する。
• ホップ代数の射影 $F: u(\fd,\blambda) \to u(\fd', \blambda')$ は、$F^*: \text{Irr}(u(\fd', \blambda')) \to \text{Irr}(u(\fd,\blambda))$ を誘導し、非可約性を保つ。
• 生成元 $x_k$（$k \notin t(i)$ の場合）は $F$ の核に属し、したがって $u(\fd,\blambda)$ のジャコブソン根基に属する。これは $u_J^+$ の冪零性により示される。