[論文レビュー] Equivariant Topological Quantum Field Theory in Dimension 2

Nikolaï Nadirashvili, Serge Vlăduţ|arXiv (Cornell University)|Jul 10, 2013

Geometric Analysis and Curvature Flows参考文献 8被引用数 7

ひとこと要約

本稿は、2次元におけるG-不変トポロジカル量子場理論（TQFT）とG-フロベニウス代数の間のモノイダル同値性について、詳細な証明を提供する。これはムーアとセガルの基礎的結果を拡張したものであり、G-フロベニウス代数の代数的構造—すなわち、ねじれた可換積、G-不変の自己同型、G-不変の非退化トレース—が、主G bundleを伴うコボルディズムと代数的データの間の函子的対応によって、2次元G-不変TQFTを完全に分類することを確立する。

ABSTRACT

For $G$ a finite group, we prove in dimension 2 that there is a monoidal equivalence between the category of $G$-equivariant topological quantum field theories and the category of $G$-Frobenius algebras, this was proved by G. Moore and G. Segal. This work consists to give, in more detail, a proof of this result.

研究の動機と目的

• 2次元におけるG-不変TQFTとG-フロベニウス代数の間のモノイダル同値性について、[MS06]で当初提示された内容を、包括的かつ段階的な証明を提供すること。
• G-フロベニウス代数の代数的構造、特にねじれた可換性、G-不変トレース、およびオイラー元の役割を明確にすること。
• G-不変部分代数が標準的フロベニウス代数をなすことを示し、不変構造を古典的TQFTと結びつけること。
• コボルディズムの異なるモース分解に対するTQFT割り当ての独立性を検証し、函手性および微分同相写像による不変性を保証すること。
• G-フロベニウス代数の代数的データが、複数の臨界点をもつ2次元G-コボルディズムすべてに対するTQFT割り当てを完全に決定することを確立すること。

提案手法

• 1次元多様体に主G bundleを備えたものとして、2次元におけるG-コボルディズム圏を、G-不変微分同相写像による同値関係を含む、対称モノイダル圏として定義する。
• G-フロベニウス代数を、G-次数付き代数 A = ⊕g∈G Ag として定義し、G作用 α: G → Aut(A)、ねじれた可換積、およびG-不変非退化トレース ε: Ae → C を備える。
• 非退化トレースと双対性写像を用いて、coproducts ∆g,h: Agh → Ag ⊗ Ah を構成し、ねじれたココマテリック性およびコアソシエイティビティを証明する。
• 積とコプロダクトを含む図式 (1) の可換性を検証し、代数的構造と位相的構造の整合性を保証する。
• モース理論を用いて、2次元コボルディズムをオイラー標数と臨界点の型によって分類し、TQFT割り当てを基本的ケース（例：4つの穴あき球面、1つのハンドルをもつトーラス）に還元する。
• 特にオイラー元を含む恒等式 (4) を用いて、G-フロベニウス代数の公理により、コボルディズムの異なる分解（縦方向 vs 横方向のカット）に対するTQFT割り当ての等価性を示し、不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元におけるG-不変TQFTは、どのように代数的データによって完全に分類可能か？
• RQ2 具体的には、G-次数付き代数のどの性質が、G-不変TQFTに正確に対応するか？
• RQ3 G-フロベニウス代数の公理（ねじれた可換性、G-不変トレース、コプロダクトの整合性）は、微分同相写像によるTQFT割り当ての不変性をどのように保証するか？
• RQ4 なぜG-フロベニウス代数のG-不変部分代数は標準的フロベニウス代数となるのか？ そしてこれはオルビフォールドコホモロジー理論とどのように関係するか？
• RQ5 複数の臨界点をもつコボルディズムにおけるTQFT割り当てが、選ばれたモース分解に依存しないことをどのように示せるか？

主な発見

• 2次元におけるG-不変TQFTの圏とG-フロベニウス代数の圏の間にはモノイダル同値性が存在し、ムーアとセガル（2006年）の分類結果を確認する。
• トレース ε: Ae → C の非退化性は、図式 (1) に現れる積とコプロダクトの整合性を満たすねじれたココマテリックなコプロダクト ∆g,h: Agh → Ag ⊗ Ah の存在と同値である。
• オイラー元 ∆g = ∑i ξg_i ⊗ ξg−1_i は、恒等式 ∑i αh(ξg_i)ξg−1_i = ∑i ξh_i αg(ξh−1_i) を満たし、群作用の間で一貫性を保証する。
• G-フロベニウス代数のG-不変部分代数 Aorb = AG は、制限された積とトレースに関してフロベニウス代数をなす。また、g ≠ e のとき Ag 上でのトレースは消える。
• 同じモース指数をもつ2つの臨界点（例：(1,1,1)、(2,0,2)）をもつコボルディズムにおけるTQFT割り当ては、分解の選択に依存しない。これは、G-フロベニウス代数の公理、特にオイラー元のG-不変性と恒等式 (4) を用いて、合成の等価性を検証することで示される。
• 4つの穴あき球面（2,0,2）において、TQFT割り当ては縦方向および横方向のカットに対して不変である。これは、恒等式 (4) とオイラー元のG-不変性を用いて、対応する写像の合成が等しいことを示すことによって証明される。