[論文レビュー] On braided fusion categories I

Vladimir Drinfeld, Shlomo Gelaki+2 more|arXiv (Cornell University)|Jun 2, 2009

Algebraic structures and combinatorial models参考文献 25被引用数 22

ひとこと要約

本稿では、有限群から生じない部分を分離する新しい不変量として、からみあい融合圏のコアを導入する。最大のタンナキアン部分圏の中心化の脱等化により、コアは非群論的構造を捉え、弱く非等方的であることが示され、中心およびラグランジュ部分圏を用いた非退化なからみあい融合圏の分類への応用を持つ。

ABSTRACT

This work is a detailed version of arXiv:0704.0195 [math.QA]. We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. The guiding heuristic principle of our work is an analogy between braided fusion categories and Casimir Lie algebras.

研究の動機と目的

• 前モジュラ性や非退化性を仮定せずに、からみあい融合圏の基礎的理論を構築すること。
• 新しいコアの概念を用いて、からみあい融合圏の非群論的部品を分離すること。
• 球面的または非退化的構造を要件としない中央化およびガウス和に関する既知の結果を一般化すること。
• コアが弱く非等方的である、すなわちすべてのからみあい自己同値に関して不変な非自明なタンナキアン部分圏をもたないことを確立すること。
• コアと有限群データからからみあい融合圏を再構成する枠組みを提供すること。その後の研究で示されているように。

提案手法

• 最大のタンナキアン部分圏 E = Rep(G) の中心化の脱等化により、からみあい融合圏 C のコアを定義する。
• E′ を C における E の中心化とするとき、コアを CoreE(C) = E′ ⊠E Vec として構成する。
• G がからみあい自己同値の圏に写す ΓE に関して、(CoreE(C), ΓE) の同値類が E の選択に依存しないことを示す。
• 随伴作用と合成 C →G →Func(C1, C1) の自明化を用いて、グレーディングが忠実であるとき、コア上の作用が自明であることを証明する。
• G-クロステッド gr-圏および torsor の理論を用いて、π0 および π1 の不変量を用いて G のコア上への作用を記述する。
• 複素化されたグロテンディーク環と正のトレースを用いて、融合部分圏の剛性を証明する。これには ∗-代数のスペクトル的性質と、べき零性の基準が用いられる。

実験結果

リサーチクエスチョン

• RQ1 からみあい融合圏のうち、有限群から生じる部分とそれ以外の部分を正確に分離する方法は何か？
• RQ2 からみあい融合圏のコアの構造は何か？また、自己同値に関してどのように振る舞うか？
• RQ3 コアが弱く非等方的である条件は何か？また、これにより内部構造にどのような意味が生じるか？
• RQ4 非退化なからみあい融合圏は、そのコアと群データから再構成可能か？
• RQ5 非退化性や前モジュラ性の仮定がない状況下で、ガウス和と中心化の役割は何か？

主な発見

• からみあい融合圏のコアは同値を除いて一意に定まり、最大のタンナキアン部分圏の選択に依存しない。
• コアは弱く非等方的である。つまり、すべてのからみあい自己同値に関して不変な非自明なタンナキアン部分圏をもたない。
• 非退化なからみあい融合圏では、ラグランジュ部分圏の存在が、ある指標的融合圏の中心であることと同値である。
• コアと群データからからみあい融合圏を再構成可能である。これは定理 4.64 およびその後の研究で示されている。
• G-クロステッド gr-圏のグレーディングが忠実であるとき、コア上に誘導されるモノイダル自己同値は、恒等関手と同型である。
• 正のトレースを備えた複素化されたグロテンディーク環により、任意の融合部分圏が、べき零性およびトレース基準によるアイドルポテンの評価により剛性を示す。