[論文レビュー] The Serre automorphism via homotopy actions and the Cobordism Hypothesis for oriented manifolds

Jan Hesse, Alessandro Valentino|arXiv (Cornell University)|Jan 14, 2017

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

ひとこと要約

本稿は、[Pst14]のスケルタル表現を用いて、フレーム付き2次元ボルディズム2カテゴリに明示的な $SO(2)$-作用を構成し、コボルディズム仮説を用いて、任意の対称モノイド2カテゴリにおける完全双対的対象のコア上にこの作用がセレーアutomorphismを誘導することを証明する。主な結果は、セレーアutomorphismがフレーム付き回転から幾何学的に生じることを示しており、これは、方向付き2次元TQFTを分類する際に中心的役割を果たす $SO(2)$-作用のホモトピー的起源を提供する。

ABSTRACT

We explicitly construct an SO(2)-action on a skeletal version of the 2-dimensional framed bordism bicategory. By the 2-dimensional Cobordism Hypothesis for framed manifolds, we obtain an SO(2)-action on the core of fully-dualizable objects of the target bicategory. This action is shown to coincide with the one given by the Serre automorphism. We give an explicit description of the bicategory of homotopy fixed points of this action, and discuss its relation to the classification of oriented 2d topological quantum field theories.

研究の動機と目的

• Lurieのコボルディズム仮説において抽象的に仮定されているものとは対照的に、フレーム付きボルディズム2カテゴリにおける $SO(2)$-作用の明示的な幾何的構成を提供すること。
• この $SO(2)$-作用が、任意の対称モノイド2カテゴリにおける完全双対的対象のコア上でセレーアutomorphismを誘導することを確立すること。
• この作用のホモトピー固定点が、完全拡張方向付き2次元TQFTを分類することを示し、コボルディズム仮説の文脈において $SO(2)$-作用の幾何的解釈を完成させること。
• フレーム付き多様体の位相的データとセレーアutomorphismの代数的構造との間に明示的な接続を提供すること。

提案手法

• 著者たちは、[Pst14]の2次元フレーム付きボルディズム2カテゴリのスケルタル表現を用い、2カテゴリの生成子上でホモトピー的作用を介して明示的な $SO(2)$-作用を定義する。
• フレーム付き多様体のための2次元コボルディズム仮説を適用し、フレーム付きボルディズム2カテゴリからターゲット $σ$-カテゴリへの対称モノイド関手と、完全双対的対象のコアとの間の2カテゴリ的同倣を提供する。
• 完全双対的対象のコア上に誘導される $SO(2)$-作用が、恒等関手の擬自然同型として実現されるセレーアutomorphismと一致することを示す。
• 本稿では、$SO(2)$-作用が可換的であり、逆元をもつTQFTの場合は自明化可能であることを証明し、ホモトピー固定点を用いてフレーム付きTQFTを方向付きに拡張できることを可能にする。
• 著者たちは、方向付きボルディズム2カテゴリが、フレーム付きボルディズム2カテゴリ上の $SO(2)$-作用のホモトピー余極限（固定点の余対象）と同値であると予想する。この予想により、方向付きTQFTの分類が高次カテゴリ的余極限に関連づけられる。
• 彼らは、[Bar14]のワイヤーダイアグラム計算とモノイド的ホモトピー作用に関する結果を用いて、自明化可能性と固定点構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 スケルタル表現を用いて、フレーム付きボルディズム2カテゴリ上の $SO(2)$-作用をどのように明示的に構成できるか。
• RQ2 コボルディズム仮説を介して完全双対的対象のコア上に誘導される $SO(2)$-作用が、セレーアutomorphismと一致するか。
• RQ3 この $SO(2)$-作用のホモトピー固定点と方向付き2次元TQFTの分類の関係は何か。
• RQ4 方向付きボルディズム2カテゴリは、フレーム付きボルディズム2カテゴリ上の $SO(2)$-作用のホモトピー余極限として実現可能か。
• RQ5 完全双対的対象のコア上の $SO(2)$-作用が自明化可能となる条件は何か。また、これはフレーム付きTQFTを方向付きに拡張することにどのような意味を持つのか。

主な発見

• スケルタル表現を用いて、フレーム付き2次元ボルディズム2カテゴリに明示的な $SO(2)$-作用が構成され、Lurieの枠組みにおける抽象的な $O(2)$-作用の幾何的実現が得られた。
• 任意の対称モノイド2カテゴリにおける完全双対的対象のコア上に誘導される $SO(2)$-作用が、セレーアutomorphismと同型であることが示され、その幾何的起源が確認された。
• この $SO(2)$-作用のホモトピー固定点の2カテゴリが明示的に記述され、完全拡張方向付き2次元TQFTを分類することが示された。
• 逆元をもつ2次元TQFTの場合は、$SO(2)$-作用が自明化可能であり、フレーム付き逆元TQFTがホモトピー固定点構造の選択により方向付きTQFTに拡張可能であることが示された。
• 予想7.1（方向付きボルディズム2カテゴリは、フレーム付きボルディズム2カテゴリ上の $SO(2)$-作用のホモトピー余極限とモノイド同値である）に対する強い証拠が提供された。
• 式(7.5)の同値系列により、方向付き多様体のためのコボルディズム仮説がこの予想と同値であることが示され、高次カテゴリ的余極限とトポロジカル量子場理論の分類との間の深い関係が確立された。