pith. sign in

arxiv: 2412.20783 · v2 · submitted 2024-12-30 · 🧮 math.DG

Splitting theorems for weighted Finsler spacetimes via the p-d'Alembertian: beyond the Berwald case

Pith reviewed 2026-05-23 06:59 UTC · model grok-4.3

classification 🧮 math.DG
keywords Finsler spacetimessplitting theoremsp-d'AlembertianBerwald spacetimesBusemann functiontimelike geodesic completenessglobal hyperbolicityweighted Lorentzian manifolds
0
0 comments X

The pith

Timelike geodesically complete Finsler spacetimes admit a diffeomorphic splitting via the elliptic p-d'Alembertian.

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

The paper establishes splitting theorems for weighted Finsler spacetimes without requiring the Berwald condition that restricted earlier results. It applies the elliptic p-d'Alembertian to prove a diffeomorphic splitting whenever the spacetime is timelike geodesically complete. In the Berwald case the Busemann function generates a group of isometries by translations, and the theorems also hold when global hyperbolicity replaces completeness. The results recover and extend prior splitting theorems for weighted Lorentzian manifolds.

Core claim

For timelike geodesically complete Finsler spacetimes a diffeomorphic splitting holds. In Berwald spacetimes the Busemann function generates isometries via translations. The elliptic p-d'Alembertian removes the Berwald assumption while preserving the conclusions.

What carries the argument

The elliptic p-d'Alembertian, which replaces the Berwald condition as the main tool for establishing the timelike splitting.

Load-bearing premise

The elliptic p-d'Alembertian works for general Finsler spacetimes under only timelike geodesic completeness.

What would settle it

A timelike geodesically complete Finsler spacetime that fails to admit any diffeomorphic splitting would disprove the claim.

read the original abstract

A timelike splitting theorem for Finsler spacetimes was previously established by the third author, in collaboration with Lu and Minguzzi, under relatively strong hypotheses, including the Berwald condition. This contrasts with the more general results known for positive definite Finsler manifolds. In this article, we employ a recently developed strategy for proving timelike splitting theorems using the elliptic $p$-d'Alembertian. This approach, pioneered by Braun, Gigli, McCann, S\"amann, and the second author, allows us to remove the restrictive assumptions of the earlier splitting theorem. For timelike geodesically complete Finsler spacetimes, we establish a diffeomorphic splitting. In the specific case of Berwald spacetimes, we show that the Busemann function generates a group of isometries via translations. Furthermore, for Berwald spacetimes, we extend these splitting theorems by replacing the assumption of timelike geodesic completeness with global hyperbolicity. Our results encompass and generalize the timelike splitting theorems for weighted Lorentzian manifolds previously obtained by Case and Woolgar-Wylie.

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

2 major / 2 minor

Summary. The manuscript claims that the elliptic p-d'Alembertian yields a diffeomorphic timelike splitting for any timelike geodesically complete weighted Finsler spacetime, removing the Berwald restriction from the earlier Lu-Minguzzi-Ohta theorem. In the Berwald case it further shows that the Busemann function generates a one-parameter group of isometries, and that the same conclusions hold under global hyperbolicity alone. The results are stated to encompass the weighted Lorentzian splitting theorems of Case and of Woolgar-Wylie.

Significance. If the analytic steps are valid, the work supplies a genuine generalization of timelike splitting theorems to the full class of Finsler spacetimes. The explicit use of the p-d'Alembertian strategy (previously developed by Braun-Gigli-McCann-Sämann and the second author) is a clear strength, as it replaces Berwald-specific affine-connection arguments with gradient estimates and a strong maximum principle that are shown to survive the nonlinear connection.

major comments (2)
  1. [§4.1] §4.1, the derivation of the Bochner-type identity for the p-d'Alembertian: the identity is asserted to hold for a general (non-Berwald) Finsler metric, yet the calculation appears to invoke the covariant derivative of the fundamental tensor along geodesics in a manner that reduces to the linear connection only when the connection coefficients are direction-independent. This step is load-bearing for the claim that the maximum principle applies without the Berwald hypothesis.
  2. [Theorem 5.3] Theorem 5.3 (non-Berwald splitting): the proof that the level sets of the Busemann function are smooth and that the splitting map is a diffeomorphism relies on the strong maximum principle for the p-d'Alembertian; if the ellipticity constant depends on the direction in a way that degenerates along the geodesic, the conclusion fails. An explicit uniform ellipticity estimate independent of the direction must be supplied.
