Triangulating surfaces with bounded energy (Q2160996)

The general topic of the paper is triangulating surfaces with bounded energy. Inspired by a generalization of the Fáry-Milnor theorem (which states that a knot in \(\mathbb{R}^3\) whose total curvature is less than \(4\pi\) is necessarily trivial) to surfaces the main result reads as follows: A closed Lipschitz surface in \(\mathbb{R}^n\) that has bounded Kolasinski-Menger energy \(\mathscr{E}_p^\ell\) can be triangulated with triangles whose number is bounded by the energy and the area. Furthermore, each of the triangles is an image of a subset of a plane under a diffeomorphism whose distortion is bounded by \(\sqrt{2}\). Here the Kolasinski-Menger energy \(\mathscr{E}_p^\ell\) of a given Lipschitz submanifold \(\Sigma\subset \mathbb{R}^n\) of dimension \(m<n\) with \(\ell \in\{1,\ldots,m+2\}\) and \(p > 0\) is given by \[ \mathscr{E}_p^\ell(\Sigma)= \int_{\Sigma^\ell} \sup_{x_{\ell}, \ldots, x_m{+2} \in \Sigma} \frac{1}{d^m} \mbox{vol}_m\triangle(x_0,\ldots,x_{m+2})^p d \mbox{vol}(\Sigma^\ell), \] where \(\triangle(x_0,\dots,x_n)\) is the simplex spanned by \(x_0,\dots x_n\), \(d\) is the diameter of \(\triangle(x_0,\ldots,x_{m+2})\) and the integral is computed with respect to the variables \(x_0,\ldots , x_{\ell-1}\).