Quantitative estimates on the C²-singular sets in Alexandrov spaces

arXiv2306.03382MaRDI QIDQ6439331FDOQ6439331

Nan Li

Publication date: 5 June 2023

Abstract: In this paper, we define a function $mathcalK(x)ge0$ on Alexandrov space $X$, which measures the extent to which the metric of $X$ is locally $C^2$ at the point $x$. The measure $mathcalK(x),operatornamedmathcal{H}^{n-1}$ on $X$ is the counterpart of the curvature measure $scal,operatornamed{vol}_g$ on smooth manifolds. In particular, we have that every point in the $C^2$-singular set $mathcalKS(X)=xinXcolonmathcalK(x)>0$ is not locally $C^2$. The larger $mathcalK(x)$ is, the more bending the space would look like near $x$. Examples demonstrate that $mathcalKS(X)$ can have co-dimension 1. We prove that this is the worst that can be. Moreover, we show that $in{t}_{B_r(p)}mathcalK(x),operatornamedmathcal{H}^{n-1}lec(n,kappa,u)r^{n-2}$ for any $n$-dimensional Alexandrov space $(X,p)$ with curv $gekappa$ and $operatornameVolleft(B_1(p)ight)geu>0$. This leads to the Hausdorff dimension estimate $di{m}_{m}athcalH(mathcalKmathcalS(X))len-1$, and the Hausdorff measure estimate $mathcal{H}^{n-1}left(mathcalKmathcal{S}_{e}psilon(X)cap{B}_{r}ight)leepsilo{n}^{-1}cdotc(n,u)r^{n-2}$, where $mathcalK{S}_{e}psilon(X)=xinXcolonmathcalK(x)geepsilon$. These results provide quantitative estimates of $C^2$-singular points in Alexandrov spaces and make progress on Naber's conjecture on the convergence of curvature measures. We also show that if $n$-dimensional Alexandrov spaces $X_i$ Gromov-Hausdorff converge to a smooth manifold without collapsing, then $mathcal{K}_i,operatornamedmathcal{H}^{n-1}o0$ as a measure.

This page was built for publication: Quantitative estimates on the $C^2$-singular sets in Alexandrov spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6439331)