[論文レビュー] Modules of the Temperley-Lieb algebra at zero

Eddy Li, Kenta Suzuki|arXiv (Cornell University)|Feb 12, 2026

Algebraic structures and combinatorial models被引用数 0

ひとこと要約

論文は偶数 n に対する TL_n(0)-モジュールのカテゴリを四点鐘的な表現のクイーバー代数の表現に同値とし、Jones多項式の t = −1 による評価を圏論的に分類する標準 TL_n(0)-モジュールの明示的な厳密列を構築する。

ABSTRACT

We explicitly describe the category of modules of the Temperley-Lieb algebra $\mathrm{TL}_n(β)$ under specialization $β=0$ for even $n$ in terms of a quiver algebra, analogous to a result of Berest-Etingof-Ginzburg. In particular, we explicitly construct an exact sequence of the standard modules of $\mathrm{TL}_n(0)$, which categorifies a numerical coincidence regarding the evaluation of the Jones polynomial at $t=-1$. We furthermore deduce a consequence in the representation theory of symmetric groups over characteristic two.

研究の動機と目的

• カテゴリ Rep(TL_n(0)) をクイーバー代数の観点から記述し、明示的な最上重構造を確立する。
• 標準モジュール W_n,ℓ の非分裂拡大を示し、Jones多項式恒等式を圏論的に分類する厳密列を構築する。
• 最上重構造の枠組み内で不可約 TL_n(0) モジュールとその射影被覆を同定する。
• TL_n(0) の表現を (−1)-Specht モジュールと関連付け、F2 上では対称群の Specht モジュールへ関連づける。
• 標準モジュール間の射の図示的記述を提供し、特性2の対称群表現論と結びつける。

提案手法

• 直線的なクイア Q_m と理想 J を定義してクイーバー代数 C Q_m / J を形成する。
• Rep(C Q_m / J) が単純で L(i)、標準的なオブジェクト Δ(i)、射影的な P(i) を持つ最上重構造を持つことを証明する。
• Rep(TL_n(0)) が単純オブジェクト L_n,ℓ と標準モジュール W_n,ℓ を持つ最上重構造を継承することを示す。
• Frobenius reciprocity と厳密列を用いて Hom 空間を計算し、内射端的代数と射影被覆を確立する。
• 明示的な自己準同型 ω_n,ℓ と γ_n,ℓ を構成し、それらの関係が TL_n(0)-モジュールの圏が Rep(C Q_{n/2} / J) との同値を生むことを証明する。
• 標準モジュールの厳密列を構成し、像 ϕ_n,ℓ を用いて不可約モジュールを導く。

実験結果

リサーチクエスチョン

• RQ1 偶数 n に対する TL_n(0)-モジュールのカテゴリは何か、クイーバー代数の表現として実現できるか。
• RQ2 標準 TL_n(0)-モジュール間の明示的な厳密列を構築して、それらの不可約成分を説明できるか。
• RQ3 標準モジュール W_n,ℓ は不可約 L_n,ℓ や射影被覆 P_n,ℓ とどう関係するか。
• RQ4 TL_n(0) の表現と characteristic two における Specht モジュールとの関係は何か、対称群の表現論にどう反映されるか。
• RQ5 標準モジュール間の射を図式的に記述して、 TL_n(0) 表現論を包括的に理解できるか。

主な発見

• エネルギー的に CQ_{n/2} のパス代数には理想 J が存在し、Rep(TL_n(0)) は Rep(CQ_{n/2} / J) に同値であり、X ↦ (Hom(P_n,2, X), Hom(P_n,4, X), …) によって同値が得られる。
• Rep(TL_n(0)) は最上重カテゴリで、単純オブジェクトは L_n,ℓ、標準モジュールは W_n,ℓ；指標 ℓ は偶数で 2 ≤ ℓ ≤ n。
• 偶数 n の場合、標準 TL_n(0)-モジュールの間に非分裂厳密列 0 → W_n,n → W_n,n−2 → … → W_n,2 → W_n,0 → 0 が存在し、その像がすべての不可約モジュールになる。
• 各不可約 L_n,ℓ には射影被覆 P_n,ℓ があり、0 → W_n,ℓ−2 → P_n,ℓ → W_n,ℓ → 0 に適合する。
• 対称群の特性2における (−1)-Specht モジュールの厳密列 (2) は TL_n(0) の構成と整合し、明示的な系を持つ。
• Corollary 5.11 により F2[Sn]-モジュールの明示的な厳密列が得られ、対称群の特性2における Johnson–Specht モジュール構造と TL_n(0) の列が対応する。