[论文解读] Lagrangian Non-Intersections

Paul Biran|ArXiv.org|Dec 6, 2004

Geometric and Algebraic Topology参考文献 22被引用 5

一句话总结

本文建立了辛流形中拉格朗日子流形的同调刚性结果，尤其针对复射影空间及其与辛流形的积空间。通过弗洛尔同调与谱序列，证明了在 $$\mathbb{C}P^n$$ 中具有 2-挠第一同调的拉格朗日子流形，其上同调必同构于 $\mathbb{R}P^n$ 的上同调，并利用谱不变量与链复形滤子，对单调拉格朗日子流形的拓扑施加了约束。

ABSTRACT

In this paper we use Floer theory to study topological restrictions on Lagrangian embeddings in closed symplectic manifolds. One of the phenomena arising from our results is ``homological rigidity'' of Lagrangian submanifolds. Namely, in certain symplectic manifolds, conditions on low dimensional topological invariants of a Lagrangian (such as its first homology) completely determine its entire homology. We also develop methods for studying Hamiltonian displacement of Lagrangian submanifolds and its relations to the topology of Lagrangians. Finally we present some new results on Lagrangian intersections.

研究动机与目标

• 理解拉格朗日子流形在辛流形中的拓扑限制，特别是当 $H_1(L;\mathbb{Z})$ 为 2-挠时。
• 在 $\mathbb{C}P^n$ 与 $\mathbb{C}P^n \times X$ 中建立拉格朗日子流形的同调唯一性定理，表明上同调完全由挠同调决定。
• 通过识别“拉格朗日核心”以研究全局交点现象，这些核心利用辛不变性强制产生交点。
• 基于谱序列推导弗洛尔同调与链复形滤子的不等式，适用于单调拉格朗日子流形。

提出的方法

• 使用弗洛尔同调 $HF(L,L)$ 与谱序列分析单调拉格朗日子流形的拓扑。
• 应用谱序列 $\{E_r^{p,q}, d_r\}$，其中 $E_1^{p,q} \cong H^{p+q \mod N_L}(L; \mathbb{Z}_2)$，以关联莫尔斯复形与弗洛尔复形。
• 通过 $C^i = \bigoplus_k C_f^{i + kN_L}$ 的滤子分解莫尔斯复形，并定义微分 $\partial_0, \dots, \partial_\nu$。
• 运用线性代数引理，将欧拉特征 $\chi_{s,t}(C)$ 与上同调及微分的像维数关联。
• 利用假设 $HF(L,L) = 0$ 使谱序列在 $\bar{E}_{\nu+1} = 0$ 处坍缩，从而实现维数估计。
• 通过 $\min\{\kappa_{i-1}(f), \kappa_i(f)\}$ 与 $\gamma_i$ 不变量推导 $\chi_{s,t}(L)$ 的界，导出涉及 $\lambda_{s,t}(L)$ 的不等式。

实验结果

研究问题

• RQ1 对于满足 $H_1(L;\mathbb{Z})$ 为 2-挠的拉格朗日子流形 $L \subset \mathbb{C}P^n$，会产生何种拓扑约束？
• RQ2 此类拉格朗日子流形的上同调环是否可完全确定，且是否与 $\mathbb{R}P^n$ 的上同调环一致？
• RQ3 拉格朗日核心 $\Lambda \subset M$ 在强制辛流形中产生全局交点的过程中起何作用？
• RQ4 谱序列与弗洛尔同调如何约束满足 $HF(L,L) = 0$ 的单调拉格朗日子流形的拓扑？
• RQ5 何种不等式控制了滤子链复形的欧拉特征 $\chi_{s,t}(L)$，其与谱不变量的关系为何？

主要发现

• 对于任意满足 $H_1(L;\mathbb{Z})$ 为 2-挠的拉格朗日子流形 $L \subset \mathbb{C}P^n$，存在一个分次向量空间同构 $H^*(L;\mathbb{Z}_2) \cong H^*(\mathbb{R}P^n;\mathbb{Z}_2)$。
• 当 $n$ 为偶数时，此同构可提升为分次代数同构，因此 $L$ 的上同调环同构于 $\mathbb{R}P^n$ 的上同调环。
• 限制 $a|_L \in H^2(L;\mathbb{Z}_2)$，其中 $a$ 是 $H^2(\mathbb{C}P^n;\mathbb{Z}_2)$ 的生成元，生成了偶数次分次子代数。
• 在 $\mathbb{C}P^n \times X$ 中，若 $\dim_{\mathbb{C}}X = n+1$，$\pi_2(X) = 0$，且 $L$ 是单连通的，则经适当缩放 $X$ 后，$L$ 必为球面。
• 对于满足 $HF(L,L) = 0$ 的单调 $L$，当 $t-s$ 为偶数时，不等式 $\chi_{s,t}(L) \leq \nu \min\{\gamma_{s-1}, \gamma_s\} + \nu \min\{\gamma_t, \gamma_{t+1}\}$ 成立。
• 当 $t-s$ 为奇数时，$\chi_{s,t}(L)$ 满足 $-\lambda_t(L) \leq \chi_{s,t}(L) \leq \lambda_s(L)$，其中 $\lambda_i(L)$ 由谱不变量定义。