[论文解读] Arc spaces, motivic integration and stringy invariants

Willem Veys|Lirias (KU Leuven)|Jan 27, 2004

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

一句话总结

本文引入了动机积分与弧空间作为研究代数几何中奇异概形的弦理论不变量的工具。通过利用动机积分与最小模型程序，将巴蒂列夫的弦理论不变量推广至对数终端奇点之外的一般奇点，作者构建了一个统一p进积分、奇点理论与双有理几何的框架，从而得到在双有理等价下保持不变的新不变量，并适用于卡拉比-丘概形与轨道丛。

ABSTRACT

We provide a gentle introduction to arc spaces, motivic integration and stringy invariants. We explain the basic concepts and first results, including the p-adic number theoretic pre-history, and we provide concrete examples. The text is a slightly adapted version of the 'extended abstract' of the author's talks at the 12th MSJ-IRI "Singularity Theory and Its Applications" (2003) in Sapporo. At the end we included a list of various recent results.

研究动机与目标

• 为代数几何与奇点理论领域的研究人员提供动机积分与弧空间的温和且易懂的导论。
• 在莫里最小模型程序的假设下，将巴蒂列夫的弦理论不变量推广至一般奇点。
• 连接p进zeta函数与动机积分，展示如何通过代数簇的格罗滕迪克环统一算术与几何不变量。
• 呈现具体例子与近期成果，说明动机积分在计算奇点与退化情形不变量方面的强大能力。
• 弥合数论中的p进积分与几何动机测度之间的鸿沟，突出其共享的基础结构。

提出的方法

• 利用喷射层的逆极限构造弧空间，以在复数域上建模代数概形上的形式弧。
• 通过取值于代数簇格罗滕迪克环的测度定义动机积分，替代实值积分。
• 在动机积分中应用变量替换公式，类比于伊谷萨的p进积分方法。
• 将动机zeta函数构造为喷射层动机测度的生成函数，推广伊谷萨的局部zeta函数。
• 应用奇点的嵌入解析解消方法计算动机积分并推导出有理性结果。
• 通过动机积分与最小模型程序，将弦理论不变量推广至任意奇点。

实验结果

研究问题

• RQ1 如何利用动机积分来定义并计算具有任意奇点的概形的弦理论不变量？
• RQ2 在奇点不变量的背景下，p进zeta函数与动机zeta函数之间有何关系？
• RQ3 动机积分如何在双有理几何中统一算术与几何不变量？
• RQ4 弧空间与喷射层以何种方式编码代数概形中奇点的信息？
• RQ5 动机积分能否为证明卡拉比-丘概形中霍奇数的双有理不变性提供一个框架？

主要发现

• 对于尖点奇点 $f_3 = y^2 - x^3$，其动机zeta函数是有理的，且显式计算为 $J_p(f_3; T) = p \frac{1 + (p-1)T + (p^6 - p^5)T^5 - p^7 T^6}{(1 - p^7 T^6)(1 - pT)}$，从而证实了伊谷萨的有理性猜想。
• 在最小模型程序的假设下，动机积分可为一般奇点定义出良定的弦理论 $E$-函数与欧拉示性数，扩展了巴蒂列夫原始框架。
• 该理论提供了伊谷萨局部zeta函数的动机类比，对所有 $f \in \mathbb{Z}[x_1, \dots, x_m]$，其生成函数均为有理函数，此结果由伊谷萨证明。
• 本文确立了动机测度在双有理变换下保持不变，支持了孔采维奇最初的目标：证明双有理等价的卡拉比-丘流形具有相等的霍奇数。
• 近期结果表明，动机zeta函数在实解析芽的爆破解析等价下保持不变，并与亚历山大多项式及奇点谱相关。
• 通过在德利涅-马杜克森堆叠上使用扭曲弧与动机积分，可为一般轨道丛建立麦克凯对应，统一弦理论 $E$-函数与轨道丛上同调。