Alexandrov spaces with non negative curvature and displacement convexity of the entropy tensor

Jordan Serres (SU; LPSM)

arxiv: 2606.25582 · v1 · pith:WFAX65BQnew · submitted 2026-06-24 · 🧮 math.DG · math.FA· math.MG

Alexandrov spaces with non negative curvature and displacement convexity of the entropy tensor

Jordan Serres (SU , LPSM) This is my paper

Pith reviewed 2026-06-25 20:02 UTC · model grok-4.3

classification 🧮 math.DG math.FAmath.MG

keywords Alexandrov spacesnonnegative curvaturedisplacement convexityentropy tensorparallel trivialisationsynthetic geometrysectional curvatureRiemannian manifolds

0 comments

The pith

An Alexandrov space has nonnegative curvature if and only if its entropy tensor is matrix displacement convex.

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

The paper extends a known characterization from smooth Riemannian manifolds to Alexandrov spaces of curvature bounded below. On manifolds, nonnegative sectional curvature is equivalent to matrix displacement convexity of a refined entropy tensor. The authors define this tensor on the synthetic spaces by building a parallel trivialisation that obeys both the cocycle condition and the second variation formula, taking the tensor in block-diagonal form. They prove the same equivalence continues to hold: nonnegative curvature is equivalent to the convexity property. A reader would care because the result supplies a convexity-based test for curvature that works directly on non-smooth metric spaces.

Core claim

The paper shows that an Alexandrov space has nonnegative curvature if and only if its entropy tensor is matrix displacement convex. This equivalence, already known on smooth manifolds, persists after the entropy tensor is extended to the synthetic setting via a parallel trivialisation constructed to satisfy the cocycle property and the second variation formula, with the tensor placed in block-diagonal form.

What carries the argument

The block-diagonal entropy tensor, obtained from a parallel trivialisation that satisfies both the cocycle property and the second variation formula.

If this is right

The equivalence between nonnegative curvature and matrix displacement convexity of the entropy tensor extends from smooth manifolds to Alexandrov spaces.
Curvature bounds on Alexandrov spaces can be detected through displacement-convexity properties of the entropy tensor.
The block-diagonal entropy tensor remains a valid characterization of nonnegative sectional curvature when restricted to smooth manifolds.
The construction supplies a well-defined entropy tensor on any finite-dimensional Alexandrov space of curvature bounded below.

Where Pith is reading between the lines

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

The result may supply new tools for studying Wasserstein geometry over Alexandrov spaces.
It opens the possibility of replacing direct curvature checks with convexity verifications in synthetic settings.
Similar parallel-trivialisation constructions could be tested on other classes of metric spaces with lower curvature bounds.

Load-bearing premise

A parallel trivialisation satisfying both the cocycle property and the second variation formula can be constructed on finite-dimensional Alexandrov spaces of curvature bounded below.

What would settle it

An explicit finite-dimensional Alexandrov space with nonnegative curvature whose constructed entropy tensor fails to be matrix displacement convex, or a space with negative curvature whose tensor satisfies the convexity condition.

read the original abstract

On a smooth Riemannian manifold, Aishwarya, Rotem and Shenfeld characterised nonnegative sectional curvature as the matrix displacement convexity of an entropy tensor, the Lagrangian, matrix-valued refinement of Shenfeld's entropy matrix. In order to extend the entropy tensor to a finite-dimensional Alexandrov space of curvature bounded below, we construct a parallel trivialisation satisfying both the cocycle property and the second variation formula. The construction is strongly inspired by Petrunin's synthetic parallel transport. The entropy tensor defined is taken in block-diagonal form; on smooth manifolds the resulting convexity property still characterises nonnegative sectional curvature exactly. We show that the smooth equivalence persists synthetically: an Alexandrov space has nonnegative curvature if and only if its entropy tensor is matrix displacement convex.

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.

Desk Editor's Note private letter to a colleague

Extends the entropy-tensor displacement-convexity characterization to Alexandrov spaces via a new parallel trivialisation, but the construction is the part that needs verification.

read the letter

The main point is that the paper claims an if-and-only-if: a finite-dimensional Alexandrov space has nonnegative curvature precisely when its entropy tensor is matrix displacement convex. They build this by defining a parallel trivialisation that obeys both the cocycle property and the second variation formula, modeled on Petrunin's synthetic parallel transport, then take the entropy tensor in block-diagonal form. On smooth manifolds the construction recovers the known Aishwarya-Rotem-Shenfeld result exactly.

