[論文レビュー] Geometric Invariants for Fusion Categories

Tobias Hagge, Matthew Titsworth|arXiv (Cornell University)|Sep 10, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 4

ひとこと要約

本稿では、幾何的不変量理論から導かれる幾何的不変量を用いて、ゲージ同値およびモノイダル同値に関して分類可能なファージョン圏を提示する。ゲージ同値およびモノイダル同値の類は、五角形方程式の解のスキーム上で有限集合の不変正則関数を評価することによって完全に決定され、多重性なしの場合に高速なアルゴリズムが可能になる。

ABSTRACT

The problem of determining gauge and monoidal equivalence classes of fusion categories is considered from the perspective of geometric invariant theory. It is shown that the gauge (or monoidal) class of a fusion category is determined by the evaluation of a finite set of gauge (or monoidal) invariant functions. In the multiplicity free case this leads to a fast algorithm for computing a classifying set of functions.

研究の動機と目的

• モノイダル同値に関して分類するという根本的な課題に取り組むこと。これは、五角形方程式の増大が指数関数的になるため、そうでなければ計算不能である。
• 五角形方程式の解におけるゲージおよび自己同型の曖昧性を克服するため、計算可能な不変量を構築すること。
• 代数的スキームの解空間から同値類を抽出するための体系的な方法を、幾何的不変量理論を用いて開発すること。
• 多重性なしの場合に、有理モナミアル不変量を用いてゲージ同値およびモノイダル同値類を高速に計算するアルゴリズムを提供すること。
• 五角形方程式を完全に解かずに不変量を計算できることを示し、計算複雑度を低減すること。

提案手法

• ベースリング $(R,B)$ 上の五角形方程式から、すべての可能なファージョン圏構造の空間を表す代数的スキーム $X(R,B)$ を構成する。
• $X(R,B)$ に作用する群を定義する：ゲージ群 $G$ およびグロチエンディーク環自己同型群 $\mathrm{Aut}(R,B)$ で、同値の対称性を符号化する。
• 幾何的不変量理論を適用し、$G$-不変および $\mathrm{Aut}(R,B)\ltimes G$-不変な $X(R,B)$ 上の正則関数を構成し、これによりゲージ同値およびモノイダル同値類を分類する。
• 多重性なしの場合、整数指数を持つ構造定数 $\phi_{i,j}$ の有理モナミアルを用いて、計算可能な不変量を構成し、同値性を検出する。
• これらの不変量の値が、五角形方程式を明示的に解かずに、ゲージ同値およびモノイダル同値を完全に決定することを証明する。
• 多重性なしの設定では、五角形方程式における非ゼロ項の比が不変群 $A_y$ に属することを利用し、不変量の効率的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ゲージ同値およびモノイダル同値類のファージョン圏は、計算可能な不変量を用いて完全に分類可能か？
• RQ2 これらの不変量は、五角形方程式の完全な系を解かずに計算可能か？
• RQ3 幾何的不変量理論は、五角形方程式の解空間にどのように適用され、同値類を抽出できるか？
• RQ4 ファージョン圏の構造的性質（例：多重性なし）は、より高速な分類アルゴリズムを可能にするか？
• RQ5 これらの不変量を用いて、同値類上のガロア作用を特定できるか？

主な発見

• ファージョン圏のゲージ同値類は、$\mathscr{N}$ をゲージ類の数として、解のスキーム $X(R,B)$ 上の $\mathscr{N}-1$ 個の $G$-不変正則関数の値によって完全に決定される。
• モノイダル同値類は、$\mathscr{M}$ をモノイダル類の数として、$\mathrm{Aut}(R,B)\ltimes G$-不変正則関数の $\mathscr{M}-1$ 個の値によって決定される。
• 多重性なしの場合、不変量は整数指数を持つ構造定数 $\phi_{i,j}$ の有理モナミアルとして表現可能であり、高速な計算が可能になる。
• 多重性なしのファージョン圏では、必要な不変量の数は、ゲージ類に対して $\binom{\mathscr{N}}{2}$ 個、モノイダル類に対して $\binom{\mathscr{M}}{2}$ 個で上限が与えられる。
• 不変量は、五角形方程式を解かずに評価可能であり、その値は不変群 $A_y$ に属する構造定数の比にのみ依存する。
• スキーム $X(R,B)$ は、$\mathrm{Spec}(k)$ 上の分離的で有限型のアフィンスキームであり、その構造層は同値類に関するすべての本質的情報を符号化している。