[論文レビュー] Cyclic structures and broken cycles

Hiro TANAKA|arXiv (Cornell University)|Jul 7, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 11

ひとこと要約

本稿は、高次代数およびFukaya圏における巡回的・準巡回的構造を符号化するため、破れたサイクルおよび準サイクルのスタックを用いた幾何的枠組みを提案する。モジュライスタック上の層と∞-圏における半巡回的対象の間の同値性を確立し、Waldhausenのs-dot構成の幾何的実現を提供するとともに、K理論およびFukaya圏における貼り合わせに関する新たな知見をもたらす。

ABSTRACT

We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya-categorical considerations. We also openly speculate about some Fukaya-categorical implications. For example, this stack sees moduli of stopped Liouville disks, and hence yields another platform for gluing together Fukaya categories. We also see that Lagrangian cobordisms with multiple ends may not only serve to detect $K_0$ groups of Fukaya categories, but higher $K$-theory groups as well. Along the way, we include brief expositions of (i) basic techniques in infinity-categories and (ii) the translation between exit path categories and constructible sheaves. These may be of independent interest.

研究の動機と目的

• 安定∞-圏におけるWaldhausenのs-dot構成における巡回的・準巡回的構造の幾何的かつ精確な実現を提供すること。
• Fukaya圏において、特に2周期的の場合に、これらの構造の洗練された幾何的モデルの欠如に対処すること。
• 破れたサイクルのモジュライスタック上の層と∞-圏における半巡回的対象との間の対応を確立すること。
• 停止Liouvilleディスクのモジュライとラグランジュ的コボルディズムを用いて、Fukaya圏の貼り合わせおよびK理論への影響を探索すること。
• エグジットパス∞-圏、可 constructible 層、および∞-圏的技法を結びつけるためのツールを開発し、シンプレクティック位相幾何学への応用を図ること。

提案手法

• 向き付けられた円の族に$\mathbb{R}$作用と離散的かつ空でない固定点集合を持つ、破れた準サイクルのモジュライスタック$\mathsf{Broken}_{\circlearrowleft}$を導入する。
• グロテンディークの構成とカーン拡張を用いて、$\mathsf{Broken}_{\circlearrowleft}$上の層と単射巡回的圏$\Delta_{\operatorname{cyc}}^{\operatorname{inj}}$の反対圏上の関手との関係を確立する。
• 合成ファイブレーションにおける$q_{\operatorname{cyc}}$-カーティスな辺の局所化技術を適用し、凸前順序の圏上の局所化により巡回的構造をモデル化する。
• スタック$\mathsf{Broken}_{\operatorname{cyc}}$上の層の圏、分岐空間$F^{(I)}$上の可 constructible 層の圏、および$\Delta_{\operatorname{cyc}}^{\operatorname{surj}}$上の関手の圏の間の同値性の鎖を確立し、最終的に主要な同値性に至る。
• エグジットパス∞-圏と可 constructible 層を用いて、位相的分岐構造をカテゴリカルデータに翻訳し、巡回的対象の幾何的解釈を可能にする。
• 2-セグナル空間の理論と準巡回的構造を活用し、同様の結果が$\mathsf{Broken}_{\circlearrowleft}$に対しても得られるように、フレームワークを準巡回的ケースへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 Waldhausenのs-dot構成における巡回的・準巡回的構造は、破れたサイクルのモジュライスタックを用いて幾何的に実現可能か？
• RQ2 スタック$\mathsf{Broken}_{\circlearrowleft}$上の層は、∞-圏における半巡回的対象とどのように関係するか？
• RQ3 停止Liouvilleディスクのモジュライスタックは、破れたサイクルの幾何的モデルとして解釈可能であり、Fukaya圏における新しい貼り合わせ技法を可能にするか？
• RQ4 複数の端を持つラグランジュ的コボルディズムは、Fukaya圏の高次K理論群をどの程度検出可能にするか？
• RQ5 エグジットパス圏と可 constructible 層は、破れたサイクルのスタック上の層を特徴付けるためにどのように用いることができるか？

主な発見

• 任意のコンパクト生成∞-圏$\mathcal{D}$に対して、自然な同値性$\mathcal{S}\mathsf{hv}(\mathsf{Broken}_{\operatorname{cyc}};\mathcal{D}) \simeq \mathcal{F}\mathsf{un}((\Delta_{\operatorname{cyc}}^{\operatorname{inj}})^{\operatorname{op}}, \mathcal{D})$を確立し、破れたサイクルのスタック上の層が半巡回的対象を分類することを示した。
• スタック$\mathsf{Broken}_{\circlearrowleft}$は、向き付けられた円の族に$\mathbb{R}$作用と離散的固定点集合を持つものを分類し、凸前順序の圏上のコロイミット構成を用いて、準巡回的構造をモデル化することが示された。
• スタック上の$I$-セクションの空間は、局所的モデル$\tilde{F}^{(I)} \to F^{(I)}$により表現可能であり、これがセクション空間の表現性の証明と主要同値性の実現に寄与する。
• 著者らは、$\mathsf{Broken}_{\circlearrowleft}$上の層が分岐空間$F^{(I)}$上で可 constructible であることを証明し、$F^{(I)}$上の可 constructible 層がエグジットパス圏$\mathcal{E}\mathsf{xit}(F^{(I)})$上の関手と対応することを示した。これにより、位相と圏論の間の接続が確立された。
• 本フレームワークは、停止Liouvilleディスクのモジュライを用いたFukaya圏の貼り合わせのための幾何的プラットフォームを提供し、ラグランジュ的コボルディズムによる高次K理論群の検出に影響を与える。
• $\widetilde{\mathsf{Conv}}$の圏における$q_{\operatorname{cyc}}$-カーティスな辺の局所化を構成し、$\Delta_{\operatorname{cyc}}^{\operatorname{surj}}$と同値な圏を得た。これは主定理の証明に不可欠な要素である。