[论文解读] Braids and symplectic four-manifolds with abelian fundamental group

Paul Seidel|arXiv (Cornell University)|Feb 14, 2002

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

一句话总结

本文引入了非哈密顿弗洛尔同调作为具有阿贝尔基本群的四维流形的辛不变量，证明其在从辫子构造的手术过程中可恢复辫子弗洛尔同调的总维数。关键结果表明，辫子弗洛尔同调的总维数是所得四维流形的辛不变量，暗示其潜在强度超越经典不变量。

ABSTRACT

We explain how a version of Floer homology can be used as an invariant of symplectic manifolds with $b_1>0$. As a concrete example, we look at four-manifolds produced from braids by a surgery construction. The outcome shows that the invariant is nontrivial; however, it is an open question whether it is stronger than the known ones.

研究动机与目标

• 探索非哈密顿弗洛尔同调作为具有非平凡第一贝蒂数的流形的新辛不变量。
• 研究该不变量是否能检测到经典拓扑或格罗莫夫-威滕理论等已知不变量无法捕捉的更精细辛结构。
• 通过从辫子出发的手术构造展示非哈密顿弗洛尔同调的实用性。
• 证明辫子弗洛尔同调的总维数是所构造四维流形的辛不变量。

提出的方法

• 使用手术过程从d条辫子的带框架球面传递辫子构造辛四维流形。
• 对于满足b1 > 0的流形上的辛自同构，定义非哈密顿弗洛尔同调，利用在扭曲环路空间上的作用泛函。
• 在弗洛尔同调理论中使用Mayer-Vietoris论证，分析弗洛尔同调在Gompf和下的行为。
• 利用拓扑约束对同调类的限制，仅在特定部分（M1∖H1）中的不动点对相关同调分量有贡献。
• 应用HF*(φa;c)与HF*(φ−a;−c)之间的对偶性，计算所有挠类上的总维数。
• 证明在应用缩放后，弗洛尔群直和的总维数对辛类形变保持不变，从而表明其不变性。

实验结果

研究问题

• RQ1 非哈密顿弗洛尔同调能否检测到格罗莫夫-威滕不变量或经典拓扑无法捕捉的辛结构？
• RQ2 辫子弗洛尔同调的总维数是否为从辫子构造出的四维流形的辛不变量？
• RQ3 非哈密顿弗洛尔同调在辛类的辛形变下行为如何？
• RQ4 该不变量是否恢复了辫子的完整弗洛尔同调，还是仅恢复其总维数？
• RQ5 该构造能否区分微分同胚但不同辛同胚的辛结构？

主要发现

• 辛四维流形M^β的非哈密顿弗洛尔同调满足HF*(φa1;c) ≅ HF*(β) ⊗Λ H*(T²;Λ)，对于类[l2]成立，而对于所有其他非零挠类c则为零。
• 对所有H¹(M^β;ℤ)的生成元a和所有非零挠类c，HF*(φa;c)的直和的总维数为8·dim(HF*(β))。
• 该总维数与辛类和基的选择无关，表明其为M^β的辛不变量。
• 除非相应地缩放上同调类a，否则该不变量在辛类的辛形变下不保持不变。
• 该构造生成满足c1² = 0且c2 = 48的四维流形，且−d·c1可由6d−2个具有平凡法丛的辛环面实现。
• M^β的基本群为ℤ × ℤ/d，其万有覆盖的同调与交形式可能确定其同胚类型，尽管该计算尚未完成。