[论文解读] Logarithmic double ramification cycles

David Holmes, Samouil Molcho+3 more|arXiv (Cornell University)|Jul 14, 2022

Advanced Differential Equations and Dynamical Systems被引用 5

一句话总结

本文在稳定曲线模空间的对数查尔斯环中，为对数双 ramification 循环建立了显式公式，通过分段多项式和稳定性条件，将 Pixton 的公式扩展到对数设定。关键贡献是通过通用雅可比簇构造和对数交点理论，实现了对数 DR 循环的墙穿跃公式。

ABSTRACT

Let $A=(a_1,\ldots, a_n)$ be a vector of integers which sum to $k(2g-2+n)$. The double ramification cycle $\mathsf{DR}_{g,A}\in \mathsf{CH}^g(\mathcal{M}_{g,n})$ on the moduli space of curves is the virtual class of an Abel-Jacobi locus of pointed curves $(C,x_1,\ldots,x_n)$ satisfying $$\mathcal{O}_C\Big(\sum_{i=1}^n a_i x_i\Big) \, \simeq\, \big(ω^{\mathsf{log}}_{C}\big)^k\, .$$ The Abel-Jacobi construction requires log blow-ups of $\mathcal{M}_{g,n}$ to resolve the indeterminacies of the Abel-Jacobi map. Holmes has shown that $\mathsf{DR}_{g,A}$ admits a canonical lift $\mathsf{logDR}_{g,A} \in \mathsf{logCH}^g(\mathcal{M}_{g,n})$ to the logarithmic Chow ring, which is the limit of the intersection theories of all such blow-ups. The main result of the paper is an explicit formula for $\mathsf{logDR}_{g,A}$ which lifts Pixton's formula for $\mathsf{DR}_{g,A}$. The central idea is to study the universal Jacobian over the moduli space of curves (following Caporaso, Kass-Pagani, and Abreu-Pacini) for certain stability conditions. Using the criterion of Holmes-Schwarz, the universal double ramification theory of Bae-Holmes-Pandharipande-Schmitt-Schwarz applied to the universal line bundle determines the logarithmic double ramification cycle. The resulting formula, written in the language of piecewise polynomials, depends upon the stability condition (and admits a wall-crossing study). Several examples of logarithmic and higher double ramification cycles are computed.

研究动机与目标

• 将 Pixton 的经典双 ramification 循环的典型公式扩展到对数设定。
• 通过对数爆破解决 Abel-Jacobi 映射中的不确定性，并在对数查尔斯环中定义其典范提升。
• 利用稳定性条件和分段多项式结构，建立对数 DR 循环的通用公式。
• 为高阶和对数 DR 循环提供计算工具，包括 Sage 的实现。
• 通过 GL₂(ℤ)-不变性和墙穿跃现象，探索对数典型环中的关系。

提出的方法

• 通过对数修改和堆栈扇形，将经典双 ramification 循环提升到对数查尔斯环。
• 将 Holmes-Schwarz 的准则应用于稳定曲线模空间上的通用线丛。
• 通过与稳定性条件相关的分段多项式函数构造对数 DR 循环。
• 利用热带曲线的剖分和热带 Abel-Jacobi 理论，将对数循环代数化。
• 以稳定图上的图和形式表达公式，各项由多项式的常数项定义。
• 在 Sage 中实现公式，以进行对数 DR 循环的显式计算。

实验结果

研究问题

• RQ1 经典双 ramification 循环如何被典范地提升到对数查尔斯环？
• RQ2 对数双 ramification 循环的结构如何通过分段多项式和稳定性条件来描述？
• RQ3 当稳定性条件变化时，对数 DR 循环在墙穿跃下的行为如何？
• RQ4 GL₂(ℤ)-不变性在对数典型环中产生了哪些典型关系？
• RQ5 是否可以显式计算高亏格和高阶循环的对数 DR 循环？

主要发现

• 本文在对数查尔斯环中为对数双 ramification 循环提供了完整的显式公式，推广了 Pixton 的公式。
• 该公式以稳定图的和形式表达，每一项由与图和向量 A 相关的分段多项式的常数项给出。
• 该构造依赖于稳定性条件，且当条件变化时，公式可进行墙穿跃研究。
• 作者计算了对数和高阶双 ramification 循环的显式例子，包括亏格 1 的情形。
• 提供了 Sage 实现，用于计算对数 DR 循环，使高阶和对数情形的计算成为可能。
• 双-双 ramification 循环的 GL₂(ℤ)-不变性，为对数典型环中的典型关系提供了新构造。