{"id":"arxiv/2610.00625","url":"https://arxiv.org/abs/2610.00625","tags":["math.DG"],"score":0,"title":"The Wasserstein space of the circle is not flat","domain":"math.DG","source":"arxiv","authors":["André Magalhães de Sá Gomes","Christian S. Rodrigues","Luiz A. B. San Martin"],"reviews":0,"subject":"math.DG","summary":"We show that the Wasserstein space of the circle is not flat, in contrast with the flatness of the Wasserstein spaces of the real line and of an interval. Its sectional curvature is governed by a symplectic form on the Fourier coefficients, so that a plane is flat exactly when it is isotropic for that form, and on the plane spanned by the $n$-th Fourier modes the curvature is bounded above by $3n^2$, with equality exactly at the uniform measure. It is therefore unbounded. We compute it inside the formal Riemannian structure of Otto and confirm it directly from the definition of $W_2$, which…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}