[論文レビュー] Uniqueness of unitary structure for unitarizable fusion categories

David Reutter|arXiv (Cornell University)|Jun 24, 2019

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、ユニタリ化可能なファージョンカテゴリ（および半単純C*-テンソルカテゴリ、ブレッド付きファージョンカテゴリ、モジュールカテゴリ）が、ユニタリモノイダル同値に関して一意なユニタリ構造を持つことを証明する。証明は、カテゴリ化された極分解定理に依拠しており、任意のモノイダル同値が一意に、ユニタリ同値の次に正の自己同値に分解されることを示す。有限性の制約により、正の自己同値は自明でなければならないため、ユニタリ構造の一意性が確立される。

ABSTRACT

We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between such categories. We prove analogous results for unitarizable braided fusion categories and module categories.

研究の動機と目的

• ユニタリ化可能なファージョンカテゴリが、モノイダル同値に関して一意なユニタリ構造を持つかどうかという未解決問題を解消すること。
• 一意性の結果を半単純C*-テンソルカテゴリ、ブレッド付きファージョンカテゴリ、およびモジュールカテゴリへ拡張すること。
• ユニタリファージョンカテゴリ間のモノイダル同値が、同型に関して一意にユニタリであることを確立すること。
• ユニタリモノイダル関手間の自然同型が、同様に一意にユニタリであることを示すこと。
• ユニタリから一般モノイダルカテゴリへの忘却2関手が同値であること、すなわちユニタリ化可能性が構造ではなく性質であることを確認すること。

提案手法

• カテゴリ化された極分解：半単純C*-カテゴリ間の任意のモノイダル同値は、一意にユニタリモノイダル同値とその後に続く正のモノイダル自己同値に分解される。
• ファージョンカテゴリにおけるモノイダル自己同値の群の有限性を活用し、正の自己同値が自明であることを示す。
• 自然同型への極分解の拡張：関手間の自然同型をユニタリ部と正の部に分解する。
• ユニバーサルグレーディング群の有限性を用いて、非自明な正のモノイダル自然自己同型が存在しないことを示す。
• ブレッド付きカテゴリへの適応：構成がブレッドに整合することを示す。
• モジュールカテゴリへの翻訳：モノイダル自己同値をモジュール自己同値に置き換え、一意性の議論を保存する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ化可能なファージョンカテゴリは、モノイダル同値に関して一意でないユニタリ構造を複数持てるか？
• RQ2 半単純C*-テンソルカテゴリ上のユニタリ構造は一意に決定されるか？
• RQ3 ユニタリモノイダル関手間のモノイダル自然同型は、必然的にユニタリか？
• RQ4 ブレッド付きユニタリ化可能なファージョンカテゴリは、一意なユニタリブレッド構造を持つか？
• RQ5 ユニタリから一般モノイダルカテゴリへの忘却2関手は同値か？

主な発見

• ユニタリファージョンカテゴリ間の任意のモノイダル同値は、モノイダル自然同型の意味でユニタリモノイダル同値に同値であり、ユニタリ構造の一意性が証明される。
• ユニタリモノイダル関手間の任意のモノイダル自然同型は、正の自然自己同型が自明であることから、ユニタリである。
• ユニタリ化可能なファージョンカテゴリの2群体は、ユニタリ同値に関してユニタリファージョンカテゴリの2群体と同値であり、ユニタリ化可能性が性質であることを確認する。
• ユニタリから一般モノイダルカテゴリへの忘却2関手は同値であり、ユニタリ構造が同型に関して一意であることを示す。
• 結果はブレッド付きファージョンカテゴリへも拡張可能である：任意のブレッド付きモノイダル同値は、ユニタリブレッド同値に同型であり、一意なユニタリブレッド構造が保証される。
• モジュールカテゴリに対しても同様に一意性が成り立ち、ユニタリファージョンカテゴリ上のモジュール同値は一意にユニタリ化可能である。