This is new because the synthetic version for Alexandrov spaces is not in the smooth-manifold literature. The block-diagonal choice and the explicit appeal to existing synthetic tools are sensible moves that keep the statement clean and avoid obvious circularity.

The soft spot is the trivialisation step itself. The claim requires that one can always construct such a trivialisation on any Alexandrov space with curvature bounded below so that both required properties hold at once and the resulting tensor does not depend on arbitrary choices. If that construction works as stated, the equivalence follows; if it only works under extra restrictions or fails to satisfy one of the two conditions in some cases, the if-and-only-if does not hold. The abstract gives no counter-examples or verification details, so this is the load-bearing part that needs checking.

The paper is aimed at people already working in synthetic metric geometry and curvature bounds in non-smooth spaces. A reader comfortable with displacement convexity and Alexandrov geometry will see the value quickly. It is worth sending to peer review so that experts in the area can examine the construction in detail.

Referee Report

1 major / 2 minor

Summary. The manuscript extends the characterization of nonnegative sectional curvature as matrix displacement convexity of an entropy tensor (a Lagrangian, matrix-valued refinement of Shenfeld's entropy matrix) from smooth Riemannian manifolds to finite-dimensional Alexandrov spaces with curvature bounded below. It constructs a parallel trivialisation (inspired by Petrunin's synthetic parallel transport) satisfying the cocycle property and second variation formula, defines the entropy tensor in block-diagonal form, and claims that the smooth if-and-only-if equivalence persists synthetically.

Significance. If the central construction is valid, the result supplies a synthetic, if-and-only-if characterization of curvature bounds via displacement convexity of a matrix-valued entropy tensor. This bridges smooth and nonsmooth geometry and builds directly on the smooth results of Aishwarya-Rotem-Shenfeld together with Petrunin's parallel transport; such characterizations are useful in metric geometry and optimal transport on singular spaces.

major comments (1)

[Construction of the parallel trivialisation (main technical section)] The if-and-only-if claim rests entirely on the existence, uniqueness, and independence-of-choices of a parallel trivialisation on every finite-dimensional Alexandrov space with curvature bounded below that simultaneously obeys the cocycle condition under geodesic composition and the second-variation formula for the entropy tensor (used to define the block-diagonal entropy tensor). The manuscript must supply a self-contained verification or a precise citation to the relevant statement in Petrunin's work showing that both properties hold simultaneously; without this, the synthetic extension is not established.

minor comments (2)

[Definition of the entropy tensor] Clarify whether the block-diagonal form of the entropy tensor is uniquely determined once the trivialisation is fixed, or whether additional normalization is required.
[Introduction] Add a short remark comparing the new matrix-valued convexity statement with the scalar entropy convexity results already known in the Alexandrov setting.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the importance of a clear verification of the parallel trivialisation properties. We address the single major comment below.

read point-by-point responses

Referee: The if-and-only-if claim rests entirely on the existence, uniqueness, and independence-of-choices of a parallel trivialisation on every finite-dimensional Alexandrov space with curvature bounded below that simultaneously obeys the cocycle condition under geodesic composition and the second-variation formula for the entropy tensor (used to define the block-diagonal entropy tensor). The manuscript must supply a self-contained verification or a precise citation to the relevant statement in Petrunin's work showing that both properties hold simultaneously; without this, the synthetic extension is not established.

Authors: The manuscript constructs the parallel trivialisation explicitly in the main technical section so that both the cocycle condition and the second-variation formula hold simultaneously; the construction is carried out step-by-step and is shown to be independent of auxiliary choices. While the construction draws its inspiration from Petrunin's synthetic parallel transport, it is adapted and verified directly for the entropy tensor. We agree that a more precise pointer to the relevant statements in Petrunin's papers would improve readability, and we will add such a citation together with a short outline that isolates the two required properties. revision: partial

Circularity Check

0 steps flagged

No circularity; construction is independent of target equivalence

full rationale

