[論文レビュー] A Lie algebra related to the universal Askey-Wilson algebra

Rafael Reno S. Cantuba|arXiv (Cornell University)|Mar 17, 2016

Finite Group Theory Research参考文献 3被引用数 5

ひとこと要約

この論文は、普遍アスキー＝ウィルソン代数 $ \Delta $ 内の $ A, B, C $ で生成されるリー代数 $ L $ を調査し、$ \Delta $ の定義関係が純粋にリー演算子で表現できないにもかかわらず、$ L $ は自由に生成されていないことを示している。主な結果は、$ \Delta $ 内の $ A, B, C $ の間の最初の非自明なリー代数的関係が長さ 5 で現れることであり、$ q $ が 6 乗単位根でない場合、$ L_5 $ の明示的な基底が与えられている。

ABSTRACT

Let $\mathbb{F}$ denote an algebraically closed field. Denote the three-element set by $\mathcal{X}=\{A,B,C\}$, and let $\mathbb{F}\left$ denote the free unital associative $\mathbb{F}$-algebra on $\mathcal{X}$. Fix a nonzero $q\in\mathbb{F}$ such that $q^4 eq 1$. The universal Askey-Wilson algebra $Δ$ is the quotient space $\mathbb{F}\left/\mathbb{I}$, where $\mathbb{I}$ is the two-sided ideal of $\mathbb{F}\left$ generated by the nine elements $UV-VU$, where $U$ is one of $A,B,C$, and $V$ is one of \begin{equation} (q+q^{-1}) A+\frac{qBC-q^{-1}CB}{q-q^{-1}}, onumber \end{equation} \begin{equation} (q+q^{-1}) B+\frac{qCA-q^{-1}AC}{q-q^{-1}}, onumber \end{equation} \begin{equation} (q+q^{-1}) C+\frac{qAB-q^{-1}BA}{q-q^{-1}}. onumber \end{equation} Turn $\mathbb{F}\left$ into a Lie algebra with Lie bracket $\left[ X,Y ight] = XY-YX$ for all $X,Y\in\mathbb{F}\left$. Let $\mathcal{L}$ denote the Lie subalgebra of $\mathbb{F}\left$ generated by $\mathcal{X}$, which is also the free Lie algebra on $\mathcal{X}$. Let $L$ denote the Lie subalgebra of $Δ$ generated by $A,B,C$. Since the given set of defining relations of $Δ$ are not in $\mathcal{L}$, it is natural to conjecture that $L$ is freely generated by $A,B,C$. We give an answer in the negative by showing that the kernel of the canonical map $\mathbb{F}\left ightarrowΔ$ has a nonzero intersection with $\mathcal{L}$. Denote the span of all Hall basis elements of $\mathcal{L}$ of length $n$ by $\mathcal{L}_n$, and denote the image of $\sum_{i=1}^n\mathcal{L}_i$ under the canonical map $\mathcal{L} ightarrow L$ by $L_n$. We study some properties of $L_4$ and $L_5$.

研究の動機と目的

• リー代数 $ L \subset \Delta $ が $ A, B, C $ によって自由に生成されるかどうかを特定すること。
• 自由リー代数 $ \mathcal{L} $ から $ L $ への自然な写像の核の構造を調査すること。
• $ \Delta $ 内で $ A, B, C $ の間に非自明なリー代数的関係が最初に現れる最小の長さを同定すること。
• $ q $ が 6 乗単位根でない条件下で、$ L $ 内の長さ 5 の標準リー単項式の空間 $ L_5 $ の明示的基底を構成すること。
• 特定のリー単項式の集合が $ \Delta $ 内で線形独立であることを証明し、長さ 5 に非自明な関係が存在することを確立すること。

提案手法

• 標準リー単項式を低次の要素の括弧積によって再帰的に定義する、$ \{A, B, C\} $ 上の自由リー代数 $ \mathcal{L} $ のハル基底を利用する。
• 自然な全射 $ \mathcal{L} \to L \subset \Delta $ を適用し、商代数 $ \Delta $ 内でのハル基底要素の像を分析する。
• 特に長さ 5 の単項式に注目して、リー恒等式を導出し操作するために、随伴作用 $ \mathrm{ad}_X(Y) = [X, Y] $ を用いる。
• 線形独立性を証明するために、リー単項式の集合間の移行行列 $ T_i $ を構成し、行列式を用いて可逆性を検証する。
• $ \mathbb{F}\langle \mathcal{X} \rangle $ 上の対称双一次形式を用いて単項式の係数を計算し、単項式集合の線形独立性を検証する。
• 特に、$ A + \frac{qBC - q^{-1}CB}{q^2 - q^{-2}} $ の中心性といった、普遍アスキー＝ウィルソン代数 $ \Delta $ の関係を用いて、$ L $ 内の制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 リー代数 $ L \subset \Delta $ が $ A, B, C $ によって自由に生成されるか。
• RQ2 $ \Delta $ 内で $ A, B, C $ の間に非自明なリー代数的関係が最初に現れる最小の長さは何か。
• RQ3 $ q $ が 6 乗単位根でない場合、$ L $ 内の長さ 5 の標準リー単項式の空間に明示的な基底を構成できるか。
• RQ4 自然な写像 $ \mathcal{L} \to L $ の核の構造は何か。また、$ \Delta $ の定義関係とどのように関係しているか。
• RQ5 論文にリストアップされた特定のリー単項式の集合が $ \Delta $ 内で線形独立であるか。もし線形独立であれば、その行列式の値の意味は何か。

主な発見

• 自然な写像 $ \mathcal{L} \to L $ の核は非自明であり、$ \Delta $ の関係がリー演算子のみでは表現できないにもかかわらず、$ L $ が $ A, B, C $ によって自由に生成されないことを証明している。
• $ \Delta $ 内の $ A, B, C $ の間の最初の非自明なリー代数的関係は長さ 5 で現れ、$ L_4 $ は線形独立であるが $ L_5 $ には線形従属な要素が含まれる。
• $ L_4 $ の基底が明示的に構成され、長さ 4 の標準リー単項式 15 個からなる。
• $ q $ が 6 乗単位根でない場合、$ L_5 $ の基底が提示され、長さ 5 の標準リー単項式 52 個からなる。
• 長さ 5 のリー単項式の重要な集合 $ \mathcal{K} $ が、移行行列 $ T_i $ の可逆性により $ \Delta $ 内で線形独立であることが証明され、非ゼロの行列式に $ (q - q^{-1})^{-8} $ が関与している。
• 移行行列 $ T_1 $ の行列式は非ゼロであり、具体的には $ \det T_1 = -\frac{1}{2(q+q^{-1})^2(q-q^{-1})^8} \neq 0 $ である。これにより、変換された集合 $ \mathcal{K}_1 $ が線形独立であり、帰納的に $ \mathcal{K}_5 = \mathcal{K} $ も線形独立であることが確認される。