[论文解读] Cyclic structures and broken cycles

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

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

一句话总结

本文提出了一种基于断裂循环与拟循环堆叠的新几何框架，用于在高阶代数和福克曼范畴中编码循环与拟循环结构。该研究建立了断裂循环模堆叠上的层与∞-范畴中半循环对象之间的等价关系，实现了沃尔德豪森s-dot构造的几何实现，并为K-理论与福克曼范畴的粘合提供了新见解。

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.

研究动机与目标

• 为稳定∞-范畴中的沃尔德豪森s-dot构造中的循环与拟循环结构提供几何且精确的实现。
• 解决在福克曼范畴中，特别是2-周期情形下，这些结构缺乏清晰几何模型的问题。
• 建立断裂循环模堆叠上的层与∞-范畴中半循环对象之间的对应关系。
• 通过停止的黎曼流形圆盘与拉格朗日子流形cobordism，探索其在K-理论与福克曼范畴粘合中的影响。
• 开发连接退出路径∞-范畴、可构造层与∞-范畴技术的工具，以应用于辛几何拓扑。

提出的方法

• 引入断裂拟循环的模堆叠 $\mathsf{Broken}_{\circlearrowleft}$，其分类带有 $\mathbb{R}$-作用与离散非空不动点集的定向圆周族。
• 利用格罗滕迪克构造与凯恩扩张，将 $\mathsf{Broken}_{\circlearrowleft}$ 上的层与注入循环范畴 $\Delta_{\operatorname{cyc}}^{\operatorname{inj}}$ 的反范畴上的函子联系起来。
• 在复合纤维化中应用局部化技术，对 $q_{\operatorname{cyc}}$-Cartesian 边进行处理，通过凸预序范畴的局部化来建模循环结构。
• 建立 $\mathsf{Broken}_{\operatorname{cyc}}$ 上的层范畴、分层空间 $F^{(I)}$ 上的可构造层与 $\Delta_{\operatorname{cyc}}^{\operatorname{surj}}$ 上的函子之间的等价链，最终得出主要等价关系。
• 利用退出路径∞-范畴与可构造层，将拓扑分层结构转化为范畴数据，从而实现对循环对象的几何解释。
• 借助2-塞加尔空间与拟循环结构的理论，将框架扩展至拟循环情形，对 $\mathsf{Broken}_{\circlearrowleft}$ 得到类似结果。

实验结果

研究问题

• RQ1 沃尔德豪森s-dot构造中的循环与拟循环结构能否通过断裂循环的模堆叠实现几何化？
• RQ2 堆叠 $\mathsf{Broken}_{\circlearrowleft}$ 上的层与∞-范畴中的半循环对象之间有何关系？
• RQ3 停止的黎曼流形圆盘的模堆叠能否被解释为断裂循环的几何模型，从而在福克曼范畴中实现新的粘合技术？
• RQ4 具有多个端点的拉格朗日子流形cobordism在多大程度上能检测福克曼范畴的高阶K-理论群？
• RQ5 如何利用退出路径范畴与可构造层来表征堆叠上断裂循环的层？

主要发现

• 本文建立了对任意紧生成∞-范畴 $\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)}$ 上是可构造的，且 $F^{(I)}$ 上的可构造层与退出路径范畴 $\mathcal{E}\mathsf{xit}(F^{(I)})$ 上的函子相对应，从而建立了拓扑与范畴论之间的联系。
• 该框架为通过停止黎曼流形圆盘的模堆叠实现福克曼范畴的粘合提供了几何平台，其在拉格朗日子流形cobordism下对高阶K-理论的检测具有重要意义。
• 本文在 $q_{\operatorname{cyc}}$-Cartesian 边处对范畴 $\widetilde{\mathsf{Conv}}$ 进行局部化，得到与 $\Delta_{\operatorname{cyc}}^{\operatorname{surj}}$ 的等价关系，这是证明主定理的关键。