[論文レビュー] The planar algebra of group-type subfactors

Dietmar Bisch, Paramita Das+1 more|ArXiv.org|Jul 25, 2008

Advanced Operator Algebra Research参考文献 10被引用数 5

ひとこと要約

本稿は、可算離散群 G が2つの有限部分群 H と K で生成される外作用をもつ II₁ 要因から生じる群型の部分因子の平面代数を構成し、分類する。平面代数の作用を明示的かつ IRF モデルに類似した方法で記述し、任意の平面代数が「群型」として特徴づけられる部分因子は、この構成から生じることを証明し、標準不変量を用いたこれらの部分因子の完全分類を確立する。

ABSTRACT

If $G$ is a countable, discrete group generated by two finite subgroups $H$ and $K$ and $P$ is a II$_1$ factor with an outer G-action, one can construct the group-type subfactor $P^H \subset P times K$ introduced in \cite{BH}. This construction was used in \cite{BH} to obtain numerous examples of infinite depth subfactors whose standard invariant has exotic growth properties. We compute the planar algebra (in the sense of Jones \cite{J2}) of this subfactor and prove that any subfactor with an abstract planar algebra of "group type" arises from such a subfactor. The action of Jones' planar operad is determined explicitly.

研究の動機と目的

• 可算離散群 G が2つの有限部分群 H と K で生成される外作用をもつ II₁ 要因から構成される群型部分因子に関連する平面代数の明示的・具体的な記述を提供すること。
• 標準不変量がこの抽象的群型平面代数と同型であるような任意の部分因子が、実際に群型であることを証明し、完全分類を確立すること。
• 平面代数作用素、特に平面作用素の作用が、統計力学における IRF モデルに類似したラベル付け方式に従い、整合的かつ合成を保存することを示すこと。
• 群型部分因子 $ P^H \subset P \rtimes K $ の高次相対可換子と基本構成を計算し、その結果が抽象的平面代数と一致することを示すこと。

提案手法

• 著者らは、H と K の交互な語で生成されるベクトル空間をもつ抽象的平面代数 $ \mathcal{P} $ を定義し、統計力学における IRF モデルに類似した面ラベル付け方式を用いて平面タングル作用を定義する。
• ジョーンズの平面作用素の作用をこれらの語に対して明示的に計算し、すべての環状タングルを生成する基本的タングルとの整合性を確認することで、合成を保存することが保証される。
• $ \mathcal{P} $ のフィルター付き $^*$-代数構造を分析し、ジョーンズ射影と条件付き期待値タングルの作用が、平面代数公理と一貫していることを示す。
• 群型部分因子 $ P^H \subset P \rtimes K $ の具象的平面代数を、相対可換子の基底を用いて計算し、抽象的 $ \mathcal{P} $ と同型であることを示す。
• 同型の証明は、中間部分因子の構造と、部分因子 $ N \subset P $ と $ P \subset M $ の平面代数を分離するためのイデムポテン型タングルの使用に依存しており、これらがそれぞれ固定点代数とクロス積代数と一致することが示される。
• 分類結果は、標準不変量が $ \mathcal{P} $ と同型であるような任意の部分因子が、中間部分因子 P と、P 上での H と K の外作用をもつことにより、$ N \subset M \simeq P^H \subset P \rtimes K $ と同型であることを示すことによって確立される。

実験結果

リサーチクエスチョン

• RQ1 群型部分因子 $ P^H \subset P \rtimes K $ の平面代数は、群の元とその交互な積を用いて明示的に記述可能か？
• RQ2 この代数上の平面作用素の作用は、整合的かつ合成と整合的か？ また、組合せ論的解釈が可能か？
• RQ3 標準不変量がこの抽象的群型平面代数と同型であるようなすべての部分因子は、必ず群作用をもつ II₁ 要因から生じるか？
• RQ4 このような部分因子における高次相対可換子と基本構成の正確な構造は何か？
• RQ5 平面代数作用素は、統計力学における IRF モデルに類似したモデルとして解釈可能か？

主な発見

• 群型部分因子 $ P^H \subset P \rtimes K $ の平面代数は、H と K の交互な語で記述され、それらの積が単位元に一致するものであり、面ラベル付け方式に類似した方法で平面タングル作用が定義される。
• この代数上の平面作用素の作用は整合的であり、合成を保存することが、生成する基本的タングルとの整合性を確認することで裏付けられる。
• 部分因子の平面代数は、交互な語を用いて定義された抽象的群型平面代数 $ \mathcal{P} $ と同型であり、標準不変量の具象的実現が得られる。
• 標準不変量がこの群型平面代数と同型であるような任意の部分因子は、実際に $ P^H \subset P \rtimes K $ の形の群型部分因子と同型であることが証明され、完全分類が確立される。
• 中間部分因子 P は存在し、因子である。$ N \subset P $ と $ P \subset M $ は、それぞれ H と K の外作用による固定点代数とクロス積代数として実現される。
• 平面代数は球面的であり、$ C^* $-平面代数であることが確認され、標準部分因子理論との整合性が裏付けられる。