[论文解读] 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₁ 因子的显式例子，并首次给出了一个 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*-张量函子。
• 利用双模上的康奈斯张量积结构，为双模范畴赋予紧致张量 C*-范畴结构。
• 应用波帕的形变-刚性理论，并结合此前关于群-测度空间因子和赫克对的研究方法。
• 利用紧致量子群及其对偶的表示理论，将张量范畴实现为双模范畴。
• 通过分析互化子及其与 II₁ 因子作用的相容性，证明函子的满性与忠实性。
• 通过证明每个有限指标双模均可来自对偶量子群的余表示，建立函子的本质满性。

实验结果

研究问题

• 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$ 体现。