[论文解读] Toward motivic integration over wild Deligne-Mumford stacks

Takehiko Yasuda|arXiv (Cornell University)|Feb 13, 2013

Algebraic Geometry and Number Theory参考文献 30被引用 10

一句话总结

本文通过提出涉及扭曲弧和权重函数的猜想型变量替换公式，将动机积分推广至稳定子阶可被特征数整除的野生 Deligne-Mumford 堆栈——即稳定子阶可被特征数整除的情形。其关键贡献在于，建立了商奇点的弦 invariant 与局部域扩张的动机计数之间的猜想型联系，从而在野生情形下实现了动机 McKay 对应。

ABSTRACT

We discuss how the motivic integration will be generalized to wild Deligne-Mumford stacks, that is, stabilizers may have order divisible by the characteristic of the base or residue field. We pose several conjectures on this topic. We also present some possible applications concerning stringy invariants, resolution of singularities, and weighted counts of extensions of local fields.

研究动机与目标

• 将动机积分推广至稳定子阶可被特征数整除的野生 Deligne-Mumford 堆栈。
• 在野生商堆栈的背景下，制定关于扭曲弧的变量替换公式。
• 将商奇点的弦 invariant 与局部域扩张的动机计数联系起来。
• 探讨对奇点的非存在性 Crepant 或函子性解析的约束。
• 为局部域扩张提供 Serre 与 Bhargava 质量公式的动机类比。

提出的方法

• 将 Deligne-Mumford 堆栈的扭曲弧定义为从与形式环面的伽罗瓦覆盖相关的商堆栈出发的可表示态射。
• 在扭曲弧空间 $ \mathcal{J}_{\infty}\mathcal{X} $ 和 $ \mathcal{J}_{\infty}\mathcal{Y} $ 上引入规范权重函数 $ w_{\mathcal{X}} $ 和 $ w_{\mathcal{Y}} $。
• 提出一个猜想型变量替换公式，涉及雅可比阶 $ \mathrm{ord}\,\mathrm{Jac}_{f} $、动机测度 $ \mu_{\mathcal{X}} $ 和 Lefschetz 动机 $ \mathbb{L} $。
• 使用解扭技术将扭曲弧空间约化为非扭曲形式，从而在直线情形下为该猜想提供依据。
• 分析 $ \mathcal{Y} = [\mathbb{A}_D^d / G] $ 且 $ \mathcal{X} = \mathbb{A}_D^d / G $ 的情形，推导出权重函数的显式猜想表达式。
• 将局部域扩张的动机质量与商奇点 $ \mathbb{A}_D^d / G $ 的弦 invariant 联系起来。

实验结果

研究问题

• RQ1 如何将动机积分推广至稳定子阶可被特征数整除的野生 Deligne-Mumford 堆栈？
• RQ2 在野生情形下，变量替换公式的正确形式是什么？权重函数与雅可比阶如何表现？
• RQ3 商奇点的弦 invariant 是否可表示为局部域扩张的动机计数？
• RQ4 弦 invariant 对 Crepant 或函子性解析的存在性施加了何种约束？
• RQ5 在何种条件下，局部域扩张的动机质量公式与相关奇点的弦 invariant 一致？

主要发现

• 猜想型变量替换公式通过雅可比阶与权重函数，将野生 DM 堆栈扭曲弧空间上的动机积分联系起来。
• 当循环群 $ G $ 的素数阶 $ p $ 作用于表示 $ V $ 且 $ D_V = p $ 时，弦 invariant 在 $ T=0 $ 处的取值为 1，表明可能存在阻碍解析的拓扑障碍。
• 论文推导出 Crepant 解析存在的条件：$ D_V = p $ 为必要条件，否则 Euler 示性数实现将无法为整数。
• 若存在 Crepant 解析，则弦 invariant $ P_{\mathrm{st}}(X) $ 必须是 $ T $ 的多项式，而非 $ T^{1/r} $ 的形式。
• 局部域扩张的动机质量（剩余域大小为 $ q $）在猜想下等于商奇点 $ \mathbb{A}^d / G $ 的弦 invariant，从而推广了 Serre 与 Bhargava 的质量公式。
• 若解析中例外除子的对偶复形的 Euler 示性数等于弦 invariant 在 $ T=0 $ 处的取值，则提供了阻碍解析的拓扑障碍。