[论文解读] Desingularization in Computational Applications and Experiments

Anne Frühbis-Krüger|arXiv (Cornell University)|Jan 16, 2013

Polynomial and algebraic computation参考文献 12被引用 3

一句话总结

本文提出了在代数几何中应用奇异点解消的实用计算方法，重点是从算法计算的解消数据中提取不变量，如交形式、对偶图、分歧度、对数典范阈值和拓扑Zeta函数。通过Singular软件演示了这些技术，并展示了其在Bernstein-Sato多项式及正特征下的实验性解消中的相关性。

ABSTRACT

After briefly recalling some computational aspects of blowing up and of representation of resolution data common to a wide range of desingularization algorithms (in the general case as well as in special cases like surfaces or binomial varieties), we shall proceed to computational applications of resolution of singularities in singularity theory and algebraic geometry, also touching on relations to algebraic statistics and machine learning. Namely, we explain how to compute the intersection form and dual graph of resolution for surfaces, how to determine discrepancies, the log-canoncial threshold and the topological Zeta-function on the basis of desingularization data. We shall also briefly see how resolution data comes into play for Bernstein-Sato polynomials, and we mention some settings in which desingularization algorithms can be used for computational experiments. The latter is simply an invitation to the readers to think themselves about experiments using existing software, whenever it seems suitable for their own work.

研究动机与目标

• 将奇异点解消的理论与代数几何和奇点理论中的实际计算应用相连接。
• 展示如何利用通过爆破生成的算法解消数据来计算关键不变量，如对偶图和交形式。
• 探讨解消数据在计算分歧度、对数典范阈值和拓扑Zeta函数中的作用。
• 建议在具有挑战性的场景（如正特征和Bernstein-Sato多项式分析）中实验性地使用解消算法。
• 通过Singular软件系统提供可访问的、带代码示例的实现，以促进可重现研究和工具熟悉度。

提出的方法

• 利用基于爆破的算法解消，特别是Singular中实现的Villamayor算法的一种变体。
• 在多个坐标图中表示解消数据，重点在于识别和粘合公共点，而非纯粹的理论粘合。
• 应用嵌入解消来计算分歧度和对数典范阈值，需详细追踪例外除子及其重数。
• 通过分析例外除子的结构及其分量，利用解消数据计算拓扑Zeta函数。
• 在主化后，利用单变量函数Bernstein-Sato多项式的已知形式，从例外重数推断其根。
• 提出在正特征中实验性地使用解消算法，特别是用于测试Hironaka型方法中的结构性失败。

实验结果

研究问题

• RQ1 如何系统地利用算法解消的解消数据来计算表面奇点的对偶图和交形式？
• RQ2 计算分歧度和对数典范阈值需要哪些解消数据？这些数据在嵌入解消中如何组织？
• RQ3 解消数据在计算拓扑Zeta函数和Bernstein-Sato多项式方面可提供哪些信息？
• RQ4 在正特征中应用解消算法可获得哪些实验性见解，特别是关于最大接触失败和辅助理想阶数增加的问题？
• RQ5 已知的解消数据在预测或理解Bernstein-Sato多项式根的分母方面可能发挥什么作用？

主要发现

• 通过仅利用例外除子的基本结构及其交点，可直接从解消数据计算出表面奇点的对偶图和交形式。
• 计算分歧度和对数典范阈值需要嵌入解消数据，包括严格变换和例外除子的重数。
• 通过分析例外除子及其分量的配置，可从解消数据计算出拓扑Zeta函数。
• 在主化后，单变量函数的Bernstein-Sato多项式的根为形如$-k/r_i$的有理数，其中$r_i$为例外重数。
• 根据Hauser的研究，正特征中最大接触的失败和辅助理想阶数的增加是Hironaka型解消的主要障碍。
• 在正特征中，算法解消可实验性地用于搜索反例或结构模式，特别是在使用修改实现的二维情形下。