[論文レビュー] Fiber Functors on Temperley-Lieb Categories

Shigeru Yamagami|ArXiv.org|May 27, 2004

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

本稿は、非退化な双線形形式を用いて、Temperley-Lieb 圏 𝒦_d 上のファイバー函手を分類し、それらとホップ代数との間の対応を確立する。|d| ≥ 2 または d = ±2cos(π/l) のとき、ユニタリなファイバー函手の完全な分類が得られ、関連するホップ代数が自由正交量子群に一致し、テンソル圏的手法により既知の結果が再現される。

ABSTRACT

Fiber functors on Temperley-Lieb categories are investigated with the help of classification results on non-degenerate bilinear forms. The case of unitary fiber functors is also considered.

研究の動機と目的

• 非退化な双線形形式を用いて、Temperley-Lieb 圏 𝒦_d 上のファイバー函手を分類すること。
• 𝒦_d が C*-構造を備える場合に、この分類をユニタリなファイバー函手へ拡張すること。
• ユニタリの場合に、再構成されたホップ代数が自由正交量子群に一致することを特定すること。
• これらの圏に対して、テンソル圏論的アプローチによる Tannaka-Krein 双対性の導出を提供すること。

提案手法

• Saavedra Rivano-Ulbrich の Tannaka-Krein 双対性を用いて、ファイバー函手からホップ代数を再構成すること。
• 生成対象 X の像上の非退化な双線形形式へのファイバー函手の還元。
• 剛性および整合性定理を適用し、形式を介してモノイダル構造が適切に定義されることを保証すること。
• 次元関係式 E∘D = d を用いて、函手像における Temperley-Lieb 関係式を回復すること。
• 正規直交基底と共変性条件を用いて、再構成されたホップ代数上に *-作用を構成すること。
• *-作用が対合的であり、余積および反作用と両立することを検証し、ホップ *-代数を構成すること。

実験結果

リサーチクエスチョン

• RQ1 Temperley-Lieb 圏 𝒦_d 上のファイバー函手は、どのように双線形形式を介して分類されるか？
• RQ2 ファイバー函手がユニタリであるための条件は何であり、再構成されたホップ代数にどのように影響を与えるか？
• RQ3 ファイバー函手による 𝒦_d の Tannaka 双対として得られるホップ代数はどれであり、どのように分類されるか？
• RQ4 𝒦_d 上のユニタリなファイバー函手は、自由正交量子群とどのように関係するか？
• RQ5 再構成されたホップ代数上の *-構造は、圏および函手のデータから代数的に導出可能か？

主な発見

• 𝒦_d 上のファイバー函手は、生成対象 X の像上の非退化な双線形形式と一対一に対応する。
• ファイバー函手からホップ代数を再構成すると、Dubois-Violette と Launer が導入したホップ代数が得られる。
• |d| ≥ 2 かつ d ∈ ℝ、または d = ±2cos(π/l) のとき、ユニタリなファイバー函手は自由正交量子群に対応する。
• 再構成されたホップ代数には、C*-テンソル圏構造と両立する一意な *-構造が存在し、ホップ *-代数をなす。
• 余表現構造のユニタリティは、内積条件 ⟨ρ(v)|ρ(w)⟩ = (v|w)1_A を用いて検証される。
• 分類により、テンソル圏論的視点から既知の自由正交量子群に関する結果が再現される。