[論文レビュー] Tensor categories: A selective guided tour

Michael Mueger|arXiv (Cornell University)|Apr 22, 2008

Algebraic structures and combinatorial models参考文献 150被引用数 11

ひとこと要約

この論文は、有限次元のホム空間を持つ体上の線形圏としてのテンソル圏について、簡潔でアクセスしやすい入門を提供する。厳密でないテンソル圏、関手、自然変換といった基礎的概念を概説し、量子群や低次元トポロジーと結びつける。トポロジカル量子場理論やモジュラー圏の背後にあるカテゴリカル構造に焦点を当てる。

ABSTRACT

These are the lecture notes for a short course on tensor categories. The coverage in these notes is relatively non-technical, focussing on the essential ideas. They are meant to be accessible for beginners, but it is hoped that also some of the experts will find something interesting in them. Once the basic definitions are given, the focus is mainly on k-linear categories with finite dimensional hom-spaces. Connections with quantum groups and low dimensional topology are pointed out, but these notes have no pretension to cover the latter subjects at any depth. Essentially, these notes should be considered as annotations to the extensive bibliography.

研究の動機と目的

• 分野の初心者向けに、自己完結的で技術的でないテンソル圏の入門を提供すること。
• 厳密テンソル圏と整合性定理がカテゴリカル構造を単純化する役割を明確にすること。
• テンソル圏、量子群、低次元トポロジーの間の関係を図示すること。
• テンソル圏がトポロジカル量子場理論（TQFT）とモジュラー圏にどのように関連するかを強調すること。
• 包括的な参考文献リストと深い結果への道筋を通じて、文献へのガイドを提供すること。

提案手法

• 厳密テンソル圏を、圏 C、単位対象 1、厳密な結合則と単位則を満たすテンソル関手 ⊗ によって定義する。
• テンソル構造と単位対象を保存する厳密テンソル関手とモノイダル自然変換を導入する。
• End(C)、群に基づく圏、対称圏 S、代数の自己準同型圏といった例を通じて、主要な構成を説明する。
• 平面的タングル図を射とする線形圏としてのテンプレイ・リーブ圏 TL(τ) を提示する。
• 手術と三角形分割を用いたTQFTの構成を説明し、モジュラー圏とレシュティヒン＝トゥレイエフ不変量とを結びつける。
• 中心 Z1(C) と Z2(C) の役割と、二重可換子定理がbraided圏をモジュラー圏に埋め込む際の役割を論じる。

実験結果

リサーチクエスチョン

• RQ1 テンソル圏は、量子群と低次元トポロジーを統一する枠組みとしてどのように機能するか？
• RQ2 トポロジカル量子場理論（TQFT）の背後にあるカテゴリカル構造は何か？ そして、モジュラー圏とどのように関係するか？
• RQ3 すべてのbraided fusion圏は、次元制約のもとでモジュラー圏に完全に埋め込めるか？
• RQ4 対称テンソル圏の非-semisimpleおよび非形式的変形のカテゴリカル解釈は何か？
• RQ5 因子理論における L(F∞) の普遍性を、カテゴリカルに一般化できるか？

主な発見

• 整合性定理により、技術的制限は存在するが、厳密テンソル圏は実用上十分であることが示される。
• 融合圏 C の中心構成 Z1(C) は、C が半単純であればモジュラーであり、Z1(C) ≅ C ⊠ C̃ と書ける。これはトゥレイエのTQFTと関連する。
• C がモジュラーであるとき、レシュティヒン＝トゥレイエTQFTと手術に基づくTQFTは同型である。これはトゥレイエとヴィレリジエによって示された。
• 双対を備えた可算生成 C*-テンソル圏は、あるフォン・ノイマン代数 A に対して End(A) に完全に埋め込める。これはヤマガミの結果の一般化である。
• すべての半単純ピボタル圏が一般化量子群oidの表現圏として得られるという予想は未解決のままである。
• 二重可換子定理により、braided fusion圏をモジュラー圏に埋め込む際の最適な次元境界が得られる：dim M = dim C · dim Z2(C)。