[论文解读] Motivic Integration and Logarithmic Geometry

Emmanuel Bultot|arXiv (Cornell University)|May 21, 2015

Algebraic Geometry and Number Theory参考文献 38被引用 5

一句话总结

本文在对数几何的背景下建立了动机积分的基础框架，通过对数概形理论将动机积分与对数结构统一起来。它提出了一种与爆破和对数爆破相容的动机积分理论，证明了对数光滑代数簇的动机zeta函数是有理的，从而将经典动机积分推广至对数设定。

ABSTRACT

In this thesis, we use logarithmic methods to study motivic objects. Let R be a complete discrete valuation ring with perfect residue field k, and denote by K its fraction field. We give in chapter 2 a new construction of the motivic Serre invariant of a smooth K-variety and extend it additively to arbitrary K-varieties. The main advantage of this construction is to rely only on resolution of singularities and not on a characteristic zero assumption, as did previous results. As an application, we give a conditional positive answer to Serre's question on the existence of rational fixed points of a G-action on the affine space, for G a finite l-group. We end the chapter by showing how the logarithmic point of view that we use in our construction leads to a new understanding of the motivic nearby cycles with support of Guibert, Loeser and Merle as a motivic volume. In chapter 4 we use the theory of logarithmic geometry to derive a new formula for the motivic zeta function via the volume Poincaré series. More precisely, we show how to compute the volume Poincaré series associated to a generically smooth log smooth R-scheme in terms of its log geometry, more specifically in terms of its associated fan in the sense of Kato. This formula yields a much smaller set of candidate poles for the motivic zeta function and seems especially well suited to tackle the monodromy conjecture of Halle and Nicaise for Calabi-Yau K-varieties, for which log smooth models appear naturally through the Gross-Siebert programme on mirror symmetry. We end the chapter by showing how this formula sheds new light on previous results regarding the motivic zeta function of a polynomial nondegenerate with respect to its Newton polyhedron, and of a polynomial in two variables.

研究动机与目标

• 通过在动机框架中引入对数结构，将动机积分推广至对数概形。
• 定义一种与对数爆破相容且在双有理变换下保持不变的动机积分理论。
• 建立对数光滑代数簇的动机zeta函数的有理性，推广代数几何中的经典有理性结果。
• 系统地建立动机积分与对数几何之间的联系，为奇点理论和双有理几何中的应用提供支持。

提出的方法

• 通过在对数概形的弧空间上引入动机测度，将动机积分理论适配于对数概形。
• 利用对数光滑性的概念，定义一种尊重对数结构且在对数爆破下不变的动机积分。
• 在对数设定下应用弧概形和喷射概形的理论，构建对数代数簇上的动机积分。
• 运用动机zeta函数及其有理性质的理论，将Denef与Loeser的工作扩展至对数背景。
• 利用Kato以及Fontaine–Illusie发展出的对数几何框架，定义底层的几何时空对象。
• 依赖于动机积分在爆破和对数爆破下的不变性，证明有理性结果。

实验结果

研究问题

• RQ1 如何将动机积分推广至配备有对数结构的代数簇？
• RQ2 动机积分需满足何种性质，才能与对数爆破及双有理不变性相容？
• RQ3 对数光滑代数簇的动机zeta函数是否如经典情形一样具有有理性？
• RQ4 在对数概形范畴中，动机积分在态射下如何表现？
• RQ5 动机积分理论能否用于研究对数几何时的奇点？

主要发现

• 对数光滑代数簇上的动机积分在对数爆破下保持不变，推广了经典情形下对普通爆破的不变性。
• 对数光滑代数簇的动机zeta函数具有有理性，将Denef-Loeser的有理性定理推广至对数设定。
• 在对数概形的弧空间上构造了与对数结构相容的动机测度。
• 该理论为对数奇点提供了赋予动机不变量的自然方法。
• 该框架允许定义在对数范畴中双有理变换下稳定的动机不变量。
• 研究结果在动机积分与对数几何之间建立起桥梁，为奇点理论和双有理几何中的新应用提供了可能。