-
The Riemannian geometry of the probability space of the unit circle
Authors:
André Magalhães de Sá Gomes,
Christian S. Rodrigues,
Luiz A. B. San Martin
Abstract:
This paper explores the Riemannian geometry of the Wasserstein space of the circle, namely $P(S^{1})$, the set of probability measures on the unit circle endowed with the 2-Wasserstein metric. Building on the foundational work of Otto, Lott, and Villani, the authors developed in another work an intrinsic framework for studying the differential geometry of Wasserstein spaces of compact Lie groups,…
▽ More
This paper explores the Riemannian geometry of the Wasserstein space of the circle, namely $P(S^{1})$, the set of probability measures on the unit circle endowed with the 2-Wasserstein metric. Building on the foundational work of Otto, Lott, and Villani, the authors developed in another work an intrinsic framework for studying the differential geometry of Wasserstein spaces of compact Lie groups, making use of the Peter-Weyl Theorem. This formalism allowed them to explicit an example in this paper. Key contributions include explicit computations of the Riemannian metric matrix coefficients, Lie brackets, and the Levi-Civita connection, along with its associated Christoffel symbols. The geodesic equations and curves with constant velocity fields are analysed, expliciting their PDEs. Notably, the paper demonstrates that $P(S^{1})$ is flat, with vanishing curvature. These results provide a comprehensive geometric understanding of $P(S^{1})$, connecting optimal transport theory and differential geometry, with potential applications in dynamical systems.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
On Differential and Riemannian Calculus on Wasserstein Spaces
Authors:
André Magalhães de Sá Gomes,
Christian S. Rodrigues,
Luiz A. B. San Martin
Abstract:
In this paper we develop an intrinsic formalism to study the topology, smooth structure, and Riemannian geometry of the Wasserstein space of a closed Riemannian manifold. Our formalism allows for a new characterisation of the Weak topology via convergent sequences of the subjacent space. Applying it we also provide a new proof that Wasserstein spaces of closed manifolds are geodesically convex. Ou…
▽ More
In this paper we develop an intrinsic formalism to study the topology, smooth structure, and Riemannian geometry of the Wasserstein space of a closed Riemannian manifold. Our formalism allows for a new characterisation of the Weak topology via convergent sequences of the subjacent space. Applying it we also provide a new proof that Wasserstein spaces of closed manifolds are geodesically convex. Our framework is particularly handy to address the Wasserstein spaces of compact Lie groups, where we refine our formalism and present an explicit example.
△ Less
Submitted 15 April, 2025; v1 submitted 7 June, 2024;
originally announced June 2024.
-
Rigidity of Curvature Bounds of Quotient Spaces Of Isometric Actions
Authors:
André Magalhães de Sá Gomes,
Christian S. Rodrigues
Abstract:
Let $G\curvearrowright M$ be an isometric action of a Lie Group on a complete orientable Riemannian manifold. We disintegrate absolutely continuous measures with respect to the volume measure of $M$ along the principal orbits of $G\curvearrowright M$ and define a functional on the probability measures with support on the principal orbits of the action to further prove that the convexity properties…
▽ More
Let $G\curvearrowright M$ be an isometric action of a Lie Group on a complete orientable Riemannian manifold. We disintegrate absolutely continuous measures with respect to the volume measure of $M$ along the principal orbits of $G\curvearrowright M$ and define a functional on the probability measures with support on the principal orbits of the action to further prove that the convexity properties of this functional guarantees necessary and sufficient conditions to the Ricci curvature of $M$ to be bound below by a given real number $K$.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Representations of low copolarity
Authors:
André Magalhães de Sá Gomes,
Claudio Gorodski
Abstract:
We classify irreducible representations of compact connected Lie groups whose orbit space is isometric to the orbit space of a representation of a compact Lie group of dimension~$7$, $8$ or $9$. They turn out to be closely related to symmetric spaces, with one exception only.
We classify irreducible representations of compact connected Lie groups whose orbit space is isometric to the orbit space of a representation of a compact Lie group of dimension~$7$, $8$ or $9$. They turn out to be closely related to symmetric spaces, with one exception only.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.