[論文レビュー] Minimal modular extensions for super-Tannakian categories

César F. Venegas-Ramírez|arXiv (Cornell University)|Aug 20, 2019

Algebraic structures and combinatorial models被引用数 1

ひとこと要約

この論文はフェルミオン的作用とコhomologicalデータを用いて、超Tannakian圏の最小モジュラー拡張を分類し、その拡張と2群の2準同型の間の対応を確立する。障害理論を用いて最小モジュラー拡張のコhomological記述を提供し、特に $m$ が奇数のとき $ olimits\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ のような特定の超群に対してその位数を計算し、群の位数が $16m$ であることを示す。主な貢献は、超Tannakian設定における [ENO10, Theorem 7.12] のフェルミオン版を確立することである。

ABSTRACT

In this paper, we continue with the ideas presented in [GVR17]. In this opportunity, we apply the fermionic action concept to classify in cohomology terms the minimal modular extensions of a super-Tannakian category. For this goal, we study some properties of equivariantization and de-equivariantization processes and cohomology data for the fermionic case.

研究の動機と目的

• コhomologicalデータを用いて超Tannakian圏の最小モジュラー拡張を分類すること。
• [ENO10, Theorem 7.12] の枠組みをフェルミオン的（超Tannakian）な場合に拡張すること。
• 最小モジュラー拡張とフェルミオン的作用を伴うPicard圏値の2準同型の間の対応を確立すること。
• 特定の超群、たとえば $m$ が奇数の $ olimits\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ に対して、最小モジュラー拡張の群の位数を計算すること。
• 群コhomologyを用いて、そのような拡張の存在を支配する障害と torsor を分析すること。

提案手法

• フェルミオン的作用の概念を用いて、最小モジュラー拡張を2群作用を伴うbraided crossed拡張に関連付ける。
• 等変化および非等変化の技法を用いて、拡張の構造を分析する。
• 群準同型 $D: \mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z)) \to \mathrm{Mext}(\mathrm{SVec})$ を構成し、コhomologicalデータを用いてその像と核を研究する。
• 2準同型 $\widehat{\rho}: G \to \mathrm{Pic}(C, f)$ をパrametrizeするため、$O_3(\rho, \alpha)$ および $O_4(\rho, \mu)$ の消失条件を用いた障害理論を適用する。
• アーベルコhomology $H^3(G, \mathbb{C}^\times)$, $H^2(G, \widehat{K_0(C)})$, および制限写像 $r^*$ を用いて、拡張をパrametrizeするデータを分類する。
• 結果を応用して、$m$ が奇数のとき $ olimits\mathrm{Mext}(\mathrm{Rep}(\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}, ([0], [1]))) = 16m$ の位数を計算する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてコhomologicalデータとフェルミオン的作用を用いて、超Tannakian圏の最小モジュラー拡張を分類できるか？
• RQ2 超群 $\widehat{G} = G \times \mathbb{Z}/2\mathbb{Z}$ に対して、群 $\mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z))$ の構造はどのようなものか？
• RQ3 フェルミオン的作用が2準同型 $\widehat{\rho}: G \to \mathrm{Pic}(C, f)$ に拡張できる条件は何か？
• RQ4 $m$ が奇数のとき、$ olimits\mathrm{Rep}(\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}, ([0], [1]))$ の最小モジュラー拡張の群の位数は何か？
• RQ5 群準同型 $D: \mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z)) \to \mathrm{Mext}(\mathrm{SVec})$ の像として現れる点付きモジュラー圏はどれか？

主な発見

• 奇数の $m$ に対して、群 $ olimits\mathrm{Mext}(\mathrm{Rep}(\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}, ([0], [1])))$ の位数は $16m$ である。
• 準同型 $D: \mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z)) \to \mathrm{Mext}(\mathrm{SVec})$ の核は、$\rho$ が自明で、$\mu \in H^2_\rho(G, \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}) = 0$ であり、$\phi$ が $H^3(G, \mathbb{C}^\times)$ 上の torsor にある三つ組 $(\rho, \mu, \phi)$ によってパラメトライズされる。$G = \mathbb{Z}/m\mathbb{Z}$ のとき、これは $m$ 個の要素に対応する。
• $\mathrm{Rep}(\mathbb{Z}/6\mathbb{Z}, [3])$ に対して、最小モジュラー拡張の群の位数は 48 であり、以前の結果と整合的である。
• $D$ の像には、ファションルールが $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ のすべての点付きモジュラー圏が含まれており、$D$ は非自明で、像に少なくとも 4 個の要素を持つ。
• $\mathrm{Rep}(\mathbb{Z}/4\mathbb{Z}, [2])$ に対して、$D$ の核の位数は 4 であり、像には、$\mathrm{SVec}$ のすべての点付きモジュラー拡張でファションルールが $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ であるものが含まれる。
• 2準同型 $\widehat{\rho}: G \to \mathrm{Pic}(C, f)$ が存在するためには、障害 $O_4(\rho, \mu)$ が消失しなければならず、この条件は分類において本質的である。