[論文レビュー] Standard Modules, Induction and the Temperley-Lieb Algebra

David Ridout, Yvan Saint-Aubin|arXiv (Cornell University)|Apr 20, 2012

Algebraic structures and combinatorial models参考文献 10被引用数 21

ひとこと要約

この論文は、パrameter $β = q + q^{-1}$ を持つ Temperley-Lieb代数 $τ\mathsf{TL}_n$ について、標準的（セル）モジュール、その双一次形式および誘導による構造、および $q$ が単位根である非半単純の場合を焦点として、包括的で教育的な分析を提供する。主な貢献は、標準モジュールの根基が無限大であることを示す証明であり、中心的要素 $F_n$ が非対角化作用を示すことで、標準モジュール間のホモモーフィズムの完全な決定がなされる。

ABSTRACT

The basic properties of the Temperley-Lieb algebra $TL_n$ with parameter $β= q + q^{-1}$, for $q$ any non-zero complex number, are reviewed in a pedagogical way. The link and standard (cell) modules that appear in numerous physical applications are defined and a natural bilinear form on the standard modules is used to characterize their maximal submodules. When this bilinear form has a non-trivial radical, some of the standard modules are reducible and $TL_n$ is non-semisimple. This happens only when $q$ is a root of unity. Use of restriction and induction allows for a finer description of the structure of the standard modules. Finally, a particular central element $F_n$ of $TL_n$ is studied; its action is shown to be non-diagonalisable on certain indecomposable modules and this leads to a proof that the radicals of the standard modules are irreducible. Moreover, the space of homomorphisms between standard modules is completely determined. The principal indecomposable modules are then computed concretely in terms of standard modules and their inductions. Examples are provided throughout and the delicate case $β= 0$, that plays an important role in physical models, is studied systematically.

研究の動機と目的

• Temperley-Lieb代数 $τ\mathsf{TL}_n$ 及びその標準的（セル）モジュールの教育的レビューを提供すること、特に非半単純の場合に注目する。
• 自然な双一次形式とその根基を用いて、標準モジュールの構造を特徴づけ、$q$ が単位根である場合にモジュールが可約であることを特定すること。
• 制限および誘導ファンクターを用いて、異なる $n$ の間でモジュール構造を精緻化し、それらの間のホモモーフィズムを特定すること。
• 中心的要素 $F_n$ の作用を研究し、標準モジュールの根基が無限大であることを証明するとともに、主な不分解モジュールを明示的に計算すること。
• 物理的に重要なケース $β = 0$ を体系的に取り扱い、先行研究で除外されていたこの状況を埋めること。

提案手法

• 標準モジュールをセルモジュールとして定義し、$τ\mathsf{TL}_n$-不変な自然な双一次形式を備えることで、形式の根基を用いて最大部分モジュールを分析する。
• Frobeniusの随伴性および $τ\mathsf{TL}_n$ と $τ\mathsf{TL}_{n-1}$ 間の誘導／制限ファンクターを用いて、異なる $n$ におけるモジュール構造を関連付ける。
• 特定の不分解モジュール上で非対角化作用を示す中心的要素 $F_n \in \mathsf{TL}_n$ を導入し、モジュールの根基が無限大であることを証明するための鍵となる技術的道具とする。
• 双一次形式および誘導理論を用いて、誘導された標準モジュールの分解を通じて、主な不分解モジュールを直接和成分として明示的に構成する。
• James や Murphy のインスピレーションを受ける再帰的および組合せ的技法を用いて、双一次形式の行列式を計算し、Westbury の研究を修正した再帰を拡張する。
• Bratteli 図およびブロック分解を用いて、非半単純な状態、特に $q$ が単位根である場合の表現論を分析する。

実験結果

リサーチクエスチョン

• RQ1 標準モジュール $τ\mathsf{TL}_n$ が可約であるのはいつか？ これは双一次形式の根基を用いてどのように検出できるか？
• RQ2 誘導および制限ファンクターは、非半単純の場合に標準モジュールの構造をどのように精緻化するか？
• RQ3 標準モジュール間のホモモーフィズムの構造は何か？ そして、それらは完全に決定可能か？
• RQ4 $β = 0$ の場合が物理的になぜ重要なのか？ 本研究ではこのケースをどのように体系的に取り扱っているか？
• RQ5 標準モジュールの根基は無限大であるか？ また、中心的要素 $F_n$ はこの証明においてどのような構造的役割を果たすか？

主な発見

• 標準モジュール $τ\mathsf{TL}_n$ は、$q$ が単位根である場合に限り可約であり、これはモジュール上の双一次形式の根基が非自明であるときに正確に発生する。
• 中心的要素 $F_n$ が特定の不分解モジュール上で非対角化作用を示すことは、標準モジュールの根基が無限大であることを証明するための鍵となる技術的道具である。
• 標準モジュール間のホモモーフィズムの空間は完全に決定可能であり、この決定は $F_n$ の非対角化作用および Frobenius の随伴性に依存する。
• 標準モジュールの根基は無限大である。この結果は、$F_n$ の非対角化作用および誘導されたモジュールの構造を用いた証明によって得られる。
• 主な不分解モジュールは、誘導された標準モジュールの直接和成分として明示的に構成され、標準モジュールおよびその誘導の観点から具体的な実現が得られる。
• $β = 0$ のケースは体系的に分析され、先行研究で除外されていた物理的に重要なパrameter値のギャップが埋められた。