Let S be a normal complex analytic surface singularity. We say that S is arborescent if the dual graph of any good resolution of it is a tree. Whenever A,B are distinct branches on S, we denote by A·B their intersection number in the sense of Mumford. If L is a fixed branch, we define U L (A,B) = (L · A)(L · B)(A · B) -1 when A ≠= B and U L (A,A) = 0 otherwise. We generalize a theorem of Ploski concerning smooth germs of surfaces, by proving that whenever S is arborescent, then U L is an ultrametric on the set of branches of S different from L. We compute the maximum of U L , which gives an analog of a theorem of Teissier. We show that U L encodes topological information about the structure of the embedded resolutions of any finite set of branches. This generalizes a theorem of Favre and Jonsson concerning the case when both S and L are smooth.We generalize also from smooth germs to arbitrary arborescent ones their valuative interpretation of the dual trees of the resolutions of S. Our proofs are based in an essential way on a determinantal identity of Eisenbud and Neumann.
CITATION STYLE
García Barroso, E. R., González Pérez, P. D., & Popescu-Pampu, P. (2018). Ultrametric spaces of branches on arborescent singularities. In Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics: Festschrift for Antonio Campillo on the Occasion of his 65th Birthday (pp. 55–106). Springer International Publishing. https://doi.org/10.1007/978-3-319-96827-8_3
Mendeley helps you to discover research relevant for your work.