[논문 리뷰] The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses

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

Polynomial and algebraic computation참고 문헌 123인용 수 5

한 줄 요약

이 논문은 평면 곡선 특이점의 세 가지 고전적 조합적 불변량—Eggers-Wall 트리, Enriques 다이어그램, 가중치가 부여된 이중 그래프—을 통합하기 위해, 토릭 기하와 트로픽 기하를 통해 뉴턴 다각형에서 유도된 기하적 대상인 'lotus'를 도입한다. lotus는 연속적인 토릭 수정을 통해 유도되는 이차원 단체 복합체로서, 이들 트리의 수치적 불변량을 코딩하고 상호 연결함으로써, 해석적 해소 과정의 공통 프레임워크를 제공한다.

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 다이어그램, 가중치가 부여된 이중 그래프—을 통합하는 것.
• 뉴턴 다각형에서 유도된 새로운 대상인 'lotus'를 통해 이들 불변량을 연결하는 기하적 프레임워크를 구축하는 것.
• 토릭 기하와 트로픽 기하가 임베딩 해소 과정의 조합론을 기록하는 데 자연스러운 언어를 제공하는 방식을 보여주는 것.
• lotus의 국소 좌표계 및 국소 환의 완비화 과정에 대한 의존성에 대한 명확한 설명을 제공하는 것.
• 알고리즘적 해소 과정에서 대수적 불변량(뉴턴-푸아제-급수)과 기하적 불변량(해소 트리) 간의 개념적 다리를 놓는 것.

제안 방법

• 곡선 특이점의 뉴턴 다각형을 국소 좌표축에 대해 기반으로 하는 뉴턴 팬을 구성한다.
• 특이점을 해소하기 위해 연속적인 토릭 수정을 적용하여, 해소 과정을 추적하는 팬 트리를 생성한다.
• 뉴턴 팬과 관련된 두 차원 단체 복합체로 된 lotus를 정의하며, 이는 모든 수치적 불변량을 코딩한다.
• 다항식의 트로픽화와 뉴턴-푸아제-급수를 이용하여, 연속 분수를 통해 lotus와 Eggers-Wall 트리 간의 관계를 규명한다.
• 국소 행동 분석과 좌표계 변화에 대한 안정성을 위해 절단된 lotus를 도입한다.
• 수치 장식을 통해 lotus와 세 가지 해소 트리 유형(예: Eggers-Wall, Enriques, 이중 그래프) 간의 전단사 관계를 수립한다.

실험 결과

연구 질문

• RQ1 세 가지 고전적 불변량(예: Eggers-Wall 트리, Enriques 다이어그램, 가중치가 부여된 이중 그래프)이 하나의 기하적 대상 아래 통합될 수 있는가?
• RQ2 뉴턴 다각형과 그 트로픽화는 해소 불변량을 위한 공통의 조합론적 프레임워크를 어떻게 구성하는가?
• RQ3 lotus 구축 과정에서 국소 좌표계와 국소 환의 완비화 과정의 영향은 어떠한가?
• RQ4 연속 분수와 기울기 함수는 lotus와 Eggers-Wall 트리 간의 관계를 어떻게 규명하는가?
• RQ5 lotus를 이용해 서로 다른 해소 불변량 간의 변환을 알고리즘적으로 수행할 수 있는가?

주요 결과

• lotus는 곡선 특이점의 뉴턴 팬에서 유도된 두 차원 단체 복합체로, 해소 과정의 모든 수치적 불변량을 코딩한다.
• lotus는 Eggers-Wall 트리의 기하적 실체화를 제공하며, 트리의 평가 및 인접 관계가 lotus의 조합론적 특성으로 내재되어 있다.
• lotus의 구축은 동형 사상의 범위에서는 좌표계 선택에 독립적이지만, 특정 실현은 국소 환의 완비화에 의존한다.
• 절단된 lotus는 국소 불변량을 캡처하며, 다양한 좌표계 간의 해소 데이터 비교를 안정적으로 가능하게 한다.
• lotus 구축은 토립식 가짜 해소에서 유도된 팬 트리와 Eggers-Wall 트리 간의 자연스러운 대응 관계를 확립하며, 기울기 함수와 뉴턴-푸아제 데이터를 통해 이를 뒷받침한다.
• lotus는 세 가지 해소 불변량—가중치가 부여된 이중 그래프, Enriques 다이어그램, Eggers-Wall 트리—를 통합하며, 이들 모두가 수치 장식이 유지되는 상태로 lotus에 임베딩된다.