[论文解读] Vortex invariants and toric manifolds

Jan Wehrheim|ArXiv.org|Dec 1, 2008

Algebraic structures and combinatorial models参考文献 15被引用 13

一句话总结

本文建立了 $\mathbb{C}^n$ 上作用于环面的亏格零涡旋模空间与一个环面流形之间的同伦等价，表明涡旋不变量可作为在环面流形上的积分来计算。关键结果是，Cieliebak 与 Salamon 的墙穿跃公式作为这些环面空间上广义 Jeffrey-Kirwan 局域化公式的推论而出现，从而为不变量提供了几何解释。

ABSTRACT

We consider the symplectic vortex equations for a linear Hamiltonian torus action. We show that the associated genus zero moduli space itself is homotopic (in the sense of a homotopy of regular G-moduli problems) to a toric manifold with combinatorial data directly obtained from the original torus action. This allows to view the wall crossing formula of Cieliebak and Salamon for the computation of vortex invariants as a consequence of a generalized Jeffrey-Kirwan localization formula for integrals over symplectic quotients.

研究动机与目标

• 理解 $\mathbb{C}^n$ 上哈密顿环面作用下亏格零涡旋模空间的几何结构。
• 证明该模空间同伦于一个组合数据直接源自原始环面作用的环面流形。
• 将涡旋不变量的墙穿跃公式重新解释为环面流形上广义 Jeffrey-Kirwan 局域化公式的推论。
• 发展一种适用于不变上推和主要计算的相对 Atiyah-Bott 局域化技术，用于等变积分。

提出的方法

• 通过取 $\varepsilon \to 0$ 的极限对辛涡旋方程进行形变，该过程缩放辛形式，从而得到一个正则的 $T$-模空间问题。
• 在该形变下证明参数化模空间的紧致性，以建立 $T$-模空间问题的正则同伦。
• 通过分析原始环面作用的矩映射和权数据，将形变后的模空间构造为一个环面流形。
• 利用广义等变上推和不变积分，在形变设定下定义涡旋不变量。
• 应用 Atiyah-Bott 局域化的一个相对版本（定理 4.6）来计算环面模空间上的积分。
• 证明涡旋不变量的墙穿跃公式等价于环面模空间上的 Jeffrey-Kirwan 局域化公式。

实验结果

研究问题

• RQ1 能否通过形变极限将 $\mathbb{C}^n$ 上环面作用的亏格零涡旋模空间识别为一个环面流形？
• RQ2 涡旋不变量的墙穿跃公式如何从环面空间上的几何与局域化原理中产生？
• RQ3 等变积分与上推在形变设定下定义和计算涡旋不变量时起什么作用？
• RQ4 能否从相对 Atiyah-Bott 局域化框架中推导出广义 Jeffrey-Kirwan 局域化公式，以用于不变积分？
• RQ5 是否存在一个规范的无穷维环面模型，能统一所有不同次数的有限维涡旋模空间？

主要发现

• 在 $\mathbb{C}^n$ 上环面作用下，亏格零涡旋模空间同伦于一个组合数据直接源自原始环面表示的环面流形。
• 在 $\varepsilon = 0$ 处的形变模空间继承了环面结构，使得涡旋不变量可作为在环面流形上的积分来计算。
• Cieliebak 与 Salamon 的墙穿跃公式被证明是环面模空间上广义 Jeffrey-Kirwan 局域化公式的推论。
• 发展并应用了一种相对 Atiyah-Bott 局域化版本，用于 $H$-不变上推，从而提出了一种计算等变积分的新方法。
• 在高亏格黎曼曲面下，若在适当假设下，涡旋模空间是雅可比环面上的纤维丛，其纤维为环面。
• 由洛朗多项式构建的无穷维环面流形 $\mathbbm{X}$，通过调整系数的次数范围，统一了所有有限维涡旋模空间 $X^\kappa_{\kappa_0}$。