This presentation will focus on recent applications of persistent homology to the study of curvature measures, objects that provide a unified description of the curvatures of submanifolds of Euclidean spaces as well as many singular sets.
We introduce two new distances on the space of compact subsets of a Euclidean space, similar to the Fréchet distance but weaker, and show how tools from persistence theory yield continuity results for curvature measures with respect to these distances on a large class of compact sets, possibly non-smooth. More generally, we prove the continuity of the normal cycle, a current associated with sufficiently regular compact sets from which curvature measures can be defined. As a corollary, we show that every compact set definable in an o-minimal structure admits a normal cycle, and provide a new proof of this fact for sublevel sets of differences of convex functions at weakly regular values, which answers a question raised by Fu on the normal cycles of sublevel sets of differences of convex functions.