minor comments (2)
  1. [§2] The weighted measure is introduced in §2 but its precise interaction with the p-d'Alembertian (the weight term in the divergence) is not restated when the operator is applied in the splitting argument; a one-line reminder would improve readability.
  2. Notation: the symbol for the Finsler fundamental tensor g_{ij}(x,y) is occasionally abbreviated to g without the velocity argument; this risks confusion with the Lorentzian metric in the comparison statements.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where additional clarification is needed to fully substantiate the generality beyond the Berwald case. We address each major comment below.

read point-by-point responses
  1. Referee: [§4.1] §4.1, the derivation of the Bochner-type identity for the p-d'Alembertian: the identity is asserted to hold for a general (non-Berwald) Finsler metric, yet the calculation appears to invoke the covariant derivative of the fundamental tensor along geodesics in a manner that reduces to the linear connection only when the connection coefficients are direction-independent. This step is load-bearing for the claim that the maximum principle applies without the Berwald hypothesis.

    Authors: We thank the referee for highlighting this subtlety. The Bochner-type identity is obtained from the definition of the p-d'Alembertian via the nonlinear connection and the homogeneity of the Finsler norm; the relevant terms involving the covariant derivative of the fundamental tensor are controlled by the vertical and horizontal derivatives without requiring the connection coefficients to be direction-independent. Nevertheless, the presentation in §4.1 is concise and could be misread as relying on Berwald-specific features. We will therefore expand the derivation with an explicit intermediate calculation (approximately two additional displayed equations) that isolates and cancels the direction-dependent contributions using only the properties of the Chern connection and the p-Laplacian structure. This revision will make the independence from the Berwald condition fully transparent while leaving the logical structure unchanged. revision: yes

  2. Referee: [Theorem 5.3] Theorem 5.3 (non-Berwald splitting): the proof that the level sets of the Busemann function are smooth and that the splitting map is a diffeomorphism relies on the strong maximum principle for the p-d'Alembertian; if the ellipticity constant depends on the direction in a way that degenerates along the geodesic, the conclusion fails. An explicit uniform ellipticity estimate independent of the direction must be supplied.

    Authors: We agree that an explicit uniform ellipticity bound is required to justify application of the strong maximum principle along the entire geodesic. While the timelike geodesic completeness and the compactness of the indicatrix ensure such a bound exists, the manuscript does not spell out the quantitative estimate. In the revised version we will insert a short lemma (new Lemma 5.2) that derives a direction-independent lower bound on the ellipticity constant from the uniform continuity of the Finsler metric on compact subsets of the tangent bundle and the lower bound on the Lorentzian norm along the relevant timelike curves. With this lemma in place, the strong maximum principle applies uniformly and the diffeomorphism conclusion of Theorem 5.3 follows without additional restrictions. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior Berwald splitting; p-d'Alembertian adaptation supplies independent analytic content

full rationale

The manuscript cites the authors' earlier Lu-Minguzzi-Ohta result only for the Berwald case that is being relaxed; the central argument adapts the elliptic p-d'Alembertian (credited to Braun-Gigli-McCann-Sämann-Ohanyan) to obtain the diffeomorphic splitting under mere timelike geodesic completeness. No equation or step reduces a claimed prediction to a fitted parameter or to a self-citation chain by construction. The derivation therefore remains self-contained against external benchmarks and receives only the baseline self-citation penalty.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background axioms of Finsler spacetimes (smoothness of the metric, convexity of the unit ball, etc.) plus the analytic properties of the p-d'Alembertian; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Timelike geodesic completeness (or global hyperbolicity for the Berwald case)
    Invoked as the hypothesis that replaces the stronger Berwald condition in the new theorems.
  • domain assumption Existence and suitable regularity of the p-d'Alembertian operator on weighted Finsler spacetimes
    Cited as the recently developed tool that enables the proof without Berwald.

pith-pipeline@v0.9.0 · 5741 in / 1409 out tokens · 25507 ms · 2026-05-23T06:59:14.313347+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

