[论文解读] Lie groupoid, deformation of unstable curve, and construction of equivariant Kuranishi charts

Kenji Fukaya|arXiv (Cornell University)|Jan 11, 2017

Geometric and Algebraic Topology参考文献 30被引用 5

一句话总结

本文使用不稳定带标记曲线的形变理论与李群概模型技术，为具有紧致李群 $G$-作用的辛流形中 $J$-全纯曲线的模空间构造了 $G$-等变 Kuranishi 图表。关键贡献在于系统且透明地构建了广义标准 Kuranishi 结构至等变情形的 $G$-等变局部模型，从而实现了等变 Gromov-Witten 不变量的定义。

ABSTRACT

In this paper we give detailed construction of $G$-equivariant Kuranishi chart of moduli spaces of pseudo-holomorphic curves to a symplectic manifold with $G$-action, for an arbitrary compact Lie group $G$. The proof is based on the deformation theory of {\it unstable} marked curves using the language of Lie groupoid (which is {\it not} necessary etale) and the Riemannnian center of mass technique. This proof is actually similar to [FOn,Sections 13 and 15] except the usage of the language of Lie groupoid makes the argument more transparent. This version correct some errors of the previous version especially those pointed out by the referee.

研究动机与目标

• 为紧致李群 $G$ 作用于目标辛流形的 $J$-全纯曲线模空间，提供一个严格且透明的 $G$-等变 Kuranishi 图表构造方法。
• 通过使用李群概模型语言与黎曼质心技术，克服先前工作中基于临时构造的局限性。
• 为在辛几何设定下定义等变虚拟基本类，进而定义等变 Gromov-Witten 不变量，奠定基础。
• 以一种与粘合操作及全局结构构造兼容的方式，将 Kuranishi 结构框架推广至等变情形。

提出的方法

• 使用李群概模型语言（不一定是 étale 的）来参数化不稳定带标记曲线上复结构族。
• 应用不稳定曲线的形变理论，通过概模型理论方法构造普遍形变，确保其唯一性与存在性。
• 采用黎曼质心技术，以受控且 $G$-不变的方式构造障碍丛的 $G$-等变截面。
• 引入 $ε$-接近性条件，以控制形变空间的几何性质，并确保横截性。
• 利用障碍丛的指数衰减估计，确保局部模型的收敛性与光滑性。
• 通过对稳定化与平凡化数据的详细分析，证明局部光滑结构与辅助选择无关。

实验结果

研究问题

• RQ1 当 $G$ 作用于目标辛流形时，如何系统地构造 $J$-全纯曲线模空间的 $G$-等变 Kuranishi 图表？
• RQ2 李群概模型形式化在简化与阐明不稳定曲线等变形变理论中起到何种作用？
• RQ3 如何调整黎曼质心技术，以确保局部模型构造中的 $G$-等变性？
• RQ4 所构造的 $G$-等变 Kuranishi 图表在何种意义上是典范的或与辅助选择无关？
• RQ5 该构造如何推广先前在环形或阿贝尔群作用中使用的临时方法？

主要发现

• 本文证明了在模空间 $\mathcal{M}_{g,\ell}((X,\omega),\alpha)$ 的每一点 $\mathfrak{p}$ 处，均存在满足所有 $G$-等变性与光滑性条件的 $G$-等变 Kuranishi 图表 $(V_{\mathfrak{p}}, \mathcal{E}_{\mathfrak{p}}, s_{\mathfrak{p}}, \psi_{\mathfrak{p}})$。
• 该构造基于由李群概模型参数化的不稳定带标记曲线的普遍形变，确保唯一性并兼容群作用。
• 使用非 étale 的李群概模型与黎曼质心技术，使论证比以往的临时方法更加透明与系统化。
• 建立了障碍丛的指数衰减估计，确保局部模型的收敛性与光滑性。
• 通过第 7.5 节的详细分析，证明局部光滑结构与平凡化与稳定化数据等辅助选择无关。
• 该方法为构造全局 $G$-等变 Kuranishi 结构提供了基础，其核心局部构造为新颖且关键的组成部分。