The Boundary Conjecture for Leaf Spaces

We prove that the boundary of an orbit space or more generally a leaf space of a singular Riemannian foliation is an Alexandrov space in its intrinsic metric, and that its lower curvature bound is that of the leaf space. A rigidity theorem for positively curved leaf spaces with maximal boundary volume is also established and plays a key role in the proof of the boundary problem.