[论文解读] A geometric criterion for generating the Fukaya category

Mohammed Abouzaid|arXiv (Cornell University)|Jan 26, 2010

Geometric and Algebraic Topology参考文献 9被引用 8

一句话总结

本文建立了一种几何准则，通过从 Hochschild 同调到辛上同调的映射，生成黎斯柳夫流形的包裹弗克亚类别。当辛上同调中的单位类位于该映射的像中时，意味着该类别中的任意拉格朗日子由给定的集合分裂生成——这为通过具有两个输出的全纯曲线及 Cardy 关系的几何与同调操作验证生成性提供了强大工具。

ABSTRACT

Given a collection of exact Lagrangians in a Liouville manifold, we construct a map from the Hochschild homology of the Fukaya category that they generate to symplectic cohomology. Whenever the identity in symplectic cohomology lies in the image of this map, we conclude that every Lagrangian lies in the idempotent closure of the chosen collection. The main new ingredients are (1) the construction of operations controlled by discs with two outputs on the Fukaya category, and (2) the Cardy relation.

研究动机与目标

• 建立一个几何准则，以判断有限个精确拉格朗日子是否分裂生成黎斯柳夫流形的包裹弗克亚类别。
• 通过受具有两个输出的全纯盘控制的运算，构造从弗克亚类别的 Hochschild 同调到辛上同调的映射。
• 证明若辛上同调中的单位类位于该映射的像中，则子类别中的对象分裂生成整个类别。
• 提供一个最小技术依赖的生成准则证明，依赖于几何构造与 Cardy 关系，而非高级同调代数或全纯补丁理论。

提出的方法

• 通过受具有两个输出的全纯盘控制的弗克亚类别上的运算，构造从全子范畴 𝔹 的 Hochschild 同调到辛上同调 SH*(M) 的映射。
• 对类别中每个对象 K，定义一个双模映射 Δ: 𝔹 → Y_K^l ⊗ Y_K^r，其作用为弗克亚类别中乘法的预对偶。
• 利用同构 HH_*(𝔹, 𝔹) ≅ H*(Y_K^r ⊗_𝔹 Y_K^l)，将 Hochschild 同调与 Yoneda 模块的张量积联系起来。
• 应用 Cardy 关系，将复合映射与预对偶映射 Δ 关联，确保代数结构的一致性。
• 利用带有拉格朗日边界条件和渐近标记的伪全纯曲线的模空间，通过行列式线丛赋予其规范定向。
• 通过粘合理论与 Koszul 法则，建立模空间的行列式线丛与定向丛之间的规范同构，确保符号与定向的一致性。

实验结果

研究问题

• RQ1 在何种几何条件下，有限个精确拉格朗日子分裂生成黎斯柳夫流形的包裹弗克亚类别？
• RQ2 能否通过具有两个输出的全纯盘的运算，构造从 Hochschild 同调到辛上同调的映射？
• RQ3 Cardy 关系在包裹设定下如何约束弗克亚类别的代数结构？
• RQ4 在多大程度上可仅通过最小的同调代数与几何分析证明生成准则，而避免使用如全纯补丁等高级工具？

主要发现

• 辛上同调中的单位类位于 Hochschild 同调映射的像中，当且仅当全子范畴 𝔹 的对象分裂生成包裹弗克亚类别。
• 在弗克亚类别上构造具有两个输出的运算，实现了乘法的预对偶的几何实现，这对定义到辛上同调的映射至关重要。
• 在包裹设定下建立了 Cardy 关系，并作为连接预对偶映射 Δ 与弗克亚类别中复合映射的一致性条件。
• 为具有多个渐近标记与边界条件的伪全纯曲线模空间，构造了行列式线丛与定向丛之间的规范同构。
• 该证明避免依赖全纯补丁理论，转而使用直接的几何与分析方法，确立了生成准则。