Nonsmooth Lorentzian Geometry
I am currently working on a promising optimal transport approach to Einstein's theory of gravity. In this work, I have obtained results about the timelike curvature-dimension condition – briefly TCD condition – for nonsmooth measured Lorentzian spaces, especially its pathwise interpretation, its local-to-global property, and sharp geometric inequalities. It characterizes the condition "Ricci curvature being bounded from below in timelike directions, and dimension being bounded from above" for smooth spacetimes, hence includes the strong energy condition of Hawking and Penrose. The class of spaces in which the TCD condition makes sense includes spacetime solutions to the Einstein equation with low regularity metric. In this work with Matteo Calisti, we have shown spacetimes with C¹ metrics – the borderline regularity for local existence results for the Einstein equation in four dimensions – and timelike lower bounds for their distributional Ricci tensor to be covered by the synthetic Lorentzian setting. The latter should thus lead to new understandings of (super-)solutions to the Einstein equation. With Shin-ichi Ohta, we have also covered Finsler spacetimes here.