The Hausdorff distance and metrics on toric singularity types

Abstract

Given a compact Kähler manifold $(X,\omega )$, due to the work of Darvas-Di Nezza-Lu, the space of singularity types of $\omega$-psh functions admits a natural pseudo-metric $d_{\mathcal{S}}$ that is complete in the presence of positive mass. When restricted to model singularity types, this pseudo-metric is a bona fide metric. In case of the projective space, there is a known one-to-one correspondence between toric model singularity types and convex bodies inside the unit simplex. Hence in this case it is natural to compare the $d_{\mathcal{S}}$ metric to the classical Hausdorff metric. We provide precise Hölder bounds, showing that their induced topologies are the same. More generally, we introduce a quasi-metric $d_G$ on the space of compact convex sets inside an arbitrary convex body $G$, with $d_{\mathcal{S}}=d_G$ in case $G$ is the unit simplex. We prove optimal Hölder bounds comparing $d_G$ with the Hausdorff metric. Our analysis shows that the Hölder exponents differ depending on the geometry of $G$, with the worst exponents in case $G$ is a polytope, and the best in case $G$ has $C^2$ boundary.

arXiv commentv1. Results of an REU summer project