[論文レビュー] Ocneanu Cells and Boltzmann Weights for the SU(3) ADE Graphs

David Evans, Mathew Pugh|ORCA Online Research @Cardiff|Jun 23, 2009

Algebraic structures and combinatorial models参考文献 35被引用数 17

ひとこと要約

この論文は、例外的な $ olimits\mathcal{E}_4^{(12)}$ の場合を除き、SU(3) ADE グラフのオクネアヌ細胞とボルツマン重みを計算し、可積分な統計力学的モデルの構成を可能にするとともに、SU(3) 平面代数およびbraided subfactors の基盤を提供する。結果として、すべての SU(3) モジュラー不変量が $ olimits\alpha$-誘導およびヘッケ代数の nimrep グラフ上の表現を通じて実現される。

ABSTRACT

We determine the cells, whose existence has been announced by Ocneanu, on all the candidate nimrep graphs except $\mathcal{E}_4^{(12)}$ proposed by di Francesco and Zuber for the SU(3) modular invariants classified by Gannon. This enables the Boltzmann weights to be computed for the corresponding integrable statistical mechanical models and provide the framework for studying corresponding braided subfactors to realise all the SU(3) modular invariants as well as a framework for a new SU(3) planar algebra theory.

研究の動機と目的

• オクネアヌが予告した通り、$ olimits\mathcal{E}_4^{(12)}$ を除くすべての SU(3) ADE グラフのオクネアヌ細胞を決定すること。
• これらのグラフに関連する可積分な統計力学的モデルのボルツマン重みを計算すること。
• braided subfactors および $ olimits\alpha$-誘導を通じて、すべての SU(3) モジュラー不変量を実現するための枠組みを提供すること。
• 新しい SU(3) 平面代数理論およびそのモジュールの基盤を築くこと。
• 特に $ olimits\mathcal{E}^{(24)}$ について、先行研究におけるヘッケ代数表現の不一致を解消するために、過去の研究におけるタイプミスを特定すること。

提案手法

• SU(3) ヘッケ代数の表現論を用いて、オクネアヌ細胞の数値的値を計算する。
• nimrep グラフ上に、三価頂点の重みを符号化するヘッケ代数の行列表現 $U^{(i,j)}$ を構成する。
• 量子整数記法 $[n] = \frac{q^n - q^{-n}}{q - q^{-1}}$ を用いて、行列要素を量子次元の言葉で表現する。
• $\alpha$-誘導手順を適用し、ヴェルリンデ代数を通じて部分因子とモジュラー不変量を結びつける。
• 計算された表現を Sochen [41] のものと比較し、不一致を特定し、それらをタイプミスに起因するものと特定する。
• スペクトル測度およびグラフのスペクトルを用いて、nimrep グラフとモジュラー不変量の対応関係を検証する。

実験結果

リサーチクエスチョン

• RQ1 SU(3) ADE グラフ（$ olimits\mathcal{E}_4^{(12)}$ を除く）の明示的な数値的オクネアヌ細胞は何か？
• RQ2 これらの細胞から、可積分な SU(3) 統計モデルのボルツマン重みをどのように導出できるか？
• RQ3 nimrep グラフ上のヘッケ代数表現は一意的であり、先行文献のものと一致するか？
• RQ4 この枠組みを通じて、すべての SU(3) モジュラー不変量を braided subfactors を用いて実現できるか？
• RQ5 $\mathcal{E}_4^{(12)}$ グラフは SU(3) ADE 分類において果たす役割は何か？なぜこの計算から除外されているのか？

主な発見

• オクネアヌ細胞は、$ olimits\mathcal{E}_4^{(12)}$ を除くすべての SU(3) ADE グラフについて計算され、三価頂点の重みの完全な数値セットが得られた。
• 計算された細胞から、可積分な SU(3) 統計力学的モデルのボルツマン重みが導出され、これらのモデルの構成が可能になった。
• SU(3) ヘッケ代数の行列表現 $U^{(i,j)}$ が明示的に決定され、その要素は量子整数 $[n]$ を用いて表現された。
• Sochen [41] が報告した $ olimits\mathcal{E}^{(24)}$ におけるヘッケ表現の不一致は、計算された重みの絶対値の違いから、タイプミスに起因することが特定された。
• この枠組みは、$ olimits\mathcal{E}_4^{(12)}$ を除き、すべての SU(3) モジュラー不変量が $ olimits\alpha$-誘導および braided subfactors を通じて実現可能であることを支持する。
• 結果として、新しい SU(3) 平面代数理論およびそのモジュール圏を構築する一貫性のある基盤が提供された。