[论文解读] Symplectic quasi-states on the quadric surface and Lagrangian submanifolds

Yakov Eliashberg, Leonid Polterovich|arXiv (Cornell University)|Jun 12, 2010

Geometric and Algebraic Topology参考文献 18被引用 20

一句话总结

本文证明了在单调四次曲面 $S^2 \times S^2$ 上的辛拟态（symplectic quasi-states）源自其量子上同调中两个幂等元生成器的谱不变量。利用根植于辛场理论（symplectic field theory）及Bourgeois-Oancea正合序列的谱序列，作者证明这些拟态分别支持在不相交的拉格朗日子流形上——即反对角线球面与一个非典型单调拉格朗日子环面，从而通过拟测度不变量揭示该环面的非平移性与强辛刚性。

ABSTRACT

The quantum homology of the monotone complex quadric surface splits into the sum of two fields. We outline a proof of the following statement: The unities of these fields give rise to distinct symplectic quasi-states defined by asymptotic spectral invariants. In fact, these quasi-states turn out to be "supported" on disjoint Lagrangian submanifolds. Our method involves a spectral sequence which starts at homology of the loop space of the 2-sphere and whose higher differentials are computed via symplectic field theory, in particular with the help of the Bourgeois-Oancea exact sequence.

研究动机与目标

• 通过谱不变量识别 $S^2 \times S^2$ 上辛拟态的支撑集。
• 证明两个不同的辛拟态源自分裂量子上同调代数中的两个域。
• 展示第二个拟态支持于一个与反对角线球面不相交的非典型单调拉格朗日子环面。
• 通过其 $e_+$-超重性（$e_+$-superheaviness）建立该环面的非平移性，从而揭示其强辛刚性。
• 使用谱序列与辛场理论技术，提供一个弗洛尔同调（Floer-homological）证明，以阐明拟态支撑结构。

提出的方法

• 作者利用渐近谱不变量 $c(e_\pm, EH)$ 定义光滑函数上的辛拟态 $\zeta_\pm$。
• 他们分析了 $W = S^2 \times S^2$ 的量子上同调 $QH_*(W,\omega)$，该上同调通过幂等元 $e_\pm = (1 \pm Pt)/2$ 分裂为两个域。
• 构建一个从 $S^2$ 的自由环路空间同调出发的谱序列，其高阶微分通过辛场理论计算。
• 应用Bourgeois-Oancea正合序列以计算谱序列中的微分，从而建立弗洛尔同调与量子上同调之间的联系。
• 证明过程涉及对作用泛函在周期轨道的临界子流形上使用Morse函数进行扰动。
• 通过全纯曲线的刚性与模空间计数（例如，一次度数截面与刚性球面）来计算微分分量。

实验结果

研究问题

• RQ1 能否通过拉格朗日子流形上的支撑集来区分 $S^2 \times S^2$ 上的辛拟态？
• RQ2 $S^2 \times S^2$ 中的非典型单调拉格朗日子环面是否可通过辛拟测度不变量实现非平移性？
• RQ3 量子上同调的两个幂等分量是否产生不同的辛拟态？
• RQ4 与量子上同调幂等元相关的谱不变量能否检测拉格朗日支撑？
• RQ5 谱序列与辛场理论在计算拟态的弗洛尔理论不变量中起到何种作用？

主要发现

• 拟态 $\zeta_+$ 支撑于非典型单调拉格朗日子环面 $K$ 上，满足 $\tau_+(K) = 1$，从而证明其为 $e_+$-超重。
• 拟态 $\zeta_-$ 支撑于反对角线球面 $L$ 上，满足 $\tau_-(L) = 1$，而 $\tau_+(L) = 0$。
• 拟态 $\zeta_+$ 与 $\zeta_-$ 互不相同，由 $\tau_+(K) = 1$ 与 $\tau_-(K) = 0$ 得证。
• 非典型环面 $K$ 是非平移的，且与任何克利福德环面 $T$ 的辛同胚像均相交。
• 谱序列计算确认 $d_1 \hat{m}_k = 0$ 且 $d_1 x = 0$ 对所有 $x \in \{x_0, x_2\}$ 成立，仅在特定情况下存在非平凡系数。
• 通过同调矛盾确立 $(d_0 \check{m}_1, x_0) = 0$，排除了非零贡献的可能性，尽管表面看来存在刚性球面。