[论文解读] Symplectic maps to projective spaces and symplectic invariants

Denis Auroux|ArXiv.org|Jul 21, 2000

Geometric and Algebraic Topology参考文献 14被引用 8

一句话总结

本文通过使用近似全纯截面，提出了一种从紧致辛流形到 ℂP² 的新辛映射构造方法，建立了一个维度归纳过程，通过 braid 群字和对称群字编码任意此类流形。关键贡献在于提出了一套完整的辛不变量——braid 单值性和单值表示，这些不变量可对辛流形按辛同胚关系进行分类。

ABSTRACT

After reviewing recent results on symplectic Lefschetz pencils and symplectic branched covers of CP^2, we describe a new construction of maps from symplectic manifolds of any dimension to CP^2 and the associated monodromy invariants. We also show that a dimensional induction process makes it possible to describe any compact symplectic manifold by a series of words in braid groups and a word in a symmetric group.

研究动机与目标

• 通过近似全纯技术，将辛 Lefschetz 线性系统和分支覆盖理论推广至高维辛流形。
• 利用受控扰动，从任意紧致辛流形构造到 ℂP² 的辛映射，以保持其拓扑与几何结构。
• 发展一种维度归纳程序，递归构造辛子流形及其相关的单值不变量。
• 建立一组规范的不变量——braid 因子分解与对称群表示，以完全刻画辛流形在辛同胚下的等价类。
• 通过 braid 群与映射类群，构建一个组合框架，将复代数几何的结果推广至辛范畴，用于研究辛拓扑。

提出的方法

• 利用满足 c₁(L) = [ω]/(2π) 的辛线丛 L 的高次张量幂的近似全纯截面，结合 Donaldson 的横截性结果。
• 应用扰动方法，确保截面的 jets 具有统一横截性，从而实现辛子流形与分支覆盖的构造。
• 采用维度归纳过程：从辛流形 X²ⁿ 出发，通过 Lᵏ 的截面依次构造辛子流形 Σᵣ ⊂ X，其中 r = 0, ..., n。
• 通过 braid 群同态 ρᵣ: π₁(ℂ − {p₁,…,pₛ}) → B_{d_{r−1}} 定义单值不变量，编码从 Σᵣ 到 ℂP² 的映射的临界曲线。
• 通过恒等式 θᵣ = (θᵣ₋₁)* ∘ ρᵣ，将 Lefschetz 线性系统的单值 θᵣ 与 braid 单值 ρᵣ 关联，形成递归结构。
• 使用截断函数与局部扰动，确保在归纳步骤中保持已有的辛结构与单值性质，从而保证维度间的兼容性。

实验结果

研究问题

• RQ1 能否通过近似全纯技术，构造从高维辛流形到 ℂP² 的映射，其形式类似于复代数几何中的映射？
• RQ2 如何系统地从这些映射中推导出单值不变量，以对辛流形进行分类？
• RQ3 临界曲线的 braid 单值与相关 Lefschetz 线性系统的单值之间存在何种精确关系？
• RQ4 能否从这样一系列映射中提取出一组完整的辛不变量？若可，这些不变量是否足以按辛同胚关系重构流形？
• RQ5 在维度大于 4 的情况下，辛 Lefschetz 线性系统的拓扑结构在多大程度上可通过 braid 群与对称群中的组合数据来理解？

主要发现

• 通过近似全纯截面与迭代扰动，成功构造了从任意紧致辛流形到 ℂP² 的新辛映射。
• 从 Σᵣ 到 ℂP² 的映射的临界曲线导出一个 braid 单值同态 ρᵣ: π₁(ℂ − {p₁,…,pₛ}) → B_{d_{r−1}}，该同态是辛不变量。
• Σᵣ 上 Lefschetz 线性系统的单值由同态 θᵣ: π₁(ℂ − {p₁,…,p_{d_r}}) → Map^ω(Σ_{r−1}, Σ_{r−2}) 给出，且与 braid 单值通过关系 θᵣ = (θᵣ₋₁)* ∘ ρᵣ 相容。
• 整个辛流形 X²ⁿ 由 braid 单值 ρ₂,…,ρₙ 与对称群表示 θ₁: π₁(ℂ − {p₁,…,p_{d₁}}) → S_d₀ 完全编码，该表示在 m-等价意义下是规范的。
• 这些不变量足以按辛同胚关系重构流形，从而将辛流形的分类问题转化为 braid 群与对称群中的组合数据问题。
• 该构造在单参数族下保持稳定，确保不变量在 m-等价意义下唯一，并为高维辛拓扑的研究提供了框架。