[论文解读] The Evaluation Space of Logarithmic Stable Maps

Dan Abramovich, Qile Chen+2 more|arXiv (Cornell University)|Dec 24, 2010

Algebraic Geometry and Number Theory参考文献 18被引用 21

一句话总结

本文构建了对数稳定映射的评估空间 $Ω X$，使得对数评估映射和极小对数稳定映射模堆栈上的虚拟基本类得以定义。关键贡献是通过这些工具在对数光滑的 Deligne-Faltings 对数概形（具有简单交叉的除子）背景下建立对数 Gromov-Witten 不变量。

ABSTRACT

The evaluation stack for minimal logarithmic stable maps is constructed, parameterizing families of standard log points in the target log scheme. This construction provides the ingredients necessary to define appropriate evaluation maps for minimal log stable maps and establish the logarithmic Gromov-Witten theory of a log-smooth Deligne- Faltings log scheme.

研究动机与目标

• 为细饱和对数概形中的标准对数点族构造一个通用参数空间，以支持对数 Gromov-Witten 理论中的评估映射。
• 构造对数代数堆栈 $(\wedge X, \mathcal{M}_{\wedge X})$，表示对数概形 $(X, \mathcal{M}_X)$ 中标准对数点的范畴。
• 为极小对数稳定映射定义对数评估映射 $\text{ev}_i: \mathcal{K}_\Gamma(X, \mathcal{M}_X) \to \wedge X$。
• 在对数光滑性假设下，建立极小对数稳定映射模堆栈 $\mathcal{K}_\Gamma(X, \mathcal{M}_X)$ 上的虚拟基本类。
• 通过评估映射拉回上同调类并与虚拟基本类相交，定义对数 Gromov-Witten 不变量。

提出的方法

• 引入细饱和对数概形 $(X, \mathcal{M}_X)$ 中标准对数点族的范畴 $\wedge'X$，其在 $\mathfrak{LogSch}^{\text{fs}}$ 上有纤维结构。
• 证明 $\wedge'X$ 可由对数代数堆栈 $(\wedge X, \mathcal{M}_{\wedge X})$ 表示，从而确立评估空间。
• 通过将对数稳定映射限制在标记点上（此时对数结构变为标准形式），构造自然的态射 $\text{ev}_i: \mathcal{K}_\Gamma(X, \mathcal{M}_X) \to \wedge X$。
• 利用完美障碍理论 $E. \to \mathbb{L}_{\mathcal{K}_\Gamma(X, \mathcal{M}_X)/\mathcal{T}or_{\mathbb{C}}}$，通过 Manolache 的精化拉回定义虚拟基本类 $[\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$。
• 将精化拉回 $\alpha^{!}_{\mathbb{E}}$ 应用于基本类 $[\mathcal{T}or_{\mathbb{C}}]$，在对数光滑情形下得到虚拟类。
• 通过公式 $\left<\gamma_1,\ldots,\gamma_n\right>^{(X,\mathcal{M}_X)}_\Gamma := \left(\prod_{i=1}^n \text{ev}_i^*\gamma_i\right) \cap [\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$ 定义对数 Gromov-Witten 不变量。

实验结果

研究问题

• RQ1 如何为对数概形中标准对数点族构造一个通用参数空间，以支持对数 Gromov-Witten 理论中的评估映射？
• RQ2 在何种条件下，细饱和对数概形中标准对数点族的范畴会存在一个表示它的对数代数堆栈？
• RQ3 如何为进入对数光滑的 Deligne-Faltings 对数概形的极小对数稳定映射定义评估映射？
• RQ4 在何种条件下，极小对数稳定映射模堆栈上存在虚拟基本类？
• RQ5 如何通过评估映射与虚拟基本类定义对数 Gromov-Witten 不变量？

主要发现

• 细饱和对数概形 $(X, \mathcal{M}_X)$ 中标准对数点族的范畴 $\wedge'X$ 可由对数代数堆栈 $(\wedge X, \mathcal{M}_{\wedge X})$ 表示。
• 通过对数稳定映射在标记点上限制（此时对数结构变为标准形式），构造了对数评估映射 $\text{ev}_i: \mathcal{K}_\Gamma(X, \mathcal{M}_X) \to \wedge X$。
• 在对数光滑情形下，通过完美障碍理论与 Manolache 的精化拉回，模堆栈 $\mathcal{K}_\Gamma(X, \mathcal{M}_X)$ 具备虚拟基本类 $[\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$。
• 虚拟基本类表示为 $[\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}} = \alpha^{!}_{\mathbb{E}}[\mathcal{T}or_{\mathbb{C}}]$，其中 $\alpha$ 是到 $\mathbb{C}$ 上细饱和对数结构堆栈的结构态射。
• 对数 Gromov-Witten 不变量通过公式 $\left<\gamma_1,\ldots,\gamma_n\right>^{(X,\mathcal{M}_X)}_\Gamma := \left(\prod_{i=1}^n \text{ev}_i^*\gamma_i\right) \cap [\mathcal{K}_\Gamma(X, \mathcal{M}_X)]^{\text{vir}}$ 定义。
• 该构造为具有简单交叉除子的对数光滑 Deligne-Faltings 对数概形背景下的对数 Gromov-Witten 理论提供了基础框架。