pith. sign in

arxiv: 2606.21986 · v1 · pith:R2FRO2BNnew · submitted 2026-06-20 · 🧮 math.DG · math.MG

Rigidity of Wasserstein spaces over Riemannian manifolds

David Lenze This is my paper

Pith reviewed 2026-06-26 11:31 UTC · model grok-4.3

classification 🧮 math.DG math.MG
keywords Wasserstein spaceisometric rigidityRiemannian manifoldde Rham decompositionoptimal transportprobability measures
0
0 comments X

The pith

L2 Wasserstein spaces over Riemannian manifolds are isometrically rigid if and only if the manifolds have no Euclidean de Rham factor.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the L2 Wasserstein space built over a Riemannian manifold M is isometrically rigid exactly when M admits no Euclidean factor in its de Rham decomposition. It further shows that, except when M is the real line, every isometry of the Wasserstein space is induced by an isometry of M in the shape-preserving sense. Finally, two such Wasserstein spaces are isometric if and only if their base manifolds are isometric. A sympathetic reader cares because the result gives a precise dictionary between the metric geometry of the Wasserstein space and the differential geometry of the underlying manifold.

Core claim

The L2 Wasserstein space over a Riemannian manifold M is isometrically rigid if and only if M does not admit a Euclidean de Rham factor. Unless M is isometric to the real line, every isometry of the Wasserstein space is shape-preserving. Two Wasserstein spaces are isometric if and only if their underlying Riemannian manifolds are isometric.

What carries the argument

The L2 Wasserstein metric on the space of probability measures with finite second moment, together with the de Rham decomposition of the base Riemannian manifold.

If this is right

  • When the base manifold has no Euclidean de Rham factor, its isometry group injects into the isometry group of the Wasserstein space.
  • Shape-preserving maps account for all isometries of the Wasserstein space except in the real-line case.
  • Isometric Wasserstein spaces arise only from isometric Riemannian manifolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The full isometry type of the Riemannian manifold can be recovered from the metric geometry of its Wasserstein space under the stated condition.
  • The result suggests that optimal-transport metrics on probability measures can serve as complete invariants for certain classes of Riemannian manifolds.

Load-bearing premise

The de Rham decomposition theorem captures every splitting of the manifold that could produce extra isometries in the Wasserstein space.

What would settle it

An explicit isometry of the Wasserstein space over a manifold that has a Euclidean de Rham factor, where the isometry does not arise from isometries of the base or from the Euclidean factor itself.

read the original abstract

We show that L2 Wasserstein spaces over Riemannian manifolds are isometrically rigid if and only if their underlying Riemannian manifolds do not admit a Euclidean de Rham factor. We further show that, unless the manifold is isometric to the real line, every isometry of the Wasserstein space is shape-preserving in the sense of Kloeckner. Finally, we demonstrate that two such Wasserstein spaces are isometric if and only if their underlying Riemannian manifolds are isometric.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript proves three results on L²-Wasserstein spaces P₂(M) over Riemannian manifolds M: (i) P₂(M) is isometrically rigid if and only if M has no Euclidean de Rham factor; (ii) every isometry of P₂(M) is shape-preserving in Kloeckner's sense unless M is isometric to ℝ; (iii) P₂(M) is isometric to P₂(N) if and only if M is isometric to N.

Significance. If the proofs hold, the results give a complete classification of isometries of Wasserstein spaces in terms of the base manifold's de Rham decomposition, extending prior rigidity results in optimal transport. The connection between Euclidean factors and extra isometries of P₂(M), together with the shape-preserving property, is a natural application of standard Riemannian geometry tools to the Wasserstein metric.

major comments (1)
  1. [Proof of the main rigidity theorem (likely §3 or §4)] The central iff rigidity statement (Theorem 1.1) requires that the de Rham decomposition exactly identifies all sources of non-rigidity in the isometry group of P₂(M). The reduction to the irreducible case via de Rham must be shown to exhaust all possible isometries; the manuscript should include an explicit argument or lemma ruling out additional isometries arising from non-product structures or when M is not simply connected.
minor comments (2)
  1. [Introduction and preliminaries] The abstract and introduction cite Kloeckner's shape-preserving maps; a brief recall of the definition in the preliminaries would improve readability.
  2. [Section 2] Notation for the Wasserstein distance d_W and the space P₂(M) is standard but should be fixed once at the beginning of §2.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive suggestion regarding the de Rham reduction. We address the single major comment below and will strengthen the manuscript accordingly.

