Metric Measure Foliation Overview

• Metric measure foliation is a structure on metric measure spaces that decomposes the space into disjoint leaves with a naturally induced quotient metric via Wasserstein geometry.
• It employs disintegration maps and an energy-minimization criterion to rigorously characterize foliations, paralleling Riemannian submersions in smooth settings.
• The framework bridges geometry and analysis, ensuring stability of curvature-dimension conditions, convergence theory, and applications to complex structures on punctured surfaces.

Metric measure foliation is a structure on a metric measure space that decomposes the space into disjoint leaves so that the quotient inherits a natural metric and measure, while the disintegration of the ambient measure along the leaves is aligned with Wasserstein geometry. In the formulation introduced by Galaz-García, Kell, Mondino, and Sosa and developed further by Kazukawa, it is a measure-theoretic analogue of classical foliations and, in the smooth setting, corresponds to Riemannian submersions (Kazukawa, 2018). Subsequent work sharpened this viewpoint by characterizing metric measure foliations through disintegration maps and an energy-minimization criterion in Wasserstein space (Münch et al., 17 Sep 2025), by showing that equality in a sharp isoperimetric inequality forces a geodesic foliation and, in the ${\rm RCD}(0,\infty)$ setting, a product splitting (Han, 2022), and by exhibiting related metric–measure foliation structures arising from meromorphic quadratic differentials on punctured surfaces and from measured foliations at infinity of quasifuchsian manifolds (Dias et al., 2018, Schlenker, 2017).

1. Definition, quotient metric, and submetry structure

A foliation $\mathcal F$ on a metric space $(X,d)$ is a family of disjoint closed subsets covering $X$; its elements are called leaves. The foliation is a metric foliation if

$$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$

where $d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$. If $X^*:=X/\sim$ is the quotient by leaf-equivalence and $\pi:X\to X^*$ is the quotient map, then the quotient metric is

$d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$

In particular, $\pi$ is a submetry:

$\mathcal F$0

Equivalently, metric foliations and submetries are the same object: given a submetry $\mathcal F$1, the partition $\mathcal F$2 is a metric foliation and there is an isometry between $\mathcal F$3 and the quotient $\mathcal F$4 (Kazukawa, 2018).

Let $\mathcal F$5 be a metric measure space, with $\mathcal F$6 a locally finite Borel measure of full support. If $\mathcal F$7 is Borel and $\mathcal F$8 is locally finite on $\mathcal F$9, there exists a disintegration $(X,d)$0 such that each $(X,d)$1 is a probability measure supported on $(X,d)$2 and

$(X,d)$3

A metric foliation is a metric measure foliation if the Wasserstein geometry of the conditional measures reproduces the quotient metric. In Kazukawa’s formulation, there is a full $(X,d)$4-measure subset $(X,d)$5 and a disintegration $(X,d)$6 such that

$(X,d)$7

The canonical version satisfies the equality for all $(X,d)$8. In the later refinement via disintegration maps, one defines a $(X,d)$9-metric measure foliation, $X$0, by requiring

$X$1

for any $X$2, and the paper focuses primarily on $X$3, using “metric measure foliation” to mean the case $X$4 with equality everywhere, which is stronger than the usual almost-everywhere version (Münch et al., 17 Sep 2025).

This framework makes precise the heuristic that the leaves are “parallel” and that the quotient captures transversal geometry exactly. It also clarifies a common misconception: an arbitrary partition equipped with conditional measures is not a metric measure foliation; both the submetry condition and the Wasserstein equality are essential.

2. Disintegration maps and the Wasserstein classification criterion

Given lcscs spaces $X$5 and $X$6, a Borel map $X$7, a finite positive Radon measure $X$8, and $X$9, a disintegration map is a map

$$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$0

associated with a disintegration $$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$1 of $$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$2 with respect to $$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$3. The geometric content of the foliation can then be studied through the image of $$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$4 in Wasserstein space. The derivative introduced in the classification theorem is

