{"id":"arxiv/2607.26671","url":"https://arxiv.org/abs/2607.26671","tags":["math.FA","math.MG","math.PR"],"score":0,"title":"A Brenier-Strassen Theorem on CAT(kappa) Spaces","domain":"math.FA","source":"arxiv","authors":["Nathael Gozlan","Hugo Malamut","Shin-Ichi Ohta"],"reviews":0,"subject":"math.FA","summary":"We extend the Brenier-Strassen theorem about projections in convex order to non-flat spaces with curvature bounded from above. Precisely, for probability measures $μ$, $ν$ of finite second moment on a complete separable CAT(0) space, we prove that $μ$ admits a unique W 2 -projection \\barμ to the set of probability measures dominated by $ν$ in convex order. Moreover, the unique optimal coupling from $μ$ to \\barμ is induced by a 1-Lipschitz map, without any absolute-continuity assumption on $μ$. Our proof identifies the projection problem with a weak optimal transport problem whose cost is the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}