Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes (Q6567171)

\textit{R. J. McCann} [Camb. J. Math. 8, No. 3, 609--681 (2020; Zbl 1454.53058)] discovered the equivalence between the lower weighted time-like Ricci curvature bound and the convexity of an entropy functional in terms of optimal transport theory. \textit{F. Cavalletti} and \textit{A. Mondino} [``Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications'', Preprint, \url{arXiv:2004.08934}] developed the synthetic theory of non-smooth measured Lorentzian space with time-like Ricci curvature bounded below on top of the framework of Lorentzian length spaces introduced by \textit{M. Kunzinger} and \textit{C. Sämann} [Ann. Global Anal. Geom. 54, No. 3, 399--447 (2018; Zbl 1501.53057)].\N\NIn the Lorentzian framework of weighted Finsler spacetimes, some singularity theorems, comparison theorems and a time-like splitting theorem have been established by \textit{Y. Lu} et al. [J. Lond. Math. Soc., II. Ser. 104, No. 1, 362--393 (2021; Zbl 1482.53085); Anal. Geom. Metr. Spaces 10, 1--30 (2022; Zbl 1493.53098); Int. J. Math. 34, No. 1, Article ID 2350002, 29 p. (2023; Zbl 1511.53061)]. Such results are implied by bounds on the time-like curvature. Therefore it is natural to expect the characterization of the lower weighted time-like Ricci curvature bound \(\mathrm{Ric}_{N}\geq K\) by the time-like curvature-dimension condition \(\mathrm{TCD}\left( K,N\right) \). This paper establishes this equivalence.\N\N\begin{itemize}\N\item[\S 2] reviews the basics of Lorentz-Finsler geometry.\N\N\item[\S 3] is concerned with the Lorentz-Finsler distance function.\N\N\item[\S 4] introduces the \(q\)-Lorentz-Wasserstein distance for \(q\in(0,1]\), investigating the associated optimal transports (\(q\)-geodesics). The useful notion of \(q\)-separation is introduced after \textit{R. J. McCann} [loc. cit.].\N\N\item[\S 5] is devoted to the first half of the main result, establishing that \(\mathrm{Ric}_{N}\geq K\)\ in the time-like directions implies \(\mathrm{TCD} \left( K,N\right) \). The Brunn-Minkowski inequality is also shown as an application.\N\N\item[\S 6] shows that \(\mathrm{TCD}\left( K,N\right) \) implies \(\mathrm{Ric}_{N}\geq K\).\N\end{itemize}