[论文解读] A tale of two moduli spaces: logarithmic and multi-scale differentials

Dawei Chen, Samuel Grushevsky+3 more|arXiv (Cornell University)|Dec 9, 2022

Algebraic Geometry and Number Theory被引用 4

一句话总结

该论文建立了对数橡胶映射的粗模堆栈与具有指定零点和极点阶数的稳定曲线的广义多尺度微分之间的同构，证明了在全局残差条件下的等价性。进一步表明，这两个空间均为关联性簇紧化（或在高亏格情况下为Deligne–Mumford紧化的正规化）的爆破，从而确立了其射影性，并在扭曲Hodge丛中给出了一个精化的双Ramification循环公式。

ABSTRACT

Multi-scale differentials were constructed by M.~Bainbridge, D.~Chen, Q.~Gendron, S.~Grushevsky, and M.~Möller, from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials were constructed by S.~Marcus and J.~Wise, as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that isolates the main components of the compactification, we show that these two kinds of differentials are equivalent, and establish an isomorphism of their (coarse) moduli stacks. Moreover, we describe the rubber and multi-scale spaces as an explicit blowup of the moduli space of stable pointed rational curves in the case of genus zero, and as a global blowup of the incidence variety compactification for arbitrary genera, which implies their projectivity. We also propose a refined double ramification cycle formula in the twisted Hodge bundle which interacts with the universal line bundle class.

研究动机与目标

• 为[BCGGM19]中的一个开放问题提供解决方案，通过定义广义多尺度微分的光滑模堆栈，且不依赖Teichmüller标记。
• 通过证明在全局残差条件下，对数橡胶映射与多尺度微分的两种不同紧化框架等价，从而统一二者。
• 将橡胶与多尺度微分的粗模空间描述为已知紧化形式的显式爆破，从而证明其射影性。
• 将双Ramification循环公式扩展至扭曲Hodge丛，纳入与全局限制线丛类的相互作用。

提出的方法

• 将模堆栈 $ G\Xi\overline{\mathcal{M}}_{g,n}(\mu) $ 构造为广义多尺度微分的粗模空间，省略全局残差条件。
• 为线丛 $ \mathcal{L} $ 定义对数橡胶空间 $ \mathbf{Rub}_{\mathcal{L}} $，其在曲线 $ X $ 上的纤维参数化分段线性函数 $ \beta $ 与同构 $ \mathcal{O}_X(\beta) \cong \mathcal{L} $。
• 在施加全局残差条件后，建立对数与多尺度模堆栈主分量之间的同构。
• 利用热带几何与图论数据（顶点函数、边斜率与局部最大顶点）定义局部理想层 $ J(\Gamma) $，其在关联性簇紧化上粘合成全局理想层 $ J $。
• 证明多尺度空间的主分量是关联性簇紧化沿理想层 $ J $ 的爆破的正规化，并通过此构造证明其射影性。
• 应用爆破与Hodge丛的普遍性质，构造逆映射并整体验证爆破描述。

实验结果

研究问题

• RQ1 在施加全局残差条件时，对数橡胶映射与广义多尺度微分作为模空间是否等价？
• RQ2 橡胶与多尺度微分的粗模空间能否被描述为 $ \overline{\mathcal{M}}_{g,n} $ 已知紧化形式的显式爆破？
• RQ3 关联性簇紧化与多尺度微分模空间之间的确切关系为何？
• RQ4 当双Ramification循环与全局限制线丛类相互作用时，其在扭曲Hodge丛中的精化形式如何？
• RQ5 能否将爆破描述从亏格零推广至任意亏格，使用Deligne–Mumford紧化的正规化？

主要发现

• 多尺度微分主分量的粗模空间同构于关联性簇紧化沿全局定义的理想层 $ J $ 的爆破的正规化，从而证明其射影性。
• 在亏格零时，橡胶与多尺度空间被显式描述为稳定带标记有理曲线模空间的爆破。
• 在任意亏格下，橡胶与多尺度空间被证明为Deligne–Mumford紧化中子簇闭包的正规化的全局爆破。
• 多尺度模空间的主分量是关联性簇紧化沿理想层 $ J $ 的爆破的正规化，其中 $ J $ 由对偶图上的局部数据构造而成。
• 本文证明了在施加全局残差条件后，对数橡胶空间与广义多尺度微分空间同构，解决了关键的等价性问题。
• 在扭曲Hodge丛中提出了一个精化的双Ramification循环公式，其通过爆破结构与全局限制线丛类发生相互作用。