[論文レビュー] Finiteness of Nichols Algebras and Nichols (Braided) Lie Algebras

Weicai Wu, Yao-Zhong Zhang+1 more|arXiv (Cornell University)|Jul 27, 2016

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

本稿は、次元が1より大きい対角型の braided ベクトル空間に対して、ニchlズ代数およびそれらに関連するニchlズ（ブレード付き）リー代数の有限次元性の必要十分条件を確立する。有限性は、根系が算術的であり、量子パラメータ（単位根）が有限位数であるときにかつそのときに限り成立することを証明する。また、代数内での反復自己同型作用が消える条件についても明示的な基準を提示する。

ABSTRACT

It is shown that if $\mathfrak B(V) $ is connected Nichols algebra of diagonal type with $\dim V>1$, then $\dim (\mathfrak L^-(V)) = \infty$ $($resp. $ \dim (\mathfrak L(V)) = \infty $$)$ $($ resp. $ \dim (\mathfrak B(V)) = \infty $$)$ if and only if $Δ(\mathfrak B(V)) $ is an arithmetic root system and the quantum numbers (i.e. the fixed parameters) of generalized Dynkin diagrams of $V$ are of finite order. Sufficient and necessary conditions for $m$-fold adjoint action in $\mathfrak B(V)$ equal to zero, viz. $\overline{l}_{x_{i}}^{m}[x_{j}]^ -=0$ for $x_i,~x_j\in \mathfrak B(V)$, are given.

研究の動機と目的

• 次元 dim V > 1 の対角型ニchlズ代数が有限次元となる条件を特定すること。
• 関連するニchlズ（ブレード付き）リー代数の有限次元性を特徴づけること。
• ニchlズ代数における m 重の自己同型作用が消えるための必要十分条件を提供すること。
• アンドルスキーイヴィッチ（2002）の質問5.9「対角型 braided ベクトル空間に対するニchlズ代数の有限次元性」を解消すること。
• ニchlズ代数の有限性が、その関連するブレード付きリー代数の有限性と同値であることを確立すること。

提案手法

• 著者たちは、シュールシュォフ分解を用いて、リンドン語とスーパー文字を通じてニchlズ代数の構造を分析する。
• ハードスーパー文字を定義し、その高さを用いて代数内の関係を特定する。
• この手法は、braided ベクトル空間の一般化されたダイキン図の構造定数に関連する量子数に依存する。
• 非結合的積と反復自己同型作用を定義するために、語の組み合わせ論的技法と辞書式順序を用いる。
• 反復自己同型作用が消えるための条件を表現するために、係数 αk,l および ᾱk,l を導入する。
• 単位根の性質と量子二項係数を用いて、消える条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 対角型 braided ベクトル空間のニchlズ代数が有限次元となる条件は何か？
• RQ2 関連するニchlズ（ブレード付き）リー代数が有限次元となる条件は何か？
• RQ3 ニchlズ代数における m 重の自己同型作用が消えるための必要十分条件は何か？
• RQ4 量子パラメータ（単位根）の有限性は、ニchlズ代数の次元にどのように関係するか？
• RQ5 生成子に対する反復自己同型作用がゼロになる正確な代数的特徴づけは存在するか？

主な発見

• 負のニchlズリー代数 𝔏⁻(V) の次元が無限大であることは、根系 Δ(𝔹(V)) が算術的であり、一般化されたダイキン図の量子パラメータが有限位数であることにかつそのときに限り成立する。
• 正のニchlズリー代数 𝔏(V) の次元が無限大である条件は、𝔏⁻(V) と同一である。
• ニchlズ代数 𝔹(V) の次元が無限大であることは、Δ(𝔹(V)) が算術的根系であり、量子パラメータが有限位数であることにかつそのときに限り成立する。
• m 重の自己同型作用が消える、すなわち l̄ₓ₁^m[x₂]⁻ = 0 であるためには、すべての関連する k, l に対して係数 ᾱk,l が消える必要があり、m = ord(p₁₁) および m = ord(p₂₂) の場合に明示的な条件が導かれる。
• m₁₂ = 1 のとき、l̄ₓ₁^ord(p₁₁)[x₂]⁻ = 0 であることは、(p₁₂ − 1)^ord(p₁₁) = (p₁₁p₁₂ − 1)^ord(p₁₁) であることにかつそのときに限り成立する。
• m₁₂ = 2 のとき、l̄ₓ₁^ord(p₁₁)[x₂]⁻ の消えるためには2つの条件が必要である：(p₁₂ − 1)^ord(p₁₁) = (p₁₁p₁₂ − 1)^ord(p₁₁) = (p₁₁²p₁₂ − 1)^ord(p₁₁) であり、さらに (ord(p₁₁)+1) 重の作用についてもより複雑な関係が必要となる。