[論文レビュー] On Arithmetic Modular Categories

Orit Davidovich, Tobias Hagge+1 more|arXiv (Cornell University)|May 9, 2013

Algebraic structures and combinatorial models参考文献 34被引用数 16

ひとこと要約

この論文は、複素数体ℂ上の任意のモジュラー圏が、そのF-, R-, S-, T行列の成分がすべて含まれる代数的数体Kₖを定義する数体として持つことを確立し、モジュラー圏に算術的基盤を提供する。著者らは、ガロア作用による軌道にモジュラー圏を整理するガロアねじれを導入し、既存の圏から新しい圏を構成的かつ融合則を保存する方法を提示する。

ABSTRACT

Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence class of solutions to a set of polynomial equations. We conclude that within each class of solutions, there is one which consists entirely of algebraic numbers. These algebraic solutions make it possible to discuss defining algebraic number fields of modular categories and their Galois twists. One motivation for such a definition is an arithmetic theory of modular categories which plays an important role in their classification. Another is to facilitate implementation of computer-based tools to resolve computational and classification problems intractible by other means. We observe some basic properties of Galois twists of modular categories and make conjectures about their relation to the the intrinsic data of modular categories.

研究の動機と目的

• モジュラー圏に厳密な算術的基盤を確立するため、定義する代数的数体の存在を証明すること。
• 複素数体ℂ上の任意の融合圏が、特にモジュラー圏に対して、円分定義数体を持つのかという未解決の問題に取り組むこと。
• 定義数体におけるガロア作用を用いて、既存のモジュラー圏から新しいモジュラー圏を体系的に生成する方法を開発すること。
• 定義数体の性質が、トポロジカル量子計算や量子物性物理学に重要なユニタリモジュラー圏の分類に与える影響を調査すること。

提案手法

• 著者らは、モジュラー圏を多項式方程式系（モジュラー系）の解として定義し、数値的データ（F, R, S, T行列およびεベクトル）を代数的多様体上の点として表現する。
• 適切なゲージ選択のもとで、F, R, S, Tのすべての行列成分が単一の代数的数体Kₖに収まることが証明され、算術的定義可能性が保証される。
• ゲージ同値性を用いて基底依存の曖昧さを排除し、問題を数体上での多項式方程式の解法に還元する。
• ガロアねじれは、数値的データの成分に体自己同型を作用させることで、融合則を保存したまま新しいモジュラー圏を生成する方法として導入される。
• 自由アーベル群上のホモオモルフィズムとハイパーリングの理論を用いて、ゲージ同値性をF記号値の比に関する条件で特徴付ける。
• 関係の部分群SにおけるF記号値の比の関係を用いて、ゲージ同値性の基準を確立し、体自己同型のもとで一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の複素数体ℂ上のモジュラー圏は、F-, R-, S-, T行列のすべての成分が含まれる定義する代数的数体Kₖをもつのか？
• RQ2 定義数体におけるガロア作用が、同じ融合則を持つすべてのモジュラー圏を生成できるのか？
• RQ3 与えられたモジュラー圏に対して、特に最小次数の円分体である、標準的な定義数体の選択肢があるのか？
• RQ4 任意の円分体に含まれない（つまり、円分的に特異な）モジュラー圏は存在するのか？
• RQ5 特に量子計算に関連するユニタリモジュラー圏に対して、定義数体を多項式時間で計算できるのか？

主な発見

• 任意の複素数体ℂ上のモジュラー圏は、F-, R-, S-, T行列のすべての成分が含まれる定義する代数的数体Kₖをもつことが保証され、算術的定義可能性が証明された。
• このような数体の存在は、モジュラー系と呼ばれる多項式方程式系を介して確立され、同値関係を除いてモジュラー圏に対応する。
• ガロアねじれは、数値的データの成分に自己同型を作用させることで、融合則を保存したまま新しいモジュラー圏を生成する手法を提供する。
• 2つの融合系がゲージ同値であるための必要十分条件は、非ゼロF記号値の比が、非ゼロ記号のサポート上の自由群の関係部分群における群準同型に拡張可能であることである。
• ゲージ同値性の条件は、関係部分群Sの基底上で、特定のF記号比の積が1に等しくなることを確認することで、帰着可能であることが示された。
• 著者らは、円分的に特異なモジュラー圏は存在しないと予想し、すべてのユニタリモジュラー圏はチューリング多項式的特異ではない（つまり、物理的モデルにおいて計算が効率的に行える）と示唆している。