[论文解读] Logarithmic Gromov-Witten invariants

Mark Gross, Bernd Siebert|arXiv (Cornell University)|Feb 21, 2011

Algebraic Geometry and Number Theory参考文献 20被引用 6

一句话总结

本文通过引入一种新的‘基本’对数结构概念，利用稳定对数映射，建立了一套对数 Gromov-Witten 不变量的基础理论，确保了模堆栈的代数性与有界性。研究证明，基本稳定对数映射的堆栈是一个局部有限型的代数对数堆栈，具有分离的对角线，并通过一个典范的热带化函子将该理论与热带几何联系起来。

ABSTRACT

The goal of this paper is to give a general theory of logarithmic Gromov-Witten invariants. This gives a vast generalization of the theory of relative Gromov-Witten invariants introduced by Li-Ruan, Ionel-Parker, and Jun Li, and completes a program first proposed by the second named author in 2002. One considers target spaces X carrying a log structure. Domains of stable log curves are log smooth curves. Algebraicity of the stack of such stable log maps is proven, subject only to the hypothesis that the log structure on X is fine, saturated, and Zariski. A notion of basic stable log map is introduced; all stable log maps are pull-backs of basic stable log maps via base-change. With certain additional hypotheses, the stack of basic stable log maps is proven to be proper. Under these hypotheses and the additional hypothesis that X is log smooth, one obtains a theory of log Gromov-Witten invariants.

研究动机与目标

• 开发一个在对数光滑设定下 Gromov-Witten 不变量的一般代数几何框架。
• 通过在族的基上引入一个普遍的‘基本’对数结构，解决先前相对 Gromov-Witten 理论中的技术难题。
• 通过一种新的‘基本性’概念，建立稳定对数映射模堆栈的代数性与拟紧性。
• 通过一个典范的热带化函子，将稳定对数映射的几何与热带曲线联系起来。
• 为退化与相对不变量中的分解公式和维数约化提供理论基础。

提出的方法

• 引入对数概形的范畴，并将稳定对数映射定义为该范畴中的态射，其定义域为对数光滑的。
• 通过关于余纤维层的条件定义‘基本’稳定对数映射的关键概念，以确保几何上的自然行为与代数性。
• 利用 Olsson 的精细对数结构代数堆栈及其对数态射的表示性结果，证明基本稳定对数映射的堆栈是代数的。
• 构造一个热带化函子，将每个稳定对数映射唯一地关联到一个在典范多面体空间 Trop(X) 中的热带曲线族，该关联与特化及对数结构态射相容。
• 通过同调类的组合有限性应用有界性结果，尤其在余纤维层张量 Q 全局生成时成立。
• 引入‘单值自由’对数概形的概念，以确保热带化行为良好，并避免 Trop(X) 中的病态等价关系。

实验结果

研究问题

• RQ1 能否在对数几何中建立一个一般性的 Gromov-Witten 不变量代数理论，以避免先前相对理论中的技术复杂性？
• RQ2 在稳定对数映射族的基上，何种‘基本’对数结构是确保模堆栈代数性与有界性的正确概念？
• RQ3 如何以函子性且几何上有意义的方式，将稳定对数映射的模空间与热带几何联系起来？
• RQ4 在何种条件下，基本稳定对数映射的模堆栈是拟紧的？这与同调类的组合有限性有何关系？
• RQ5 余纤维层及其对偶在控制稳定对数映射及其热带对应物的几何中起什么作用？

主要发现

• 对一个关于基 S 的精细饱和对数概形 X，其基本稳定对数映射的堆栈是关于 S 的底概形上局部有限型的代数对数堆栈，且具有分离的对角线。
• 从基本稳定对数映射堆栈到普通稳定映射堆栈的遗忘态射是可表示的，将新理论与经典 Gromov-Witten 理论联系起来。
• 当余纤维层张量 Q 全局生成时，同调类 β 的组合有限性得以确立，此条件在关键情形（如亏格 0 或简单交叉除子）下成立。
• 稳定对数映射的热带化产生一个参数化于 Hom(Q, R≥0) 的热带曲线族，具有到 Trop(X) 的典范映射，其中 Trop(X) 是基本幺半群的对偶。
• 在单值自由对数概形中，Trop(X) 是一个行为良好的多面体复形，避免了病态等价；否则，可能需要更抽象的热带堆栈解释。
• 该理论为退化与相对不变量中的分解公式提供了自然框架，推广了 Jun Li 与辛几何的方法。