[论文解读] Multi-index filtrations and motivic Poincare series

Antonio Campillo, F. Delgado+1 more|ArXiv.org|Jun 11, 2004

Advanced Differential Equations and Dynamical Systems被引用 7

一句话总结

本文提出了一种基于代数簇的格罗滕迪克环中广义欧拉特征的动机积分框架，用于计算复解析奇点局部环上多指标滤子的庞加莱系列。该框架为平面曲线奇点各分支上函数阶数定义的滤子以及通过一系列爆破产生的除子滤子，提供了明确的动机庞加莱系列公式，结果以嵌入解析解和变换数据的形式表达。

ABSTRACT

The Poincare series of a multi-index filtration on the ring of germs of functions can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring. Here this integral is considered with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity $C$ and for the so called divisorial filtration for a modification of $(\C^2,0)$ by a sequence of blowing-ups there are given formulae for this integral in terms of an embedded resolution of the germ $C$ or in terms of the modification respectively. The generalized Euler characteristic of the extended semigroup corresponding to the divisorial filtration is computed.

研究动机与目标

• 将多指标滤子的庞加莱系列推广为取值于代数簇格罗滕迪克环的动机积分。
• 利用广义欧拉特征计算在函数环的射影化空间上，单变量函数 $ \underline{t}^{\underline{v}(g)} $ 的动机积分。
• 为 $ \mathbb{C}^2 $ 上平面曲线奇点相关的滤子及除子滤子，推导动机庞加莱系列的显式公式。
• 显式计算与除子滤子相关的扩展半群的广义欧拉特征。
• 建立以解析数据表示的动机版阿恩特-卡姆波公式，用于庞加莱系列。

提出的方法

• 本文使用取值于局部化格罗滕迪克环 $ K_0(\mathcal{V}_{\mathbb{C}})_{(\mathbb{L})} $ 的广义欧拉特征 $ \chi_g $，其中 $ \mathbb{L} $ 为仿射直线的类。
• 将动机庞加莱系列表示为积分 $ \int_{\mathbb{P}{\cal O}_{V,0}} \underline{t}^{\underline{v}(g)} \, d\chi_g $，通过积分推广经典庞加莱系列。
• 对于平面曲线奇点，利用嵌入解析解计算积分，结果以例外除子及其相交数据表示。
• 对于通过一系列爆破定义的除子滤子，积分通过变换数据（特别是例外除子的重数和对偶图）表达。
• 该方法涉及将射影化环分解为由多指标索引的层，并利用曲线的对称积与 $ \mathbb{C}^* $-丛计算每层的动机测度。
• 应用动机 zeta 函数技巧，并使用恒等式如 $ (1 - t)^{-[\mathbb{P}^1]} = \prod (1 - \mathbb{L} t)^{-1} $ 简化所得级数。

实验结果

研究问题

• RQ1 如何将复解析奇点局部环上多指标滤子的庞加莱系列表示为动机积分？
• RQ2 平面曲线奇点各分支上函数阶数定义的滤子的动机庞加莱系列的显式公式是什么？
• RQ3 在 $ \mathbb{C}^2 $ 中通过一系列爆破产生的除子滤子，其单变量函数 $ \underline{t}^{\underline{v}(g)} $ 的动机积分行为如何？
• RQ4 能否显式计算除子滤子的扩展半群的广义欧拉特征，以解析数据表示？
• RQ5 以解析不变量表示的庞加莱系列的动机版阿恩特-卡姆波公式是什么？

主要发现

• 由平面曲线奇点各分支上函数阶数定义的滤子的动机庞加莱系列为 $ \frac{\prod_{\sigma \in I_0} (1 - \underline{t}^{\underline{m}_{i(\sigma)}} - \underline{t}^{\underline{m}_{j(\sigma)}} + \mathbb{L} \underline{t}^{\underline{m}_{i(\sigma)} + \underline{m}_{j(\sigma)}})}{\prod_{i=1}^s (1 - \underline{t}^{\underline{m}_i})(1 - \mathbb{L} \underline{t}^{\underline{m}_i})} $，其中 $ \underline{m}_i $ 为例外除子的重数。
• 对于通过爆破序列定义的除子滤子，动机积分以例外除子的对偶图和重数表示，得到以解析数据表示的闭式公式。
• 利用相同的解析数据和动机积分技巧，显式计算了与除子滤子相关的扩展半群的广义欧拉特征。
• 动机积分表示法使得经典结果的更短证明成为可能：平面曲线滤子的庞加莱系列等于关联代数链的亚历山大多项式。
• 该方法为通过在函数环的射影化空间上以 $ \chi_g $ 为测度进行积分，提供了一套统一的动机不变量计算框架。
• 本文建立了阿恩特-卡姆波公式的动机版本，表明滤子的希尔伯特函数生成函数是 $ \underline{t} $ 和 $ \mathbb{L}^{-1} $ 的有理函数，其极点由解析数据决定。