[论文解读] The Fukaya category pairs with Lagrangian cobordisms exactly

Hiro TANAKA|arXiv (Cornell University)|Sep 27, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 7

一句话总结

本文证明了从拉格朗日子流形 cobordism 的 ∞-范畴到弗克亚范畴模的函子 Ξ 是精确的，即它保持纤维序列与映射锥。该结果在拉格朗日子流形 cobordism 与弗洛尔上同调之间建立了精确的同伦配对，将经典 cobordism 映射提升至谱，并确认了弗克亚范畴谱提升的关键一步。

ABSTRACT

We prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable homotopy theory). As corollaries, we show that the map in our previous work from cobordism groups to Floer cohomology lifts to the level of spectra, and one also recovers some results of Biran and Cornea for what we call "vertically collared" cobordisms.

研究动机与目标

• 建立从拉格朗日子流形 cobordism 到弗克亚范畴模的函子 Ξ 的精确性，保持纤维序列与映射锥。
• 提供拉格朗日子流形 cobordism 与弗洛尔上同调之间配对的同伦精化，将经典群映射提升至谱。
• 将比兰与科涅亚关于垂直带状 cobordism 的先前结果扩展至谱的层次。
• 证明在 [Tan16] 中构造的从 cobordism 群到弗洛尔上同调的映射可通过 Ξ 提升为谱映射。
• 展示拉格朗日子流形 cobordism 的 ∞-范畴的几何稳定性与弗克亚范畴模范畴的形式稳定性相容。

提出的方法

• 构造函子 Ξ: LagΛ(M) → WΛ(M)Mod，将拉格朗日子流形 cobordism 映射到包裹弗克亚范畴的模。
• 使用通过 cobordism 的几何定义的核作为 ∞-范畴中拉格朗日子流形 cobordism 的映射锥。
• 应用同伦理论技术，通过在链复形中构造显式同伦拉直图，证明 Ξ 保持纤维序列。
• 依赖于稳定 ∞-范畴与链复形上 A∞-模的 ∞-范畴框架，形式化精确性条件。
• 使用棱锥图与 3-单纯形验证诱导映射在核与锥上的同伦等价性。
• 利用目标范畴由于链复形上的丰富性而具有稳定性，而源范畴的稳定性则源于 cobordism 结构的几何性。

实验结果

研究问题

• RQ1 从拉格朗日子流形 cobordism 到弗克亚范畴模的函子 Ξ 是否保持纤维序列与映射锥？
• RQ2 能否通过 Ξ 将经典从 cobordism 群到弗洛尔上同调的映射提升为谱映射？
• RQ3 拉格朗日子流形 cobordism 的几何结构如何与弗克亚范畴的代数稳定性相互作用？
• RQ4 比兰与科涅亚关于垂直带状 cobordism 的结果在多大程度上可推广至谱层次？
• RQ5 在源与目标均为稳定范畴的前提下，函子 Ξ 是否在稳定 ∞-范畴的意义下精确？

主要发现

• 证明了函子 Ξ 是精确的，即它在 ∞-范畴意义下保持纤维序列与映射锥。
• 此前在 [Tan16] 中构造的从 cobordism 群到弗洛尔上同调的映射被提升为谱映射，确认了谱精化。
• 对于垂直带状 cobordism，比兰与科涅亚的结果作为 Ξ 的精确性之推论被重新获得。
• 通过拉格朗日手术定义的 cobordism 的几何核，被证明精确对应于模范畴中的代数核。
• 同伦拉直图 (6.3) 被证明在链复形中是拉直图，确认了 Ξ 保持锥构造。
• 通过棱锥图与 3-单纯形填充，建立了几何与代数锥之间的等价性，表明 Ξ 与三角结构相容。