[論文レビュー] Module categories over the Drinfeld double of a finite group

Victor Ostrik|ArXiv.org|Feb 14, 2002

Algebraic structures and combinatorial models参考文献 12被引用数 35

ひとこと要約

この論文は、有限群 $G$ のドリンフェルト双対の 3-コサイクルのずれ $ω$ を持つ場合の、モジュールカテゴリの分類を行い、それらが $\omega|_H = 1$ かつ $\psi \in H^2(H, \mathbb{C}^*)$ であるような対 $(H, \psi)$ の共役類と一対一対応することを示している。分類は、カテゴリ $\mathrm{Vec}^G_\omega$ 内のねじれた群代数を用いて達成され、既知のファージョンカテゴリの結果が拡張されており、$S_3$ の明示的計算が主要な例として挙げられている。

ABSTRACT

We classify the module categories over the double (possibly twisted) of a finite group.

研究の動機と目的

• 有限群 $G$ と 3-コサイクルのずれ $\omega$ を持つドリンフェルト双対 $\mathcal{D}(G, \omega)$ のすべてのモジュールカテゴリを分類すること。
• このようなモジュールカテゴリと、$H \leq G$、$\omega|_H = 1$、$\psi \in H^2(H, \mathbb{C}^*)$ を満たす対 $(H, \psi)$ の共役類との間の対応を確立すること。
• モノイダルカテゴリ $\mathrm{Vec}^G_\omega$ 内のねじれた群代数を用いた、モジュールカテゴリの体系的構成を提供すること。
• $S_3$ を特に例として、モジュールカテゴリのランクとその双対カテゴリのランクがモジュラー不変量とどのように関係するかを計算・関連付けること。

提案手法

• ファージョンカテゴリ上のすべてのモジュールカテゴリが、そのカテゴリ内の結合的代数のモジュール圏として得られることを応用し、$\mathcal{D}(G, \omega)$ に適用すること。
• $\psi$ を 2-コチェーンとして $d\psi = \omega|_H$ を満たすとき、$\mathrm{Vec}^G_\omega$ 内のねじれた群代数 $A(H, \psi) = \mathbb{C}_\psi[H]$ を用いてモジュールカテゴリを構成すること。
• $G$ の作用による共役類の下での、対 $(H, \psi)$ のモチーフ同値類の分析を通じて、このような代数を分類すること。
• グロテンディーク群と双モジュールカテゴリを用いて、各モジュールカテゴリおよびその双対カテゴリのランクを計算すること。
• $S_3$ の既知の不変量テーブルを用い、ランクの一致を通じて、分類を conformal field theory のモジュラー不変量に関連付けること。特に、22 個の不定値モジュールカテゴリが関係する。

実験結果

リサーチクエスチョン

• RQ1 有限群 $G$ と 3-コサイクル $\omega$ を持つドリンフェルト双対 $\mathcal{D}(G, \omega)$ のモジュールカテゴリは、どのように分類できるか？
• RQ2 モジュールカテゴリと、$H \leq G$ で $\omega|_H = 1$ を満たし、$\psi \in H^2(H, \mathbb{C}^*)$ であるようなコホモロジー的データとの正確な対応関係は何か？
• RQ3 モジュールカテゴリのランクとその双対カテゴリのランクは、共形場理論の文脈におけるモジュラー不変量とどのように関係するか？
• RQ4 特定の非アーベル群 $S_3$ に対して、分類が明示的に検証され、既知のモジュラー不変量と一致するか？
• RQ5 ねじれた群代数は、$\mathcal{D}(G, \omega)$ 上のすべての不定値モジュールカテゴリを実現する役割を果たすか？

主な発見

• 不定値モジュールカテゴリ $\mathcal{D}(G, \omega)$ は、$H \leq G$、$\omega|_H = 1$、$\psi \in H^2(H, \mathbb{C}^*)$ を満たす対 $(H, \psi)$ の共役類と一対一対応する。
• $S_3$ に対しては 22 個の不定値モジュールカテゴリが分類され、カテゴリおよびその双対カテゴリのランクが計算され、モジュラー不変量と一致した。
• 各モジュールカテゴリの双対カテゴリ $\mathcal{C}^*$ のランクは明示的に計算され、8 から 36 の範囲に及び、モジュラー不変量との対応を制約するために用いられた。
• モジュールカテゴリとモジュラー不変量との対応は部分的に決定されている。例えば、$H_1$ は $|\chi_0 + \chi_1 + 2\chi_2|^2$ に対応し、$H_1^{tw}$ は $|\chi_0|^2 + |\chi_1|^2 + \cdots + |\chi_7|^2$ に対応する。
• モジュールカテゴリが $\mathcal{C}$ 内の結合的代数 $A$ に対して $\mathrm{Mod}_{\mathcal{C}}(A)$ として生じるという一般理論と整合しており、すべてのこのようなカテゴリがねじれた群代数の構成によってカバーされている。
• $S_3$ において、ランクとモジュラー不変量の表は、$H_2$ や $H_{17}$ のようなカテゴリがランクだけでは区別できないことを示しており、より細かい不変量の必要性を示唆している。