[论文解读] Lagrangian Shadows and Triangulated Categories

Paul Biran, Octav Cornea+1 more|arXiv (Cornell University)|Jun 18, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 34被引用 8

一句话总结

本文通过拉格朗日子流形的cobordism及其阴影——一种度量投影cobordism曲面面积的几何不变量——建立了拉格朗日子流形交点的能量刚性。通过证明小阴影面积强制产生强交点刚性（例如最小交点数），作者在弱精确或单调的辛流形中构造了拉格朗日子流形的新伪度量，其技术基础为过滤的 $A_\infty$-范畴。

ABSTRACT

Under certain assumptions (such as weak exacteness or monotonicity) we show that splitting Lagrangians through cobordism has an energy cost and, from this cost being smaller than certain explicit bounds, we deduce some strong forms of rigidity of Lagrangian intersections. As a consequence, we construct some new pseudo-metrics and metrics on certain classes of Lagrangian submanifolds. We also fit these constructions in a more general setting, independent of Lagrangian cobordism. As a main technical tool, we develop aspects of the theory of (weakly) filtered A-infinity categories.

研究动机与目标

• 建立拉格朗日子流形cobordism的几何能量约束，表明通过cobordism将拉格朗日子流形 $L$ 分解为 $L_1, \dots, L_k$ 会带来由阴影 $\mathcal{S}(V)$ 度量的最小能量代价。
• 证明低阴影cobordism会强制拉格朗日子流形交点数的强刚性，将几何能量与拓扑不变量联系起来。
• 利用阴影能量和交点刚性，为拉格朗日子流形类定义新的伪度量和度量。
• 开发弱过滤 $A_\infty$-范畴的框架，以支持几何结果背后的代数结构。
• 探索独立于cobordism阴影的替代能量代价，其仍能在拉格朗日子流形上产生伪度量。

提出的方法

• 将拉格朗日子流形cobordism $V \subset \mathbb{R}^2 \times M$ 的阴影 $\mathcal{S}(V)$ 定义为它在 $\mathbb{R}^2$ 上的投影面积加上有界区域，作为将 $L$ 分解为 $L_1, \dots, L_k$ 的能量代价。
• 利用弱精确或单调的拉格朗日子流形与cobordism，以确保阴影能量的有限性与非退化性。
• 应用过滤的 $A_\infty$-范畴技术，将导出Fukaya范畴中的代数结构与几何cobordism分解联系起来。
• 建立模块映射 $\phi^\prime, \phi^{\prime\prime}$ 之间的链同伦估计，通过受控的作用偏移来控制模块滤波。
• 推导模块 $\mathcal{M}^\prime$ 的滤波层级 $\kappa^\prime$ 的递归估计，以 $\kappa^{\prime\prime}$、$\epsilon$-项和作用偏移表示。
• 利用阴影能量界 $\mathcal{S}(V) < \frac{1}{2}\delta^\prime$ 强制得出 $\#(N \cap L) \geq \sum \#(N \cap L_i)$，将低能量与交点刚性联系起来。

实验结果

研究问题

• RQ1 在假设 $L \not\subset \bigcup L_i$ 的前提下，通过cobordism将拉格朗日子流形 $L$ 分解为 $L_1, \dots, L_k$ 所需的最小能量代价（阴影大小）是多少？
• RQ2 在 $L$ 与 $L_1, \dots, L_k$ 之间存在低阴影cobordism 时，是否会对 $L$ 与另一拉格朗日子流形 $N$ 的交点数施加下界？
• RQ3 能否利用cobordism的阴影能量为拉格朗日子流形类定义新的伪度量？
• RQ4 是否存在独立于cobordism阴影的替代能量不变量，其仍能在拉格朗日子流形上产生伪度量？
• RQ5 过滤的 $A_\infty$-范畴如何编码Fukaya范畴中几何能量与代数分解之间的相互作用？

主要发现

• 定理A建立了正的下界 $\delta > 0$，使得对任意弱精确cobordism $V:L \leadsto (L_1, \dots, L_k)$ 满足 $L \not\subset \bigcup L_i$，有 $\mathcal{S}(V) \geq \frac{1}{2}\delta$。
• 定理B(a) 表明，若 $\mathcal{S}(V) < \frac{1}{2}\delta^\prime$，则对任意处于一般位置的弱精确 $N$ 与 $S = L_1 \cup \cdots \cup L_k$，有 $\#(N \cap L) \geq \sum_{i=1}^k \#(N \cap L_i)$。
• 定理B(b) 将此结果强化为 $\mathcal{S}(V) < \frac{1}{4}\delta^{\prime\prime}$ 时，仍有 $\#(N \cap L) \geq \sum \#(N \cap L_i)$，表明存在更尖锐的刚性阈值。
• 作者利用阴影能量作为距离函数，在弱精确或单调拉格朗日子流形类上构造了新的伪度量。
• 过滤的 $A_\infty$-范畴框架使得对作用偏移和链同伦的精确控制成为可能，从而推导出模块滤波的定量估计。
• 方程 (16) 中的递归估计 $\kappa^\prime \leq \max\{\dots\}$ 提供了一种系统性方法，用于在受控作用偏移下，通过模块映射的复合来界定滤波层级。