Pyramids and Extended Metric Measure Spaces

A pyramid is a generalisation of metric measure spaces (mm-spaces) introduced by M.~Gromov (Birkhäuser 1999) to establish a geometric framework for measure-concentration problems. An extended metric measure space (emm-space) is another generalisation of mm-spaces introduced by Ambrosio--Gigli--Savaré (Invent.~Math.~2014) to extend Sobolev calculus and optimal transport theory to a broader extent.
We prove that every pyramid has a representation by an emm-space through $1$-Lipschitz order. Furthermore, if pyramids are concentrated, this correspondence is unique up to isomorphism. This shows, for the first time, that all pyramids can be realised by concrete geometric spaces.
Based on this representation, we introduce a new notion, a concentrated emm-space. We then define the observable distance for concentrated emm-spaces and establish three equivalent characterisations of concentration in terms of pyramids, Lipschitz observables and the observable distance. Furthermore, by developing an fibration approach, we show the $\Gamma$-$\limsup$ inequality of Cheeger energies as well as the stability of the log-Sobolev inequality and the Poincaré inequality under the weak convergence of pyramids associated with emm-spaces.
Our results provide a new geometric approach for studying both the convergence of emm-spaces and concentration-of-measure phenomena across a broad class of infinite-dimensional models that have so far remained largely beyond the reach of existing geometric methods. Many of the significant examples arise in probability theory, including the Wiener space, the configuration space, Gaussian fields such as massive Gaussian free fields, spatial white noise and massive bi-Laplacian fields.