The derivation proceeds by explicitly constructing a parallel trivialisation (inspired by external work of Petrunin) that satisfies the cocycle property and second variation formula, then defining the block-diagonal entropy tensor from it, and finally proving the synthetic iff statement. No step reduces a prediction to a fitted input, renames a known result, or relies on a self-citation chain for the central claim; the smooth case is recovered by direct verification on manifolds, and the Alexandrov extension rests on the stated construction rather than any definitional equivalence or imported uniqueness theorem from the authors themselves.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no free parameters, axioms, or invented entities can be identified from the provided text.

pith-pipeline@v0.9.1-grok · 5655 in / 1044 out tokens · 21448 ms · 2026-06-25T20:02:48.323262+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 3 canonical work pages

[1]

Gautam Aishwarya, Liran Rotem, and Yair Shenfeld, Sectional curvature and matrix displacement convexity, arXiv preprint arXiv:2509.23399 (2025)

work page arXiv 2025
[2]

236, American Mathematical Society, 2024

Stephanie Alexander, Vitali Kapovitch, and Anton Petrunin, Alexandrov Geometry: Foundations, Graduate Studies in Mathematics, vol. 236, American Mathematical Society, 2024

2024
[3]

3, 1037–1080

Luigi Ambrosio and J´ erˆ ome Bertrand,Dc calculus , Mathematische Zeitschrift 288 (2018), no. 3, 1037–1080

2018
[4]

3, 838–851

J´ erˆ ome Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces , Advances in Mathematics 219 (2008), no. 3, 838–851. 40

2008
[5]

33, American Mathematical Society, 2001

Dmitri Burago, Yuri Burago, and Sergei Ivanov, A Course in Metric Geometry , Grad- uate Studies in Mathematics, vol. 33, American Mathematical Society, 2001

2001
[6]

Yu Burago, Mikhail Gromov, and Gregory Perel’man, A. D. Alexandrov spaces with curvature bounded below, Russian mathematical surveys 47 (1992), no. 2, 1

1992
[7]

McCann, and Michael Schmuckenschl¨ ager, A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb , Invent

Dario Cordero-Erausquin, Robert J. McCann, and Michael Schmuckenschl¨ ager, A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb , Invent. Math. 146 (2001), no. 2, 219–257. MR 1865396

2001
[8]

Shengqi Hu, Xiaole Su, and Yusheng Wang, New definitions of Alexandrov space and applications, arXiv preprint arXiv:2102.02112 (2023)

work page arXiv 2023
[9]

John Lott and C´ edric Villani, Ricci curvature for metric-measure spaces via optimal transport, Annals of Mathematics (2009), 903–991

2009
[10]

135–148, Cambridge University Press, 1997

Yukio Otsu, Differential Geometric Aspects of Alexandrov Spaces , Mathematical Sci- ences Research Institute Publications, p. 135–148, Cambridge University Press, 1997

1997
[11]

3, 629–658

Yukio Otsu and Takashi Shioya, The Riemannian structure of Alexandrov spaces , Journal of Differential Geometry 39 (1994), no. 3, 629–658

1994
[12]

Grigori Perelman, DC structure on Alexandrov space , Preprint, 1995

1995
[13]

Grigori Perelman and Anton Petrunin, Quasigeodesics and gradient curves in Alexan- drov spaces, Preprint (1994)

1994
[14]

1, 123–148

Anton Petrunin, Parallel transportation for Alexandrov space with curvature bounded below, Geometric & Functional Analysis GAFA 8 (1998), no. 1, 123–148

1998
[15]

, Alexandrov meets Lott–Villani–Sturm, arXiv preprint arXiv:1003.5948 (2010)

work page arXiv 2010
[16]

Yair Shenfeld, Matrix displacement convexity along density flows , Arch. Ration. Mech. Anal. 248 (2024), no. 5, Paper No. 74, 41. MR 4791533

2024
[17]

i , Acta Math 196 (2006), 65–131

Karl-Theodor Sturm, On the geometry of metric measure spaces. i , Acta Math 196 (2006), 65–131

2006
[18]

338, Springer-Verlag, Berlin, 2009, Old and new

C´ edric Villani,Optimal transport, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338, Springer-Verlag, Berlin, 2009, Old and new. MR 2459454

2009
[19]

von Renesse and Karl-Theodor Sturm, Transport inequalities, gradient es- timates, entropy, and Ricci curvature , Comm

