[論文レビュー] A Computational Approach to Classifying Low Rank Modular Categories

Daniel Creamer|arXiv (Cornell University)|Dec 4, 2019

Algebraic structures and combinatorial models参考文献 10被引用数 44

ひとこと要約

この論文は、低階モジュラカテゴリをモジュラデータ (S,T) によって分類する計算的ワークフローを提示し、Galois作用と Gröbner 基底計算を活用して適合性基準を検証する。

ABSTRACT

This paper introduces a computational approach to classifying low rank modular categories up to their modular data. The modular data of a modular category is a pair of matrices, $(S,T)$. Virtually all the numerical information of the category is contained within or derived from the modular data. The modular data satisfy a variety of criteria that Bruillard, Ng, Rowell, and Wang call the admissibility criteria. Of note is the Galois group of the $S$ matrix is an abelian group that acts faithfully on the columns of the eigenvalue matrix, $s = (\frac{S_{ij}}{S_{0j}})$. This gives an injection from Gal$(\mathbb{Q}(S),\mathbb{Q}) o $ Sym$_r$, where $r$ is the rank of the category. Our approach begins by listing all the possible abelian subgroups of Sym$_6$ and building all the possible modular data for each group. We run each set of modular data through a series of Gröbner basis calculations until we either find a contradiction or solve for the modular data.

研究の動機と目的

• 低階モジュラカテゴリをモジュラデータ (S,T) を通じて分類することを動機づける。
• 適合性基準を利用して可能なカテゴリを制約する。
• 群論的列挙と Gröbner 基底解法を組み合わせた計算パイプラインを開発する。

提案手法

• モジュラカテゴリをそのモジュラデータ (S,T) で表す。
• S のガロア群が固有値由来の行列 s に忠実に作用し、射影 Gal(Q(S),Q) → Sym_r への同型を生じることに留意する。
• Sym_6 のすべてのアベリアン部分群を列挙し、それぞれの群と整合するモジュラデータを構築する。
• Gröbner 基底計算を適用して制約を導出しモジュラデータを解く。矛盾がある場合にはそれを検出する。

実験結果

リサーチクエスチョン

• RQ1 低階モジュラカテゴリの適合性基準と整合するモジュラデータ (S,T) は何か。
• RQ2 Rank が 6 以下の場合、アベリアンなガロア作用は可能なモジュラデータをどのように制約するか。
• RQ3 完全な計算ワークフローは、任意の定められた階数までの低階モジュラカテゴリを列挙・認証できるか。
• RQ4 Gröbner 基底計算から生じる矛盾は、データ集合のどのような矛盾を排除するか。

主な発見

• Sym_6 のアベリアン部分群を列挙し、それに対応するモジュラデータを生成する計算的フレームワークを提案している。
• Gröbner 基底計算を用いて整合性を検証し、実現不能なデータを絞り込む。矛盾が生じた時点で停止するか、解が得られた時点で終了する。
• S 行列へのガロア作用を取り込み、固有値構造を制約し、モジュラデータ空間を通じた探索を推進するアプローチを提供している。