[论文解读] Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program) Part II. Basic invariants associated to the idealistic filtration and their properties

Hiraku Kawanoue, Kenji Matsuki|arXiv (Cornell University)|Dec 1, 2006

Algebraic Geometry and Number Theory参考文献 5被引用 7

一句话总结

该论文为正特征下的理想滤子程序建立了基础不变量 σ 和 μ̃，证明了它们的上半连续性，并通过幂级数展开将 μ̃ 解释为初始项。这些不变量构成了一个解析算法的核心，通过定义爆破中心，在不依赖问题重重的 R-饱和性的情况下，实现了正特征下的奇点解析。

ABSTRACT

This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.

研究动机与目标

• 为正特征下 D-饱和理想滤子定义并研究不变量 σ。
• 通过函数模滤子的幂级数展开，引入并分析不变量 μ̃。
• 证明对 (σ, μ̃) 的上半连续性，这对于构造解析算法至关重要。
• 通过表征关键不变量，为正特征下解析的算法实现奠定基础。
• 探索在程序中消除 R-饱和性的可能性，仅依赖 D-饱和性，从而解决终止性问题。

提出的方法

• 将 σ 定义为在某一点处与理想滤子的首阶代数相关联的整数序列。
• 为滤子中的函数引入幂级数展开，其系数由对数微分算子导出。
• 在 D-饱和性背景下，证明幂级数展开的存在性与唯一性。
• 建立形式系数引理，将系数与模滤子的零点阶数关联起来。
• 将 μ̃ 定义为幂级数展开中常数项的阶数，且不依赖于局部坐标的选择。
• 利用幂级数展开将 μ̃ 解释为函数模滤子的零点阶数，从而支持算法应用。

实验结果

研究问题

• RQ1 如何为正特征下 D-饱和理想滤子定义并计算不变量 σ？
• RQ2 幂级数展开在表征不变量 μ̃ 中起什么作用？
• RQ3 对 (σ, μ̃) 的上半连续性如何支持解析算法中爆破中心的构造？
• RQ4 不变量 μ̃ 是否可独立于局部坐标或生成元定义？
• RQ5 是否可以仅使用 D-饱和性构造一个解析算法，从而避免对 R-饱和性的依赖？

主要发现

• 不变量 σ 在环的谱上是良定义的且上半连续的，确保了在特殊化下的稳定性。
• 在 D-饱和性下，函数模滤子的幂级数展开存在且唯一，从而可对初始项进行精确分析。
• 不变量 μ̃ 等于幂级数展开中常数项的阶数，提供了几何解释。
• 对 (σ, μ̃) 的上半连续性是关键性质，对于在解析算法中定义爆破中心至关重要。
• 形式系数引理确保了幂级数中最低次项系数是良定义的，并且在坐标变换下保持不变。
• 附录表明 R-饱和性可能并非必要，为解决正特征下的终止性问题提供了潜在路径。