[論文レビュー] A classical approach to TQFT's

Roger Picken, Paulo Semião|ArXiv.org|Dec 22, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 31被引用数 4

ひとこと要約

この論文は、トポロジカル量子場理論（TQFT）の古典的でモノイダル圏に基づく枠組みを提示し、コボルディズム構造ではなく、接合を基本的な射として扱う。2次元TQFTは、代数的関係を満たすテンソルのペアによって分類され、カテゴリカルな双対性と共役構造を通じてヘルミートおよびユニタリTQFTが導入され、アティヤの公理をより代数的トポロジーに配慮した形式へと拡張する。

ABSTRACT

We present a general framework for TQFT and related constructions using the language of monoidal categories. We construct a topological category C and an algebraic category D, both monoidal, and a TQFT functor is then defined as a certain type of monoidal functor from C to D. In contrast with the cobordism approach, this formulation of TQFT is closer in spirit to the classical functors of algebraic topology, like homology. The fundamental operation of gluing is incorporated at the level of the morphisms in the topological category through the notion of a gluing morphism, which we define. It allows not only the gluing together of two separate objects, but also the self-gluing of a single object to be treated in the same fashion. As an example of our framework we describe TQFT's for oriented 2D-manifolds, and classify a family of them in terms of a pair of tensors satisfying some relations.

研究の動機と目的

• コボルディズム形式を避けることで、ホモロジーなどの古典的代数的トポロジー関手により近いTQFTの枠組みを構築すること。
• 異なる多様体間の接合および自己接合の両方を、位相的カテゴリの射構造に統合すること。
• トポロジカルおよび代数的カテゴリを用いたモノイダル関手枠組みを導入することで、アティヤのTQFT公理を一般化すること。
• ベクトル空間上のカテゴリカルな双対性と共役構造を用いて、ヘルミートおよびユニタリTQFTを定義し、特徴づけること。
• テンソル関係を用いて2次元TQFTを体系的に分類し、TQFT関手が完全なヘルミート構造に拡張される条件を同定すること。

提案手法

• 位相的カテゴリ $\mathcal{C}$ と代数的カテゴリ $\mathcal{D}$ を定義し、両者にモノイダル構造を備える。
• $\mathcal{C}$ 内に「接合射」という概念を導入し、境界同士の接合および自己接合操作をカテゴリの射集合内に統合する。
• TQFTをモノイダル関手 $Z: \mathcal{C} \to \mathcal{D}$ として定式化し、テンソル積と単位元を保存する。
• 底体 $K$ における対合、反変自己関手 $Q$、非退化な評価写像を用いて、$\mathcal{D}$ にヘルミート構造を導入する。
• 自然変換 $\eta$ が $Z\mathbf{P} \to \mathbf{Q}Z$ に拡張可能な完全TQFT関手 $(Z, \mathbf{\eta})$ を定義し、双対性と整合性を保証する。
• $\mathcal{D}$ の構造を用いて、特に2次元の場合に $d_i$ と $p_{ijk}$ におけるテンソル関係を通じて、$Z_X$ が実またはユニタリであるための条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、コボルディズムカテゴリに依存せず、ホモロジーなどの古典的代数的トポロジー関手に類似した形でTQFTを定式化できるか？
• RQ2 どのようなカテゴリカル構造が、TQFTにおける対間接合および自己接合操作を統合的に取り扱えるか？
• RQ3 TQFT関手が完全なヘルミート構造に拡張される条件は何か？ そしてこれはユニタリティとどのように関係するか？
• RQ4 この枠組みにおいて、2次元TQFTを分類する代数的関係は何か？
• RQ5 双対性、共役、テンソル構造の相互作用から、どのようにしてヘルミートおよびユニタリTQFTが生じるか？

主な発見

• 論文は、自己接合を含む接合操作を内蔵構造として持つ位相的カテゴリ $\mathcal{C}$ を構築している。
• 2次元TQFTは、4つの代数的関係を満たすテンソルのペア $d_i$ と $p_{ijk}$ によって完全に分類され、完全な代数的特徴づけが得られる。
• 自然変換 $\eta$ が $\mathbf{\eta}$ に拡張可能であることは、TQFTがヘルミート的であることに同値であり、これは代数的カテゴリ $\mathcal{D}$ がヘルミート構造を持つ必要があることを要請する。
• 2次元におけるユニタリTQFTは、同じ4つの関係を満たす実数値テンソル $d_i$ と $p_{ijk}$ と一対一に対応し、正定値性および共役条件を満たす。
• この枠組みは、アティヤのヘルミート公理 $Z_{-X} = \overline{Z}_X$ を、ヘルミート構造と双対性同型の結果として回復する。
• この形式的枠組みは、無限次元ベクトル空間への自然な拡張を可能とし、スタリングス多様体やゲルベ平行移動といった高度な例を研究する基盤を提供する。