$$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$5

and the corresponding energy is

$$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$6

A basic inequality is $$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$7, since

$$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$8

The principal classification theorem states that if $$d(F,F') = d(x,F')\quad\text{for any } F,F'\in \mathcal F \text{ and any } x\in F,$$9 is a locally compact complete separable geodesic space, $d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$0 is a compact complete separable metric space, $d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$1 is Borel, and the conditional measures have full support,

$d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$2

then

$d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$3

In particular, energy-minimizing disintegration maps correspond exactly to metric measure foliations (Münch et al., 17 Sep 2025).

When a metric measure foliation exists, the disintegration map is an isometry between the base and its image:

$d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$4

The leaves are therefore “parallel” in the metric sense: $d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$5 is attained uniformly as the point-to-leaf distance from any $d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$6. The proof of the necessity direction uses the geodesic structure of $d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$7, compactness of $d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$8, uniform continuity of

$d(F,F') := \inf_{u\in F,v\in F'} d(u,v)$9

and full support to rule out degeneracies.

The full-support hypothesis is essential. The counterexample with elliptical fibers and Dirac conditionals satisfies

$X^*:=X/\sim$0

while the family of fibers does not define a metric foliation. By contrast, the canonical circle foliation on a disk with uniform conditional measures on concentric circles yields

$X^*:=X/\sim$1

and hence realizes the foliation property in the metric sense. Group actions by compact isometry groups and Riemannian submersions supply further canonical examples in which orbit or fiber partitions define metric measure foliations (Münch et al., 17 Sep 2025).

3. Curvature-dimension stability, Cheeger energy, and convergence theory

Metric measure foliations permit an exact comparison between the geometry and analysis of the ambient space and those of the quotient. Kazukawa’s work shows that lower Ricci curvature bounds and Cheeger energies pass from the total space to the quotient, extending earlier results of GKMS and removing bounded-leaf assumptions (Kazukawa, 2018).

If $X^*:=X/\sim$2 has a metric measure foliation with quotient $X^*:=X/\sim$3, then the pullback of measures

$X^*:=X/\sim$4

is an isometric embedding for all $X^*:=X/\sim$5:

$X^*:=X/\sim$6

Entropy is compatible with pullback and pushforward:

$X^*:=X/\sim$7

Under the volume growth condition

$X^*:=X/\sim$8

which is automatic if $X^*:=X/\sim$9 satisfies $\pi:X\to X^*$0, the quotient inherits curvature bounds:

• if $\pi:X\to X^*$1 satisfies $\pi:X\to X^*$2, then $\pi:X\to X^*$3 satisfies $\pi:X\to X^*$4;
• if in addition $\pi:X\to X^*$5 is infinitesimally Hilbertian, then $\pi:X\to X^*$6 is also infinitesimally Hilbertian, hence $\pi:X\to X^*$7.

For first-order analysis, the compatibility is exact. For any $\pi:X\to X^*$8 and any $\pi:X\to X^*$9,

$d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$0

This is stronger than the inequality $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$1 and implies that infinitesimal Hilbertianity descends from $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$2 to $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$3. The argument uses lifting of test plans by Aumann’s measurable selection and a fiberwise averaging inequality for weak upper gradients:

$d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$4

The same formalism supports a convergence theory for spaces of unbounded dimension. If each $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$5 admits a metric measure foliation with quotient $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$6 and the quotients pmG-converge to $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$7, then curvature bounds and variational energies pass to the limit even when the original $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$8 do not pmG-converge. The paper proves Mosco convergence of $d^*(y,y') := d\big(\pi^{-1}(y),\pi^{-1}(y')\big).$9-Cheeger energies and $\pi$0-convergence of $\pi$1-Cheeger energies with varying exponents, as well as $\pi$2-convergence of descending slopes of entropy. The sphere example, with $\pi$3 represented as a warped product over an interval and $\pi$4, shows how quotient convergence can produce a Gaussian limit even though the full spheres do not pmG-converge (Kazukawa, 2018).

