The closure of linear foliations

This paper presents a simplified geometric proof of the Molino-Alexandrino-Radeschi (MAR) Theorem, which states that the closure of a singular Riemannian foliation on a complete Riemannian manifold is itself a smooth singular Riemannian foliation. Our approach circumvents several technical and analytical tools employed in the previous proof of the theorem, resulting in a more direct geometric demonstration. We first establish conditions for a projectable foliation to be Riemannian, focusing on compatible connections. We then apply these results to linear foliations on vector bundles and their lifts to frame bundles. Finally, we use these findings for the linearization of singular Riemannian foliations around leaf closures. This method allows us to prove the smoothness of the closure directly for the linear semi-local model, bypassing the need for intermediate results on orbit-like foliations.