[論文レビュー] Condensation inversion and Witt equivalence via generalised orbifolds

Vincentas Mulevičius|arXiv (Cornell University)|Jun 6, 2022

Homotopy and Cohomology in Algebraic Topology被引用数 8

ひとこと要約

本稿は、モジュラー融合カテゴリ（MFCs）における一般化されたオルビフォールドを用いたオルビフォールド構成が、ウィット同値性を誘導することを確立し、凝縮過程が特定のオルビフォールドデータを用いて逆転可能であることを証明する。『リボンフロベニウス』関手の概念を導入し、明示的な逆凝縮を構成することで、得られるMFCが元のMFCと同値であることを示し、関係 $ \mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ が正確にウィット同値性であることを証明する。

ABSTRACT

In Mulevičius-Runkel, arXiv:2002.00663, it was shown how a so-called orbifold datum $\mathbb{A}$ in a given modular fusion category (MFC) $\mathcal{C}$ produces a new MFC $\mathcal{C}_{\mathbb{A}}$. Examples of these associated MFCs include condensations, i.e. the categories $\mathcal{C}_B^\circ$ of local modules of a separable commutative algebra $B\in\mathcal{C}$. In this paper we prove that the relation $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ on MFCs is the same as Witt equivalence. This is achieved in part by providing one with an explicit construction for inverting condensations, i.e. finding an orbifold datum $\mathbb{A}$ in $\mathcal{C}_B^\circ$ whose associated MFC is equivalent to $\mathcal{C}$. As a tool used in this construction we also explore what kinds of functors $F\colon\mathcal{C} ightarrow\mathcal{D}$ between MFCs preserve orbifold data. It turns out that $F$ need not necessarily be strong monoidal, but rather a `ribbon Frobenius' functor, which has weak monoidal and weak comonoidal structures, related by a Frobenius-like property.

研究の動機と目的

• モジュラー融合カテゴリにおけるオルビフォールド構成とウィット同値性の明確な関係を確立すること。
• 凝縮カテゴリにおいて元のカテゴリを回復することができる明確なオルビフォールドデータを構成することにより、凝縮の逆問題を解くこと。
• MFC間の関手のクラスを同定し、オルビフォールドデータを保存するものとして、強いモノイダル関手の概念を一般化すること。
• 『リボンフロベニウス』関手を新しい関手クラスとして導入し、弱モノイダル構造と弱コモノイダル構造を備え、フロベニウス条件によって関連づけられた性質を研究すること。
• トポロジカルな秩序および anyon 凝縮の文脈において、凝縮過程を逆転するための包括的かつ体系的な枠組みを提供すること。

提案手法

• モジュラー融合カテゴリ $\mathcal{C}$ におけるオルビフォールドデータ $\mathbb{A}$ を用いて、一般化されたオルビフォールド構成により新たなMFC $\mathcal{C}_{\mathbb{A}}$ を構成する。
• 主な技術的道具は、弱モノイダル構造と弱コモノイダル構造を備え、フロベニウスに類似した適合条件を満たす『リボンフロベニウス』関手の導入である。
• 本稿は、このような関手がオルビフォールドデータを保存することを証明し、カテゴリ間でのオルビフォールド構造の移行を可能にする。
• 明示的な構成により、$\mathcal{C}_B^\circ$ におけるオルビフォールドデータ $\mathbb{A}$ を与え、$\mathcal{C}_{\mathbb{A}} \simeq \mathcal{C}$ が成り立つことを示し、凝縮過程の逆転を実現する。
• ウィット同値性の証明は、この構成によって誘導される関係 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ が、MFCの圏におけるウィット同値性の公理を満たすことを示すことにより行われる。
• 本フレームワークは、$\mathcal{C}$ に属する分離可能で可換な代数 $B$ の凝縮に適用され、逆オルビフォールドデータを用いて元のカテゴリが回復される。

実験結果

リサーチクエスチョン

• RQ1 モジュラー融合カテゴリにおける一般化されたオルビフォールドを用いたオルビフォールド構成は、ウィット同値性と同値な関係をもたらすか？
• RQ2 モジュラー融合カテゴリにおける凝縮過程は、凝縮カテゴリにおいて明確なオルビフォールドデータを用いて逆転可能か？
• RQ3 MFC間の関手のうち、オルビフォールドデータを保存するクラスは何か？ そして、これは強いモノイダル関手の概念をどのように一般化するか？
• RQ4 関手がオルビフォールド構成と可換であるために満たすべき構造は何か？ そして、これはフロベニウス性とどのように関係するか？
• RQ5 元のモジュラー融合カテゴリを、凝縮されたバージョンからオルビフォールドデータを用いて一意に再構成する標準的な方法はあるか？

主な発見

• 一般化されたオルビフォールド構成によって誘導される関係 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ は、正確にウィット同値性である。
• 明示的な逆オルビフォールドデータ $\mathbb{A}$ が $\mathcal{C}_B^\circ$ に構成され、$\mathcal{C}_{\mathbb{A}} \simeq \mathcal{C}$ が成り立つことが示され、凝縮が逆転可能であることを証明する。
• オルビフォールドデータを保存する関手のクラスは、フロベニウス条件によって関連づけられた弱モノイダル構造と弱コモノイダル構造を備えた『リボンフロベニウス』関手として特徴づけられる。
• 逆凝縮の構成は、任意の分離可能で可換な代数 $B$ に対してモジュラー融合カテゴリ $\mathcal{C}$ において有効であり、既知の結果を一般化する。
• 本フレームワークは、トポロジカル秩序および anyon 凝縮の文脈において、凝縮過程を逆転する包括的かつ体系的な方法を提供する。
• 本稿は、MFCにおける凝縮とオルビフォールド構成の完全な双対性を確立し、その基礎にある同値関係としてウィット同値性を特定する。