[論文レビュー] Finite dimensional rank 2 Nichols algebras of diagonal type II: Classification

I. Heckenberger|arXiv (Cornell University)|Apr 1, 2004

Algebraic structures and combinatorial models参考文献 5被引用数 7

ひとこと要約

この論文は、任意の標数0の体上での有限次元ランク2のニコルズ代数（対角型）を、部分商の手法を発展・応用することで分類する。有限次元性は、その構造定数が特定の単位根条件を満たす場合に限り成り立ち、同型を除いてすべての such 代数の完全なリストを提示し、指標的ホップ代数論における重要な問題を解決する。

ABSTRACT

The method of subquotients is developed and used to determine all finite dimensional rank 2 Nichols algebras of diagonal type over an arbitrary field of characteristic zero. Key Words: Hopf algebra, Nichols algebra

研究の動機と目的

• ランク2の対角型ニコルズ代数の有限次元性に関するアンドルスキエヴィッチの質問5.40を解決すること。
• 有限次元となるすべての such ニコルズ代数を特定し、その次元を計算すること。
• 各有限次元ケースに対して、生成元と関係式による「良い」表示を提供すること。
• 無限次元性または有限性を示すための、部分商を用いた体系的な手法を開発すること。
• 先行研究[5]で始まった分類を、今や体系的かつ完全な証明を含めて完成させること。

提案手法

• 部分商の手法を導入：あるニコルズ代数の部分代数を構成し、別のニコルズ代数へ上に押し上げる。これにより次元に関する議論が可能になる。
• 双対ニコルズ代数 $χ(V^*)\#kG$ の $\mathcal{B}(V)$ への作用を用いて、ペアリング $\langle f, \rho \rangle$ を介して部分商を定義・分析する。
• 標準基底 $\{x_i\}$ と双対基底 $\{y_i\}$ を用いて、ブレーディング $q_{ij}$ を表現し、$\mathcal{B}(V)$ の $\mathbb{N}_0^2$-次数を定義する。
• 全次数 $\mathrm{totdeg}(\rho)$ を用いて同次成分を分析し、非自明な関係式の検出を行う。
• 再帰的関係式と量子整数 $(n)_q$ を用いて、$w_k$, $u_k$, $z_k$ のような要素の消滅条件を分析する。
• $(n)_q = 0$ または $q^n = 1$ などの条件を適用し、$q_{ij}$ における単位根制約を同定し、有限性に至る。

実験結果

リサーチクエスチョン

• RQ1 ランク2の対角型イータ・ドリンフェルト・モジュールのブレーディング行列 $q_{ij}$ に対して、対応するニコルズ代数 $\mathcal{B}(V)$ が有限次元となるのはいつか？
• RQ2 標数0の体上でのランク2の対角型ニコルズ代数の有限次元代数の完全なリストは何か？
• RQ3 部分商を体系的に用いて、無限次元性の証明や $\mathcal{B}(V)$ の構造の制約をどのように行えるか？
• RQ4 $q_{11}, q_{22}, q_{12}q_{21}$ にどのような条件下で $\mathcal{B}(V)$ が有限次元になるか？
• RQ5 各有限次元ケースに対して、生成元と関係式による「良い」表示を提供できるか？

主な発見

• 標数0の体上での有限次元ランク2ニコルズ代数（対角型）は、すべて定理3にリストされた例の一つに同型である。
• ニコルズ代数 $\mathcal{B}(V)$ の有限次元性は、構造定数 $q_{ij}$ が特定の単位根条件（例えば $q_{11}^n = 1$, $(q_{12}q_{21})^m = 1$, または $(3)_q = 0$）を満たす場合に限り成り立つ。
• 分類は $q_{11}, q_{22}, q_{12}q_{21}$ の値に基づき6つのケースに分けられ、それぞれのケースで無限次元性を除外するための細かな部分商解析が必要となる。
• 場合 $a = 1$ において、$q_{22} = -1$ および $q_{12}q_{21}q_{22} = 1$ は既知の有限次元代数を導くが、$q_{11} = q_0^4$, $q_{22} = -q_0^2$ で $q_0 \in R_{12}$ のときは、新しい有限次元例が得られる。
• 場合 $a = 2$ において、$q_{11}^2 = -1$ かつ $(q_{12}q_{21})^4 \neq 1$ のとき、$q_{11} = -(q_{12}q_{21})^3$ が成り立ち、$(3)_{-(q_{12}q_{21})^2} = 0$ のとき、定理3 (4.6) の $\mathcal{B}(V)$ が得られる。
• 場合 $a \geq 3$ において、一貫した解が得られるのは $q_{11}(q_{12}q_{21})^{a+1} = 1$ かつ $q_{11}^3(q_{12}q_{21})^2 = -1$ のときであり、このとき $a = 3$, $q_{12}q_{21} \in R_{20}$ となり、$\mathcal{B}(V)$ は定理3 (4.7) に現れる。