Behaviour of the reference measure on \(\mathsf{RCD}\) spaces under charts (Q2075684)

The structure of charts in finite-dimensional spaces with Ricci curvature bounded from below (RCD spaces) is investigated. By a result of Mondino-Naber it holds that: Given \((X,d,\mathfrak{m})\) an \(\text{RCD}^*(K,N)\) space and \(\epsilon > 0\), then \(\mathfrak{m}\)-a.e., \(X\) can be partitioned into a countable number of Borel subsets \((U_i)\), each \((1+\epsilon)\)-biLipschitz to some subset of \(\mathbb{R}^{n_i}\), where \(n_i \leq N\) for every \(i\). Informally the main result of the article is stated as follows: Let \((X,d,\mathfrak{m})\) be a \(\text{RCD}^*(K,N)\) space, \(\epsilon > 0\) sufficiently small and \((U_i, \varphi_i)\) the partition given by Mondino-Naber's theorem and the associated coordinate charts. Then \[ (\varphi_i)_*(\mathfrak{m}_{|U_i}) \ll \mathcal{L}^{n_i} \quad \forall i. \] This is equivalent to the fact that the restriction of \(\mathfrak{m}\) to \(U_i\) is absolutely continuous w.r.t. the \(n_i\)-dimensional Hausdorff measure. In the case of Ricci-limit spaces an analogous result was already known from the work of Cheeger-Colding, the technique used to prove the previous result is not applicable in this case however. Instead, a result by De Philippis-Rindler is used to obtain the result.