arxiv: 2604.11766 · v1 · submitted 2026-04-13 · 🧮 math.DG · math.MG

Recognition: unknown

The equivalence between timelike Ricci curvature and the timelike Brunn Minkowski inequality on synthetic Lorentzian spaces

Osama Farooqui

Authors on Pith no claims yet

Pith reviewed 2026-05-10 15:53 UTC · model grok-4.3

classification 🧮 math.DG math.MG MSC 53C2353C50

keywords synthetic Lorentzian spacestimelike curvature dimension conditionBrunn-Minkowski inequalityRicci curvatureessentially non-branchingspacetime geometryoptimal transport

0 comments

The pith

In timelike q-essentially non-branching synthetic Lorentzian spaces, the q-timelike curvature dimension condition is equivalent to the q-timelike Brunn-Minkowski inequality.

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

The paper proves that two different characterizations of curvature bounds coincide in a synthetic setting for spacetimes. Specifically, the timelike curvature-dimension condition TCD_q matches the Brunn-Minkowski inequality TBM_q under a non-branching assumption on geodesics. This equivalence also holds for an entropic version of the curvature condition and a reduced form of the inequality. The result extends earlier equivalences known for smooth spacetimes to more general, non-smooth Lorentzian spaces. A reader would care because it provides tools to handle curvature in singular or approximated spacetime models without relying on smoothness.

Core claim

In the timelike q-essentially non-branching setting, the q-timelike curvature dimension condition TCD_q(K,N) is equivalent to TBM_q(K,N^+), and the entropic q-timelike curvature dimension condition TCD_q^e(K,N) is equivalent to the reduced sTBM condition sTBM_q^*(K,N) on synthetic Lorentzian spaces. The strong q-timelike Brunn-Minkowski condition sTBM_q(K,N) is introduced to facilitate this.

What carries the argument

The timelike q-essentially non-branching condition, which prevents excessive branching of timelike geodesics and enables the equivalence between volume distortion estimates from curvature conditions and those from the Brunn-Minkowski inequality.

If this is right

Volume comparison results can be obtained from either the curvature condition or the inequality in non-smooth spacetimes.
The entropic formulation allows for alternative proofs and applications in information-theoretic approaches to geometry.
Synthetic methods become available for studying Ricci curvature bounds in general relativity models with limited regularity.
Equivalences like this support the development of stability results under convergence of spacetimes.

Where Pith is reading between the lines

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

Such equivalences may help in approximating curved spacetimes with discrete or polyhedral models where one condition is easier to check.
Connections to optimal transport theory in Lorentzian signature could be explored further using these equivalences.
Future work might remove or weaken the non-branching assumption to cover more general synthetic spaces.

Load-bearing premise

The synthetic Lorentzian space must satisfy the timelike q-essentially non-branching property for the equivalences to hold.

What would settle it

Constructing or identifying a synthetic Lorentzian space that is timelike q-essentially non-branching but where TCD_q(K,N) holds while TBM_q(K,N^+) fails for some K and N.

read the original abstract

We introduce the strong $q$-timelike Brunn-Minkowski condition $\mathsf{sTBM}_q(K,N)$ on synthetic Lorentzian spaces, for $0<q<1$. We show that, in the timelike $q$-essentially non-branching setting, the $q$-timelike curvature dimension condition $\mathsf{TCD}_q(K,N)$ is equivalent to $\mathsf{TBM}_q(K,N^+)$, and that the entropic $q$-timelike curvature dimension condition $\mathsf{TCD}_q^e(K,N)$ is equivalent to the reduced $\mathsf{sTBM}$ condition, $\mathsf{sTBM}_q^*(K,N)$. This extends, to a non-smooth setting, our earlier work in proving the equivalence between Ricci curvature and the Brunn-Minkowski inequality on $C^2$ spacetimes.

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 paper introduces the strong q-timelike Brunn-Minkowski condition sTBM_q(K,N) on synthetic Lorentzian spaces for 0<q<1. It establishes that, under the timelike q-essentially non-branching hypothesis, the q-timelike curvature dimension condition TCD_q(K,N) is equivalent to TBM_q(K,N^+), while the entropic version TCD_q^e(K,N) is equivalent to the reduced condition sTBM_q^*(K,N). The argument reduces the equivalences to the authors' prior smooth C^2 spacetime results via localization and disintegration techniques adapted to the Lorentzian setting.

Significance. If the equivalences are valid, the work supplies a synthetic characterization of timelike Ricci curvature bounds through Brunn-Minkowski inequalities on non-smooth Lorentzian spaces. This extends the Riemannian CD theory to the timelike Lorentzian context and provides tools for analyzing curvature in singular spacetimes, with the introduction of sTBM_q and its reduced form strengthening the toolkit for optimal-transport methods in Lorentzian geometry.

major comments (1)

