[論文レビュー] A Partition Temperley-Lieb Algebra

Jesús Juyumaya|arXiv (Cornell University)|Apr 16, 2013

Advanced Combinatorial Mathematics参考文献 11被引用数 6

ひとこと要約

本稿では、バーディングとタイの代数 𝒪ₙ(u) を、シュタインバーグ型の要素を含む新しい関係で拡張することで、Temperley–Lieb代数の一般化として、Partition Temperley–Lieb代数（PTLₙ(u)）を導入する。主な貢献は、Markovトレースが 𝒪ₙ(u) 上で定義される場合、そのトレースが PTLₙ(u) に「降下」するための条件を同定することであり、特にパラメータが A = -B または A = -B/(1+u) を満たす場合にそのような降下が可能である。これにより、トレースの不変性を介した結び目の不変量の構築が可能になる。

ABSTRACT

We introduce a generalization of the Temperley--Lieb algebra. This generalization is defined by adding certain relations to the algebra of braids and ties. A specialization of this last algebra corresponds to one small Ramified Partition algebra, this fact is the motivation for the name of our generalization.

研究の動機と目的

• バーディングとタイの代数との関連を踏まえ、分岐する分割代数との関係を考慮して、Temperley–Lieb代数を一般化すること。
• バーディングとタイの代数の特定のシュタインバーグ型の関係による商として、新しい代数、すなわち Partition Temperley–Lieb代数 PTLₙ(u) を定義すること。
• 親代数 𝒪ₙ(u) 上のトレースからの因子分解を分析することで、PTLₙ(u) 上にMarkovトレースが存在するかを検討すること。
• トレースが商代数 PTLₙ(u) に降下するための、パラメータ A と B に対する必要十分条件を同定すること。

提案手法

• バーディングとタイの代数 𝒪ₙ(u) を、対称群と分割モノイドの結合の u-変形として定義する。
• EᵢEⱼTᵢⱼ = 0 （|i−j|=1）を満たす関係を導入し、これにより 𝒪ₙ(u) を商取ることで Partition Temperley–Lieb代数 PTLₙ(u) を定義する。ここで Tᵢⱼ はシュタインバーグ要素である。
• 代数的関係とトレースの挙動の解析を容易にするために、𝒪ₙ(u) の非忠実なテンソル表現を構成する。
• 𝒪ₙ(u) 上の予想される Markovトレースを用いて、E₁E₂T₁₂ で生成される両側イデアルを通した因子分解を分析する。
• 𝒪₃(u) におけるトレースの性質と線形基底の計算を用い、トレース条件を ρ₃(E₁E₂T₁₂) の評価に還元する。
• 式 (u+1)A² + (u+2)AB + B² = 0 を導出し、これにより A = -B または A = -B/(1+u) が解となる。

実験結果

リサーチクエスチョン

• RQ1 バーディングとタイの代数 𝒪ₙ(u) 上の Markovトレースが、Partition Temperley–Lieb代数 PTLₙ(u) に因子分解される条件は何か？
• RQ2 EᵢEⱼTᵢⱼ = 0 （|i−j|=1）という関係は、バーディングとタイの代数の構造をどのように変更し、PTLₙ(u) を得るのか？
• RQ3 シュタインバーグ要素 Tᵢⱼ は、商代数の定義とそのトレースの性質において果たす役割は何か？
• RQ4 𝒪ₙ(u) 上のトレースを、不変性を保ちつつ PTLₙ(u) に拡張することは可能か？ そして、結び目の不変量の構築に寄与するか？
• RQ5 PTLₙ(u) を定義するイデアル上でのトレースが消えるようにするパラメータ A と B に対する代数的制約は何か？

主な発見

• Partition Temperley–Lieb代数 PTLₙ(u) は、関係 EᵢEⱼTᵢⱼ = 0 （|i−j|=1）を用いて、バーディングとタイの代数 𝒪ₙ(u) の商として定義される。
• 𝒪ₙ(u) 上の Markovトレースが PTLₙ(u) に降下するための必要十分条件は、トレースパラメータが A = -B または A = -B/(1+u) を満たすことである。
• トレースの因子分解条件は、𝒪₃(u) における E₁E₂T₁₂ のトレース評価に還元され、式 (u+1)A² + (u+2)AB + B² = 0 が得られる。
• トレース値 ρ₃(E₁E₂T₁₂) = (u+1)A² + (u+2)AB + B² は、予想されるトレース則と基底計算を用いて導出される。
• この結果により、パラメータ制約のもとで PTLₙ(u) 上のトレースが適切に定義されることを確認でき、結び目の理論への応用が可能になることが示された。
• 本研究は、𝒪ₙ(u) が Markovトレースを備えるという予想に依存しており、これはトレースの降下結果を導くために不可欠である。