Stav dette: A convexity-like structure for polar decomposition with an application to distributed computing