These results position metric measure foliation as a stability device: geometric and analytic properties are transported through the quotient not approximately but via exact identities.

4. Equality cases, transport rays, and foliation-induced splitting

In spaces with non-negative synthetic Ricci curvature, a distinct foliation mechanism appears in the equality case of a sharp isoperimetric inequality. If $\pi$5 satisfies $\pi$6 and admits volume entropy

$\pi$7

then every measurable set $\pi$8 with finite measure satisfies

$\pi$9

The inequality is dimension-free: the constant depends only on the global volume entropy and not on an a priori dimension parameter (Han, 2022).

If equality is attained by a non-trivial open set,

$\mathcal F$00

then the neighborhoods $\mathcal F$01 satisfy

$\mathcal F$02

Moreover, for any $\mathcal F$03, the unique $\mathcal F$04-intermediate measure between the uniform distributions on $\mathcal F$05 and $\mathcal F$06 at time $\mathcal F$07 is the uniform distribution on $\mathcal F$08:

$\mathcal F$09

This is a foliation property by parallel geodesic layers with exponential measure scaling.

In the $\mathcal F$10 setting, the rigidity is stronger. Equality implies a product splitting

$\mathcal F$11

with $\mathcal F$12 an $\mathcal F$13 space of finite measure, and the extremal set has the form

$\mathcal F$14

The foliation is produced by transport rays:

$\mathcal F$15

Along each leaf, one recovers the one-dimensional extremal relation

$\mathcal F$16

hence $\mathcal F$17.

A key limitation is explicit in the source: the needle decomposition theorem has not been established for general $\mathcal F$18 spaces. Accordingly, the full splitting theorem requires the infinitesimally Hilbertian $\mathcal F$19 structure, while the more general $\mathcal F$20 statement yields strong foliation properties for neighborhoods and intermediate measures (Han, 2022).

5. Meromorphic quadratic differentials, measured foliations, and metric graphs

Meromorphic quadratic differentials on punctured Riemann surfaces provide a unified analytic source for metric–measure foliations and their leaf-space metric graphs. Let $\mathcal F$21 be a punctured Riemann surface and let $\mathcal F$22 be a meromorphic section of $\mathcal F$23, locally written as

$\mathcal F$24

The associated singular-flat metric has local metric element

$\mathcal F$25

and area form

$\mathcal F$26

If $\mathcal F$27 is a natural coordinate with $\mathcal F$28, then the horizontal and vertical leaves are given by

$\mathcal F$29

equivalently by

$\mathcal F$30

Their transverse measures are

$\mathcal F$31

Near a zero of order $\mathcal F$32, the foliations have $\mathcal F$33-prong singularities. Near a pole of order $\mathcal F$34, the singular-flat geometry consists of exactly $\mathcal F$35 Euclidean half-planes arranged cyclically around the pole, together with possibly semi-infinite foliated strips. At a pole of order two, the local model is cylindrical; on the universal cover one has

$\mathcal F$36

and the lifted foliation is by straight lines at angle

$\mathcal F$37

This angle is the asymptotic direction at a pole of order two (Dias et al., 2018).

For any measured foliation $\mathcal F$38, the leaf-space $\mathcal F$39 obtained by collapsing each leaf is naturally a metric graph. Vertices correspond to prong-singularities and to ends of half-planes; edges correspond to strips and ring domains. The metric is induced by the transverse measure: if $\mathcal F$40 corresponds to a strip, then its length is the strip width. At an order-$\mathcal F$41 pole, the leaf-space has exactly $\mathcal F$42 labelled infinite rays; for $\mathcal F$43, the local leaf-space is either an infinite ray or a circle of circumference equal to the transverse measure around the puncture.

