[论文解读] Hypergeometric periods for a tame polynomial

Claude Sabbah|May 18, 1998

Advanced Differential Equations and Dynamical Systems被引用 52

一句话总结

本文通过傅里叶变换下高斯-马尼安系统上的马尔格朗日-卡施ワ拉过滤，建立了复数域 $\mathbb{C}^{n+1}$ 上可驯多项式的一个谱，证明了超几何周期积分的行列式公式可表示为 $\Gamma(s + \beta)$ 因子的乘积，其中 $\beta$ 为谱指标。该构造通过与莱夫谢茨棱柱相关的新型渐近过滤，将巴尔肯和杜阿伊的结果推广至非孤立奇点情形。

ABSTRACT

We analyse the Gauss-Manin system of differential equations---and its Fourier transform---attached to regular functions satisfying a tameness assupmption on a smooth affine variety over C (e.g. tame polynomials on C^{n+1}). We give a solution to the Birkhoff problem and prove Hodge-type results analogous to those existing for germs of isolated hypersurface singularities.

研究动机与目标

• 为 $\mathbb{C}^{n+1}$ 上的可驯多项式定义一个规范谱，将孤立超曲面奇点的局部谱推广至同调可驯的非孤立情形。
• 解决可驯正则函数高斯-马尼安系统的伯克霍夫问题，确保存在良好基和谱数据。
• 证明超几何积分 $\int_{\gamma} f^s \omega$ 的周期矩阵行列式为 $\Gamma(s + \beta)$ 因子的乘积，模以周期函数，其中 $\beta$ 属于谱。
• 建立布里松格格 $G_0$ 及其傅里叶变换的霍奇型定理，类比于孤立奇点情形。

提出的方法

• 将可驯多项式 $f$ 的高斯-马尼安系统 $M$ 视为 $\mathbb{C}[t]\langle\partial_t\rangle$ 上的正则 $\mathcal{D}$-模，其中布里松格格 $M_0$ 定义为 $\mathbb{C}[t]$ 上的自由模。
• 将 $M$ 的傅里叶-拉普拉斯变换 $G$ 视为 $\mathbb{C}[\tau]\langle\partial_\tau\rangle$ 上的 $\mathcal{D}$-模，其中 $\tau = \partial_t$，$\partial_\tau = -t$，且 $G_0 = M_0$ 作为 $\mathbb{C}[\theta]$-模，$\theta = \tau^{-1}$。
• 谱定义为在 $\tau = 0$ 处对雅可比商 $\mathbb{C}[x_0,\dots,x_n]/(\partial_{x_i}f)$ 上诱导的马尔格朗日-卡施瓦拉过滤 $V_\bullet G$ 的跳跃指标。
• 利用莱夫谢茨棱柱 $\delta$ 的积分 $\int_\delta \omega e^{-\tau f}$ 在 $\tau \to 0$ 时的渐近行为来定义过滤，取代通常在 $\tau \to \infty$ 时的驻相法。
• 使用阿蒙托复形 $\mathbb{C}(s) \otimes_\mathbb{C} \Omega^\bullet[1/f]$ 将周期矩阵行列式与 $\Gamma$-因子的乘积联系起来。
• 利用过滤 $\mathcal{D}$-模 $G$ 上的对偶性与霍奇对称性，证明谱是对称的，且过滤 $G_\bullet \operatorname{gr}_\alpha^V G$ 是严格的，从而确保谱分解行为良好。

实验结果

研究问题

• RQ1 能否为具有非孤立奇点的可驯多项式定义一个类似于孤立超曲面奇点谱的规范谱？
• RQ2 周期矩阵 $\int_\gamma f^s \omega$ 的行列式是否可分解为 $\Gamma(s + \beta)$ 项的乘积，其中 $\beta$ 为谱指标，模以 $s$ 的周期函数？
• RQ3 高斯-马尼安系统傅里叶变换上的马尔格朗日-卡施瓦拉过滤如何与积分 $\int_\delta \omega e^{-\tau f}$ 在 $\tau \to 0$ 时的渐近行为相关联？
• RQ4 布里松格格 $G_0$ 上的霍奇结构是否与谱过滤相容？其是否满足类似于孤立情形的对偶性与严格性性质？
• RQ5 可驯函数的高斯-马尼安系统是否可解伯克霍夫问题，以确保良好基与谱分解的存在？

主要发现

• 可驯多项式的谱被定义为在 $\tau = 0$ 处对雅可比商上诱导的马尔格朗日-卡施瓦拉过滤 $V_\bullet G$ 的跳跃指标，推广了巴尔肯与杜阿伊的构造。
• 证明了超几何积分 $\int_\gamma f^s \omega$ 的周期矩阵行列式为 $\Gamma(s + \beta)$ 因子的乘积，其中 $\beta$ 为谱指标，模以 $s$ 的周期函数，确认了杜阿伊在可驯情形下的猜想。
• 对所有 $\alpha \in [0,1)$，过滤 $G_\bullet \operatorname{gr}_\alpha^V G$ 是严格的，确保谱分解定义良好且与霍奇结构相容。
• 谱是对称的：$\nu_\alpha = \nu_{1-\alpha}$，且 $\nu_\beta = 0$ 对于 $\beta < 0$，此性质由过滤 $\mathcal{D}$-模上的对偶性与霍奇对称性导出。
• 布里松格格 $G_0$ 是 $\mathbb{C}[\theta]$ 上的自由模，且纤维 $G_0 / \theta G_0$ 同构于雅可比商，模以一个体积形式。
• 通过证明过滤 $\mathcal{D}$-模 $G$ 允许与霍奇与谱结构相容的良好过滤，解决了伯克霍夫问题，从而确保了良好基与谱分解的存在。