[論文レビュー] The augmented tridiagonal algebra

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Apr 20, 2009

Finite Group Theory Research参考文献 7被引用数 14

ひとこと要約

本稿では、1をもつ無限次元の結合的 $ℂ$-代数 $τ}_q$ を導入し、$U_q(sl_2)$-ループ代数への埋め込みを用いてその有限次元非可約表現を分類する。主な貢献は、$q$ が単位根でない場合に、$ℂ$ 上の三重対の完全な分類を、$q$-ストリングと一般位置条件を用いた明示的表現の構成によって達成したことである。

ABSTRACT

Motivated by investigations of the tridiagonal pairs of linear transformations, we introduce the augmented tridiagonal algebra ${\mathcal T}_q$. This is an infinite-dimensional associative ${\mathbb C}$-algebra with 1. We classify the finite-dimensional irreducible representations of ${\mathcal T}_q$. All such representations are explicitly constructed via embeddings of ${\mathcal T}_q$ into the $U_q(sl_2)$-loop algebra. As an application, tridiagonal pairs over ${\mathbb C}$ are classified in the case where $q$ is not a root of unity.

研究の動機と目的

• 三重対を研究するための枠組みとして、拡張三重対代数 $\mathcal{T}_q$ を導入すること。
• $ℂ$ 上での $\mathcal{T}_q$ のすべての有限次元非可約表現を分類すること。
• $q$ が単位根でない場合に、三重対への分類を適用すること。
• $\mathcal{T}_q$ の表現と $U_q(sl_2)$-ループ代数内の $q$-ストリングの間の対応を確立すること。
• 三重対の固有値集合の $q$-ストリング分解の存在と一意性を証明すること。

提案手法

• 代数 $\mathcal{T}_q$ は、$q$ をパrameterとする三重対関係を満たす生成元によって生成される、1をもつ無限次元の結合的 $ℂ$-代数として定義される。
• $\mathcal{T}_q$ の有限次元非可約表現は、$U_q(sl_2)$-ループ代数への埋め込みを用いて構成される。
• 分類は、固有値集合を $q$-ストリング $S(\ell_i, a_i)$ に分解することに依存する。ここで $S(\ell_i, a_i)$ は、$\{a_i q^k \mid k = -\ell_i + 1, \dots, \ell_i\}$ の形の等比数列である。
• $q$-ストリングの多重集合が強く一般位置にあるとは、どのストリングも他のストリングを含まず、かつ逆数対が独立性を破るような方法で重ならないことを意味する。
• 構成は、固有値集合 $\Omega$ から最大元 $c$ を再帰的に取り除き、残りの要素から逆帰納的に $q$-ストリングを構築することで行われる。
• $q$-ストリング分解の一意性は、最大元削除による構成と同等であることを帰納法で示すことによって証明される。

実験結果

リサーチクエスチョン

• RQ1 三重対関係を、三重対の表現理論を完全に捉える代数的構造へ一般化するにはどうすればよいか？
• RQ2 $\mathcal{T}_q$ の有限次元非可約表現は何か？
• RQ3 $\mathcal{T}_q$ は $U_q(sl_2)$-ループ代数内にどのように実現され、明示的表現が構成されるか？
• RQ4 スカラーの集合が $ℂ$ 上の三重対の固有値集合として現れる条件は何か？
• RQ5 このような固有値集合の $q$-ストリングへの分解は同値を除いて一意的か？

主な発見

• $\mathcal{T}_q$ のすべての有限次元非可約表現は、$U_q(sl_2)$-ループ代数への埋め込みを用いて明示的に構成された。
• $q$ が単位根でない場合に、$ℂ$ 上の三重対の分類が完了した。
• タイプ I（$q^2 \neq \pm 1$）の三重対の固有値集合は、同値を除いて一意に $q$-ストリング $S(\ell_i, a_i)$ に分解可能である。
• $q$-ストリングは強く一般位置にあり、どのストリングも他のストリングを含まず、逆数対も独立性を破るような方法で重ならない。
• 固有値集合 $\Omega$ の最大元 $c$ が最大の $q$-ストリングを決定し、各ステップで $c$ と $c^{-1}$ を削除することで再帰的に分解が構築される。
• 得られる $q$-ストリングの多重集合は、多重集合として $\Omega = \bigcup_{i=1}^n \bigl(S(\ell_i, a_i) \cup S(\ell_i, a_i^{-1})\bigr)$ を満たす。