[論文レビュー] MTC$[M_3, G]$: 3d Topological Order Labeled by Seifert Manifolds

F Bonetti, Sakura Schäfer‐Nameki+1 more|arXiv (Cornell University)|Mar 6, 2024

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、モジュラーテンソルカテゴリ（MTC）で特徴づけられる3次元トポロジカルオーダーと、ADEゲージ群を備えたセイフェルト3次元多様体との間の新しい対応を提案する。セイフェルト多様体上の平坦接続からMTCを構成し、ゲージ群の中心を係数とする1次ホモロジーが消える場合にモジュラリティが成り立つと仮説を立て、既知のMTCのうちランク5以下のすべてをこの枠組み内で実現できた。

ABSTRACT

We propose a correspondence between topological order in 2+1d and Seifert three-manifolds together with a choice of ADE gauge group $G$. Topological order in 2+1d is known to be characterized in terms of modular tensor categories (MTCs), and we thus propose a relation between MTCs and Seifert three-manifolds. The correspondence defines for every Seifert manifold and choice of $G$ a fusion category, which we conjecture to be modular whenever the Seifert manifold has trivial first homology group with coefficients in the center of $G$. The construction determines the spins of anyons and their S-matrix, and provides a constructive way to determine the R- and F-symbols from simple building blocks. We explore the possibility that this correspondence provides an alternative classification of MTCs, which is put to the test by realizing all MTCs (unitary or non-unitary) with rank $r\leq 5$ in terms of Seifert manifolds and a choice of Lie group $G$.

研究の動機と目的

• セイフェルト3次元多様体とADEゲージ群を用いた、3次元トポロジカルオーダーを分類する新しい枠組みを確立すること。
• トポロジカルデータからモジュラーデータ（S行列およびT行列）、R-およびF記号、任意onsのスピンを計算する構成的手段を提供すること。
• この構成が、ユニタリおよび非ユニタリな場合を含め、既知のすべてのMTC（ランク5まで）を実現するかを検証すること。
• 結果として得られるカテゴリがモジュラーであるための位相的条件—ゲージ群の中心を係数とする1次ホモロジーが消える—を同定すること。
• この対応が、従来のモジュラーデータに基づくものとは異なり、幾何学的分類としてMTCを完全に再構成できるかを検討すること。

提案手法

• 各セイフェルト多様体は、特異ファイバーを記述する互いに素な整数のペア (p_i, q_i) のn組で指定され、それらから、pre-modularカテゴリ C(sl(N), p_i, q_i) の階数付きデリーニュ積を介して融合カテゴリが得られる。
• 任意onsは、セイフェルト多様体上の任意ons的平坦G_C接続としてモデル化され、チェーン＝シモンズ理論およびリードマイスターねじれから位相的不変量が導かれる。
• モジュラーS行列およびT行列は平坦接続データから計算され、F-およびR記号は単純な構成要素から再構成される。
• このカテゴリがモジュラーであるのは、H₁(M₃, Z_G) = 0 であるとき、かつそのときに限るとの仮説を提示する。ここでZ_Gはゲージ群Gの中心である。
• この枠組みは、ランクr ≤ 5の既知のすべてのMTCが、セイフェルト多様体と単純なループ型リー群G（ADE型）を用いて実現可能であることをテストした。
• 既知のモジュラーデータ分類に関する結果を活用し、出力結果を既存のMTCテーブル（非ユニタリ例を含む）と比較した。

実験結果

リサーチクエスチョン

• RQ1 すべての既知の3次元トポロジカルオーダー（非ユニタリな場合を含む）は、ADEゲージ群を備えたセイフェルト3次元多様体上の平坦接続によって実現可能か？
• RQ2 セイフェルト多様体にどのような位相的条件を課すと、得られる融合カテゴリがモジュラーになるか？
• RQ3 任意onsのS行列およびT行列、スピン、およびバーニング統計は、セイフェルト多様体およびゲージ群の幾何からどのように導かれるか？
• RQ4 この構成は、ランク5まででMTCの完全かつ幾何学的分類を提供するか？
• RQ5 なぜこの枠組みは、以前の構成（例：Cho et al.）がランク5のMTCをすべて実現できなかったのに対し、成功するのか？

主な発見

• ランクr ≤ 5の既知のすべてのモジュラーテンソルカテゴリ（ユニタリおよび非ユニタリな場合を含む）が、セイフェルト多様体とADEゲージ群を用いたMTC[M₃, G]枠組み内で成功裏に実現された。
• この構成により、すべてのMTCに対して正しいS行列およびT行列が得られ、任意onsのスピンおよびバーニング統計の明示的公式が得られた。
• MTC[M₃, G]がモジュラーであるのは、H₁(M₃, Z_G) = 0 のとき、かつそのときに限るとの仮説は、この条件下で低ランクMTCのすべてが実現されたことにより強く支持された。
• この枠組みは、以前の提案（例：Cho:2020ljj）では実現できなかった、192個の異なるランク6のMTCを再現した。
• この方法により、トポロジカルデータからF-およびR記号を構成的に計算する道筋が得られ、任意ons的データの幾何的起源が明確になった。
• 結果から、セイフェルト多様体–ゲージ群対応が、従来の手法を上回る包括性を持つ完全な幾何的分類を提供する可能性があることが示唆された。