[Section 4 (or the localization argument)] The reduction step from the synthetic non-branching setting to the smooth C^2 case (invoked to transfer the known equivalences) requires explicit verification that the disintegration and localization preserve the timelike q-essential non-branching property; without this, the equivalence may fail to transfer in the presence of branching pathologies.

minor comments (2)

[Introduction] Notation for the reduced condition sTBM_q^* should be defined explicitly in the introduction rather than deferred to the statement of the main theorem.
[Definition of TBM_q] Clarify the precise range of q and the role of N^+ in TBM_q(K,N^+) to avoid ambiguity with the standard N parameter in TCD conditions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comment on the localization procedure. The observation highlights an important point for rigor in transferring the equivalences. We address it below and will incorporate the requested verification in the revised version.

read point-by-point responses

Referee: [Section 4 (or the localization argument)] The reduction step from the synthetic non-branching setting to the smooth C^2 case (invoked to transfer the known equivalences) requires explicit verification that the disintegration and localization preserve the timelike q-essential non-branching property; without this, the equivalence may fail to transfer in the presence of branching pathologies.

Authors: We agree that an explicit verification of preservation is necessary for a complete argument. In the localization and disintegration along timelike geodesics (as adapted from the Riemannian setting to the Lorentzian case in Section 4), the timelike q-essential non-branching property is inherited by the localized spaces: any branching in a disintegrated measure would project to a branching in the original measure, contradicting the global timelike q-essential non-branching assumption on the ambient space. To address the referee's point directly, we will add a short lemma (or expanded remark) in Section 4 that rigorously establishes this preservation under the TCD_q(K,N) and non-branching hypotheses, thereby justifying the reduction to the smooth C^2 equivalences from our prior work. This addition will be self-contained and use only the existing disintegration framework. revision: yes

Circularity Check

0 steps flagged

No significant circularity; equivalences between independently defined conditions

full rationale

The paper introduces the strong q-timelike Brunn-Minkowski condition sTBM_q(K,N) independently and proves its equivalence to the q-timelike curvature dimension condition TCD_q(K,N) (and the entropic variant to the reduced sTBM_q^*) under the timelike q-essentially non-branching hypothesis on synthetic Lorentzian spaces. The argument adapts standard localization and disintegration techniques to the Lorentzian setting and reduces the non-smooth case to the smooth C^2 case via these methods. Although the smooth-case equivalence is referenced as prior work by the same author, the core contribution is the synthetic extension with explicit control on branching via the non-branching assumption; no equation or claim reduces by construction to its own inputs, no fitted parameter is relabeled as a prediction, and the conditions remain separately defined rather than inter-defined. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on prior definitions of TCD and TBM conditions from the synthetic geometry literature, plus the newly introduced sTBM condition; no free parameters or new physical entities are introduced.

axioms (2)

standard math Standard axioms and definitions of synthetic Lorentzian spaces and curvature-dimension conditions from prior literature
Background framework invoked for the equivalences
domain assumption Timelike q-essentially non-branching property
Required setting for the stated equivalences

invented entities (1)

strong q-timelike Brunn-Minkowski condition sTBM_q(K,N) no independent evidence
purpose: New condition to characterize curvature via Brunn-Minkowski inequality in synthetic spaces
Introduced in the paper as the strong version for the equivalence

pith-pipeline@v0.9.0 · 5446 in / 1234 out tokens · 42841 ms · 2026-05-10T15:53:44.942589+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 5 canonical work pages

[1]

Farooqui

——–. “Equivalence between the timelike Brunn-Minkowski inequality and timelike Bakry-´Emery-Ricci lower bound on weighted globally hyperbolic spacetimes”. In: (2025). arXiv:2504.06186 [math.MG].url:https://arxiv.org/abs/2504. 06186

work page arXiv 2025
[2]

Additiveset-functionsinabstractspaces

A.D.Alexandroff.“Additiveset-functionsinabstractspaces”.In:Rec. Math. [Mat. Sbornik] N.S.13(55).2-3 (1943), pp. 169–238

1943
[3]

Springer, 2005

Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e.Gradient flows: in metric spaces and in the space of probability measures. Springer, 2005

2005
[4]

Localization and tensorization proper- ties of the curvature-dimension condition for metric measure spaces

Kathrin Bacher and Karl-Theodor Sturm. “Localization and tensorization proper- ties of the curvature-dimension condition for metric measure spaces”. In:Journal of Functional Analysis259.1 (2010), pp. 28–56

2010
[5]

K., and McCann, R

Tobias Beran et al.A nonlinear d’Alembert comparison theorem and causal differ- ential calculus on metric measure spacetimes.2025.arXiv:2408.15968 [math.DG]. url:https://arxiv.org/abs/2408.15968

work page arXiv 2025
[6]

Springer, 2007

Vladimir I Bogachev.Measure theory. Springer, 2007

