[論文レビュー] Ideals in the Temperley Lieb Category

Frederick M. Goodman, Hans Wenzl|ArXiv.org|Jun 27, 2002

Advanced Operator Algebra Research参考文献 4被引用数 12

ひとこと要約

この論文は、パラメータ $ t $ を持つ体上のテンペリー・リーブカテゴリにおけるテンソルイデアルを分類し、一般の $ t $ に対しては、非自明な真のテンソルイデアルが存在しないことを証明する。$ d = 2\cos(\pi/n) $（$ n \geq 3 $）のとき、唯一の非ゼロ真のイデアルは、すべてのトレース関数が消える morphism の集合、すなわち無視可能な morphism の集合である。

ABSTRACT

We prove the following result: For a generic value of the parameter, the Temperley-Lieb category has no non-zero, proper tensor ideal. When the parameter $d$ is equal to $2\cos(π/n)$ for some $n \ge 3$, then the Temperley-Lieb category has exactly one non-zero, proper ideal, namely the ideal of negligible morphisms.

研究の動機と目的

• パラメータ $ t $ を持つ体上のテンペリー・リーブカテゴリにおけるすべてのテンソルイデアルを分類すること、特にパラメータの代数的性質との関係を明らかにすること。
• パラメータが単位根に対応する場合に、非自明なテンソルイデアルが存在する条件を特定すること。
• パラメータが $ 2\cos(\pi/n) $ の形の単位根である場合、無視可能な morphism のイデアルが唯一の非ゼロ真のテンソルイデアルであることを証明すること。
• 一般の $ t $ に対して、非ゼロの真のテンソルイデアルが存在しないことを示し、この場合カテゴリが単純であることを示すこと。
• トレース関数と射影的元を用いて、パラメータの特別な値におけるテンペリー・リーブ代数の構造とその表現を分析すること。

提案手法

• パラメータ $ t $ を持つ厳密なテンソルカテゴリとしてのテンペリー・リーブカテゴリ $ \mathrm{TL} $ を定義する。対象は $ \mathbb{N}_0 $ に値をとり、射は非交差図の同値類で与えられ、合成は接続とループ除去（重み $ d = t + t^{-1} $）によって定義される。
• 自己準同型へのトレース関数を用いて、すべてのトレースが消える morphism を無視可能な morphism として定義する。
• 次元の定数性の原理を用い、特に $ t $ の特別な値において、異なるテンペリー・リーブ代数 $ T_n $ 間の射の空間を関連付ける。
• 中心的射影的元 $ z_\lambda^{\mathrm{reg}} $, $ z_\lambda^L $, および $ z_\mu $ を用いたテンペリー・リーブ代数における単位元の分割を用い、要素の分解とトレース関数への写像の分析を行う。
• $ \mathrm{Hom}(m,n) $ を $ T_n $ に埋め込み、その左逆写像を用いて、イデアルの解析を自己準同型代数のケースに還元する。
• 対称群の表現論とブラッティェ図を用い、特に $ \tau $ が真の単位根である場合に $ T_n(\tau) $ の構造を分析する結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 テンペリー・リーブカテゴリは、どのような場合に非ゼロの真のテンソルイデアルをもつのか？
• RQ2 パラメータ $ d = 2\cos(\pi/n) $ の特別な値におけるテンペリー・リーブカテゴリにおける無視可能な morphism のイデアルの構造は何か？
• RQ3 一般の $ t $ に対して非ゼロの真のイデアルが存在しないのはなぜか？ そして、$ t $ のどの代数的性質がこの現象を保証するのか？
• RQ4 単位根における $ T_n(\tau) $ のトレース関数と射影的元の分解が、テンソルイデアルの存在にどのように制約を加えるか？
• RQ5 どのような条件下で、無視可能な morphism のイデアルが $ \mathrm{TL}(\tau) $ において唯一の非ゼロ真のテンソルイデアルとなるのか？

主な発見

• 一般の $ t $ に対して、テンペリー・リーブカテゴリ $ \mathrm{TL} $ は非ゼロの真のテンソルイデアルをもたない。これは、カテゴリがこの場合単純であることを意味する。
• パラメータ $ d = 2\cos(\pi/n) $（$ n \geq 3 $）のとき、$ \mathrm{TL}(\tau) $ における唯一の非ゼロ真のテンソルイデアルは、無視可能な morphism のイデアルである。
• 無視可能な morphism のイデアルは、$ \tau $ が真の単位根であるとき、$ T_n(\tau) $ における最小の射影的元 $ p_{[\ell-1]} $ によって生成されることが示された。
• 証明は、もし morphism が無視可能でないならば、その生成するイデアルに非ゼロのスカラーが含まれるため、全体のカテゴリを含むという事実に依拠している。
• 無視可能な morphism のイデアルは、$ p_{[\ell-1]} $ が生成するテンソルイデアルに含まれており、次元の定数性と特定の写像の単射性を用いて、この包含関係が等号であることが示された。
• 偶数部分カテゴリ $ \mathrm{TL}^{\mathrm{ev}}(\tau) $ に対して、$ \tau^2 $ が奇数次真の単位根である $ \ell $ のとき、無視可能な morphism は唯一の非ゼロ真のイデアルをなす。