[論文レビュー] On $G$--modular functor

Alexander Kirillov, Tanvir Prince|ArXiv.org|Jul 7, 2008

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

ひとこと要約

この論文は、有限群 $G$ に対して、$G$-equivariantなモジュラー関手と $G$-equivariantなファージョンカテゴリの間の同値性を確立している。これは、非-equivariantな場合に既知の対応を一般化したものである。$G$-被覆のモーア＝サイバーグ型形式を用いて、著者たちはファージョンカテゴリから $G$-equivariantなモジュラー関手データを構成し、逆にそれらを定義し、標準的表面および $G$-被覆のホメオモルフィズムに関する公理的関係を用いて、 genus zero において正確な圏的同値性を証明している。

ABSTRACT

In this paper, we extend the notion of modular functor and fusion category to what we called $G$ equivariant modular functor and $G$ equivariant fusion category, where $G$ is a finite group, and establish a correspondence between between these notions.

研究の動機と目的

• 有限群 $G$ に対して、モジュラー関手とファージョンカテゴリの対応関係を $G$-equivariantな設定に拡張すること。
• $G$-equivariant構造を用いて、オルビフォールド conformal field theories の代数的形式主義を提供すること。
• モーア＝サイバーグの公理的枠組みをリーマン面の $G$-被覆に一般化すること。
• $G$-equivariantなモジュラー関手と $G$-equivariantなファージョンカテゴリが genus zero において圏的に同値であることを証明すること。
• トポロジカルデータ（$G$-被覆のホメオモルフィズム）と代数的データ（$G$-作用と braiding を持つテンソル圏）の間の正確な辞書を確立すること。

提案手法

• $G$-grading、$G$-作用ファンクター $R_g$、および結合的同型 $\alpha_{g,h}$ を用いて $G$-equivariantなファージョンカテゴリを定義し、それらが結合則およびグレーディングとの整合性を満たすようにする。
• ファンクター的同型（例えば、braiding $R_{V,W}$、評価、coevaluation を含む）の集合として $G$-equivariantなモーア＝サイバーグデータを定義し、六角形、双対性、$\phi$-関係の公理を満たすようにする。
• 標準的表面に $G$-被覆を導入し、貼り合わせ関係を用いて、$G$-equivariantなファージョンカテゴリから $G$-equivariantなモジュラー関手を構成する。
• 主定理を証明するため、$G$-被覆の複体 $M(\widetilde{\Sigma}, \Sigma)$ におけるファンクターの性質を用いて、$G$-equivariantなモジュラー関手が $G$-equivariantなモーア＝サイバーグデータを誘導することを示す。
• $G$-equivariantなモーア＝サイバーグデータのすべての公理（結合則、六角形、ドーンねじりなど）が、モジュラー関手の対応する公理から導かれることが確認される。
• ホメオモルフィズム（例：$\tilde{b}$、$\tilde{\alpha}_{k,l}$）を用いて、モジュラー関手の文脈における conformal block と同型写像を定義・関連付ける。

実験結果

リサーチクエスチョン

• RQ1 有限群 $G$ に対して、モジュラー関手とファージョンカテゴリの対応関係を $G$-equivariantな設定に拡張できるか？
• RQ2 $G$-equivariantなファージョンカテゴリに対応する、曲面の $G$-被覆における公理的構造は何か？
• RQ3 $G$-twistedセクターがカテゴリに含まれる場合、標準的モーア＝サイバーグ公理はどのように一般化されるか？
• RQ4 $G$-equivariantなモジュラー関手から、$G$-equivariantなファージョンカテゴリを一意に再構成する方法は存在するか？
• RQ5 $G$-被覆のホメオモルフィズムが、$G$-equivariantテンソル圏の代数的データをどのように符号化しているか、その正確な役割は何か？

主な発見

• この論文は、genus zero において、$G$-equivariantなモジュラー関手と $G$-equivariantなファージョンカテゴリの間の全単射対応を確立している。
• ファージョンカテゴリから $G$-equivariantなモジュラー関手を構成する際、$G$-被覆を伴う標準的表面の貼り合わせと、ファンクター的同型を用いた conformal block の定義が根幹にある。
• 逆の構成—モジュラー関手から $G$-equivariantなモーア＝サイバーグデータを導出する—は、複体 $M(\widetilde{\Sigma}, \Sigma)$ におけるモジュラー関手のファンクター性に依存している。
• $G$-equivariantなモーア＝サイバーグデータのすべての公理（六角形、ドーンねじり、$\phi$-関係など）が、モジュラー関手の対応する公理から導かれることが示された。
• $G$-equivariantなモーア＝サイバーグデータのドーンねじり公理は、複体 $M(\widetilde{\Sigma}, \Sigma)$ におけるドーンねじり関係と、モジュラー関手のファンクター性を介して導出される。
• 同値性は、モジュラー関手の文脈におけるすべての構造的同型（例：braiding、双対性、可換性）が、ファージョンカテゴリ枠組みにおける必要な公理に正確に対応することを示すことによって証明された。