read point-by-point responses

  1. Referee: [Proof of the main rigidity theorem (likely §3 or §4)] The central iff rigidity statement (Theorem 1.1) requires that the de Rham decomposition exactly identifies all sources of non-rigidity in the isometry group of P₂(M). The reduction to the irreducible case via de Rham must be shown to exhaust all possible isometries; the manuscript should include an explicit argument or lemma ruling out additional isometries arising from non-product structures or when M is not simply connected.

    Authors: We agree that an explicit lemma would improve clarity and rigor. While the existing proof lifts isometries to the universal cover (where de Rham applies) and uses the fact that the Wasserstein metric detects the product structure via displacement convexity and optimal plans, we will insert a new Lemma 3.5 in §3. This lemma will prove that any isometry of P₂(M) must preserve the Euclidean de Rham factor setwise and respect the product decomposition, thereby ruling out extraneous isometries arising from non-product structures or non-simply-connected topology. The argument relies on the uniqueness of the de Rham splitting and the preservation of geodesics in the Wasserstein space. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states its central iff rigidity result and the isometry classification as theorems derived from the standard L2 Wasserstein metric definition together with the external de Rham decomposition theorem. These inputs are independent of the paper and not constructed from its own outputs or fitted parameters. References to shape-preserving maps cite Kloeckner's prior work as an external definition rather than a self-citation chain that bears the load of the new claims. No equations or steps reduce by construction to the paper's own inputs, and the derivation remains self-contained against these external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the de Rham decomposition theorem for complete Riemannian manifolds and the standard construction of the L2 Wasserstein metric; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math De Rham decomposition theorem for Riemannian manifolds
    Invoked to define the Euclidean factor whose absence is the rigidity condition.
  • domain assumption Standard properties of the L2 Wasserstein metric on probability measures
    Used throughout to define the space whose isometries are studied.

