[论文解读] Integration motivique sur les schemas formels

Julien Sebag|arXiv (Cornell University)|Dec 21, 2001

Logic, programming, and type systems被引用 4

一句话总结

该论文将 motivic 积分推广至具有完美剩余域的完备离散赋值环上的形式概形，引入了形式概形的 Greenberg 概形上的 motivic 测度。它在该框架下建立了对可分幂零态射的变量替换公式，推广了 Denef-Loeser 的理论，并统一了 motivic 积分与 p-进积分。一个关键结果是：Calabi-Yau 代数簇上一个度量形式的 motivic 积分仅依赖于其一般纤维，从而恢复了 Batyrev 的不变量与 p-进情形下的 Serre 不变量。

ABSTRACT

We develop the theory of motivic integration for formal schemes

研究动机与目标

• 将 motivic 积分从代数簇推广至具有完美剩余域的完备离散赋值环上的形式概形。
• 在形式概形的 Greenberg 概形上定义 motivic 测度，推广弧概形的构造。
• 在该新框架下建立对可分幂零态射的变量替换公式。
• 通过 motivic 积分恢复经典不变量，如 Batyrev 的 Hodge 不变量与 Serre 的 p-进体积不变量。
• 通过证明 Calabi-Yau 代数簇上一个度量形式的 motivic 积分仅依赖于其一般纤维，统一 motivic 积分与 p-进积分。

提出的方法

• 定义完备离散赋值环 $ R $ 上形式光滑形式概形 $ \mathcal{X} $ 的 Greenberg 概形 $ \mathrm{Gr}(\mathcal{X}) $，其推广了正特征情形下的弧概形。
• 通过柱集构造取值于代数簇的 Grothendieck 环的完备化的 motivic 测度 $ \mu_{\mathcal{X}} $。
• 引入指数可积函数的概念，特别是涉及雅可比行列式 $ \pi $-进赋值的函数。
• 将可测集定义为有限个柱集的并集，并证明其在可分态射的逆像与直接像下保持稳定。
• 为可分态射 $ h: \mathcal{Y} \to \mathcal{X} $ 建立变量替换公式，其中涉及雅可比行列式阶的项。
• 证明 Calabi-Yau 一般纤维上一个度量形式的 motivic 积分等于任意弱 Néron 模型的特殊纤维的类。

实验结果

研究问题

• RQ1 能否将 motivic 积分从代数簇推广至具有完美剩余域的完备离散赋值环上的形式概形，尤其当剩余域具有正特征时？
• RQ2 当不存在 $ k \hookrightarrow R $ 的态射时，弧概形构造应如何推广？
• RQ3 在形式概形框架下，可测集与可积函数的恰当概念是什么？
• RQ4 在该推广的 motivic 积分理论中，对可分态射是否成立变量替换公式？
• RQ5 能否在此框架下通过 motivic 积分恢复经典不变量，如 Batyrev 的 Hodge 数与 Serre 的 p-进体积？

主要发现

• 在 $ p $-进域上的 Calabi-Yau 代数簇上，一个度量形式的 motivic 积分与度量形式的选择无关，并等于任意弱 Néron 模型的特殊纤维在 Grothendieck 环中的类。
• 对于具有 $ R $ 上正规光滑模型的 $ p $-进 Calabi-Yau 代数簇，其 canonical 线丛生成元的 motivic 积分等于 $ \widehat{\mathcal{M}} $ 中特殊纤维的类，推广了 Batyrev 的结果。
• 当 $ K $ 是 $ \mathbf{Q}_p $ 的有限扩张时，度量形式的 motivic 积分在特殊化后等于 Serre 的 $ p $-进体积不变量，如 [17] 的推论 4.6.3 所示。
• 形式概形 $ \mathcal{X} $ 的 Greenberg 概形 $ \mathrm{Gr}(\mathcal{X}) $ 推广了弧概形 $ \mathcal{L}(X) $，当 $ R = k[[t]] $ 且 $ \mathcal{X} $ 是 $ k $-代数簇的 $ \pi $-进完备化时，二者同构。
• 对可分态射 $ h: \mathcal{Y} \to \mathcal{X} $，变量替换公式成立，其中雅可比行列式的 $ \pi $-进赋值出现在 motivic 测度的指数中。
• 该理论提供了一个统一框架，既推广了经典 motivic 积分，也统一了 $ p $-进积分，如 [17] 所示。