The paper introduces asymptotic directions at poles and uses them to formulate compatibility for a pair of measured foliations. For a meromorphic quadratic differential with leading term $\mathcal F$44, the horizontal and vertical asymptotic directions are opposite. Global compatibility on a punctured surface requires transversality away from prongs and poles, the condition that the two transverse measures are not both zero around any puncture, opposite asymptotic directions at each pole, and, at order-two poles where both measures are positive,

$\mathcal F$45

With asymptotic directions fixed, the paper proves two existence–uniqueness results:

• a punctured-surface analogue of the Gardiner–Masur theorem, stating that any compatible pair of measured foliations uniquely determines a complex structure and a meromorphic quadratic differential realizing that pair;
• an analogue of the Hubbard–Masur theorem, stating that on a fixed punctured Riemann surface there exists a unique meromorphic quadratic differential with prescribed horizontal foliation, provided one prescribes the singular-flat geometry at the poles.

The local model-foliation space at a pole of order $\mathcal F$46 is

$\mathcal F$47

where the $\mathcal F$48 coordinates are finite edge lengths in the leaf-space graph and the $\mathcal F$49 coordinate is the transverse measure around the boundary circle. Globally, the space $\mathcal F$50 of measured foliations of pole orders $\mathcal F$51 with prescribed asymptotic directions is homeomorphic to

$\mathcal F$52

In this setting, the term “metric–measure foliation” refers to the combination of transverse-measure data, singular-flat metric structure, and metric-graph leaf space (Dias et al., 2018).

6. Foliations at infinity and related foliated metric-space frameworks

For a quasifuchsian hyperbolic $\mathcal F$53-manifold $\mathcal F$54, the boundary at infinity carries a complex projective structure $\mathcal F$55 and an underlying complex structure $\mathcal F$56. Comparing $\mathcal F$57 with the uniformizing Fuchsian projective structure $\mathcal F$58 yields a holomorphic quadratic differential at infinity,

$\mathcal F$59

defined as the Schwarzian derivative of the canonical holomorphic map $\mathcal F$60. The measured foliation at infinity is the horizontal measured foliation of $\mathcal F$61. Its extremal length is

$\mathcal F$62

where $\mathcal F$63 is the holomorphic quadratic differential whose horizontal foliation is $\mathcal F$64. The renormalized volume satisfies

$\mathcal F$65

and the extremal length is uniformly bounded by

$\mathcal F$66

The paper presents this measured foliation at infinity as the natural analog of the measured bending lamination on the boundary of the convex core, with the correspondence

$\mathcal F$67

At the Fuchsian locus, $\mathcal F$68, hence $\mathcal F$69, $\mathcal F$70, and $\mathcal F$71 (Schlenker, 2017).

A different adjacent framework appears in foliated metric spaces defined by locally David–Semmes $\mathcal F$72-regular mappings. Here a surjection $\mathcal F$73 defines an $\mathcal F$74-foliation, with leaves $\mathcal F$75, and supercritical Sobolev mappings act on these leaves in a quantitatively controlled way. If $\mathcal F$76 is proper, locally $\mathcal F$77-homogeneous, supports a local $\mathcal F$78-Poincaré inequality, and $\mathcal F$79 has an upper gradient in $\mathcal F$80 with $\mathcal F$81, then for

$\mathcal F$82

one has

$\mathcal F$83

for

$\mathcal F$84

The Heisenberg-group examples show how this estimate interacts with non-Euclidean foliations, including left-coset foliations and the right-coset foliation whose quotient is the Grushin plane (Balogh et al., 2013).

These two directions do not coincide with the quotient-theoretic definition of metric measure foliation, but they show that the phrase “metric–measure foliation” also occurs in settings where transverse measure, foliation geometry, and analytic functionals are tightly coupled. This suggests a broader unifying theme: whether one starts from disintegration and optimal transport, from singular-flat geometry of quadratic differentials, or from localization along transport rays, the core object is a foliation whose transverse structure is measured metrically rather than merely topologically.