[论文解读] Chow Quotients of Toric Varieties as Moduli of Stable Log Maps

Qile Chen, Matthew Satriano|arXiv (Cornell University)|Jan 17, 2012

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

一句话总结

本文证明了，对于一个射影正常仿射环面簇 $X$ 和一个秩一子环面 $T_0$，其 Chow 商 $X//T_0$ 的正规化同构于具有固定曲线类和接触阶的有理曲线到 $X$ 的稳定对数映射的粗模空间。该构造通过轨道闭包 $Z_x = \overline{T_0 x}$ 定义从 $T' = T/T_0$ 到 Kontsevich 空间 $\mathfrak{M}_{0,2}(X,\beta_0)$ 的映射，该映射像在模空间中的闭包即为稳定对数映射的粗模空间，从而通过对数 Gromov-Witten 理论为 Chow 商提供了新的几何解释。

ABSTRACT

Let $X$ be a projective normal toric variety and $T_0$ a rank one subtorus of the defining torus of $X$. We show that the normalization of the Chow quotient $X//T_0$, in the sense of Kapranov-Sturmfels-Zelevinsky, coarsely represents the moduli space of stable log maps to $X$ with discrete data given by $T_0\subset X$.

研究动机与目标

• 建立环面簇的 Chow 商与稳定对数映射模空间之间的几何对应关系。
• 证明 Chow 商 $X//T_0$ 的正规化粗略表示具有离散数据 $\Gamma_0 = (0,\beta_0,2,\{c_0,c_\infty\})$ 的稳定对数映射的模堆 $\mathcal{K}_{\Gamma_0}(X)$。
• 通过 $T'$ 在 Kontsevich 空间 $\mathfrak{M}_{0,2}(X,\beta_0)$ 中的闭包，提供 $\mathcal{K}_{\Gamma_0}(X)$ 的另一种构造，该构造类似于 Chow 商的构造。
• 将 Olsson 关于环面 Hilbert 簇的结果推广到 Kontsevich 空间设定，证明 $T'$ 在 $\mathfrak{M}_{0,2}(X,\beta_0)$ 中的闭包的正规化在稳定对数映射的意义下具有模解释。

提出的方法

• 将 Chow 商 $X//T_0$ 定义为 $T' = T/T_0$ 在固定维数与同调类的循环的 Chow 空间 $C(X)$ 中的闭包。
• 通过为每个 $x \in T$ 关联一个稳定映射 $f_x: \mathbb{P}^1 \to X$，其像为轨道闭包 $Z_x = \overline{T_0 x}$ 的正规化，构造一个映射 $T' \to \mathfrak{M}_{0,2}(X,\beta_0)$。
• 将 $\mathfrak{M}$ 定义为 $T'$ 在 Kontsevich 空间 $\mathfrak{M}_{0,2}(X,\beta_0)$ 中的闭包，并证明 $\mathfrak{M}$ 是 $X//T_0$ 的双有理模型。
• 利用 genus 0 情形下模堆的对数光滑性与不可约性，证明 $\mathcal{K}_{\Gamma_0}(X)$ 是 $\mathfrak{M}$ 的正规化。
• 利用热带几何将接触阶 $c_0, c_\infty$ 解释为与稳定对数映射相关的热带曲线中无界边的斜率。
• 证明射影正常环面簇上的标准对数结构 $\mathcal{M}_X$ 是广义 Deligne-Faltings 的，从而确保其与 Abramovich-Chen 和 Gross-Siebert 的对数 Gromov-Witten 理论相容。

实验结果

研究问题

• RQ1 Chow 商 $X//T_0$ 的正规化是否同构于具有固定离散数据 $\Gamma_0 = (0,\beta_0,2,\{c_0,c_\infty\})$ 的稳定对数映射到 $X$ 的粗模空间？
• RQ2 Chow 商的构造能否通过 Kontsevich 稳定映射空间重新解释，即用模空间 $\mathfrak{M}_{0,2}(X,\beta_0)$ 取代 Chow 空间？
• RQ3 $T'$ 在 $\mathfrak{M}_{0,2}(X,\beta_0)$ 中的闭包的正规化是否具有稳定对数映射的模解释，类似于 Olsson 对环面 Hilbert 簇的结果？
• RQ4 在环面簇的稳定对数映射背景下，热带曲线如何编码接触阶 $c_0$ 和 $c_\infty$？
• RQ5 射影正常环面簇上的标准对数结构 $\mathcal{M}_X$ 是否为广义 Deligne-Faltings 的，从而确保其与对数 Gromov-Witten 理论相容？

主要发现

• Chow 商 $X//T_0$ 的正规化同构于具有两个标记点、固定曲线类 $\beta_0$ 和接触阶 $c_0, c_\infty$ 的有理曲线到 $X$ 的稳定对数映射的模堆 $\mathcal{K}_{\Gamma_0}(X)$ 的粗模空间。
• 模堆 $\mathcal{K}_{\Gamma_0}(X)$ 是不可约的，这是由于 $X//T_0$ 的正规化不可约且粗模空间为正规化所导致的。
• $T'$ 在 Kontsevich 空间 $\mathfrak{M}_{0,2}(X,\beta_0)$ 中的闭包 $\mathfrak{M}$ 同构于其自身的正规化，且该正规化同构于 $\mathcal{K}_{\Gamma_0}(X)$，从而建立了新的模解释。
• 接触阶 $c_0$ 和 $c_\infty$ 对应于与稳定对数映射相关的热带曲线中无界边的斜率，从而为切触条件提供了组合解释。
• 射影正常环面簇上的标准对数结构 $\mathcal{M}_X$ 是广义 Deligne-Faltings 的，通过从 $[A_P/\mathbb{G}_m]$ 构造一个严格光滑覆盖并验证合适图表的存在性得以证明。
• 模堆 $\mathcal{K}_{\Gamma_0}(X)$ 是对数光滑的，因此也是正规的，这是证明其粗模空间为 $\mathfrak{M}$ 的正规化时的关键要素。