[论文解读] A Quantum Kirwan Map: Bubbling and Fredholm Theory for Symplectic Vortices over the Plane

Fabian Ziltener|arXiv (Cornell University)|Sep 26, 2012

Quantum chaos and dynamical systems参考文献 19被引用 6

一句话总结

本文建立了通过复平面上的辛旋量构造量子Kirwan映射的基础分析结果。证明了旋量序列收敛到一种新型的亏格零稳定映射（包括商空间中的旋量和全纯球面），并表明旋量方程的竖直微分算子是指定指标的Fredholm算子——这是在辛几乎为球条件下定义辛商中Kirwan映射的量子形变的关键步骤。

ABSTRACT

Consider a Hamiltonian action of a compact connected Lie group on a symplectic manifold $(M,ω)$. Conjecturally, under suitable assumptions there exists a morphism of cohomological field theories from the equivariant Gromov-Witten theory of $(M,ω)$ to the Gromov-Witten theory of the symplectic quotient. The morphism should be a deformation of the Kirwan map. The idea, due to D. A. Salamon, is to define such a deformation by counting gauge equivalence classes of symplectic vortices over the complex plane $C$. The present memoir is part of a project whose goal is to make this definition rigorous. Its main results deal with the symplectically aspherical case. The first one states that every sequence of equivalence classes of vortices over the plane has a subsequence that converges to a new type of genus zero stable map, provided that the energies of the vortices are uniformly bounded. Such a stable map consists of equivalence classes of vortices over the plane and holomorphic spheres in the symplectic quotient. The second main result is that the vertical differential of the vortex equations over the plane (at the level of gauge equivalence) is a Fredholm operator of a specified index. Potentially the quantum Kirwan map can be used to compute the quantum cohomology of symplectic quotients.

研究动机与目标

• 通过复平面上的辛旋量，严格定义一个量子Kirwan映射，作为经典Kirwan映射的形变。
• 通过旋量的泡球化过程，建立旋量模空间的紧致化，其形式为包含旋量与全纯球面的稳定映射。
• 证明复平面上旋量方程的竖直微分算子是一个具有明确定义指标的Fredholm算子，这对定义量子不变量至关重要。
• 为通过等变Gromov-Witten理论计算辛商的量子上同调提供分析基础。

提出的方法

• 使用加权Sobolev空间与柔性重缩放技术，分析在能量有界条件下旋量序列的行为。
• 应用规范理论方法研究模规范等价的收敛性，证明极限对象构成一种新型的亏格零稳定映射。
• 将旋量方程的竖直微分算子重新表述为适当Sobolev空间上的线性算子。
• 通过证明伴随算子存在右逆并利用Hardy型不等式，建立Fredholm性质。
• 应用等变同调理论、陈数与Maslov指标，计算竖直微分算子的指标。
• 基于动量映射的正规性与零水平集上群作用的自由性，采用模泡球化的紧致性论证。

实验结果

研究问题

• RQ1 每个在复平面上具有统一有界能量的规范等价类辛旋量序列是否收敛到一个包含商空间中旋量与全纯球面的稳定映射？
• RQ2 复平面上旋量方程的竖直微分算子是否为Fredholm算子？其指标为何？
• RQ3 能否将量子Kirwan映射构造为从等变Gromov-Witten理论到辛商Gromov-Witten理论的共形场论同态？
• RQ4 复平面上旋量的泡球现象如何与旋量模空间的紧致化相关联？
• RQ5 在辛几乎为球设定下，旋量方程的竖直微分算子的精确分析结构为何？

主要发现

• 所有在复平面上具有统一有界能量的规范等价类旋量序列，均存在子序列收敛到由复平面上的旋量与辛商中全息球面构成的亏格零稳定映射。
• 复平面上旋量方程的竖直微分算子是Fredholm算子，其指标等于通过等变同调与动量映射计算出的陈数与Maslov指标之和。
• 通过在加权Sobolev空间框架下证明伴随算子存在右逆，并利用Hardy型不等式，确立了Fredholm性质。
• 极限稳定映射结构同时包含了全纯球面的泡球化与旋量的集中现象，推广了辛拓扑中通常的Gromov紧致性。
• 分析依赖于动量映射微分与作用算子范数的统一下界，确保了关键线性化算子的可逆性。
• 在基本假设（H）下结果成立：群在动量映射零水平集上自由作用，且动量映射是正规的。