[論文レビュー] 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₁ 多因子フォン・ノイマン代数上のバイモジュールにおける不変量としてのモジュラードリフトを導入し、標準的不変量（ユニタリ平面代数）と小さい代数の中心へのマーコフトレースの制限を用いて、有限深さ・有限指数・連結な多因子包含の完全分類を可能にする。主な貢献は、モルタ同値関係に関して、このような包含の間の全単射が、有限深さで分解不能なユニタリ 2-色付き平面代数とその 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)) に写す写像は、モルタ同値関係に関して、有限深さで分解不能なユニタリ 2-色付き平面代数 P• とその P₀₊ における忠実な状態 τ からなるペア (P•, τ) への全単射を誘導する。
• トレース密度 hn は、密度ベクトル ⃗h∞ = ∆⁻¹⃗λ である忠実な極限状態 τ∞ に収束する。ここで ⃗λ は ΛΛᵀ の正規化されたフロベニウス＝ペロン固有ベクトルであり、大きい代数上に一意なマーコフトレースの存在を保証する。
• P₀₊ 上の任意の忠実な状態 τ は、ある多因子包含からマーコフトレースの制限として実現可能であり、すべての可能な歪みが実現可能であることを意味する。
• 標準的不変量 PA⊂B• は、包含の同型に関して完全な不変量ではなく、モルタ同値関係に関してのみ完全な不変量である。これは、分類の正しい同値関係である。
• 連結な多因子包含によって実現可能な歪みの集合は、関連する行列 ΛΛᵀ が正の成分をもつ一意なペロン＝フロベニウス固有ベクトルを持つ場合に限り一致する。これは包含が有限深さかつ連結であるとき成立する。