[论文解读] Morphisms of CohFT algebras and quantization of the Kirwan map

Khoa Lu Nguyen, Chris Woodward+1 more|arXiv (Cornell University)|Mar 25, 2009

Algebraic Geometry and Number Theory参考文献 24被引用 4

一句话总结

本文引入了上同调场论（CohFT）代数之间的态射，作为闭弦情形下 A∞-代数态射的类比，利用稳定加权标记曲线模空间上的上同调类。它从 G-簇的等变量子上同调构造了其 GIT 商的量子 Kirwan 态射，并通过除子关系与边界分量上的核条件，识别了加权标记曲线模空间中的 Cartier 除子。

ABSTRACT

We introduce a notion of morphism of CohFT algebras, based on the analogy with A-infinity morphisms. We discuss a "quantization" of the classical Kirwan morphism to a morphism of CohFT algebras from the equivariant quantum cohomology of a G-variety to the quantum cohomology of its git or symplectic quotient, and an example relating to the orbifold quantum cohomology of a compact toric orbifold. Finally we identify the space of Cartier divisors on the moduli space of scaled marked curves; these appear in the splitting axiom.

研究动机与目标

• 通过稳定加权标记曲线模空间上的上同调数据，形式化 CohFT 代数之间态射的概念，类比于 A∞-代数态射。
• 从 G-簇的等变量子上同调构造 CohFT 代数之间的量子 Kirwan 态射，映射到其 GIT 商的量子上同调。
• 识别稳定加权标记曲线模空间中哪些边界除子组合是 Cartier 的，即是否存在对偶上同调类。
• 为规范 Gromov-Witten 理论中的 vortex bubble 计数提供代数框架，并将镜像定理推广至非半正的 toric 商。
• 建立 CohFT 代数的分裂公理与加权曲线模空间中除子关系之间的联系。

提出的方法

• 将 CohFT 代数定义为一族多线性映射 μⁿ: Vⁿ × H(ℳ̄ₙ₊₁, Λ) → V，关于 Sₙ 对称，并满足涉及边界除子类 δ_{I₁∪I₂} 的分裂公理。
• 通过在稳定加权标记直线模空间上引入依赖于上同调类的结构映射，将分裂公理推广，从而定义 CohFT 代数之间的态射。
• 使用多胞体的复化（来自 A∞-映射）作为稳定加权标记直线模空间的几何模型，推广 A∞-情形下的单纯形（associahedron）用于 CohFT。
• 基于先前工作的虚拟基本类，将量子 Kirwan 态射构造为从 QH_G(X) 到 QH(X//G) 的 CohFT 代数态射。
• 通过分析边界除子映射 t 的核，利用着色树上的四重恒等式关系，刻画稳定加权曲线模空间中的 Cartier 除子。
• 应用如下判别准则：Weil 除子 ∑l_{I₁,…,Iᵣ}D_{I₁,…,Iᵣ} 是 Cartier 的充要条件是其系数向量属于嵌入 π_Γ: ker t_Γ → ker t 的余象。

实验结果

研究问题

• RQ1 在闭弦情形下，何种代数结构可作为 CohFT 代数之间态射的正确推广，类比于 A∞-态射？
• RQ2 经典 Kirwan 映射能否被量化为 CohFT 代数之间的态射？其几何与代数结构如何？
• RQ3 在稳定加权标记曲线模空间中，哪些边界除子组合是 Cartier 的？其代数表征为何？
• RQ4 加权曲线模空间中的除子关系与边界除子映射 t 的核之间有何关联？
• RQ5 多胞体在编码 CohFT 代数态射与量子 Kirwan 态射结构中起何作用？

主要发现

• 本文通过在稳定加权标记直线模空间上引入上同调数据，将分裂公理推广，从而定义了 CohFT 代数之间的态射，推广了 A∞-态射。
• 量子 Kirwan 态射被构造为从 QH_G(X) 到 QH(X//G) 的 CohFT 代数态射，为规范 Gromov-Witten 理论中的 vortex bubble 计数提供了代数框架。
• 该态射在特例下恢复了 Batyrev 风格的 toric Deligne-Mumford 堆栈量子上同调的表示，与 Coates 等人的结果一致。
• Weil 除子 ∑l_{I₁,…,Iᵣ}D_{I₁,…,Iᵣ} 是 Cartier 的充要条件是其系数向量属于映射 π_Γ: ker t_Γ → ker t 的余象，对所有着色树 Γ 成立。
• 通过按分拆长度的归纳法，证明了 ker t 包含于所有着色树 Γ 的 π_Γ 的像的整闭包中，从而刻画了 Cartier 除子空间。
• 边界除子映射 t 的核由着色树上的四重关系生成；任何在长度 < r 的分拆上消失的关系，若在 r ≤ n−2 时消失，则在所有长度为 r 的分拆上也消失，从而推出当 r = n−1 时此类关系为平凡。