[论文解读] Symplectic 4--manifolds with K = 0 and the Lubotzky alternative

Stefan Friedl, Stefano Vidussi|arXiv (Cornell University)|Feb 4, 2011

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

一句话总结

该论文利用线性群的Lubotzky选择性，对具有平凡典范类（K=0）并 admits 自由圆作用的辛4-流形进行分类。证明此类流形要么是环面在环面上的丛，要么是此类丛的有限覆盖，从而证实了该类流形的猜想，并将此前关于乘积丛和Thurston范数为零的结果推广。

ABSTRACT

In this paper we use the Lubotzky alternative for finitely generated linear groups to determine which 4-manifolds admitting a free circle action can be endowed with a symplectic structure with trivial canonical class. The content of this paper partly overlaps with the content of the unpublished preprint "Symplectic 4-manifolds with a free circle action" (arXiv:0801.1313 [math.GT]).

研究动机与目标

• 确定哪些具有自由圆作用的4-流形可支持典范类平凡的辛结构。
• 将此前关于乘积丛（S¹×N）且K=0的结果，通过新的拓扑工具推广至非平凡圆丛。
• 利用有限生成线性群的Lubotzky选择性，约束此类辛4-流形的轨道空间N的拓扑结构。
• 证明对于此类流形，轨道空间N必为环面在S¹上的丛，且M为环面在环面上的丛，除非b₁(N)=1且e为挠元。
• 为猜想提供证据：所有典范类平凡的辛4-流形均被环面在环面上的丛覆盖。

提出的方法

• 应用Gysin正合列，利用非挠元欧拉类将M与轨道空间N的贝蒂数联系起来，得出b₂⁺(M) = b₁(N) - 1。
• 利用Taubes对典范类平凡的辛4-流形的Seiberg-Witten约束，推导出SW_M(0) = 1且K=0为唯一基本类。
• 采用Lubotzky选择性，当e为非挠元时，得出vb₁(N; ℤ) ≤ 3。
• 当e为挠元时，通过H₁(N)的挠子群构造正则覆盖N_Γ → N，证明拉回流形M_Γ为乘积S¹ × N_Γ。
• 利用[FV08a]的结果：若S¹ × N_Γ为辛流形且K=0，则N_Γ为环面在S¹上的丛。
• 利用如下事实：若对所有φ_Γ ∈ H¹(N; ℤ)均有(N_Γ, φ_Γ)为环面丛，则对任意非零φ ∈ H¹(N; ℤ)，(N, φ)亦为环面丛。

实验结果

研究问题

• RQ1 哪些具有自由圆作用的4-流形可支持典范类平凡的辛结构？
• RQ2 此前用于乘积丛（S¹×N）的精化Adjunction不等式方法能否推广至非平凡圆丛？
• RQ3 Lubotzky选择性如何约束此类辛4-流形的轨道空间所对应的3-流形的虚拟贝蒂数？
• RQ4 当欧拉类e为挠元或非挠元时，轨道空间N的拓扑结构为何？
• RQ5 目前已知的具有K=0的辛4-流形在具有自由圆作用的流形类中是否完备？

主要发现

• 对于典范类平凡且欧拉类e为非挠元的自由圆作用辛4-流形M，其轨道空间N为环面在S¹上的丛，且M为环面在环面上的丛。
• 当欧拉类e为挠元且b₁(N) > 1或e = 0时，流形M仍为环面在环面上的丛。
• 当e为非挠元时，虚拟第一贝蒂数vb₁(N; ℤ)有上界3，此为Lubotzky选择性与Seiberg-Witten不变量的共同结果。
• 在e为挠元的情形下，有限覆盖M_Γ为乘积S¹ × N_Γ，且N_Γ为环面丛，从而推出N本身为环面在S¹上的丛。
• 所有此类流形均被环面在环面上的丛有限覆盖，支持了该类流形穷尽所有典范类平凡的辛4-流形的猜想。
• 结果证实，目前已知的典范类平凡的辛4-流形——K3、环面在环面上的丛，以及T²-丛上的S¹-丛——在具有自由圆作用的流形类中已完备。