New differential operator and noncollapsed RCD spaces

We show characterizations of noncollapsed compact math spaces, which in particular confirm a conjecture of De Philippis and Gigli on the implication from the weakly noncollapsed condition to the noncollapsed one in the compact case. The key idea is to give the explicit formula of the Laplacian associated to the pullback Riemannian metric by embedding in math via the heat kernel. This seems to be the first application of geometric flow to the study of math spaces.