[论文解读] Upper bounds of topology of complex polynomials in two variables

Alexey Glutsyuk|ArXiv.org|Sep 30, 2005

Advanced Differential Equations and Dynamical Systems参考文献 2被引用 3

一句话总结

本文為由两个变量的多项式定义的复代数曲线的拓扑结构建立了显式的上界，重点关注临界值、消失上同调类以及阿贝尔积分的周期行列式。通过归一化、贝祖定理和范数估计，推导出上同调类长度、交点指标和积分的定量上界，最终得出周期行列式的一个下界，这对于研究动力系统和奇点理论中阿贝尔积分的零点至关重要。

ABSTRACT

The paper deals with a complex polynomial $H$ in two variables having - a generic highest homogeneous part (without multiple zero lines), - nonconstant lower terms. In particular, under these conditions the polynomial $H$ has at least two distinct critical values. We prove quantitative versions of this statement. Supposing $H$ appropriately normalized (by affine coordinate changes in the image and in the source) we prove upper bounds for the following quantities: - the sum of the coefficients of the lower terms; - the minimal size of a bidisc containing all the nontrivial topology of a given level curve $S_t=\{ H=t\}$; - the minimal lengths of representatives of cycles in $H_1(S_t,\zz)$ vanishing along appropriate paths from $t$ to the critical values of $H$; - the intersection indices of the latter cycles. All these results (expect for the latter bound) are used in my joint work with Yu.S.Ilyashenko "Restricted version of the Hilbert 16-th problem" (available on the arxiv). In the latter paper we obtain an explicit upper bound of the number of zeros for a wide class of Abelian integrals.

研究动机与目标

• 为两个变量复多项式的水平曲线的拓扑复杂度提供显式上界。
• 为消失上同调类的典范代表元的长度建立定量估计及其交点指标。
• 为与单项式微分形式相关的阿贝尔积分矩阵元素的绝对值建立上界，并为周期行列式建立下界。
• 为支持在多项式水平曲线的实椭圆上研究阿贝尔积分零点的应用。
• 推广对超莫尔斯多项式的结果，无需假设多项式或其形式为实数。

提出的方法

• 通过仿射变换对多项式进行归一化，以确保最高次齐次部分为一般型，且原点为临界点。
• 利用贝祖定理和对次数与系数的先验界，估计单位缩放多项式的拓扑结构。
• 应用最大范数与埃尔米特范数估计，以控制系数大小及与多项式相关的线性算子的范数。
• 为投影映射的最大临界值建立下界，以控制临界值的位置。
• 通过积分估计和渐近不等式（如对数和的斯特林型界）估计周期行列式公式中的常数 $ C_n $。
• 结合判别式、系数范数和常数 $ C(h, ar{\theta}) $ 的界，推导出周期行列式 $ \Delta(t) $ 的最终下界。

实验结果

研究问题

• RQ1 在适当的归一化下，两个变量复多项式的水平曲线的拓扑结构的显式上界是什么？
• RQ2 如何对水平曲线同调群中消失上同调类的典范代表元的长度进行界定？
• RQ3 水平曲线同调群中消失上同调类的交点指标的定量估计是什么？
• RQ4 如何对与单项式微分形式相关的阿贝尔积分矩阵元素的绝对值进行界定？
• RQ5 周期行列式 $ \Delta(t) = \det \mathbb{I}(t) $ 的精确下界是什么？其依赖于齐次部分和形式的方式如何？

主要发现

• 本文为复多项式水平曲线的拓扑结构建立了上界，表明临界点数量和拓扑复杂度受次数和归一化方式的控制。
• 证明了消失上同调类典范代表元的长度以 $ O(n^2) $ 为界，其依赖于临界值的几何结构。
• 消失上同调类的交点指标以 $ O(n^4) $ 为界，该界由其投影的分段数和拓扑约束导出。
• 阿贝尔积分矩阵 $ \mathbb{I}(t) $ 的元素绝对值上界为 $ \exp(O(n^2)) $，该界基于上同调类长度和系数范数的估计。
• 建立了周期行列式的精确下界：$ |\Delta(t)| > n^{-60n^3} (c')^{6n^3} $，其中 $ c' $ 为依赖于齐次部分的常数。
• 周期行列式公式中的常数 $ C_n $ 满足 $ \ln |C_n| > -12n^2 $，这对行列式的下界至关重要，并支持在分支理论和阿贝尔积分中的应用。