[論文レビュー] Representation theory and an isomorphism theorem for the Framisation of the Temperley-Lieb algebra

Maria Chlouveraki, Guillaume Pouchin|arXiv (Cornell University)|Mar 11, 2015

Algebraic structures and combinatorial models参考文献 15被引用数 8

ひとこと要約

本稿は、Temperley–Lieb代数のFramisationについて、完全な同型定理を確立し、それが古典的Temperley–Lieb代数およびHecke代数のテンソル積上の行列代数の直和に同型であることを証明している。著者らはその既約表現を分類し、Catalan数を含む次元公式を導出し、複素数体上の環 $\mathbb{C}[q,q^{-1}]$ における表現論および代数的分解技法を用いて明示的な基底を構成した。

ABSTRACT

In this paper, we describe the irreducible representations and give a dimension formula for the Framisation of the Temperley-Lieb algebra. We then prove that the Framisation of the Temperley-Lieb algebra is isomorphic to a direct sum of matrix algebras over tensor products of classical Temperley-Lieb algebras. This allows us to construct a basis for it. We also study in a similar way the Complex Reflection Temperley-Lieb algebra.

研究の動機と目的

• Temperley–Lieb代数のFramisationの既約表現を完全に分類すること。
• 表現論的技法を用いてFramisation代数の次元を計算すること。
• Framisation代数と古典的Temperley–Lieb代数およびHecke代数のテンソル積上の行列代数の直和との代数的同型を確立すること。
• 同型結果を複素反射Temperley–Lieb代数へ拡張し、その基底を構成すること。
• 従来の文献で知られていたよりも小さい環上で同型を精緻化し、先行研究を改善すること。

提案手法

• Yokonuma–Hecke代数の表現論を用いて、どの既約表現がFramisation商へ降下するかを特定する。
• Yokonuma–Hecke代数がIwahori–Hecke代数上の行列代数の直和として既に知られている構造を活用し、Framisation代数を分解する。
• 射影写像と代数準同型を用いて、Framisation代数から $\mathrm{TL}_{\mu_1}(q) \otimes \mathcal{H}^{(\mu_2,\ldots,\mu_d)}(q)$ 上の行列代数の直和への明示的同型 $\overline{\psi}_{\mu}$ を構成する。
• 合成準同型の核を分析し、特定の生成子が商の下で0に写ることを確認することで、同型の全射性および単射性を証明する。
• 逆写像 $\overline{\phi}_{\mu}$ を用いて、行列代数からの標準基底の引き戻しによりFramisation代数の基底を構成する。
• 同型を複素反射Temperley–Lieb代数へ適用し、同様の結論をより大きな代数へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 Yokonuma–Hecke代数のどの既約表現がTemperley–Lieb代数のFramisationに拡張可能か？
• RQ2 Framisation代数の次元は何か？ また、Catalan数を用いた組合せ論的表現が可能か？
• RQ3 Framisation代数は、古典的Temperley–Lieb代数およびHecke代数のテンソル積上の行列代数の直和に同型か？
• RQ4 従来の文献で確立されたより大きなパrameter環よりも小さい環上で同型を定義可能か？
• RQ5 複素反射Temperley–Lieb代数の具体的な基底は何か？ また、Framisation代数とどのように関係するか？

主な発見

• Framisation代数は、定理5.9で述べられているように、古典的Temperley–Lieb代数およびHecke代数のテンソル積上の行列代数の直和に同型である。
• Framisation代数の次元は、公式 $\sum_{\mu \in \mathrm{Comp}_d(n)} m_\mu^2 C_{\mu_1} \mu_2! \cdots \mu_d!$ で与えられ、ここで $C_{\mu_1}$ は $\mu_1$ 番目のCatalan数である。
• Framisation代数の基底は、$\{\overline{\phi}_\mu(b_1 b_2 \cdots b_d M_{k,l})\}$ として明示的に構成され、ここで $b_1$ は $\mathrm{TL}_{\mu_1}(q)$ の基底を、$i \geq 2$ に対して $b_i$ は $\mathcal{H}_{\mu_i}(q)$ の基底をそれぞれ走る。
• 同型 $\overline{\psi}_\mu$ は、より小さい環 $\mathbb{C}[q,q^{-1}]$ 上で定義されており、以前の研究で必要とされたより大きなパrameter環よりも改善されている。
• 複素反射Temperley–Lieb代数 $\mathrm{CTL}_{d,n}(q)$ は、同じ行列代数の直和に同型であり、その基底は同様の構成により明示的に記述されている。
• 同型は全射かつ単射であり、逆写像 $\overline{\phi}_\mu$ を持つため、$\mathbb{C}[q,q^{-1}]$-加群としての代数的同型が、同値関係であることが確認された。