[論文レビュー] Tensor C*-categories arising as bimodule categories of II_1 factors

Sébastien Falguières, Sven Raum|arXiv (Cornell University)|Dec 17, 2011

Algebraic structures and combinatorial models参考文献 36被引用数 6

ひとこと要約

本論文は、任意の有限テンソル C*-圏が II₁ 要因の双モジュラー圏として実現されることを確立し、同型でないが同型の双モジュラー圏を持つ非可算個の II₁ 要因の存在を示している。また、無理数値を含む任意の指定された部分要因指数の集合を持つ II₁ 要因の明示的例を構成し、非可算個の非同型な既約双モジュラーの存在を初めて示している。

ABSTRACT

We prove that if C is a tensor C*-category in a certain class, then there exists an uncountable family of pairwise non stably isomorphic II_1 factors (M_i) such that the bimodule category of M_i is equivalent to C for all i. In particular, we prove that every finite tensor C*-category is the bimodule category of a II_1 factor. As an application we prove the existence of a II_1 factor for which the set of indices of finite index irreducible subfactors is {1, \frac{5 + \sqrt{13}}{2}, 12 + 3\sqrt{13}, 4 + \sqrt{13}, \frac{11 + 3\sqrt{13}}{2}, \frac{13 + 3\sqrt{13}}{2}, \frac{19 + 5\sqrt{13}}{2}, \frac{7 + \sqrt{13}}{2}}. We also give the first example of a II_1 factor M such that Bimod(M) is explicitly calculated and has an uncountable number of isomorphism classes of irreducible objects.

研究の動機と目的

• すべての有限テンソル C*-圏が II₁ 要因の双モジュラー圏として実現されることを証明すること。
• 同型でないが双モジュラー圏が同型となるような非可算個の II₁ 要因を構成すること。
• 特定の II₁ 要因に対して、有限指数の既約部分要因の指数の集合を明示的に計算し、無理数値を含むこと。
• 双モジュラー圏に非可算個の同型類の既約双モジュラーを含む II₁ 要因の最初の例を提供すること。
• 双モジュラー圏とそのテンソル構造を通じて、II₁ 要因の一般化された対称性群の理解を拡張すること。

提案手法

• 双量子群のコアレセプションを用いて、有限テンソル C*-圏から II₁ 要因の双モジュラー圏への C*-テンソル関手を構成する。
• 双モジュラーにおけるコンヌのテンソル積構造を用いて、双モジュラー圏にコン pact なテンソル C*-圏構造を導入する。
• ポーパの変形・剛性理論と、群-測度空間要因およびヘッケ対に関する先行研究の手法を適用する。
• コンパクト量子群およびその双対の表現理論を用いて、テンソル圏を双モジュラー圏として実現する。
• 双モジュラーの作用との整合性を考慮して、インターツィナーワーの解析により関手の全射性と忠実性を証明する。
• すべての有限指数の双モジュラーが双量子群のコアレセプションから生じることを示すことにより、本質的全射性を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限テンソル C*-圏が II₁ 要因の双モジュラー圏として実現可能か？
• RQ2 この方法で構成された II₁ 要因における有限指数の既約部分要因の指数集合の構造はいかなるものか？
• RQ3 双モジュラー圏に非可算個の非同型な既約対象を含む II₁ 要因は存在するか？
• RQ4 II₁ 要因の双モジュラー圏を明示的に計算し、与えられた有限テンソル C*-圏と同型であることを示せるか？
• RQ5 この構成は、II₁ 要因の分類およびその対称性群にどのような意味を持つのか？

主な発見

• すべての有限テンソル C*-圏が II₁ 要因の双モジュラー圏として実現され、このような圏の広範な存在結果が証明された。
• 同型でないが双モジュラー圏が同型となるような非可算個の II₁ 要因が存在し、すべての双モジュラー圏が同型である。
• 特定の II₁ 要因が構成され、その部分要因指数の集合に無理数値 $\frac{5+\sqrt{13}}{2}$, $4+\sqrt{13}$, $\frac{11+3\sqrt{13}}{2}$, $\frac{13+3\sqrt{13}}{2}$, $\frac{19+5\sqrt{13}}{2}$, および $\frac{7+\sqrt{13}}{2}$ が含まれることが示された。
• 双モジュラー圏に非可算個の同型類の既約対象を含む II₁ 要因の最初の例が提供された。
• 構成された II₁ 要因の双モジュラー圏が明示的に計算され、与えられた有限テンソル C*-圏と同型であることが示された。
• この構成により、双モジュラー圏が II₁ 要因の構造的情報を完全に符号化しており、外的自己同型群および基本群が正確な完全列 $1 \to \mathrm{Out}(M) \to \mathrm{grp}(M) \to \mathcal{F}(M) \to 1$ を通じて特定されることも確認された。