[论文解读] Cohomotopy invariants and the universal cohomotopy invariant jump formula

Okonek, Christian, Teleman, Andrei|ArXiv.org|Apr 19, 2007

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

一句话总结

本文提出了一套新的形式化方法，用于从希尔伯特丛之间的 S¹-等变非线性映射构造同伦上同调不变量，其应用聚焦于四维流形上的赛伯格-威滕映射。该方法在微分同胚下展现出清晰的函子性质，能检测 b⁺ = 1 情况下的墙穿跃现象，并建立了同伦上同调不变量在赛伯格-威滕方程扰动下的通用跳跃公式。

ABSTRACT

Starting from ideas of Furuta, we develop a general formalism for the construction of cohomotopy invariants associated with a certain class of $S^1$-equivariant non-linear maps between Hilbert bundles. Applied to the Seiberg-Witten map, this formalism yields a new class of cohomotopy Seiberg-Witten invariants which have clear functorial properties with respect to diffeomorphisms of 4-manifolds. Our invariants and the Bauer-Furuta classes are directly comparable for 4-manifolds with $b_1=0$; they are equivalent when $b_1=0$ and $b_+>1$, but are finer in the case $b_1=0$, $b_+=1$ (they detect the wall-crossing phenomena). We study fundamental properties of the new invariants in a very general framework. In particular we prove a universal cohomotopy invariant jump formula and a multiplicative property. The formalism applies to other gauge theoretical problems, e.g. to the theory of gauge theoretical (Hamiltonian) Gromov-Witten invariants.

研究动机与目标

• 开发一种通用形式化方法，用于从希尔伯特丛之间的 S¹-等变非线性映射构造同伦上同调不变量。
• 将该形式化方法应用于四维流形上的赛伯格-威滕映射，得到相较于经典不变量具有改进函子性质的不变量。
• 解决在存在约化解和墙穿跃现象时，不变量无法良好定义或不具备函子性的问题。
• 建立一个通用的同伦上同调不变量跳跃公式，描述不变量在扰动的同伦类变化下的变化方式。
• 展示该形式化方法在赛伯格-威滕理论之外的适用性，包括规范理论中的格罗莫夫-威滕不变量。

提出的方法

• 通过有限维逼近和稳定化，基于 K(B) 中的元素定义与 S¹-等变同伦上同调群 S¹α∗(B, V) 关联的结构。
• 将同伦上同调不变量 {µ} 构造为赛伯格-威滕映射的有限维逼近下的 S¹-等变映射的同伦类。
• 利用柱面构造，通过映射 κ: B → S(iH⁺) 将不变量与赛伯格-威滕方程的扰动联系起来。
• 在 B × S(iH⁺) 上引入一个通用扰动 ˜µ，以研究扰动的完整族，并推导出通用跳跃公式。
• 应用障碍理论与陈示性类定理，对球丛之间的带基点丛映射的同伦类进行分类。
• 通过相对障碍类和主障碍 oA(s∞, s) ∈ Hr(B, A; Z) 证明通用跳跃公式。

实验结果

研究问题

• RQ1 能否以一种确保在微分同胚下具有函子性的方法，从希尔伯特丛之间的 S¹-等变非线性映射构造同伦上同调不变量？
• RQ2 使用非平凡扰动 κ: B → S(iH⁺) 是否能产生比经典赛伯格-威滕不变量更精细的新不变量？
• RQ3 是否存在一个通用跳跃公式，用于描述当扰动的同伦类发生变化时，同伦上同调不变量的变化？
• RQ4 与通用扰动 ˜µ 关联的不变量能否用各个 µκ 不变量及四维流形的拓扑数据表示？
• RQ5 新同伦上同调不变量与鲍尔-富拉塔类之间存在何种关系，特别是在 b⁺ = 1 的情况下？

主要发现

• 新同伦上同调不变量对所有四维流形均良好定义，即使在 b⁺ = 1 时也成立，且比经典赛伯格-威滕不变量更精细。
• 该不变量能检测 b⁺ = 1 情况下的墙穿跃现象，而经典不变量则无法做到。
• 建立了通用同伦上同调不变量跳跃公式：当扰动的同伦类改变时，不变量的跳跃由主障碍 oA(s∞, s) ∈ Hr(B, A; Z) 给出。
• 当 n + r₀ < r₁ 时，任意带基点丛映射 [ζ₀]₊ → [ζ₁]₊ 同伦于无穷远处的常值映射；而当 n + r₀ = r₁ 时，其同伦类由 Hⁿ(B; Z) 中的一个元素分类。
• 同伦上同调不变量 {µ} 关于 Spinc-同伦等价是函子性的，确保了在微分同胚下的相容性。
• 证明了同伦上同调不变量的胡雷维奇像即为经典赛伯格-威滕不变量，从而建立了与标准理论的联系。