pith-pipeline@v0.9.1-grok · 5583 in / 1316 out tokens · 23259 ms · 2026-06-26T11:31:21.060960+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 1 canonical work pages

  1. [1]

    A user's guide to optimal transport

    Luigi Ambrosio and Nicola Gigli. A user's guide to optimal transport. In Modelling and optimisation of flows on networks , volume 2062 of Lecture Notes in Math. , pages 1--155. Springer, Heidelberg, 2013

    2062

  2. [2]

    On the structure of the geometric tangent cone to the W asserstein space

    Averil Aussedat. On the structure of the geometric tangent cone to the W asserstein space. J. Differential Equations , 442:Paper No. 113520, 22, 2025

    2025

  3. [3]

    Locality of centred tangent cones in the wasserstein space

    Averil Aussedat. Locality of centred tangent cones in the wasserstein space. arXiv preprint arXiv:2508.10837 , 2026

    work page arXiv 2026

  4. [4]

    A course in metric geometry , volume 33 of Graduate Studies in Mathematics

    Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry , volume 33 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2001

    2001

  5. [5]

    Kloeckner

    J\'er\^ome Bertrand and Beno\^it R. Kloeckner. A geometric study of W asserstein spaces: isometric rigidity in negative curvature. Int. Math. Res. Not. IMRN , (5):1368--1386, 2016

    2016

  6. [6]

    Balogh, Tam\'as Titkos, and D\'aniel Virosztek

    Zolt\'an M. Balogh, Tam\'as Titkos, and D\'aniel Virosztek. Isometric rigidity of the W asserstein space W_1( G) over C arnot groups. Potential Anal. , 64(1):Paper No. 1, 20, 2026

    2026

  7. [7]

    Isometric rigidity of metric constructions with respect to W asserstein spaces

    Mauricio Che, Fernando Galaz-Garc\'ia, Martin Kerin, and Jaime Santos-Rodr\'iguez. Isometric rigidity of metric constructions with respect to W asserstein spaces. J. Funct. Anal. , 290(11):Paper No. 111415, 47, 2026

    2026

  8. [8]

    Eschenburg and E

    J.-H. Eschenburg and E. Heintze. Unique decomposition of R iemannian manifolds. Proc. Amer. Math. Soc. , 126(10):3075--3078, 1998

    1998

  9. [9]

    The de R ham decomposition theorem for metric spaces

    Thomas Foertsch and Alexander Lytchak. The de R ham decomposition theorem for metric spaces. Geom. Funct. Anal. , 18(1):120--143, 2008

    2008

  10. [10]

    On the inverse implication of B renier- M c C ann theorems and the structure of (P_2(M),W_2)

    Nicola Gigli. On the inverse implication of B renier- M c C ann theorems and the structure of (P_2(M),W_2) . Methods Appl. Anal. , 18(2):127--158, 2011

    2011

  11. [11]

    Second order analysis on (P_2(M),W_2)

    Nicola Gigli. Second order analysis on (P_2(M),W_2) . Mem. Amer. Math. Soc. , 216(1018):xii+154, 2012

    2012

  12. [12]

    Wilfrid Gangbo and Robert J. McCann. The geometry of optimal transportation. Acta Math. , 177(2):113--161, 1996

    1996

  13. [13]

    On isometric embeddings of W asserstein spaces---the discrete case

    Gy\"orgy P\'al Geh\'er, Tam\'as Titkos, and D\'aniel Virosztek. On isometric embeddings of W asserstein spaces---the discrete case. J. Math. Anal. Appl. , 480(2):123435, 11, 2019

    2019

  14. [14]

    Isometric study of W asserstein spaces---the real line

    Gy\"orgy P\'al Geh\'er, Tam\'as Titkos, and D\'aniel Virosztek. Isometric study of W asserstein spaces---the real line. Trans. Amer. Math. Soc. , 373(8):5855--5883, 2020

    2020

  15. [15]

    The isometry group of W asserstein spaces: the H ilbertian case

    Gy\"orgy P\'al Geh\'er, Tam\'as Titkos, and D\'aniel Virosztek. The isometry group of W asserstein spaces: the H ilbertian case. J. Lond. Math. Soc. (2) , 106(4):3865--3894, 2022

    2022

  16. [16]

    Isometric rigidity of W asserstein tori and spheres

    Gy\"orgy P\'al Geh\'er, Tam\'as Titkos, and D\'aniel Virosztek. Isometric rigidity of W asserstein tori and spheres. Mathematika , 69(1):20--32, 2023

    2023

  17. [17]

    Outer automorphisms of S_6

    Gerald Janusz and Joseph Rotman. Outer automorphisms of S_6 . Amer. Math. Monthly , 89(6):407--410, 1982

    1982

  18. [18]

    A geometric study of W asserstein spaces: E uclidean spaces

    Beno\^it Kloeckner. A geometric study of W asserstein spaces: E uclidean spaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 9(2):297--323, 2010

    2010

  19. [19]

    Isometric rigidity of W asserstein spaces: the graph metric case

    Gergely Kiss and Tam\'as Titkos. Isometric rigidity of W asserstein spaces: the graph metric case. Proc. Amer. Math. Soc. , 150(9):4083--4097, 2022

    2022

  20. [20]

    Orbifolds from a metric viewpoint

    Christian Lange. Orbifolds from a metric viewpoint. Geom. Dedicata , 209:43--57, 2020

    2020

  21. [21]

    Some geometric calculations on W asserstein space

    John Lott. Some geometric calculations on W asserstein space. Comm. Math. Phys. , 277(2):423--437, 2008

    2008

  22. [22]

    On tangent cones in W asserstein space

    John Lott. On tangent cones in W asserstein space. Proc. Amer. Math. Soc. , 145(7):3127--3136, 2017

    2017

  23. [23]

    Curvature explosion in quotients and applications

    Alexander Lytchak and Gudlaugur Thorbergsson. Curvature explosion in quotients and applications. J. Differential Geom. , 85(1):117--139, 2010

    2010

  24. [24]

    Differentiation in metric spaces

    Alexander Lytchak. Differentiation in metric spaces. Algebra i Analiz , 16(6):128--161, 2004

    2004

  25. [25]

    Gradient flows on W asserstein spaces over compact A lexandrov spaces

    Shin-ichi Ohta. Gradient flows on W asserstein spaces over compact A lexandrov spaces. Amer. J. Math. , 131(2):475--516, 2009

    2009

  26. [26]

    The geometry of dissipative evolution equations: the porous medium equation

    Felix Otto. The geometry of dissipative evolution equations: the porous medium equation. Comm. Partial Differential Equations , 26(1-2):101--174, 2001

    2001

  27. [27]

    Computational optimal transport

    Gabriel Peyr \'e and Marco Cuturi. Computational optimal transport. Foundations and Trends in Machine Learning , 11(5-6):355--607, 2019

    2019

  28. [28]

    On isometries of compact L^p - W asserstein spaces

    Jaime Santos-Rodr\'iguez. On isometries of compact L^p - W asserstein spaces. Adv. Math. , 409:Paper No. 108632, 21, 2022

    2022

  29. [29]

    Thurston

    William P. Thurston. The Geometry and Topology of Three-Manifolds . Princeton University, 1979. Lecture notes

    1979

  30. [30]

    Optimal transport

    C\'edric Villani. Optimal transport. Old and new , volume 338 of Grundlehren der mathematischen Wissenschaften . Springer-Verlag, Berlin, 2009

    2009