[論文レビュー] Jones-Wassermann subfactors for modular tensor categories

Zhengwei Liu, Feng Xu|arXiv (Cornell University)|Dec 27, 2016

Algebraic structures and combinatorial models参考文献 9被引用数 7

ひとこと要約

本稿は、任意のユニタリなモジュラーテンソルカテゴリ（MTC）に対して、カテゴリのm重テンソル積におけるフォン・ノイマン代数を用いて、多区間ジョーンズ＝ワッサーマン部分因子を構成する。著者らは、独自のストリングフーリエ変換（SFT）を用いて、これらの部分因子が自己双対であることを証明し、有限アーベル群の自己双対性をカテゴライズ化する新しい性質「モジュラー自己双対性」を確立する。これは離散フーリエ変換の一般化である。

ABSTRACT

The representation theory of a conformal net is a unitary modular tensor category. It is captured by the bimodule category of the Jones-Wassermann subfactor. In this paper, we construct multi-interval Jones-Wassermann subfactors for unitary modular tensor categories. We prove that these subfactors are self-dual. It generalizes and categorifies the self-duality of finite abelian groups and we call it modular self-duality.

研究の動機と目的

• ユニタリなモジュラーテンソルカテゴリ（MTC）における単一区間から多区間構成にまでジョーンズ＝ワッサーマン部分因子を一般化すること。
• 有限アーベル群の自己双対性をカテゴライズ化する、これらの部分因子に対して新しい形式の自己双対性「モジュラー自己双対性」を確立すること。
• 配置空間に、2つの独立な方向における平面テンゴンの作用を可換にするバイプラン式代数構造を構築すること。
• 2次元格子モデルを用いて、すべての区間数にわたるジョーンズ＝ワッサーマン構成を統一し、平面代数の作用と整合することを示すこと。
• 2×2の配置空間におけるストリングフーリエ変換が、MTCのモジュラーS行列を回復することを示すこと。

提案手法

• 構成は、カテゴリ $\mathscr{C}^m$ 内のフォン・ノイマン代数 $\gamma_m$ を用い、$m=2$ のとき量子ダブル構成と一般化される。
• 配置空間 $Conf_{n,m}$ は $\hom_{\mathscr{C}^m}(1, \gamma_m^n)$ として定義され、$n \times m$ 格子上の3次元配置として実現される。
• ストリングフーリエ変換（SFT）は $\hom_{\mathscr{C}^m}(1, \gamma_m^n)$ 上に定義され、反等長写像として作用し、平面テンゴンの作用と可換である。
• SFT が $m=n=2$ のとき、モジュラーS行列と一致することが示され、MTCにおける既知の不変量と関連づけられる。
• 平面テンゴンは $Conf_{n,m}$ に2つの独立な方向で作用する：$m$ を固定する（標準的な部分因子作用）、$n$ を固定する（異なる区間数を結ぶ新しい作用）。
• これらの二重方向作用の整合性から、3次元幾何的実現を持つバイプラン式代数が定義され、部分因子理論における新たな構造が得られる。

実験結果

リサーチクエスチョン

• RQ1 ユニタリなモジュラーテンソルカテゴリにおけるジョーンズ＝ワッサーマン部分因子を、多区間構成に一般化できるか？
• RQ2 有限アーベル群の自己双対性のカテゴリカルな一般化は、すべてのユニタリMTCに対して成り立つか？
• RQ3 複数の区間を考慮する場合、平面テンゴンの作用は、標準的な部分因子フレームワークをどのように拡張するか？
• RQ4 3次元格子モデルは、すべての区間数にわたるジョーンズ＝ワッサーマン部分因子の配置空間を統一できるか？
• RQ5 モジュラーS行列は、$Conf_{2,2}$ のフーリエ解析的構造において果たす役割は何か？

主な発見

• すべての $m \geq 1$ に対して、$m$ 区間ジョーンズ＝ワッサーマン部分因子は自己双対である。この結果は「モジュラー自己双対性」と呼ばれるが、これは基礎となるMTCのモジュラリティに強く依存する。
• ストリングフーリエ変換（SFT）は、$\hom_{\mathscr{C}^m}(1, \gamma_m^n)$ 上で、塗りつぶされた平面代数と塗りつぶされない平面代数の間の平面代数的*-同型写像を提供し、自己双対性を証明する。
• もし $\mathscr{C}$ が有限アーベル群 $G$ の表現カテゴリであるならば、$Conf_{2,2}$ 上のSFTは $L^2(G)$ 上の離散フーリエ変換を回復し、モジュラー自己双対性は $G$ の自己双対性に還元される。
• 配置空間 $Conf_{n,m}$ は、$n$ と $m$ の両方向における平面テンゴン作用が可換であるバイプラン式代数構造を備え、標準的な平面代数を一般化する。
• $Conf_{2,2}$ 上のSFTは、$\mathscr{C}$ のモジュラーS行列と同型であり、S行列のフーリエ解析的性質が部分因子構造に埋め込まれていることを示している。
• 構成により、平面テンゴン作用が格子の縮小や挿入に対応する2次元格子による、配置空間の3次元幾何的実現が得られる。