Max-K. von Renesse and Karl-Theodor Sturm, Transport inequalities, gradient es- timates, entropy, and Ricci curvature , Comm. Pure Appl. Math. 58 (2005), no. 7, 923–940. MR 2142879

2005

[1] [1]

Gautam Aishwarya, Liran Rotem, and Yair Shenfeld, Sectional curvature and matrix displacement convexity, arXiv preprint arXiv:2509.23399 (2025)

work page arXiv 2025

[2] [2]

236, American Mathematical Society, 2024

Stephanie Alexander, Vitali Kapovitch, and Anton Petrunin, Alexandrov Geometry: Foundations, Graduate Studies in Mathematics, vol. 236, American Mathematical Society, 2024

2024

[3] [3]

3, 1037–1080

Luigi Ambrosio and J´ erˆ ome Bertrand,Dc calculus , Mathematische Zeitschrift 288 (2018), no. 3, 1037–1080

2018

[4] [4]

3, 838–851

J´ erˆ ome Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces , Advances in Mathematics 219 (2008), no. 3, 838–851. 40

2008

[5] [5]

33, American Mathematical Society, 2001

Dmitri Burago, Yuri Burago, and Sergei Ivanov, A Course in Metric Geometry , Grad- uate Studies in Mathematics, vol. 33, American Mathematical Society, 2001

2001

[6] [6]

Yu Burago, Mikhail Gromov, and Gregory Perel’man, A. D. Alexandrov spaces with curvature bounded below, Russian mathematical surveys 47 (1992), no. 2, 1

1992

[7] [7]

McCann, and Michael Schmuckenschl¨ ager, A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb , Invent

Dario Cordero-Erausquin, Robert J. McCann, and Michael Schmuckenschl¨ ager, A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb , Invent. Math. 146 (2001), no. 2, 219–257. MR 1865396

2001

[8] [8]

Shengqi Hu, Xiaole Su, and Yusheng Wang, New definitions of Alexandrov space and applications, arXiv preprint arXiv:2102.02112 (2023)

work page arXiv 2023

[9] [9]

John Lott and C´ edric Villani, Ricci curvature for metric-measure spaces via optimal transport, Annals of Mathematics (2009), 903–991

2009

[10] [10]

135–148, Cambridge University Press, 1997

Yukio Otsu, Differential Geometric Aspects of Alexandrov Spaces , Mathematical Sci- ences Research Institute Publications, p. 135–148, Cambridge University Press, 1997

1997

[11] [11]

3, 629–658

Yukio Otsu and Takashi Shioya, The Riemannian structure of Alexandrov spaces , Journal of Differential Geometry 39 (1994), no. 3, 629–658

1994

[12] [12]

Grigori Perelman, DC structure on Alexandrov space , Preprint, 1995

1995

[13] [13]

Grigori Perelman and Anton Petrunin, Quasigeodesics and gradient curves in Alexan- drov spaces, Preprint (1994)

1994

[14] [14]

1, 123–148

Anton Petrunin, Parallel transportation for Alexandrov space with curvature bounded below, Geometric & Functional Analysis GAFA 8 (1998), no. 1, 123–148

1998

[15] [15]

, Alexandrov meets Lott–Villani–Sturm, arXiv preprint arXiv:1003.5948 (2010)

work page arXiv 2010

[16] [16]

Yair Shenfeld, Matrix displacement convexity along density flows , Arch. Ration. Mech. Anal. 248 (2024), no. 5, Paper No. 74, 41. MR 4791533

2024

[17] [17]

i , Acta Math 196 (2006), 65–131

Karl-Theodor Sturm, On the geometry of metric measure spaces. i , Acta Math 196 (2006), 65–131

2006

[18] [18]

338, Springer-Verlag, Berlin, 2009, Old and new

C´ edric Villani,Optimal transport, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338, Springer-Verlag, Berlin, 2009, Old and new. MR 2459454

2009

[19] [19]

von Renesse and Karl-Theodor Sturm, Transport inequalities, gradient es- timates, entropy, and Ricci curvature , Comm

Max-K. von Renesse and Karl-Theodor Sturm, Transport inequalities, gradient es- timates, entropy, and Ricci curvature , Comm. Pure Appl. Math. 58 (2005), no. 7, 923–940. MR 2142879

2005