Partial regularity for optimal transport maps

We prove that, for general cost functions on Rn, or for the cost d2/2 on a Riemannian manifold, optimal transport maps between smooth densities are always smooth outside a closed singular set of measure zero. © 2014, IHES and Springer-Verlag Berlin Heidelberg.