[论文解读] J-holomorphic curves, moment maps, and invariants of Hamiltonian group actions

Kai Cieliebak, Ana Rita Gaio+1 more|ArXiv.org|Sep 21, 1999

Geometric and Algebraic Topology参考文献 32被引用 33

一句话总结

本文通过结合柯西-黎曼算子、曲率与矩映射的非线性椭圆型偏微分方程（PDE）的解，引入了一类新的哈密顿群作用于辛流形的不变量。关键结果是：通过绝热极限，这些不变量与对称化商流形的格罗莫夫-威滕不变量之间存在一个猜想中的对应关系，从而为格罗莫夫-威滕不变量提供了整数值定义，并揭示了商流形中墙穿跃现象的存在。

ABSTRACT

We outline the construction of invariants of Hamiltonian group actions on symplectic manifolds. These invariants can be viewed as an equivariant version of Gromov-Witten invariants. They are derived from solutions of a PDE involving the Cauchy-Riemann operator, the curvature of a connection, and the moment map.

研究动机与目标

• 通过涉及柯西-黎曼算子、曲率与矩映射的规范理论型PDE的解，构造哈密顿群作用于辛流形的新不变量。
• 通过绝热极限论证，建立这些不变量与对称化商流形格罗莫夫-威滕不变量之间的对应关系。
• 通过证明模空间的紧致性（无需正则性假设），为格罗莫夫-威滕不变量提供一个在整数上的定义框架。
• 通过将模空间中全纯曲线与反自对偶方程的解联系起来，推广阿蒂亚-弗洛尔猜想。
• 探索Seiberg-Witten理论、涡旋方程与黎曼曲面上对称积中全纯曲线之间的联系。

提出的方法

• 基于柯西-黎曼算子、曲率与矩映射构造一个作用泛函，导出一个非线性一阶椭圆型PDE系统。
• 在乘积流形 $\Sigma \times S$ 上定义该PDE系统的解的模空间，其中 $\Sigma$ 为黎曼曲面，$S$ 为基流形。
• 应用弗雷德霍姆理论与紧致性结果（命题3.5），证明Higgs场的 $L^2$-范数具有普遍有界性，从而保证模空间的紧致性。
• 使用绝热极限技术，将这些不变量与对称化商流形 $M//G$ 的格罗莫夫-威滕不变量联系起来。
• 通过分析相对不动点与等变辛作用泛函，构造等变弗洛尔同调。
• 通过涡旋方程、布拉德洛对与Seiberg-Witten方程等例子，展示这些不变量的适用性及其与已知理论的联系。

实验结果

研究问题

• RQ1 能否从结合柯西-黎曼算子、曲率与矩映射的PDE的解中构造哈密顿群作用的不变量？
• RQ2 这些不变量如何与对称化商流形的格罗莫夫-威滕不变量相关联，特别是通过绝热极限？
• RQ3 是否可以在不依赖正则性假设的前提下，建立解的模空间的紧致性，从而实现格罗莫夫-威滕不变量的整数值定义？
• RQ4 4-流形的Seiberg-Witten不变量与黎曼曲面的 $d$-重对称积中全纯曲线之间存在何种关系？
• RQ5 对称化商流形中的墙穿跃现象如何与PDE系统导出的不变量相关联？

主要发现

• 由于Higgs场的 $L^2$-范数具有普遍有界性，该PDE系统解的模空间是紧致的，这一结果不同于标准全纯曲线模空间的性质。
• 通过绝热极限，该PDE系统构造的不变量与对称化商流形 $M//G$ 的格罗莫夫-威滕不变量之间存在猜想中的对应关系，从而推广了阿蒂亚-弗洛尔猜想。
• 该框架为格罗莫夫-威滕不变量提供了一种潜在的整数值定义，因为紧致性结果避免了对横截性或正则性假设的需求。
• 对于 $\Sigma \times S$ 上的Seiberg-Witten方程，绝热极限将解与 $S$ 的 $d$-重对称积中的全纯曲线联系起来，揭示了规范理论与枚举几何之间的深层联系。
• 这些不变量揭示了对称化商流形中的墙穿跃行为，类似于马丁在普通上同调中的工作，暗示其与等变拓扑存在深刻联系。
• 在格拉斯曼流形的情形下，这些不变量恢复了韦林德代数，表明其与量子上同调及共形场论存在联系。