[論文レビュー] Ambidextrous objects and trace functions for nonsemisimple categories

Nathan Geer, Jonathan R. Kujawa+1 more|arXiv (Cornell University)|Jun 22, 2011

Algebraic structures and combinatorial models参考文献 33被引用数 8

ひとこと要約

この論文は、ピボタル $Τ$-圏における単純対象がアンビドクストラスであるための必要十分条件を確立し、これにより非自明なトレース関数の存在が保証される。著者らはアンビドクストラス性を射ではなく対象の性質として再定式化することで、非半単純な圏において体系的な検証が可能となり、因子的リボンホープ代数、根の単位における量子群、モジュラーリー（スーパー）代数、および $(1,p)$ 最小模型に対して新たなトレース関数を導出する。

ABSTRACT

We provide a necessary and sufficient condition for a simple object in a pivotal k-category to be ambidextrous. In turn, these objects imply the existence of nontrivial trace functions in the category. These functions play an important role in low-dimensional topology as well as in studying the category itself. In particular, we prove they exist for factorizable ribbon Hopf algebras, modular representations of finite groups and their quantum doubles, complex and modular Lie (super)algebras, the $(1,p)$ minimal model in conformal field theory, and quantum groups at a root of unity.

研究の動機と目的

• ピボタル $Τ$-圏における単純対象がアンビドクストラスであるための必要十分条件を特定すること。
• 非半単純なリボン圏における修正トレース関数の概念を統一的かつ一般化すること。
• 多様な表現論的および位相的設定において、非自明なトレース関数の存在を体系的に検証する方法を提供すること。
• 量子群、リー超代数、および3次元多様体不変量における既知の修正トレースに関する結果を回復・拡張すること。
• アンビドクストラス対象が、従来よりも広範にわたる自然な代数的および位相的圏に存在することを示すこと。

提案手法

• アンビドクストラス対象を射ではなく対象の性質として定式化することで、対象レベルでの検証が可能になるようにする。
• ピボタル $Τ$-圏の双対性およびテンソル構造を用いて、圏的トレースおよび次元を定義する。
• ユニモジュラー圏および射影被覆の理論を用いて、射影的対象のイデアル上にトレース関数を構成する。
• リー超代数および量子群の表現圏における自己双対性および射影的単純性に関する既知の結果を活用する。
• 因子的リボンホープ代数、有限群のモジュラー表現、根の単位における量子群、および $(1,p)$ 最小模型といった主要な例において、新しい条件を検証する。
• フロベニウスの随伴性およびスーパーキャラクター理論を用いて、正の特性を持つ体上のリー超代数圏におけるトレースの存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 ピボタル $Τ$-圏における単純対象がアンビドクストラスであるのはどのような条件下か？
• RQ2 非半単純な圏において、非自明なトレース関数の存在を体系的に決定する方法は何か？
• RQ3 ユニモジュラー性、射影被覆、および表現圏における修正トレースの存在との関係は何か？
• RQ4 量子群の根の単位や正の特性におけるリー超代数といった非半単純な圏のどのクラスに、アンビドクストラス対象が存在するか？
• RQ5 アンビドクストラス性の新しい対象レベルの条件は、従来の修正トレースの構成をどのように簡略化または一般化するか？

主な発見

• ピボタル $Τ$-圏における単純対象が非自明なトレースをもつための必要十分条件は、それがアンビドクストラスであることであり、この条件は今や対象レベルの性質として再定式化されている。
• 新しい条件により、因子的リボンホープ代数や根の単位における量子群といった広範な設定において、アンビドクストラス性の直接的検証が可能になった。
• 正の特性における $π(\mathfrak{gl}(m|n))$ の有限次元表現の圏に対して非自明なトレース関数が存在することが、ユニモジュラー性および射影的単純性により示された。
• 有限次元 $π$-スーパー加群の圏 $Σ$ における射影的対象のイデアルは、$π$ がタイプ A、C、D(2,1;α)、G(3)、または F(4) の制限付きリー超代数である限り、一意な非自明なトレースをもつ。
• この結果により、$π(\mathfrak{gl}(m|n))$ および $π(\mathfrak{sp}(2n))$ の典型的な単純スーパー加群における修正トレースに関する既存の知見が統一的な枠組みの下で回復・拡張された。
• アンビドクストラス対象の存在が、コンformal field theory の $(1,p)$ 最小模型や、有限群のモジュラー表現およびその量子双対の自然な圏において広く見られることが示された。