21 research outputs found
Ultrametric spaces of branches on arborescent singularities
Let be a normal complex analytic surface singularity. We say that is
arborescent if the dual graph of any resolution of it is a tree. Whenever
are distinct branches on , we denote by their intersection
number in the sense of Mumford. If is a fixed branch, we define when and
otherwise. We generalize a theorem of P{\l}oski concerning smooth germs of
surfaces, by proving that whenever is arborescent, then is an
ultrametric on the set of branches of different from . We compute the
maximum of , which gives an analog of a theorem of Teissier. We show that
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 and are smooth. We generalize
also from smooth germs to arbitrary arborescent ones their valuative
interpretation of the dual trees of the resolutions of . Our proofs are
based in an essential way on a determinantal identity of Eisenbud and Neumann.Comment: 37 pages, 16 figures. Compared to the first version on Arxiv, il has
a new section 4.3, accompanied by 2 new figures. Several passages were
clarified and the typos discovered in the meantime were correcte