Lifts of symmetries to minimal nondegenerate extensions are unique up to fermion attachment

技術的要約：極小非退化拡張への対称性のリフト

問題設定
本論文は、(2+1)次元のフェルミオン的トポロジカル秩序から、フェルミオン・パリティをゲージ化した際のボゾン的対応物へと、大域的対称性をリフトさせる問題に取り組んでいる。数学的には、フェルミオン的トポロジカル秩序は、透明なフェルミオン $\psi$ を持つ、わずかに退化した（slightly degenerate）編組融合圏 $\mathcal{C}$（スーパーモジュラー圏）によって記述される。フェルミオン・パリティをゲージ化することで、$\mathcal{C}$ を部分圏として含む、極小非退化拡張 $\mathcal{E}$（モジュラー圏）が得られるが、そこでは $\psi$ はもはや透明ではない。

中心的な問いは、局所性を尊重する（locality-respecting; LR）編組自己同値の群、すなわち $\text{Aut}_{LR}(\mathcal{C})$ および $\text{Aut}_{LR}(\mathcal{E})$ に関するものである。これらの群は、局所フェルミオンの融合空間に対して自明に作用し、かつフェルミオンのマーキングを尊重する対称性を分類する。著者らは、制限準同型 $r: \text{Aut}_{LR}(\mathcal{E}) \to \text{Aut}_{LR}(\mathcal{C})$ について調査している。具体的には、その核（kernel）を決定し、その全射性（surjectivity）を証明することを目的としている。先行研究では、核は「フェルミオン付着（fermion attachment）」（すべての渦に $\psi$ を付着させる操作）によって生成される $\mathbb{Z}/2$ であると予想されていたが、任意のわずかに退化した圏に対する一般的な証明は欠けていた。

手法
著者らは、ユニタリティや特定のリボン構造への依存を避け、直接的なテンソル圏的手法を用いている（ただし、ユニタリーな場合にはこれらは回収される）。証明戦略は、主に3つの技術的構成要素からなる：

1. 正規化と加群の分類:
   核の元は、$\mathcal{C}$ 上で恒等写像として制限されるペア $(\Phi, \text{id}_\psi)$ によって表される。圏 $\mathcal{E}$ は $\mathbb{Z}/2$-次数付け $\mathcal{E} = \mathcal{C} \oplus \mathcal{V}$ を持ち、ここで $\mathcal{V}$ は渦セクターである。次数付きMorita理論を用いて、このような $\Phi$ の渦セクター $\mathcal{V}$ への制限は、$\mathcal{C}$ のミュガー中心（Müger center）内の対象 $a$ による右乗法 $R_a = -\otimes a$ と同型な左 $\mathcal{C}$-加群関手として表されることを示す。中心は $\psi$ によって生成されるため、可能性は $a \cong \mathbf{1}$（恒等作用）または $a \cong \psi$（フェルミオン付着）の2通りしかない。

2. 相対的剛性（Relative Rigidity）:
   異なる代表元を区別するために、著者らは相対的剛性の補題を証明する。ある編 رست自己同値が $\mathcal{C}$ 上で恒等的に作用し、かつ $\mathcal{V}$ 上の恒等加群関手として作用する場合、それは $\mathcal{E}$ 上の恒等関手に対して、$\mathcal{C}$ 上の恒等写像による同型を通じてモノイダル同型であることを示す。これは、加群のタイプが自明である限り、渦セクターにおける「自由度」が単一のスカラー位相に減少することを意味し、これは渦の再位相化によって除去可能である。

3. フェルミオン付着と全射性:
   著者らは、$\mathcal{C}$ 上で恒等的に作用し、$X \in \mathcal{V}$ に対して $X \mapsto X \otimes \psi$ と写すフェルミオン付着関手 $\alpha$ を明示的に構成する。$\alpha$ は、そのテンソル構造にフェルミオンの自己編 رست $c_{\psi,\psi} = -\text{id}$ を含むため、$\psi$ を固定する射によって恒等写像と同型にはならないことを示し、核の非自明な元であることを証明する。
   全射性については、**グラフ代数（graph algebras）**を利用する。$\mathcal{C}$ の対称性 $F$ に対し、$\mathcal{E}^{\text{rev}} \boxtimes \mathcal{E}$ 内にグラフ代数を構築し、それを局所加群圏（トーリックコードと同一視される）へと凝縮（condense）させ、次にボゾンを凝縮してラグランジュ代数を形成する。この代数は、$F$ の $\mathcal{E}$ へのリフト $H$ のグラフとなることが示される。

主要な貢献と結果
本論文は、以下の主定理を確立する。わずかに退化した編 رست融合圏 $\mathcal{C}$ と、固定された極小非退化拡張 $\mathcal{E}$ に対して、制限準同型は以下の中心拡大（central short exact sequence）に適合する：
$$1 \longrightarrow \mathbb{Z}/2 \xrightarrow{[\alpha_\psi]} \text{Aut}_{LR}(\mathcal{E}) \xrightarrow{r} \text{Aut}_{LR}(\mathcal{C}) \longrightarrow 1$$
ここで $[\alpha_\psi]$ はフェルミオン付着のクラスである。

主な具体的な結果は以下の通りである：

• 全射性: $\mathcal{C}$ のすべての対称性クラスは $\mathcal{E}$ へとリフトされる。
• 核の構造: 核は正確に $\mathbb{Z}/2$ であり、フェルミオン付着によって生成される。核の中に他の隠れた対称性は存在しない。
• フェルミオン付着を除いた一意性: $\mathcal{C}$ の各対称性クラスは、$\mathcal{E}$ へのちょうど2つのリフトを持つ。これら2つのリフトは、まさにすべての渦にフェルミオン $\psi$ を付着させることによってのみ異なる。
• 識別特徴: 2つのリフトは、たとえ単純対象のラベルの置換を同じにするとしても、そのテンソル構造に現れるフェルミオンの自己編 رستの符号 ($c_{\psi,\psi} = -\text{id}$) によって区別される。
• 一般化: この証明は非ユニタリーな圏にも成立し、リボン構造を必要とせず、編 رست融合圏の公理のみに依拠している。

意義と主張
著者らは、すべてのわずかに退化した編 رست融合圏に対して、制限写 same の核が $\mathbb{Z}/2$ であるという予想に対する、最初の直接的なテンソル圏的な証明を提供したと主張している。これは、スーパーAbelianなケースに限定されていた、あるいは高次圏のメカニズムに依存していた従来の結果を拡張するものである。

本論文は、フェルミオン的トポロジカル相における対称性リフトの構造を明らかにすることを強調している。物理的には、ゲージ化された理論へのリフトにおける曖昧さは、局所フェルミオンを渦に結合させるかどうかの選択にのみ依存することを裏付けている。これは、フェルミオン系における 't Hooft アノマリーの計算に直接的な影響を与える。なぜなら、群作用をボゾン理論へリフトする際の障害は、この $\mathbb{Z}/2$ の核によって支配されるからである。また、著者らは、次数付き拡張および編 رستピカード2-群の理論と彼らの知見を関連付け、この核を、極小非退化拡張の群的軌道における拡張の自己同型群と同一視している。

結果は、ラフリン状態 ($U(1)_k$)、$SO(3)_3$ 理論、およびアイシング（Ising）トポロジカル秩序の3つの物理的例を通して示されており、抽象的なテンソル圏的メカニズムがいかに具体的なアニオンモデルにおいて顕在化するかを実証している。