[论文解读] Symplectomorphism groups and almost complex structures

Dusa McDuff|ArXiv.org|Oct 27, 2000

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

一句话总结

本文研究了当基空间与纤维面积之比 μ 变化时，辛规则曲面的辛同胚群的拓扑变化。通过分析几乎复结构空间并利用 J-全纯曲线，证明了辛同胚群的有理同伦型仅在 μ 经过整数时发生变化，且对于一般亏格的基，当 μ→∞ 时出现稳定化现象。

ABSTRACT

This paper studies groups of symplectomorphisms of ruled surfaces for symplectic forms with varying cohomology class. This class is characterized by the ratio R of the size of the base to that of the fiber. By considering appropriate spaces of almost complex structures, we investigate how the topological type of these groups changes as R increases. If the base is a sphere, this changes precisely when R passes an integer, and for general bases it stabilizes as R goes to infinity. Our results extend and make more precise some of the conclusions of Abreu--McDuff concerning the rational homotopy type of these groups for rational ruled surfaces.

研究动机与目标

• 理解当辛形式 ω 在固定上同调类中变化时，辛同胚群 Symp(M,ω) 的同伦型如何变化。
• 将 Abreu–McDuff 对有理规则曲面的有理同伦型结果推广到完整的同伦型，而不仅限于有理同伦型。
• 分析 J-全纯曲线和几乎复结构在检测辛同胚群拓扑跃迁中的作用。
• 建立当 μ→∞ 时，对于基亏格 g>0 的曲面，辛同胚群的拓扑类型趋于稳定。
• 提出基于 Diff₀(M) 对对称形式空间的作用的框架，将关注点从 Symp(M,ω) 转向固定上同调类 [ω] 的对称结构空间 S_[ω]。

提出的方法

• 利用纤维化 Symp(M,ω) ∩ Diff₀(M) → Diff₀(M) → S_[ω]，将辛同胚群与固定上同调类中对称形式的空间联系起来。
• 分析与 ω 同痕的对称形式空间 S_[ω]，重点关注当 μ（基与纤维面积之比）变化时 Symp(M,ω) 的拓扑如何变化。
• 应用规则曲面上 J-全纯曲线的理论，利用其由于 Seiberg–Witten 不量非零而丰富的特性。
• 在复平面的圆盘 D ⊂ ℂ 上构造 J-全纯曲线族 (C_w, J_w)，其中 J_w 与 ω_μ 兼容，以检测 Symp(M,ω_μ) 中的非平凡拓扑。
• 使用粘合技巧和几乎复结构族上的圆作用，构造几乎复结构空间中的收缩环路。
• 应用 Kronheimer 构造具有非平凡边界映射的对称形式族的方法，以在 π_*(Symp(M,ω)) 中检测非平凡元素。

实验结果

研究问题

• RQ1 当上同调类 [ω] 变化时，特别是当基与纤维面积之比 μ 增加时，辛同胚群 Symp(M,ω) 的同伦型如何变化？
• RQ2 在哪些 μ 值处，Symp(M,ω) 的有理同伦型发生拓扑相变？
• RQ3 能否利用 J-全纯曲线和几乎复结构确定辛同胚群的完整同伦型（而不仅限于有理同伦型）？
• RQ4 当 μ→∞ 时，辛同胚群的行为如何？对于基亏格 g>0 的曲面，其是否趋于稳定？
• RQ5 微分同胚群在对称形式空间上的作用如何揭示 Symp(M,ω) 拓扑结构的信息？

主要发现

• 辛同胚群 Symp(M,ω_μ) 的有理同伦型仅在 μ 经过整数时发生变化，确认并扩展了 Abreu–McDuff 的有理同伦型结果。
• 对于有理规则曲面（g=0），当 μ=1 时，辛同胚群 G_μ⁰ 发生拓扑跃迁，且当 μ>1 时，π₁(G_μ⁰) 中出现新的无限阶元素。
• 当基的亏格 g>0 时，G_μ^g 的拓扑类型在 μ→∞ 时趋于稳定，表明存在一个与 μ 无关的极限同伦型。
• G_μ^g 到 Diff₀(M) 的包含映射在同伦群上诱导的映射，其有理核与 μ 无关，表明存在稳定的有理同伦结构。
• 通过 J-全纯曲线和圆作用在几乎复结构空间中构造收缩环路，证明了 G_μ^g 中某些轨道在兼容几乎复结构空间中是零同伦的。
• 在类 A−F 中存在 J-全纯曲线，且其在圆作用下可变形，从而可构造出能控制性地张量几乎复结构的对称形式 ω_λ，使 Symp(M,ω) 中非平凡同伦类的检测成为可能。