[论文解读] Local monomialization of a system of first integrals of Darboux type

André Belotto da Silva|arXiv (Cornell University)|Nov 19, 2014

Advanced Differential Equations and Dynamical Systems参考文献 18被引用 5

一句话总结

本文证明了在复解析或实解析奇点叶状结构中，$ n $ 个 Darboux 型首次积分系统存在局部单项式化。通过有限次可接受的局部爆破，作者将叶状结构简化为单项式奇点，确保首次积分在适配于简单交叉除数的局部坐标下成为单项式。

ABSTRACT

Given a real- or complex-analytic singular foliation $θ$ with $n$ first integrals of meromorphic or Darboux type $(f_1,\dots,f_n)$, we prove that there exists a local monomialization of the first integrals. In particular, if $θ$ is generated by the $n$ first integrals, we prove the existence of a local reduction of singularities of $θ$ to monomial singularities.

研究动机与目标

• 解决问题 1.2：在奇点叶状结构中实现 $ n $ 个 $ \mathcal{K} $-Darboux 型首次积分的局部单项式化。
• 为任意维数的完全可积叶状结构提供奇点的局部简化。
• 建立研究伪阿贝尔积分的框架，通过将叶状结构转化为单项式形式。
• 将奇点简化技术从低维情形（如二维和三维）推广到一般维数。
• 确保当 $ \mathcal{K} = \mathbb{Q} $ 时，单项式首次积分为解析形式，保持原始系统的解析结构。

提出的方法

• 使用可接受的局部爆破——即与异常除数横截的光滑中心的爆破组合。
• 构造有限个态射 $ \tau_i: (M_i, E_i) \to (M, E) $，以实现奇点的局部简化。
• 应用坐标变换，使首次积分在局部坐标下表示为单项式 $ \mathbf{x}^{\boldsymbol{\alpha}_i} $。
• 使用多指标记号 $ \boldsymbol{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $，其中指数在 $ \mathbb{K} $ 上线性无关。
• 分析爆破下理想层生成元的拉回，根据哪个生成元被提升为最小阶项来区分情况。
• 使用单位展开和在原点处消失的 $ \Omega $-项，以控制零点的阶数，确保单项式结构。

实验结果

研究问题

• RQ1 能否在奇点叶状结构中对 $ n $ 个 $ \mathcal{K} $-Darboux 型首次积分系统实现局部单项式化？
• RQ2 是否存在一种通过可接受爆破实现任意维数下完全可积叶状结构的局部奇点简化方法？
• RQ3 当 $ \mathcal{K} = \mathbb{Q} $ 时，单项式化过程能否保持解析性？
• RQ4 在简化过程中，首次积分的零点阶数在连续爆破下的行为如何？
• RQ5 单项式首次积分的指数与叶状结构的李代数结构之间有何关系？

主要发现

• 成功解决问题 1.2：存在有限次可接受局部爆破的复合，使得叶状结构的严格提升具有 $ n $ 个单项式首次积分。
• 单项式首次积分适配于一个简单交叉除数 $ \widetilde{E} $，且满足 $ \mathrm{supp}\,\widetilde{E} = \{x_1 \cdots x_l = 0\} $。
• 指数 $ \boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n \in \mathcal{K}^m $ 在 $ \mathbb{K} $ 上线性无关，确保非退化性。
• 当 $ \mathcal{K} = \mathbb{Q} $ 时，所得的单项式首次积分为解析形式，保持原始系统的解析性质。
• 证明根据哪个理想生成元的拉回成为最小阶项，区分了三种情况，且在所有情况下均表明零点阶数 $ \nu(q, \omega_r, \mathcal{D}_r) < \nu $，从而保证不变量的下降。
• 该方法确保任意单项式首次积分的总提升仍为单位乘以单项式，且在爆破下具有受控的奇异性行为。