[论文解读] Distortion for multifactor bimodules and representations of multifusion categories

Marcel Bischoff, Ian Charlesworth+3 more|arXiv (Cornell University)|Oct 2, 2020

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

一句话总结

本文引入模形式扭曲作为超有限 II₁ 多因子 von Neumann 代数上双模的不变量，使得可通过其标准不变量（一个单位平面代数）以及马克夫迹在较小代数中心上的限制，对有限深度、有限指标、连通的多因子包含关系实现完全分类。关键贡献在于，建立了在莫里达等价意义下，此类包含关系与一对（有限深度不可约单位平面代数与其中 0⁺-框空间上的忠实态）之间的双射关系。

ABSTRACT

We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $ m II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first classify finite depth finite index connected hyperfinite $ m II_1$ multifactor inclusions $A\subset B$ in terms of the standard invariant (a unitary planar algebra), together with the restriction to $A$ of the unique Markov trace on $B$. The latter determines the modular distortion of the associated bimodule. Three crucial ingredients are Popa's uniqueness theorem for such inclusions which are also homogeneous, for which the standard invariant is a complete invariant, a generalized version of the Ocneanu Compactness Theorem, and the notion of Morita equivalence for inclusions. Second, we classify fully faithful representations of unitary multifusion categories into bimodules over hyperfinite $ m II_1$ multifactors in terms of the modular distortion. Every possible distortion arises from a representation, and we characterize the proper subset of distortions that arise from connected $ m II_1$ multifactor inclusions.

研究动机与目标

• 将泡普的子因子分类定理推广至更广泛的多因子包含关系设定。
• 通过引入模形式扭曲作为附加不变量，解决标准不变量作为完全不变量的局限性。
• 对超有限 II₁ 多因子上单位多融合范畴的全忠实表示实现完全分类。
• 表征哪些模形式扭曲源于连通多因子包含关系，并建立其在莫里达等价意义下的唯一性。
• 将泡普的唯一性定理与奥克内阿努紧致性推广至多因子设定，从而实现分类结果。

提出的方法

• 将模形式扭曲定义为 II₁ 多因子上双模的不变量，其来源于琼斯基本构造下迹的渐近行为。
• 利用皮姆斯纳-波帕基底计算条件期望与较小代数中心的迹密度，导出涉及邻接矩阵 Λ 与维数矩阵 ∆ 的矩阵递推关系。
• 通过递推关系 ⃗hn = d⁻²∆⁻¹ΛΛᵀ∆⃗hn₋₁ 建立迹密度的动力系统，将模形式扭曲与 ΛΛᵀ 的弗罗贝尼乌斯-佩龙本征向量联系起来。
• 应用包含关系的莫里达等价性，将分类问题约化为平面代数的同构类问题，并以模形式扭曲作为精化不变量。
• 利用泡普的同态包含关系唯一性定理与广义奥克内阿努紧致性，从平面代数数据构造包含关系。
• 通过迹密度收敛至忠实极限态的条件，表征可实现的扭曲集合，其密度向量为 ∆⁻¹⃗λ。

实验结果

研究问题

• RQ1 标准不变量本身能否在同构意义下完全分类有限深度、有限指标、连通的多因子包含关系？
• RQ2 在标准不变量之外，还需何种额外不变量才能完全分类此类包含关系？
• RQ3 哪些平面代数 0⁺-框空间上的态可作为来自较大代数的马克夫迹的限制？
• RQ4 哪些模形式扭曲源于连通多因子包含关系，它们如何被表征？
• RQ5 模形式扭曲与单位多融合范畴全忠实表示的存在性及唯一性之间有何关系？

主要发现

• 模形式扭曲，定义为琼斯基本构造下归一化迹密度的极限，是分类有限深度、有限指标、连通的超有限 II₁ 多因子包含关系在莫里达等价意义下的完全不变量。
• 将包含关系 A ⊂ B 映射至对 (PA⊂B•, trMarkov_B|Z(A)) 的映射，诱导了在莫里达等价意义下此类包含关系与一对 (P•, τ) 之间的双射，其中 P• 为有限深度不可约单位 2-着色平面代数，τ 为 P₀₊ 上的忠实态。
• 迹密度 hn 收敛至一个忠实的极限态 τ∞，其密度向量为 ⃗h∞ = ∆⁻¹⃗λ，其中 ⃗λ 为 ΛΛᵀ 的归一化弗罗贝尼乌斯-佩龙本征向量，从而确保在较大代数上存在唯一的马克夫迹。
• P₀₊ 上的每一个忠实态 τ 均可作为某个多因子包含关系中马克夫迹的限制，意味着所有可能的扭曲均可实现。
• 标准不变量 PA⊂B• 并非在包含关系同构意义下的完全不变量，而仅在莫里达等价意义下成立，而后者正是分类的正确等价关系。
• 连通多因子包含关系可实现的扭曲集合，恰好对应于其关联矩阵 ΛΛᵀ 具有唯一正元素的佩龙-弗罗贝尼乌斯本征向量的情形，当且仅当包含关系为有限深度且连通时成立。