[论文解读] A remark on the c--splitting conjecture

Stefan Haller|ArXiv.org|Jan 31, 2003

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

一句话总结

本文证明了在满足弱化硬·莱夫谢茨条件的辛纤维的哈密顿丛上，c–分裂猜想：即对所有 $ k \geq 0 $，Lefschetz 型映射 $[\omega]^k: H^{n+1-k}(M) \to H^{n+1+k}(M)$ 是满射。利用Lalonde与McDuff关于在3维CW复形上c–分裂的结果以及谱序列技术，作者证明了Leray–Serre谱序列在 $ E^2 $ 项崩溃，从而推出 $ H^*(P;\mathbb{Q}) \cong H^*(M;\mathbb{Q}) \otimes H^*(B;\mathbb{Q}) $ 作为 $ H^*(B) $–模，因此在广义辛流形类中确立了c–分裂性，这些流形超出了凯勒或硬·莱夫谢茨情形。

ABSTRACT

Let $M$ be a closed symplectic manifold and suppose $M o P o B$ is a Hamiltonian fibration. Lalonde and McDuff raised the question whether one always has $H^*(P;\mathbb Q)=H^*(M;\mathbb Q)\otimes H^*(B;\mathbb Q)$ as vector spaces. This is known as the c--splitting conjecture. They showed, that this indeed holds whenever the base is a sphere. Using their theorem we will prove the c--splitting conjecture for arbitrary base $B$ and fibers $M$ which satisfy a weakening of the Hard Lefschetz condition.

研究动机与目标

• 解决具有满足弱化硬·莱夫谢茨条件的纤维的哈密顿丛的c–分裂猜想。
• 将Lalonde与McDuff关于在3维CW复形上c–分裂的结果推广至任意基空间，使用模理论谱序列分析。
• 为证明特定情形下的c–分裂，提供一种概念性且易于理解的替代方法，以取代Gromov–Witten不变量等分析方法。
• 证明c–分裂猜想对复射影空间沿非凯勒辛子流形（如Thurston的4维流形）的blowup也成立。

提出的方法

• 利用Lalonde与McDuff的定理：所有在3维CW复形上的哈密顿丛均c–分裂，将其作为基础输入。
• 分析纤维丛的Leray–Serre谱序列，证明在弱化Lefschetz条件下，对所有 $ k \geq 4 $，微分 $ \partial_k $ 恒为零。
• 利用上同调上的 $ \mathfrak{b} $–模结构分析过滤层级，并应用舒尔引理以限制谱序列微分。
• 应用c–分裂与限制映射 $ H^*(P) \to H^*(M) $ 的满射性（或等价地，映射 $ H_*(M) \to H_*(P) $ 的单射性）之间的等价性。
• 将一般情形约化为普遍哈密顿丛 $ M \to EG \times_G M \to BG $，此时c–分裂等价于等变上同调为 $ H^*(BG) $–模的自由模。
• 利用条件：对所有 $ k \geq 0 $，映射 $[\omega]^k: H^{n+1-k}(M) \to H^{n+1+k}(M) $ 为满射，可推出 $ H^*(M)_{n-2} = 0 $ 且 $ H^*(M)_{n+1} = H^*(M) $，该条件控制谱序列的过滤结构，并强制 $ \partial_4 = 0 $。

实验结果

研究问题

• RQ1 对于满足弱化硬·莱夫谢茨条件的辛纤维的哈密顿丛，c–分裂猜想是否成立？
• RQ2 c–分裂猜想能否在非凯勒辛流形（如在Thurston的4维尼尔曼上对 $ \mathbb{C}P^5 $ 进行blowup）上成立？
• RQ3 是否存在一种与Gromov–Witten不变量或量子上同调无关的上同调准则，能保证哈密顿丛的c–分裂？
• RQ4 在弱化Lefschetz条件下，谱序列在多大程度上崩溃？其崩溃如何导致所期望的上同调积结构？

主要发现

• 若对所有 $ k \geq 0 $，Lefschetz型映射 $[\omega]^k: H^{n+1-k}(M) \to H^{n+1+k}(M) $ 为满射，则所有以 $ M $ 为纤维的哈密顿丛均满足c–分裂猜想。
• 此类丛的Leray–Serre谱序列在 $ E^2 $ 项崩溃，即 $ E^2 = E^3 = E^4 = H^*(M) \otimes H^*(B) $。
• 由于过滤结构与模结构，微分 $ \partial_4 $ 恒为零，且对所有 $ k \geq 4 $ 的更高阶微分 $ \partial_k $ 也消失，从而确保谱序列崩溃。
• $ \mathbb{C}P^5 $ 沿Thurston的4维尼尔曼进行blowup的流形满足弱化Lefschetz条件，因此其允许c–分裂丛，即使它不是凯勒流形。
• 该结果在不依赖参数化Gromov–Witten不变量的前提下，恢复了Kȩdra关于此类blowup的c–分裂定理。
• 该条件在4维辛流形情形下显然成立，因此所有以4维流形为纤维的哈密顿丛均c–分裂。