[論文レビュー] Two-Dimensional Extended Homotopy Field Theories

Kürşat Sözer|arXiv (Cornell University)|Sep 9, 2019

Algebraic structures and combinatorial models参考文献 22被引用数 1

ひとこと要約

本稿は、角を持つ多様体と標的へのホモトピー類の写像を用いて構成されるコボルディズム2-圏 XBord2 から、アスphericalな標的、特に K(G,1)-空間を対象とする2次元拡張ホモトピー場理論（E-HFT）の新しい定式化を提示する。これは、準双対的 G-代数と整合性を持つ G-次数付きモリタコンテキストを用いて、Alg2_k-値 E-HFT を分類し、(G × SO(2))-構造付きコボルディズム予想の特殊ケースを証明するとともに、シューマー＝プリースの拡張TFTの分類を一般化する。

ABSTRACT

We give another definition of two-dimensional extended homotopy field theories (E-HFTs) with aspherical targets and classify them. When the target of E-HFT is chosen to be a $K(G,1)$-space, we classify E-HFTs taking values in the symmetric monoidal bicategory of algebras, bimodules, and bimodule maps by certain Frobenius $G$-algebras called quasi-biangular $G$-algebras. As an application, for any discrete group $G$, we verify a special case of the $(G imes SO(2))$-structured cobordism hypothesis due to Lurie.

研究の動機と目的

• アスphericalな標的、特に K(G,1)-空間をもつ2次元拡張ホモトピー場理論（E-HFT）を定義・形式化すること。
• 角を持つ多様体と標的空間 X への写像のホモトピー類を用いて、X-コボルディズムの対称モノイダル2-圏 XBord2 を構成すること。
• 準双対的 G-代数と整合性を持つ G-次数付きモリタコンテキストという代数的構造を導入することで、Alg2_k-値 E-HFT を分類すること。
• K(G,1)標的をもつ E-HFT の分類を通じて、(G × SO(2))-構造付きコボルディズム予想の特殊ケースを検証すること。

提案手法

• 角を持つ多様体と X への写像のホモトピー類を用いて、X-コボルディズム2-圏 XBord2 を定義する。ここで、対象は0次元多様体、1-射は向き付けられたコボルディズム（X へのホモトピー類付き）、2-射は角を持つ曲面と X への写像の同値類である。
• G-線形的、G-平面的、G-空間的図式を導入し、XBord2 の組み合わせ的表現を提供する。これは、高次圏のストリング図式の一般化である。
• これらの図式からの生成子と関係を用いて、対称モノイダル2-圏 XBPD を定義し、XBord2 ≃ XBPD の同値性を確立する。
• コボルディズムの分類を生成子と関係のデータに還元するために、コホエーレンス定理を適用し、SymMon(XBord2, C) ≃ XP(C) の2-圏的同値性を導出する。
• 準双対的 G-代数という代数的構造を定義する。これは、単位成分が分離可能で、整合性を持つ強次数付き Frobenius G-代数である。
• Alg2_k-値 E-HFT と三つ組 (A, B, ζ) の間の対応を確立する。ここで A と B は準双対的 G-代数であり、ζ は A と B^op 間の整合性を持つ G-次数付きモリタコンテキストである。

実験結果

リサーチクエスチョン

• RQ1 アスphericalな標的をもつ2次元拡張ホモトピー場理論は、どのようにして対称モノイダル2-圏として形式的に定義され構造づけられるか？
• RQ2 X が K(G,1)-空間であるとき、Alg2_k-値2次元拡張 X-HFT を分類するための代数的構造は何か？
• RQ3 G-線形的、G-平面的、G-空間的図式は、X-コボルディズム2-圏 XBord2 をどのように組み合わせ的に表現するか？
• RQ4 Frobenius G-代数の文脈において、拡張ホモトピー場理論と G-次数付きモリタコンテキストの正確な関係は何か？
• RQ5 K(G,1)標的をもつ E-HFT の分類は、(G × SO(2))-構造付きコボルディズム予想の特殊ケースを回復するか？

主な発見

• 本稿は、X-コボルディズム2-圏 XBord2 と図式的2-圏 XBPD の間の同値性を確立し、XBPD が計算可能な非偏見的半厳密な対称モノイダル2-圏であることを示した。
• Alg2_k-値2次元拡張 X-HFT の2-圏は、A と B が準双対的 G-代数であり、ζ が A と B^op 間の整合性を持つ G-次数付きモリタコンテキストである三つ組 (A, B, ζ) の2-圏と同値であることを証明した。
• 標的 X = K(G,1) をもつ E-HFT の分類は、シューマー＝プリースによる拡張TFTの分類で用いられる分離可能な対称 Frobenius 代数の一般化である、準双対的 G-代数を用いて達成された。
• 本稿は、(G × SO(2))-構造付きコボルディズム予想の特殊ケースを検証し、K(G,1)標的をもつ拡張ホモトピー場理論が、構造付きコボルディズム設定と同一の代数的データによって分類されることを示した。
• 生成子と関係（図25および図26）を用いた XBPD の構成により、コボルディズム2-圏の明示的かつ計算可能な表現が得られ、分類が有効に可能になった。
• Whiteheadの定理を用いて、写像 Θ: XBPD → XBord2 が全射的かつ essentially surjective であることを示し、図式的モデルがコボルディズム2-圏の正当な表現であることを確認した。