[論文レビュー] On unitary 2-representations of finite groups and topological quantum field theory

Bruce Bartlett|ArXiv.org|Jan 26, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 106被引用数 40

ひとこと要約

この論文は、有限群のユニタリ2表現とトポロジカル量子場理論（TQFT）の間に深い接続を確立し、ユニタリ2表現の2カテゴリの恒等2関手の変換のブレード付きモノイダル圏が、融合積を伴う群上の共役に平衡づけられたベクトル bundle の圏に同値であることを示している。さらに、2次元特徴関手がユニタリ的に完全忠実であることを証明し、双対的構造をホモセット上の対合と恒等関手のねじれモノイダル自然変換に関連づけて特徴づけている。

ABSTRACT

This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the 2-category of unitary 2-representations of a finite group is thought of as the `2-category assigned to the point' in the untwisted finite group model. The first result is that the braided monoidal category of transformations of the identity on the 2-category of unitary 2-representations of a finite group computes as the category of conjugation equivariant vector bundles over the group equipped with the fusion tensor product. This result is consistent with the extended TQFT hypotheses of Baez and Dolan, since it establishes that the category assigned to the circle can be obtained as the `higher trace of the identity' of the 2-category assigned to the point. The second result is about 2-characters of 2-representations, a concept which has been introduced independently by Ganter and Kapranov. It is shown that the 2-character of a unitary 2-representation can be made functorial with respect to morphisms of 2-representations, and that in fact the 2-character is a unitarily fully faithful functor from the complexified Grothendieck category of unitary 2-representations to the category of unitary equivariant vector bundles over the group. The final result is about pivotal structures on fusion categories, with a view towards a conjecture made by Etingof, Nikshych and Ostrik. It is shown that a pivotal structure on a fusion category cannot exist unless certain involutions on the hom-sets are plus or minus the identity map, in which case a pivotal structure is the same thing as a twisted monoidal natural transformation of the identity functor on the category. Moreover the pivotal structure can be made spherical if and only if these signs can be removed.

研究の動機と目的

• 有限群のユニタリ2表現の2カテゴリと、共役に平衡づけられたベクトル bundle の融合積を伴う圏とのカテゴリカル同値性を確立すること。
• ユニタリ2表現の複素化されたグロチェンディーク圏からユニタリ平衡づけられたベクトル bundle への2次特徴関手が、ユニタリ的に完全忠実であることを示すこと。
• ホモセット上の特定の対合が±恒等写像である条件を分析することで、融合圏における双対的構造を特徴づけ、その構造を恒等関手のねじれモノイダル自然変換に関連付けること。
• 特に、非ねじれ有限群モデルにおける拡張TQFTの幾何的・カテゴリカル的基盤を提供し、拡張TQFTの仮説 Z(S¹) ≃ Dim Z(pt) を検証すること。

提案手法

• 有限群のユニタリ2表現の2カテゴリを構成し、ユニタリ2関手、変換、修正を備える。
• 「恒等関手の高次トレース」（Dim）の構成をユニタリ2表現の2カテゴリに適用し、恒等2関手の変換の圏を導出する。
• ストリング図式計算とムービーモー ブ技法を用いて、随伴同値と自然変換の整合性法則を検証する。
• ファイバーごとの畳み込みと共役誘導によるブレード構造を用いて、有限群 G 上の共役に平衡づけられたユニタリベクトル bundle の圏に融合積を定義する。
• 2次特徴関手を、2表現の複素化されたグロチェンディーク圏からユニタリ平衡づけられたベクトル bundle の圏へのユニタリ的かつ完全忠実かつ線形な写像として定義する。
• ホモセット上の誘導された対合を分析し、それらを恒等関手のモノイダル自然変換に関連付けることで、融合圏における双対的構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 非ねじれ有限群モデルにおける拡張TQFT枠組みで、円周に割り当てられるカテゴリカル構造は何か？
• RQ2 ユニタリ2表現の2次特徴関手をどのように函手的に定義できるか、そしてその本質的像は何か？
• RQ3 融合圏に双対的構造が存在する条件は何か？ また、その構造は恒等関手の自然変換とどのように関係するか？
• RQ4 融合圏のホモセット上の対合が、双対的構造および球面的構造の存在をどのように制約するか？
• RQ5 恒等2関手の変換のブレード付きモノイダル圏と、共役に平衡づけられたベクトル bundle の圏との正確な関係は何か？

主な発見

• 有限群のユニタリ2表現の2カテゴリにおける恒等2関手の変換の圏は、融合積を伴う群上の共役に平衡づけられたユニタリベクトル bundle の圏に同値である。
• 2次特徴関手は、ユニタリ2表現の複素化されたグロチェンディーク圏から、群上のユニタリ平衡づけられたベクトル bundle の圏へのユニタリ的に完全忠実な函手である。
• 融合圏に双対的構造が存在するのは、ホモセットに誘導された対合が±恒等写像であるときであり、そのときその構造は恒等関手のねじれモノイダル自然変換に対応する。
• 双対的構造を球面的構造にできるのは、対合の符号を取り除ける、すなわちすべての対合が恒等写像であるときである。
• 恒等2関手の変換の圏におけるブレード付きモノイダル構造は、平衡づけられたベクトル bundle の融合積によって実現され、ブレードは最初の因子を共役して入れ替えることで定義される。
• 高次トレースと融合圏の同値性の証明は、ムービーモー ブ技法と3カテゴリ 2Cat における随伴同値の整合性定理に依拠している。