71 extracted references · 71 canonical work pages · 1 internal anchor

  1. [1]

    An introduction to Riemann-Finsler geometry , vol

    Bao, D., Chern, S.-S., and Shen, Z. An introduction to Riemann-Finsler geometry , vol. 200 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2000

  2. [2]

    Beem, J. K. Indefinite Finsler spaces and timelike spaces. Canadian J. Math. 22 (1970), 1035–1039

  3. [3]

    K., Ehrlich, P

    Beem, J. K., Ehrlich, P. E., and Easley, K. L. Global Lorentzian geometry , second ed., vol. 202 of Monographs and Textbooks in Pure and Applied Mathematics . Marcel Dekker, Inc., New York, 1996

  4. [4]

    K., Ehrlich, P

    Beem, J. K., Ehrlich, P. E., Markvorsen, S., and Galloway, G. J. Decom- position theorems for Lorentzian manifolds with nonpositi ve curvature. J. Differential Geom. 22 , 1 (1985), 29–42

  5. [5]

    K., Ehrlich, P

    Beem, J. K., Ehrlich, P. E., Markvorsen, S., and Galloway, G. J. A Toponogov splitting theorem for Lorentzian manifolds. In Global differential geometry and global analysis 1984 (Berlin, 1984) , vol. 1156 of Lecture Notes in Math. Springer, Berlin, 1985, pp. 1–13

  6. [6]

    J., Ohanyan, A., Rott, F., and S ¨amann, C

    Beran, T., Braun, M., Calisti, M., Gigli, N., McCann, R. J., Ohanyan, A., Rott, F., and S ¨amann, C. A nonlinear d’Alembert comparison theorem and causal differential calculus on metric measure spacetimes. arXiv:2408.15968 (2024)

  7. [7]

    Beran, T., Ohanyan, A., Rott, F., and Solis, D. A. The splitting theorem for globally hyperbolic Lorentzian length spaces with non-neg ative timelike curvature. Lett. Math. Phys. 113 , 2 (2023), Paper No. 48, 47pp

  8. [8]

    N., Javaloyes, M

    Bernal, A. N., Javaloyes, M. A., and S ´anchez, M. Foundations of Finsler space- times from the observers’ viewpoint. Universe 6 , 4 (2020)

  9. [9]

    Nonsmooth d’Alembertian for Lorentz distance functions

    Braun, M. Nonsmooth d’Alembertian for Lorentz distance functions. arXiv:2408.16525 (2024)

  10. [10]

    J., Ohanyan, A., and S ¨amann, C

    Braun, M., Gigli, N., McCann, R. J., Ohanyan, A., and S ¨amann, C. An elliptic proof of the splitting theorems from Lorentzian geometry. arXiv:2410.12632 (2024). 30

  11. [11]

    J., Ohanyan, A., and S ¨amann, C

    Braun, M., Gigli, N., McCann, R. J., Ohanyan, A., and S ¨amann, C. in prepa- ration

  12. [12]

    Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes

    Braun, M., and Ohta, S.-i. Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes. Trans. Amer. Math. Soc. 377 , 5 (2024), 3529–3576

  13. [13]

    A variational setting for an indefinite Lagrangian with an affine Noether charge

    Caponio, E., and Corona, D. A variational setting for an indefinite Lagrangian with an affine Noether charge. Calc. Var. Partial Differential Equations 62 , 2 (2023), Paper No. 39, 33 pp

  14. [14]

    Fixed energy solutions to the Euler-Lagrange equations of an indefinite Lagrangian with affine Noether charge

    Caponio, E., Corona, D., Giamb `o, R., and Piccione, P. Fixed energy solutions to the Euler-Lagrange equations of an indefinite Lagrangian with affine Noether charge. Ann. Mat. Pura Appl. (4) 203 , 4 (2024), 1819–1850

  15. [15]

    On the analyticity of static solutions of a field equation in Finsler gravity

    Caponio, E., and Masiello, A. On the analyticity of static solutions of a field equation in Finsler gravity. Universe 6 (2020), 59

  16. [16]

    On Finsler spacetimes with a timelike Killing vector field

    Caponio, E., and Stancarone, G. On Finsler spacetimes with a timelike Killing vector field. Classical and Quantum Gravity 35 , 8 (2018), 085007

  17. [17]

    Case, J. S. Singularity theorems and the Lorentzian splitting theorem for the Bakry- Emery-Ricci tensor. J. Geom. Phys. 60 , 3 (2010), 477–490

  18. [18]

    Cheeger, J., and Colding, T. H. Lower bounds on Ricci curvature and the almost rigidity of warped products. Ann. of Math. (2) 144 , 1 (1996), 189–237

  19. [19]

    Cheeger, J., and Colding, T. H. On the structure of spaces with Ricci curvature bounded below. I. J. Differential Geom. 46 , 3 (1997), 406–480

  20. [20]

    The splitting theorem for manifolds of nonnegative Ricci curvature

    Cheeger, J., and Gromoll, D. The splitting theorem for manifolds of nonnegative Ricci curvature. J. Differential Geometry 6 (1971/72), 119–128

  21. [21]

    Extended Hamiltonian formalism and Lorentz-violating Lag rangians

    Colladay, D. Extended Hamiltonian formalism and Lorentz-violating Lag rangians. Physics Letters B 772 (2017), 694–698

  22. [22]

    The splitting theorem for space-times with strong energy co ndition

    Eschenburg, J.-H. The splitting theorem for space-times with strong energy co ndition. J. Differential Geom. 27 , 3 (1988), 477–491

  23. [23]

    Eschenburg, J.-H., and Galloway, G. J. Lines in space-times. Comm. Math. Phys. 148, 1 (1992), 209–216

  24. [24]

    On the non metrizability of Berwald Finsler spacetimes

    Fuster, A., Heefer, S., Pfeifer, C., and Voicu, N. On the non metrizability of Berwald Finsler spacetimes. Universe 6 , 5 (2020), 64

  25. [25]

    Finsler pp-waves

    Fuster, A., and Pabst, C. Finsler pp-waves. Phys. Rev. D 94 , 10 (2016), 104072, 5pp

  26. [26]

    Berwald spacetimes and very special rela- tivity

    Fuster, A., Pabst, C., and Pfeifer, C. Berwald spacetimes and very special rela- tivity. Phys. Rev. D 98 , 8 (2018), 084062, 14pp

  27. [27]

    On singular generalized Berwald spacetimes and the equiva- lence principle

    Gallego Torrom ´ e, R. On singular generalized Berwald spacetimes and the equiva- lence principle. Int. J. Geom. Methods Mod. Phys. 14 , 6 (2017), 1750091, 21pp. 31

  28. [28]

    Galloway, G. J. The Lorentzian splitting theorem without the completeness assump- tion. J. Differential Geom. 29 , 2 (1989), 373–387

  29. [29]

    J., and Horta, A

    Galloway, G. J., and Horta, A. Regularity of Lorentzian Busemann functions. Trans. Amer. Math. Soc. 348 , 5 (1996), 2063–2084

  30. [30]

    The splitting theorem in non-smooth context

    Gigli, N. The splitting theorem in non-smooth context, Mem. Amer. Math. Soc. , to appear, arXiv:1302.5555

  31. [31]

    Planck-scale modified dispersion relations and Finsler geometry

    Girelli, F., Liberati, S., and Sindoni, L. Planck-scale modified dispersion relations and Finsler geometry. Phys. Rev. D 75 (2007), 064015

  32. [32]

    W., and Ellis, G

    Hawking, S. W., and Ellis, G. F. R. The large scale structure of space-time , an- niversary ed. Cambridge Monographs on Mathematical Physic s. Cambridge University Press, Cambridge, 2023. With a foreword by Abhay Ashtekar

  33. [33]

    Cosmological Finsler spacetimes

    Hohmann, M., Pfeifer, C., and Voicu, N. Cosmological Finsler spacetimes. Uni- verse 6 , 5 (2020), 65

  34. [34]

    A., and S ´anchez, M

    Javaloyes, M. A., and S ´anchez, M. On the definition and examples of cones and Finsler spacetimes. Rev. R. Acad. Cienc. Exactas F ´ ıs. Nat. Ser. A Mat. RACSAM 114 , 1 (2020), Paper No. 30

  35. [35]

    Kosteleck´y, V. A. Riemann-Finsler geometry and Lorentz-violating kinemati cs. Physics Letters. B. Particle Physics, Nuclear Physics and Co smology 701 , 1 (2011), 137–143

  36. [36]

    A., Russell, N., and Tso, R

    Kosteleck´y, V. A., Russell, N., and Tso, R. Bipartite Riemann-Finsler geom- etry and Lorentz violation. Physics Letters. B. Particle Physics, Nuclear Physics and Cosmology 716, 3-5 (2012), 470–474

  37. [37]

    P., Stathakopoulos, M., and Stavrinos, P

    Kouretsis, A. P., Stathakopoulos, M., and Stavrinos, P. C. General very special relativity in Finsler cosmology. Phys. Rev. D 79 , 10 (2009), 104011

  38. [38]

    Lorentzian length spaces

    Kunzinger, M., and S ¨amann, C. Lorentzian length spaces. Ann. Global Anal. Geom. 54, 3 (2018), 399–447

  39. [39]

    Finsler geometry as a model for relativistic gravity

    L¨ammerzahl, C., and Perlick, V. Finsler geometry as a model for relativistic gravity. International Journal of Geometric Methods in Modern Physic s 15 (2018), 1850166

  40. [40]

    Observable effects in a class of spherically symmetric static Finsler spacetimes

    L¨ammerzahl, C., Perlick, V., and Hasse, W. Observable effects in a class of spherically symmetric static Finsler spacetimes. Physical Review D 86 , 10 (2012), 104042

  41. [41]

    Lee, P. W. Y. Displacement interpolations from a Hamiltonian point of vi ew. J. Funct. Anal. 265 , 12 (2013), 3163–3203

  42. [42]

    Geometry of weighted Lorentz-Finsler mani- folds I: Singularity theorems

    Lu, Y., Minguzzi, E., and Ohta, S.-i. Geometry of weighted Lorentz-Finsler mani- folds I: Singularity theorems. J. Lond. Math. Soc. (2) 104 , 1 (2021), 362–393

  43. [43]

    Comparison theorems on weighted Finsler manifolds and spacetimes with ǫ-range

    Lu, Y., Minguzzi, E., and Ohta, S.-i. Comparison theorems on weighted Finsler manifolds and spacetimes with ǫ-range. Anal. Geom. Metr. Spaces 10 , 1 (2022), 1–30. 32

  44. [44]

    Geometry of weighted Lorentz-Finsler mani- folds II: A splitting theorem

    Lu, Y., Minguzzi, E., and Ohta, S.-i. Geometry of weighted Lorentz-Finsler mani- folds II: A splitting theorem. Internat. J. Math. 34 , 1 (2023), Paper No. 2350002, 29pp

  45. [45]

    S., and Troyanov, M

    Matveev, V. S., and Troyanov, M. The Binet-Legendre metric in Finsler geometry. Geom. Topol. 16 , 4 (2012), 2135–2170

  46. [46]

    McCann, R. J. Displacement convexity of Boltzmann’s entropy characterizes the strong energy condition from general relativity. Camb. J. Math. 8 , 3 (2020), 609–681

  47. [47]

    Light cones in Finsler spacetime

    Minguzzi, E. Light cones in Finsler spacetime. Comm. Math. Phys. 334 , 3 (2015), 1529–1551

  48. [48]

    Raychaudhuri equation and singularity theorems in Finsler spacetimes

    Minguzzi, E. Raychaudhuri equation and singularity theorems in Finsler spacetimes. Classical Quantum Gravity 32 , 18 (2015), 185008, 26pp

  49. [49]

    Special coordinate systems in pseudo-Finsler geometry and the equivalence principle

    Minguzzi, E. Special coordinate systems in pseudo-Finsler geometry and the equivalence principle. J. Geom. Phys. 114 (2017), 336–347

  50. [50]

    Causality theory for closed cone structures with applicati ons

    Minguzzi, E. Causality theory for closed cone structures with applicati ons. Rev. Math. Phys. 31 , 5 (2019), 1930001, 139pp

  51. [51]

    Lorentzian causality theory

    Minguzzi, E. Lorentzian causality theory. Living Rev. Relativ. 22 , 3 (2019), 1–202

  52. [52]

    Structure theory of metric measure spaces with lower Ricci curvature bounds

    Mondino, A., and Naber, A. Structure theory of metric measure spaces with lower Ricci curvature bounds. J. Eur. Math. Soc. (JEMS) 21 , 6 (2019), 1809–1854

  53. [53]

    An optimal transport formulation of the Einstein equations of general relativity

    Mondino, A., and Suhr, S. An optimal transport formulation of the Einstein equations of general relativity. J. Eur. Math. Soc. (JEMS) 25 , 3 (2023), 933–994

  54. [54]

    Newman, R. P. A. C. A proof of the splitting conjecture of S.-T. Yau. J. Differential Geom. 31 , 1 (1990), 163–184

  55. [55]

    Vanishing S-curvature of Randers spaces

    Ohta, S.-i. Vanishing S-curvature of Randers spaces. Differential Geom. Appl. 29 , 2 (2011), 174–178

  56. [56]

    On the curvature and heat flow on Hamiltonian systems

    Ohta, S.-i. On the curvature and heat flow on Hamiltonian systems. Anal. Geom. Metr. Spaces 2, 1 (2014), 81–114

  57. [57]

    Splitting theorems for Finsler manifolds of nonnegative Ri cci curvature

    Ohta, S.-i. Splitting theorems for Finsler manifolds of nonnegative Ri cci curvature. J. Reine Angew. Math. 700 (2015), 155–174

  58. [58]

    Comparison Finsler geometry

    Ohta, S.-i. Comparison Finsler geometry . Springer Monographs in Mathematics. Springer, Cham, 2021

  59. [59]

    Bochner-Weitzenb¨ ock formula and Li-Yau estimates on Finsler manifolds

    Ohta, S.-i., and Sturm, K.-T. Bochner-Weitzenb¨ ock formula and Li-Yau estimates on Finsler manifolds. Adv. Math. 252 (2014), 429–448

  60. [60]

    Semi-Riemannian geometry

    O’Neill, B. Semi-Riemannian geometry. With applications to relativit y, vol. 103 of Pure and Applied Mathematics . Academic Press, Inc. [Harcourt Brace Jovanovich, Publish ers], New York, 1983

  61. [61]

    Fermat principle in Finsler spacetimes

    Perlick, V. Fermat principle in Finsler spacetimes. Gen. Relativity Gravitation 38 , 2 (2006), 365–380. 33

  62. [62]

    Finsler spacetime geometry in physics

    Pfeifer, C. Finsler spacetime geometry in physics. International Journal of Geometric Methods in Modern Physics 16 , suppl. 2 (2019), 1941004, 18

  63. [63]

    Finsler-like structures from Lorentz-breaking classical particles

    Russell, N. Finsler-like structures from Lorentz-breaking classical particles. Physical Review D 91 , 4 (2015), 045008

  64. [64]

    Lectures on Finsler geometry

    Shen, Z. Lectures on Finsler geometry . World Scientific Publishing Co., Singapore, 2001

  65. [65]

    Theory of optimal transport for Lorentzian cost functions

    Suhr, S. Theory of optimal transport for Lorentzian cost functions. M¨ unster J. Math. 11, 1 (2018), 13–47

  66. [66]

    Szab´o, Z. I. Positive definite Berwald spaces. Structure theorems on Ber wald spaces. Tensor (NS) 35 (1981), 25–39

  67. [67]

    V acaru, S. I. Finsler branes and quantum gravity phenomenology with Lore ntz sym- metry violations. Classical and Quantum Gravity 28 , 21 (2011), 215001, 24

  68. [68]

    Curvature-dimension bounds for Lorentzian splitting theorems

    Woolgar, E., and Wylie, W. Curvature-dimension bounds for Lorentzian splitting theorems. J. Geom. Phys. 132 (2018), 131–145

  69. [69]

    On the de Rham decomposition theorem

    Wu, H. On the de Rham decomposition theorem. Illinois J. Math. 8 (1964), 291–311

  70. [70]

    A warped product version of the Cheeger-Gromoll splitting t heorem

    Wylie, W. A warped product version of the Cheeger-Gromoll splitting t heorem. Trans. Amer. Math. Soc. 369 , 9 (2017), 6661–6681

  71. [71]

    Yau, S. T. Problem section. In Seminar on Differential Geometry , Ann. of Math. Stud., No. 102. Princeton Univ. Press, Princeton, NJ, 1982, pp. 669 –706. 34 Appendix: Detailed proof of the Bochner identity For convenience, here we present a detailed proof of Proposi tion 5.3. In fact, the Lorentzian signature of L has no influence and we can apply the same ...