[论文解读] A polyhedral approach to the invariant of Bierstone and Milman

Bernd Schober|arXiv (Cornell University)|Oct 24, 2014

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

一句话总结

本文提出了一种纯粹的多面体方法，用于计算特征零下奇异点解析中Bierstone与Milman引入的不变量。通过分析特征多面体及其投影，作者表明关键不变量——高阶重数和例外除子计数——可从多面体数据组合地推导得出，从而消除了对代数几何技术（如最大接触或系数理想）的依赖。

ABSTRACT

Based on previous work by the author we deduce that the invariant introduced by Bierstone and Milman in order to give a proof for constructive resolution of singularities in characteristic zero can be determined purely by considering certain polyhedra and their projections.

研究动机与目标

• 提供Bierstone-Milman不变量的纯粹组合性、多面体表征，用于构造性奇异点解析。
• 通过用多面体投影替代最大接触和系数理想等几何构造，消除对它们的依赖。
• 证明不变量的各组成部分——高阶重数和例外除子贡献——可从特征多面体的结构中推导得出。
• 通过将解析策略简化为格点几何与多面体上的凸分析，实现统一与简化。
• 建立一个完全由多面体投影与阶条件的组合学决定的解析过程框架。

提出的方法

• 本文采用Hironaka的对与理想指数理论，以允许的爆破下的等价类表示。
• 引入与对 𝔼 = (J,b) 相关的特征多面体 Δ(𝔼)，其编码了理想在局部的结构及其在爆破下的行为。
• 通过使用由 β_j = (ν_2⋯ν_j)^{-1} 定义的加权格范数，将不变量分量 ν_i 通过这些多面体在坐标子空间上的投影计算得出。
• 通过分析定义函数关于 z-变量与例外除子的拟齐次分解，追踪多面体数据在连续爆破中的演化。
• 定义递归构造（如 𝒢_r(x), 𝒻_r(x), 𝒽_r(x)），通过多面体投影在每一步追踪理想指数数据。
• 该方法的关键在于区分 E-部分（例外除子）与 D-部分（定义理想），关键洞见在于当 E 为空时，多面体结构完全决定了下一步。

实验结果

研究问题

• RQ1 Bierstone-Milman 不变量是否可不依赖最大接触或系数理想进行计算？
• RQ2 在多面体特征结构的组合学框架下，解析不变量在多大程度上可被重构？
• RQ3 多面体的投影如何编码高阶重数 ν_i 与例外除子贡献 s_i？
• RQ4 加权格范数 L_ν(B) 在确定下一步爆破中心时起什么作用？
• RQ5 在无例外除子的情况下，多面体结构在何种条件下能完全决定解析过程？

主要发现

• 不变量分量 ν_i ∈ ℚ₀ ∪ {∞} 可完全从特征多面体及其投影的几何结构中计算得出。
• 当例外除子数据 𝒟_r+1 非平凡（即 D_r+1 ≠ 1）时，下一不变量 ν_r+1 严格小于 μ_r+1，表明解析过程取得进展。
• 当 E-部分为空时，多面体结构完全决定了下一步爆破中心，问题简化为格点投影。
• 𝒢_r(x)、𝒻_r(x) 与 𝒽_r(x) 的递归构造完全由多面体数据决定，其显式公式涉及拟齐次分量 F_B,i(u) 与加权次数。
• 当 ν_r+1 = ∞ 时，爆破中心为 V(z_1,…,z_r)，对应于不变量的最大可能下降。
• 整个解析策略可完全从多面体数据重构，无需参考代数或微分几何构造（如最大接触或系数理想）。