[论文解读] Integrals with respect to the Euler characteristic over spaces of functions and the Alexander polynomial

Antonio Campillo, F. Delgado+1 more|ArXiv.org|May 10, 2002

Advanced Algebra and Geometry参考文献 7被引用 15

一句话总结

本文建立了函数空间上关于欧拉示性数的积分与平面曲线奇点的亚历山大多项式（或单体变换的zeta函数）之间的联系。通过将zeta函数解释为全纯函数或多项式在射影化函数空间上的欧拉示性数积分，该研究推广了经典结果，即通过动机积分原理将Poincaré级数与单体不变量联系起来。

ABSTRACT

We discuss some formulae which express the Alexander polynomial (and thus the zeta-function of the classical monodromy transformation) of a plane curve singularity in terms of the ring of functions on the curve. One of them describes the coefficients of the Alexander polynomial or of zeta-function of the monodromy transformation as Euler characteristics of some explicitly constructed spaces. For the Alexander polynomial these spaces are complements to arrangements of projective hyperplanes in projective spaces. For the zeta-function they are disjoint unions of such spaces. Under the influence of a result by J.Denef and F.Loeser it was understood that this results are connected with the notion of the motivic integration or rather with its version (in some sense a dual one) where the space of arcs is substituted by the space of functions. The aim of this paper is to discuss the notion of the integral with respect to the Euler characteristics (or with respect to the generalized Euler characteristic) over the space of functions (or over its projectivization) and its connection with the formulae for the coefficients of the Alexander polynomial and of the zeta-function of the monodromy transformation as Euler characteristics of some spaces. The paper will be published in Proceedings of the Steklov Mathematical Institute.

研究动机与目标

• 通过函数空间上的欧拉示性数建立动机积分框架，推广关于单体zeta函数的已知结果。
• 通过函数环的Poincaré级数与单体变换zeta函数之间的欧拉示性数积分，建立平面曲线奇点的zeta函数联系。
• 将这些结果推广到多项式在无穷远处的全局情形，将无穷远处的zeta函数与极点半群的Poincaré级数联系起来。
• 通过广义欧拉示性数和射影化函数空间的使用，统一局部与全局结果。
• 通过函数空间上的积分不变量，为亚历山大多项式与单体zeta函数提供几何与拓扑解释。

提出的方法

• 在曲线奇点处全纯函数芽环的射影化空间上定义广义欧拉示性数。
• 利用参数化下的零点阶数，在曲线上函数环上构造一个滤子。
• 将该滤子的Poincaré级数表示为值半群的生成函数。
• 利用曲线的最小嵌入解析解曲面，组合计算半群及其Poincaré级数。
• 将单项式函数 $ t^{v(g)} $ 在函数空间的射影化空间上的积分定义为阶数 $ v(g) $ 的水平集的欧拉示性数。
• 证明这些欧拉示性数的生成函数通过在扩展半群上的纤维结构等于单体变换的zeta函数。

实验结果

研究问题

• RQ1 平面曲线奇点的单体变换zeta函数能否表示为函数空间上关于欧拉示性数的积分？
• RQ2 曲线奇点函数环的Poincaré级数与其中单体zeta函数之间存在何种关系？
• RQ3 多项式在无穷远处的全局单体zeta函数能否被解释为在多项式空间上的欧拉示性数积分？
• RQ4 解析图与值半群如何与这些积分及其生成函数的结构相关联？
• RQ5 动机积分及其对偶形式在连接拓扑不变量与函数空间的代数数据中起到何种作用？

主要发现

• 不可约平面曲线奇点的单体变换zeta函数等于在全纯函数芽射影空间上的 $ t^{v(g)} $ 的积分：$ \zeta_C(t) = \int_{{P}{\mathcal{O}}_{{C}^2,0}} t^{v(g)} d\chi $。
• 当 $ r > 1 $ 时，多重生成函数 $ \Delta^C(t_1,\ldots,t_r) $ 作为积分 $ \int_{{P}{\mathcal{O}}_{{C}^2,0}} {\underline{t}}^{{\underline{v}}(g)} d\chi $ 出现，对应于半群的多重Poincaré级数。
• 多项式 $ F(x,y) $ 在无穷远处的极点半群的Poincaré级数 $ P_\Gamma(t) $ 与单体在无穷远处的zeta函数 $ \zeta_F^\infty(t) $ 一致。
• 积分 $ \int_{{P}{\mathbb{C}}[x,y]} t^{-v(H)} d\chi $ 等于 $ \zeta_F^\infty(t) $，提供了局部结果的全局类比。
• 由于喷射空间中水平集的局部平凡纤维结构，该积分是良定义的，确保了有限维纤维与可计算的欧拉示性数。
• 这些结果通过解析图的组合结构与Abhyankar-Moh定理（分别描述值半群与极点）得到证明。