2007
[7]

R´ enyi’sentropyonLorentzianspaces.Timelikecurvature-dimension conditions

MathiasBraun.“R´ enyi’sentropyonLorentzianspaces.Timelikecurvature-dimension conditions”. In:Journal de Math´ ematiques Pures et Appliqu´ ees177 (2023), pp. 46– 128

2023
[8]

Braun and R

Mathias Braun and Robert J McCann. “Causal convergence conditions through variable timelike Ricci curvature bounds”. In:arXiv preprint arXiv:2312.17158 (2023)

work page arXiv 2023
[9]

Optimal transport in Lorentzian syn- thetic spaces, synthetic timelike Ricci curvature lower bounds and applications

Fabio Cavalletti and Andrea Mondino. “Optimal transport in Lorentzian syn- thetic spaces, synthetic timelike Ricci curvature lower bounds and applications”. In:arXiv preprint arXiv:2004.08934(2020). 31

work page arXiv 2004
[10]

Causality for nonlocal phenomena

Micha lEckstein and Tomasz Miller. “Causality for nonlocal phenomena”. In:An- nales Henri Poincar´ e. Vol. 18. 9. Springer. 2017, pp. 3049–3096

2017
[11]

On the equiva- lence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces

Matthias Erbar, Kazumasa Kuwada, and Karl-Theodor Sturm. “On the equiva- lence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces”. In:Inventiones mathematicae201.3 (2015), pp. 993–1071

2015
[12]

On the structure of causal spaces

Erwin H Kronheimer and Roger Penrose. “On the structure of causal spaces”. In:Mathematical Proceedings of the Cambridge Philosophical Society. Vol. 63. 2. Cambridge University Press. 1967, pp. 481–501

1967
[13]

Lorentzian length spaces

Michael Kunzinger and Clemens S¨ amann. “Lorentzian length spaces”. In:Annals of global analysis and geometry54.3 (2018), pp. 399–447

2018
[14]

Ricci curvature for metric-measure spaces via op- timal transport

John Lott and C´ edric Villani. “Ricci curvature for metric-measure spaces via op- timal transport”. In:Annals of Mathematics(2009), pp. 903–991

2009
[15]

TheBrunn–Minkowski inequality implies the CD condition in weighted Riemannian manifolds

MattiaMagnabosco,LorenzoPortinale,andTommasoRossi.“TheBrunn–Minkowski inequality implies the CD condition in weighted Riemannian manifolds”. In:Non- linear Analysis242 (2024), p. 113502

2024
[16]

The strong Brunn– Minkowski inequality and its equivalence with the CD condition

Mattia Magnabosco, Lorenzo Portinale, and Tommaso Rossi. “The strong Brunn– Minkowski inequality and its equivalence with the CD condition”. In:Communi- cations in Contemporary Mathematics27.05 (2025), p. 2450025

2025
[17]

A synthetic null energy condition

Robert J McCann. “A synthetic null energy condition”. In:Communications in Mathematical Physics405.2 (2024), p. 38

2024
[18]

Displacement convexity of Boltzmann’s entropy characterizes thestrongenergyconditionfromgeneralrelativity

Robert J McCann. “Displacement convexity of Boltzmann’s entropy characterizes thestrongenergyconditionfromgeneralrelativity”.In:arXiv preprint arXiv:1808.01536 (2018)

work page arXiv 2018
[19]

An optimal transport formulation of the Ein- stein equations of general relativity

Andrea Mondino and Stefan Suhr. “An optimal transport formulation of the Ein- stein equations of general relativity”. In:Journal of the European Mathematical Society25.3 (2022), pp. 933–994

2022
[20]

A Lorentzian Gromov–Hausdorff notion of distance

Johan Noldus. “A Lorentzian Gromov–Hausdorff notion of distance”. In:Classical and Quantum Gravity21.4 (2004), pp. 839–850

2004
[21]

Non-branching geodesics and optimal maps in strong $$CD(K,\infty )$$-spaces

Tapio Rajala and Karl-Theodor Sturm. “Non-branching geodesics and optimal maps in strong $$CD(K,\infty )$$-spaces”. In:Calculus of Variations and Partial Differential Equations50.3 (2014), pp. 831–846.url:https : / / doi . org / 10 . 1007/s00526-013-0657-x

2014
[22]

University Press, 1914

Alfred Arthur Robb.A theory of time and space. University Press, 1914

1914
[23]

On the geometry of metric measure spaces

Karl-Theodor Sturm. “On the geometry of metric measure spaces”. In: (2006)

2006
[24]

On the geometry of metric measure spaces. II

Karl-Theodor Sturm. “On the geometry of metric measure spaces. II”. In: (2006)

2006
[25]

C´ edric Villani et al.Optimal transport: old and new. Vol. 338. Springer, 2008. 32

2008