[论文解读] The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses

Evelia R. García Barroso, Pedro D. González Pérez+1 more|arXiv (Cornell University)|Sep 16, 2019

Polynomial and algebraic computation参考文献 123被引用 5

一句话总结

本文通过引入一种称为“莲花”（lotus）的几何对象，将平面曲线奇点的三个经典组合不变量——Eggers-Wall 树、Enriques 图和加权对偶图——统一起来。该莲花对象由牛顿多边形经环面几何与热带几何构造而成。莲花作为一个共同框架，编码并关联了这些树的数值不变量，通过一系列环面变换生成的二维单纯复形揭示了它们之间的相互结构。

ABSTRACT

This survey may be seen as an introduction to the use of toric and tropical geometry in the analysis of plane curve singularities, which are germs $(C,o)$ of complex analytic curves contained in a smooth complex analytic surface $S$. The embedded topological type of such a pair $(S, C)$ is usually defined to be that of the oriented link obtained by intersecting $C$ with a sufficiently small oriented Euclidean sphere centered at the point $o$, defined once a system of local coordinates $(x,y)$ was chosen on the germ $(S,o)$. If one works more generally over an arbitrary algebraically closed field of characteristic zero, one speaks instead of the combinatorial type of $(S, C)$. One may define it by looking either at the Newton-Puiseux series associated to $C$ relative to a generic local coordinate system $(x,y)$, or at the set of infinitely near points which have to be blown up in order to get the minimal embedded resolution of the germ $(C,o)$ or, thirdly, at the preimage of this germ by the resolution. Each point of view leads to a different encoding of the combinatorial type by a decorated tree: an Eggers-Wall tree, an Enriques diagram, or a weighted dual graph. The three trees contain the same information, which in the complex setting is equivalent to the knowledge of the embedded topological type. There are known algorithms for transforming one tree into another. In this paper we explain how a special type of two-dimensional simplicial complex called a lotus allows to think geometrically about the relations between the three types of trees. Namely, all of them embed in a natural lotus, their numerical decorations appearing as invariants of it. This lotus is constructed from the finite set of Newton polygons created during any process of resolution of $(C,o)$ by successive toric modifications.

研究动机与目标

• 统一平面曲线奇点的三个经典组合不变量：Eggers-Wall 树、Enriques 图和加权对偶图。
• 建立一个几何框架，通过一种新构造对象——莲花——将这些不变量关联起来，该对象由牛顿多边形构建。
• 展示环面几何与热带几何如何自然地编码嵌入解析解的组合结构。
• 阐明莲花构造对坐标系选择与局部环完备化过程的依赖性。
• 通过莲花构造，在代数不变量（牛顿-普瓦松级数）与几何不变量（解析解树）之间建立概念性桥梁。

提出的方法

• 从曲线奇点相对于坐标轴的牛顿多边形构造牛顿扇形。
• 通过连续的环面变换解析奇点，生成一个追踪解析过程的扇形树。
• 将莲花定义为与牛顿扇形相关的二维单纯复形，编码所有数值不变量。
• 利用幂级数与牛顿-普瓦松级数的热带化，通过连分数将莲花与 Eggers-Wall 树关联。
• 引入截断莲花以分析局部行为，并研究其在坐标系变换下的稳定性。
• 通过数值装饰建立莲花与三种解析树（Eggers-Wall、Enriques、对偶图）之间的双射。

实验结果

研究问题

• RQ1 如何将平面曲线奇点的三个经典不变量（Eggers-Wall 树、Enriques 图、加权对偶图）统一于单一几何对象之下？
• RQ2 牛顿多边形及其热带化在构建解析不变量的共同组合框架中起到何种作用？
• RQ3 莲花构造如何依赖于局部坐标系的选择与局部环的完备化过程？
• RQ4 连分数与斜率函数在将莲花与 Eggers-Wall 树关联中起什么作用？
• RQ5 莲花能否用于算法性地在不同解析不变量之间进行转换？

主要发现

• 莲花是由曲线奇点的牛顿扇形构造出的二维单纯复形，编码了解析过程中所有数值不变量。
• 莲花为 Eggers-Wall 树提供了几何实现，其树的赋值与邻近关系作为莲花的组合特征被嵌入其中。
• 莲花的构造在同构意义下与坐标系选择无关，尽管具体实现依赖于局部环的完备化。
• 截断莲花捕捉了局部不变量，并允许在不同坐标系之间稳定比较解析数据。
• 莲花构造通过斜率函数与牛顿-普瓦松数据，自然建立了扇形树（来自环面伪解析）与 Eggers-Wall 树之间的对应关系。
• 莲花统一了三种解析不变量：加权对偶图、Enriques 图与 Eggers-Wall 树，所有这些树均以保持其数值装饰的形态嵌入莲花中，作为不变量保留。