[論文レビュー] Singly generated planar algebras of small dimension, Part III

Dietmar Bisch, Vaughan F. R. Jones+1 more|arXiv (Cornell University)|Oct 10, 2014

Algebraic structures and combinatorial models参考文献 38被引用数 3

ひとこと要約

この論文は、14次元の3-ボックスをもつ単一生成の部分因子プランラーアルゲブラを分類し、それがすべてBMW型プランラーアルゲブラであることを証明している—具体的には、量子$SO(3)$からの深さ3代数、または量子$Sp(4)$からの1パラメータ族である。次元制約とヤン・バクスター関係式を用いて、著者らは全構造が2-ボックス作用素によって完全に決定されることを示し、次元13までの先行分類を拡張している。

ABSTRACT

The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for $\mathbb{Z}_3$, the Fuss-Catalan planar algebra ; and the group/subgroup planar algebra for $\mathbb{Z}_2\subset \mathbb{Z}_5 times \mathbb{Z}_2$. In the present paper, we extend the classification to 14 dimensional 3-boxes. They are all BMW. Precisely it contains a depth 3 one from quantum $SO(3)$, and a one-parameter family from quantum $Sp(4)$.

研究の動機と目的

• 13次元を超える単一生成部分因子プランラーアルゲブラの分類を、14次元の3-ボックスを含む範囲に拡張すること。
• このようなプランラーアルゲブラが交換関係ではなくBMW代数構造に従うかどうかを特定すること。
• 次元14の制約下で、2-ボックス作用素によってプランラーアルゲブラ構造が完全に決定されることを証明すること。
• このような代数がすべて、深さ3の量子$SO(3)$代数、または量子$Sp(4)$からの1パラメータ族に一致することを同定すること。

提案手法

• プランラーアルゲブラ内の生成子間の可能な関係を制限するために、3-ボックスの次元制約を用いる。
• ヤン・バクスター方程式とライドマイスター移動を適用して、生成子の代数的構造を制約する。
• リマ2.11を活用し、ヤン・バクスター関係式が成り立つ場合、全プランラーアルゲブラが2-ボックス作用素によって決定されることを示す。
• リウ[Liu]の結果に基づき、特定の条件下で双プロジェクションの存在を用いて計算を簡略化し、構造を検証する。
• 随伴、積、余積を含む直接計算により、2-ボックス作用素のパラメータを導出する。
• パラメータが変形パラメータの有理関数として依存することを確立し、生成子が普遍的にBMW関係式を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 14次元の3-ボックスをもつ、単一の2-ボックスで生成されるすべての部分因子プランラーアルゲブラは、BMW代数に同型であるか？
• RQ2 3-ボックスの次元が14のとき、ヤン・バクスター関係式が、そのようなプランラーアルゲブラの全構造を決定するのに十分か？
• RQ3 このような代数の完全なリストは何か？ そして、$SO(3)$や$Sp(4)$のような量子群とどのように関係しているか？
• RQ4 交換関係が存在しない14次元において、2-ボックスの構造だけが全プランラーアルゲブラを決定できるか？
• RQ5 2-ボックス作用素のパラメータは、量子群の変形パラメータとどのように関係しているか？

主な発見

• 14次元の3-ボックスをもつ、単一の2-ボックスで生成されるすべての部分因子プランラーアルゲブラは、BMW代数に同型である。
• 分類には、量子$SO(3)$からの深さ3プランラーアルゲブラと、量子$Sp(4)$からの1パラメータ族が含まれる。
• dim(3-ボックス) = 14のとき、ヤン・バクスター関係式が全プランラーアルゲブラ構造を決定するのに十分である。
• 生成子$U$はBMW2次関係式とヤン・バクスター方程式を満たし、そのBMW性質が確認された。
• パラメータ$a$、$b$、$ ilde{q}$は、変形パラメータ$q$の有理関数として表され、すべての値で一貫性が保証される。
• 2-ボックスの構造が、リマ2.11により全プランラーアルゲブラを一意に決定するため、分類が完全であることが確認された。