2025-11-16T18:58:12.547869

Origins of the Temperley-Lieb algebra: early history

Doty, Giaquinto

We give an historical survey of some of the original basic algebraic and combinatorial results on Temperley-Lieb algebras, with a focus on certain results that have become folklore.

academic

Temperley-Lieb代数の起源：初期の歴史

基本情報

論文ID: 2307.11929
タイトル: Origins of the Temperley-Lieb algebra: early history
著者: Stephen Doty, Anthony Giaquinto
分類: math.CO（組合数学）、math.QA（量子代数）、math.RT（表現論）
投稿時期: 2023年7月投稿、2025年10月改訂
論文リンク: https://arxiv.org/abs/2307.11929v4

摘要

本論文は、Temperley-Lieb代数の原始的な基本的代数および組合論的結果に関する歴史的調査を提供し、民間伝承となっている特定の結果に焦点を当てている。

Temperley-Lieb代数TL_n(δ)は、1971年にTemperleyとLiebによって数学物理の関連問題において初めて導入された。その後1980年代に、Vaughan Jonesの部分因子と結び目に関する先駆的研究において、von Neumann代数の一種として再発見された。Kauffmanはこれを図代数として実現し、BirmanとWenzlはそれがBrauer代数の部分代数と同型であることを証明した。

研究動機

著者らが関連論文を執筆する際に、民間伝承となっている基本的結果の原始的参考文献を追跡することが困難であることに気付いた。本論文の目的は、著者らの発見を記録し、この分野の後続研究者を支援することである。著者らの関心は既存の優れた調査論文とは異なり、この分野の論文著者によってほぼ普遍的に無視されている参考書GdlHJ89への注目を喚起することを望んでいる。

研究範囲

初期の歴史に焦点を当てているため、著者らはカテゴリー化や文献に広く存在するTemperley-Lieb代数の様々な一般化などの、より最近の重要な発展を調査しようとしなかった。

核心的貢献

歴史的体系化: Temperley-Lieb代数の初期の基本的代数および組合論的結果の体系的な歴史的調査を提供
文献整理: 民間伝承となっている基本的結果の原始的参考文献の追跡を実施
新しいアルゴリズム: Jones正規形式を計算するための新しいアルゴリズム（Chris Bowmanに帰属）を提案
完全な証明: 非半単純な場合のSchur-Weyl双対性に対する簡潔な証明を提供
理論の統一: 様々な異なる組合論的対象（図、格子経路、321回避順列など）を一つの枠組みの下に統一

方法論の詳細

タスク定義

本論文は主に調査的研究であり、Temperley-Lieb代数の基本的性質を体系的に整理および証明することが任務である。これには以下が含まれる：

代数の生成元と関係式
図解表現
他の代数構造との関係
表現論
組合論的対象の対応関係

核心的理論枠組み

1. Temperley-Lieb代数の定義

正整数nと基環kの元δに対して、TL_n(δ)は生成元e_1,...,e_によって定義される単位的k-代数であり、以下の関係を満たす：

e_i² = δe_i
e_ie_je_i = e_i （|i-j| = 1の場合）
e_ie_j = e_je_i （|i-j| > 1の場合）

2. Jones正規形式

任意の既約語wは以下の形式で表現できる： w = (e_{j₁}e_{j₁-1}···e_{k₁})(e_{j₂}e_{j₂-1}···e_{k₂})···(e_{jᵣ}e_{jᵣ-1}···e_{kᵣ}) ここで0 < j₁ < ··· < jᵣ < n、0 < k₁ < ··· < kᵣ < n、かつj_i ≥ k_i。