[論文レビュー] Planar Rook Algebras and Tensor Representations of gl(1|1)

Georgia Benkart, Dongho Moon|arXiv (Cornell University)|Jan 12, 2012

Algebraic structures and combinatorial models参考文献 13被引用数 6

ひとこと要約

本稿では、$mathfrak{gl}(1|1)$ の自然な2次元表現 $V^{\bigotimes k}$ のテンソル冪の中心化代数が、平面ルック代数 $CP_{k-1}$ に同型であることを確立し、$V^{\bigotimes k}$ が $mathfrak{gl}(1|1)$-既約モジュールに明示的に分解されることを示している。同様の結果は、量子群 $U_q(\mathfrak{gl}(1|1))$ に対しても成り立ち、中心化代数が $CP_{k-1}$ に同型であることが示され、平面ルック図と量子表現理論およびねじれ不変量の間の関係が確立される。

ABSTRACT

We establish a connection between planar rook algebras and tensor representations $\VV^{\otimes k}$ of the natural two-dimensional representation $\VV$ of the general linear Lie superalgebra $\gl$. In particular, we show that the centralizer algebra $\maths{End}_{\gl}(\VV^{\otimes k})$ is the planar rook algebra $\CC \mathsf{P}_{k-1}$ for all $k \geq 1$, and we exhibit an explicit decomposition of $\VV^{\otimes k}$ into irreducible $\gl$-modules. We obtain similar results for the quantum enveloping algebra $\UU_\qq(\gl)$ and its natural two-dimensional module $\VV_\qq$.

研究の動機と目的

• 本稿の目的は、スーパー代数表現論における重要な問題である、$mathfrak{gl}(1|1)$ の自然な2次元表現 $V$ のテンソル表現 $V^{\bigotimes k}$ の中心化代数を特定することにある。
• 本稿は、$V^{\bigotimes k}$ を $mathfrak{gl}(1|1)$-既約モジュールに明示的に分解することを目的としている。
• 本研究は、量子群 $U_q(\mathfrak{gl}(1|1))$ に拡張され、その中心化代数を特定し、$V_q^{\bigotimes k}$ を $U_q(\mathfrak{gl}(1|1))$-既約モジュールに分解することを目的としている。
• 本稿は、量子リンク理論における色付き置換図と平面ルック代数構造との間の関係を確立し、先行研究におけるギャップを解消している。

提案手法

• 中心化代数 $\mathrm{End}_{\mathfrak{gl}(1|1)}(V^{\bigotimes k})$ は、図式的および代数的技法を用いて平面ルック代数 $CP_{k-1}$ に同定されている。
• 最高重量ベクトル $v_s$ および $Fv_s$ を用いた既約モジュールの構成が、集合 $s \subseteq \{1, \dots, k-1\}$ によって添字づけられており、量子の場合の重量は $[q^{|s|+1}, q^{k-1-|s|}]$ である。
• $U_q(\mathfrak{gl}(1|1))$ の $V_q^{\bigotimes k}$ への作用は、生成子 $E$、$F$、$K$、$\sigma$ を用いて実現され、$E$ および $F$ の作用に対して基底ベクトル上での明示的公式が与えられている。
• $CP_{k-1}$ の図式的作用は、$d \cdot v_s = v_{ds}$ および $d \cdot Fv_s = Fv_{ds}$ を割り当てることで定義され、[FHH] からの乗法則が用いられている。
• $\mathrm{End}_{U_q(\mathfrak{gl}(1|1))}(V_q^{\bigotimes k}) \cong CP_{k-1}$ の同型は、量子セール関係および $q$-整数を用いて $E$、$F$、$K$ との可換性を検証することで証明されている。
• 色付き置換図（[B] より）と平面ルック図との間の対応関係は、最初のストランドおよびすべての $-$-色のストランドを削除することで確立され、$CP_{k-1}$ の元との間に一対一対応が得られる。

実験結果

リサーチクエスチョン

• RQ1 自然表現 $V$ の $mathfrak{gl}(1|1)$ のテンソル冪 $V^{\bigotimes k}$ に対する中心化代数 $\mathrm{End}_{\mathfrak{gl}(1|1)}(V^{\bigotimes k})$ の構造は何か？
• RQ2 $V^{\bigotimes k}$ を $mathfrak{gl}(1|1)$-既約モジュールに明示的に分解する方法は何か？
• RQ3 $U_q(\mathfrak{gl}(1|1))$ における $V_q^{\bigotimes k}$ の中心化代数は、平面ルック代数 $CP_{k-1}$ に同型であるか？
• RQ4 量子リンク理論で用いられる色付き置換図は、平面ルック代数とどのように関係するか？
• RQ5 $U_q(\mathfrak{gl}(1|1))$ の $V_q^{\bigotimes k}$ への作用を、$CP_{k-1}$ を用いて図式的に実現できるか？

主な発見

• すべての $k \geq 1$ に対して、中心化代数 $\mathrm{End}_{\mathfrak{gl}(1|1)}(V^{\bigotimes k})$ は平面ルック代数 $CP_{k-1}$ に同型であり、スーパー代数表現論と図式代数との間の直接的な関係を確立している。
• テンソル冪 $V^{\bigotimes k}$ は $\bigoplus_{s \subseteq \{1,\dots,k-1\}} V_{s}$ に分解され、各 $V_s$ は最高重量 $[q^{|s|+1}, q^{k-1-|s|}]$ の2次元既約 $mathfrak{gl}(1|1)$-モジュールである。
• 量子群 $U_q(\mathfrak{gl}(1|1))$ の場合、中心化代数 $\mathrm{End}_{U_q(\mathfrak{gl}(1|1))}(V_q^{\bigotimes k})$ は $q$ が単位根でない限り $CP_{k-1}$ に同型である。
• $V_q^{\bigotimes k}$ の $U_q(\mathfrak{gl}(1|1))$-既約モジュールへの分解は、$\bigoplus_{\ell=0}^{k-1} \binom{k-1}{\ell} L_q[\ell+1, k-1-\ell]$ で与えられ、ここで $L_q[m,n]$ は最高重量 $[q^m, q^n]$ の既約モジュールを表す。
• 符号列に作用するヘッケ代数 $H_k(q^2)$ の行列単位は、最初のストランドおよびすべての $-$-色のストランドを削除することで、平面ルック図と双対的に対応づけられ、$CP_{k-1}$ への代数同型を定める。
• $CP_{k-1}$ の図式的作用は $V_q^{\bigotimes k}$ 上で $U_q(\mathfrak{gl}(1|1))$-作用と可換であり、$E$、$F$、$K$ との可換性の明示的検証により、中心化代数同型が確認されている。