Holomorphic disks and GIT quotients

技术摘要：全纯圆盘与 GIT 商

问题陈述
本文研究了配备连通紧致李群 $G$ 的哈密顿作用的光滑代数簇 $X$ 的辛几何与其约化后的辛几何之间的关系。具体而言，作者旨在建立 $X$ 中边界位于 $G$-不变拉格朗日子流形 $L$ 上的全纯圆盘的模空间，与几何不变量理论（GIT）商 $X // G$ 中边界位于商拉格朗日子流形 $L/G$ 上的全纯圆盘的模空间之间的对应关系。

辛约化的一个主要困难在于，其构造要求限制在矩映射的等值面 $\mu^{-1}_G(0)$ 上并剔除不稳定点，这使得约化前后的全纯曲线的直接比较变得非平凡。虽然等变弗洛尔理论（equivariant Floer theory）为这类比较提供了框架，但本文旨在不依赖等变弗洛尔理论建立这种关系，而是利用 Kempf–Ness 定理在 GIT 商与辛约化之间提供的桥梁。

方法论
该方法依赖于半稳定点集 $X^{ss}$ 的几何结构以及全纯商映射 $q: X^{ss} \to X // G$。本文分两个主要步骤进行：

1. 通过主丛建立对应： 作者将半稳定点集 $X^{ss}$ 与商 $X // G$ 之间的关系建模为全纯主 $G$-丛 $q: P_G \to M$。通过分析全空间 $P_G$（边界在 $L$ 上）和底空间 $M$（边界在 $L/G$ 上）中的全纯圆盘模空间，本文建立了两者之间的对应。

   • 圆盘的提升： 一个核心的技术环节是证明商 $M$ 中的每一个全纯圆盘都允许全纯提升到全空间 $P_G$ 中。这是通过构造一个尊重边界条件的拉回丛在圆盘上的全纯平凡化来实现的。作者利用 Donaldson 关于带有狄利克雷边界条件的 Hermitian–Yang–Mills 方程可解性的结果，确保了存在与边界约化相容的平坦度量，从而使得提升的构造成为可能。
   • 模空间同构： 利用提升性质以及 $\pi_2(G, G) = 0$ 的事实，作者证明了全空间模空间的商与商空间模空间之间的诱导映射是一个保持定向的同胚。

2. 圆盘势计算： 本文引入了“半稳定”和“不稳定”圆盘类的概念。如果一个圆盘类的像完全位于 $X^{ss}$ 内，则该圆盘类是半稳定的；否则，它是不稳定的。

   • 半稳定圆盘势： 作者通过仅保留 $L$ 的圆盘势中对应于半稳定类的项，定义了“半稳定圆盘势”$W^{ss}_L$。
   • 变量消除： 在假设每一个 Maslov 指标为二的不稳定类都被“完全排除”（即每个代表圆盘都与不稳定点集相交）的前提下，商 $L/G$ 的圆盘势是通过将 $W^{ss}_L$ 限制在诱导的基本群同态 $q^*: \pi_1(L) \to \pi_1(L/G)$ 的核上来计算的。这涉及消除对应于群作用方向的洛朗多项式中的变量。

主要贡献与结果

• 定理 A（定理 3.13）： 在适当的正则性和拓扑假设下（具体而言，$L/G$ 是 spin 的且模空间是紧致的），映射 $\phi: \mathcal{M}_1(P_G, L, J, \beta)/G \to \mathcal{M}_1(X // G, L/G, q^*J, q^*\beta)$ 是一个保持定向的同胚。因此，圆盘计数不变量 $n_\beta$ 和 $n_{q^*\beta}$ 重合。
• 定理 B（定理 4.11）： 对于环面作用，其中 $L$ 是正拉格朗日环面，且每一个不稳定的 Maslov 指标为二的类都被完全排除，商 $L/G$ 的圆盘势由 $L$ 的半稳定圆盘势限制在 $q^*$ 的核上给出：
  $$W_{L/G}(z) = W^{ss}_L|_{\ker(q^*)}(z)$$
  这提供了一个计算有效的公式，用于从商前推导商的圆盘势。
• 定理 C（定理 6.3）： 本文应用这些方法计算了二次超曲面 $Q_n \subseteq \mathbb{CP}^{n+1}$ 上 Gelfand–Zeitlin (GZ) 系统的圆盘势。通过利用退化方法和到更低维二次超曲面的 GIT 商约化，作者推导出了 $Q_n$ 中任意环面纤维 $L_n(u)$ 的圆盘势的显式公式，扩展了此前仅限于单调纤维的结果。所得势为：
  $$W_{L_n(u)}(y) = \frac{1}{y_n}T^{n-u_n} + \frac{y_n}{y_{n-1}}T^{u_n-u_{n-1}} + \dots + \frac{y_2}{y_1}T^{u_1-u_2} + 2y_2T^{u_2} + y_1y_2T^{u_1+u_2}$$

意义与主张
本文主张其主要优势在于定理 4.11 的计算有效性。通过利用 GIT 商与辛约化之间的对应关系，该方法允许在直接计算困难的情况下显式计算圆盘势。具体而言，它实现了将圆盘势从底空间提升到全空间，并将高维问题约化为低维问题。

作者指出，这种约化过程有望通过将高维各向同性旗流形约化为低维情形，为计算其圆盘势提供一种有效方法。这项工作还通过计算任意环面纤维（而不仅仅是单调纤维）的势，推广了关于 Gelfand–Zeitlin 纤维的先前结果。本文强调，这些结果是在不使用等变弗洛尔理论工具的情况下推导出来的，而是依赖于主丛的几何性质和 Kempf–Ness 定理。