[论文解读] Dualizability and index of subfactors

Arthur Bartels, Christopher L. Douglas+1 more|arXiv (Cornell University)|Oct 25, 2011

Advanced Operator Algebra Research参考文献 23被引用 12

一句话总结

本文為冯诺依曼代数上的双模建立了范畴基础，证明了双模的对偶性等价于子因子中的有限指标。它表明，对于其关联双模具有对偶性的有限同态，$L^2$-空间与康奈斯融合是函子性的，从而将指标理论与范畴对偶性统一起来，并为统计维数和皮姆斯纳–波帕不等式提供了新的视角。

ABSTRACT

In this paper, we develop the theory of bimodules over von Neumann algebras, with an emphasis on categorical aspects. We clarify the relationship between dualizability and finite index. We also show that, for von Neumann algebras with finite-dimensional centers, the Haagerup L^2-space and Connes fusion are functorial with respect to homorphisms of finite index. Along the way, we describe a string diagram notation for maps between bimodules that are not necessarily bilinear.

研究动机与目标

• 澄清冯诺依曼代数双模中对偶性与有限指标之间的范畴关系。
• 为具有有限维中心的冯诺依曼代数之间的有限同态建立 $L^2$-空间与康奈斯融合的函子性。
• 证明双模的统计维数等于指标的平方，从而调和范畴对偶性与传统的皮姆斯纳–波帕指标。
• 为理解子因子不变量提供一个范畴框架，该框架与共形场论和椭圆上同调相关。

提出的方法

• 引入双模之间非双线性映射的弦图记号，使冯诺依曼代数、双模与互变算子的双范畴中的可视化推理成为可能。
• 将有限同态定义为使得双模 ${}_{A}L^2B_{B}$ 具有对偶性的同态，从而推广了有限指标的概念。
• 利用对偶映射 $R^*$ 和 $S$ 定义统计维数为 $R^*R = S^*S$，将其与指标联系起来。
• 应用皮姆斯纳–波帕不等式，将条件期望与指标界联系起来，证明最小指标等于统计维数的平方。
• 通过 $A \mapsto L^2(A)$ 构造从有限同态到希尔伯特空间的函子，并将其扩展为康奈斯融合的三变量函子。
• 利用相对交换子与张量积推导出指标矩阵的范数界，证明 $\|\llbracket N'\cap A:M'\cap A\rrbracket\| \leq \llbracket M:N\rrbracket$。

实验结果

研究问题

• RQ1 双模的对偶性如何与子因子中其指标的有限性相关？
• RQ2 在冯诺依曼代数具有有限维中心的条件下，映射 $A \mapsto L^2(A)$ 在何种条件下是函子性的？
• RQ3 双模的统计维数能否被识别为指标的平方？这与皮姆斯纳–波帕不等式有何关系？
• RQ4 康奈斯融合在三个变量——左模、代数和右模——上是否都是函子性的？
• RQ5 在相对交换子或张量积构造下，相对指标矩阵的范数界可以推导出什么？

主要发现

• 双模 ${}_{N}L^2M_{M}$ 的对偶性等价于子因子指标 $[M:N]$ 的有限性，且指标等于统计维数的平方。
• 映射 $A \mapsto L^2(A)$ 定义了一个从具有有限维中心的冯诺依曼代数与有限同态的范畴到希尔伯特空间与有界线性映射的函子。
• 当限制在有限同态上时，康奈斯融合 $H \boxtimes_A K$ 在 $H$、$A$ 和 $K$ 上都是函子性的，形成一个到希尔伯特空间的三变量函子。
• 双模的统计维数的平方与通过皮姆斯纳–波帕不等式定义的最小指标一致，证实了与标准指标定义的一致性。
• 对于子因子 $N \subset M \subset A$，其中 $N$、$M$ 为因子且 $[M:N] < \infty$，在适当的中心条件下，指标矩阵的范数 $\|\llbracket N'\cap A:M'\cap A\rrbracket\|$ 受 $\llbracket M:N\rrbracket$ 的控制。
• 子因子的指标在与类型 III 因子张量积下保持不变，并在取相对交换子时也保持不变，其界由满足皮姆斯纳–波帕不等式的条件期望导出。