The valuative tree is the projective limit of Eggers-Wall trees
arXiv:1807.02841 · doi:10.1007/s13398-019-00646-z
Abstract
Consider a germ of reduced curve on a smooth germ of complex analytic surface. Assume that contains a smooth branch . Using the Newton-Puiseux series of relative to any coordinate system on such that is the -axis, one may define the {\em Eggers-Wall tree} of relative to . Its ends are labeled by the branches of and it is endowed with three natural functions measuring the characteristic exponents of the previous Newton-Puiseux series, their denominators and contact orders. The main objective of this paper is to embed canonically into Favre and Jonsson's valuative tree of real-valued semivaluations of up to scalar multiplication, and to show that this embedding identifies the three natural functions on as pullbacks of other naturally defined functions on . As a consequence, we prove an inversion theorem generalizing the well-known Abhyankar-Zariski inversion theorem concerning one branch: if is a second smooth branch of , then the valuative embeddings of the Eggers-Wall trees and identify them canonically, their associated triples of functions being easily expressible in terms of each other. We prove also that the space is the projective limit of Eggers-Wall trees over all choices of curves . As a supplementary result, we explain how to pass from to an associated splice diagram.
45 pages, 20 figures
Cited by in corpus (5)
- The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses
- Inner geometry of complex surfaces: a valuative approach
- On Lipschitz Normally Embedded complex surface germs
- Permutations encoding the local shape of level curves of real polynomials via generic projections
- Local tropicalizations of splice type surface singularities