pith. sign in

arxiv: 2603.13551 · v2 · pith:RMBA6Z65new · submitted 2026-03-13 · 🌀 gr-qc

Totally geodesic null hypersurfaces and constancy of surface gravity in Finsler spacetimes

Ettore Minguzzi This is my paper

Pith reviewed 2026-05-25 07:19 UTC · model grok-4.3

classification 🌀 gr-qc
keywords Finsler spacetimestotally geodesic null hypersurfacessurface gravitynull convergence conditionRicci 1-formgravitational equationszeroth law
0
0 comments X

The pith

Connected compact totally geodesic null hypersurfaces admit constant surface gravity under the null convergence condition and χ_α=0 in Finsler spacetimes.

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

The paper defines totally geodesic null hypersurfaces in Finsler spacetimes and proves that the null convergence condition together with χ_α=0 forces the Ricci 1-form to vanish on such a hypersurface. A reduction technique then converts the Finsler problem into an equivalent Lorentzian one, transferring all standard results on compact null hypersurfaces. This yields constancy of surface gravity for connected compact cases, plus topological classifications. The dominant energy condition is examined as a possible replacement for χ_α=0, though it restricts the outcome to particular situations. The result supplies a physical reason to favor certain Finsler gravitational equations because constant surface gravity matches the zeroth law of thermodynamics.

Core claim

The null convergence condition and χ_α=0 imply the vanishing of the restriction of the Ricci 1-form on the hypersurface. This vanishing, together with a reduction trick that converts the Lorentz-Finsler analysis into a purely Lorentzian study, allows every notable result on compact totally geodesic null hypersurfaces from the Lorentzian case to extend directly. Consequently connected compact totally geodesic null hypersurfaces admit constant surface gravity, and further topological classification results are obtained. The possibility of deriving the same conclusions from the dominant energy condition without χ_α=0 is also explored, selecting specific possibilities.

What carries the argument

The reduction trick that maps the Lorentz-Finsler analysis of the hypersurface to a purely Lorentzian study once the restricted Ricci 1-form has been shown to vanish.

If this is right

  • Connected compact totally geodesic null hypersurfaces possess constant surface gravity.
  • Topological classification results for these hypersurfaces follow from the same conditions.
  • The dominant energy condition can replace χ_α=0 only in restricted cases.
  • Multiple standard Lorentzian theorems on null hypersurfaces carry over to the Finsler setting.

Where Pith is reading between the lines

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

  • Adopting the equation χ_α=0 receives indirect support from the requirement of thermodynamic consistency in Finsler black-hole models.
  • The reduction technique may extend to other curvature or causality conditions in generalized spacetimes.
  • Numerical constructions of Finsler black holes could be checked for surface-gravity constancy to test the necessity of χ_α=0.

Load-bearing premise

The mild gravitational equation χ_α=0 holds throughout the spacetime.

What would settle it

Discovery of a connected compact totally geodesic null hypersurface with non-constant surface gravity inside a Finsler spacetime that satisfies the null convergence condition and χ_α=0.

read the original abstract

We define and study totally geodesic null hypersurfaces in Finsler spacetimes. We prove that the null convergence condition and a certain mild gravitational equation $\chi_\alpha=0$, imply the vanishing of the restriction of the Ricci 1-form on the hypersurface. This makes it possible to extend to the Lorentz-Finsler setting essentially all notable results for compact totally geodesic null hypersurfaces that hold in the Lorentzian case. In fact, we introduce a trick that reduces the Lorentz-Finsler analysis to a purely Lorentzian study. As a result, it follows that, under the stated conditions, connected compact totally geodesic null hypersurfaces admit constant surface gravity. Further topological classification results are also obtained. The possibility of deriving these results from the dominant energy condition without using $\chi_\alpha=0$ is also explored, this strategy selecting some specific possibilities. Since surface gravity can be interpreted as temperature in some contexts, and its constancy expresses the zeroth law of thermodynamics, the present work provides a compelling physical argument in favour of some special Finslerian gravitational equations.

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

0 major / 3 minor

Summary. The paper defines totally geodesic null hypersurfaces in Finsler spacetimes and proves that the null convergence condition together with the auxiliary gravitational equation χ_α=0 implies vanishing of the restricted Ricci 1-form on the hypersurface. A reduction trick is introduced that converts the Lorentz-Finsler analysis to a purely Lorentzian one, allowing extension of standard results: connected compact totally geodesic null hypersurfaces have constant surface gravity, and further topological classifications are obtained. An alternative route via the dominant energy condition (avoiding χ_α=0) is also explored, selecting specific Finslerian possibilities.

Significance. If the derivations hold, the work extends several notable Lorentzian theorems on null hypersurfaces and the zeroth law of black-hole thermodynamics to the Finsler setting. The reduction construction is a concrete technical contribution that makes the extension possible under the stated hypotheses. The thermodynamic interpretation supplies a physical motivation for the auxiliary equation χ_α=0 and for certain Finslerian field equations.

minor comments (3)
  1. The abstract and introduction refer to 'a certain mild gravitational equation χ_α=0' without an explicit coordinate-free definition or comparison to the Einstein equations in the Lorentzian limit; adding this in §2 would improve readability.
  2. The reduction trick is described as converting the Finsler problem to a Lorentzian one, but the precise auxiliary construction (e.g., the lifted metric or the role of the Finsler fundamental tensor) is only sketched; a short self-contained paragraph or diagram in §3 would clarify the domain of validity.
  3. The exploration of the dominant-energy-condition route without χ_α=0 is stated to 'select some specific possibilities'; listing the surviving Finsler metrics or equations explicitly (perhaps in a table or corollary) would make the comparison sharper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation establishes constancy of surface gravity for connected compact totally geodesic null hypersurfaces under the explicit external conditions of the null convergence condition plus the auxiliary equation χ_α=0. The central step is a reduction of the Lorentz-Finsler analysis to a purely Lorentzian study via an auxiliary construction whose validity is internal only to those stated hypotheses; the result does not reduce by construction to any fitted parameter, self-definition, or self-citation chain. The manuscript is therefore self-contained against the supplied benchmarks and receives the default non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the null convergence condition (standard) and the introduced or selected equation χ_α=0 (ad hoc to the paper), with no free parameters or invented entities listed in the abstract.

axioms (2)
  • domain assumption Null convergence condition
    Invoked to obtain vanishing of Ricci 1-form restriction.
  • ad hoc to paper χ_α=0 gravitational equation
    Mild equation used to enable the main implication and thermodynamic conclusion.

pith-pipeline@v0.9.0 · 5716 in / 1171 out tokens · 26309 ms · 2026-05-25T07:19:38.341904+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

66 extracted references · 66 canonical work pages · 8 internal anchors

  1. [1]

    A. B. Aazami and M. A. Javaloyes. Penrose’s singularity theorem in a Finsler spacetime.Class. Quantum Grav., 33:025003, 2016. 28

    work page 2016

  2. [2]

    Akbar-Zadeh

    H. Akbar-Zadeh. Generalized Einstein manifolds.J. Geom. Phys., 17:342– 380, 1995

    work page 1995

  3. [3]

    Ambrosio, N

    L. Ambrosio, N. Fusco, and D. Pallara.Functions of bounded variation and free discontinuity problems. Claredon Press, Oxford, 2000

    work page 2000

  4. [4]

    P. L. Antonelli, R. S. Ingarden, and M. Matsumoto.The Theory of Sprays and Finsler Spaces with Applications in Physics and Biology. Springer Science+Business Media, Dordrecht, 1993

    work page 1993

  5. [5]

    D. Bao. Review of Akbar-Zadeh’s Generalized Einstein manifolds. MR1365208, 1995

    work page 1995

  6. [6]

    Bao, S.-S

    D. Bao, S.-S. Chern, and Z. Shen.An Introduction to Riemann-Finsler Geometry. Springer-Verlag, New York, 2000

    work page 2000

  7. [7]

    J. K. Beem. Indefinite Finsler spaces and timelike spaces.Can. J. Math., 22:1035–1039, 1970

    work page 1970

  8. [8]

    Bejancu and H

    A. Bejancu and H. R. Farran. Theory of finsler submanifolds via Berwald connection.International Electronic Journal of Geometry, 7:108–125, 2014

    work page 2014

  9. [9]

    G. Berk. Minimality of totally geodesic submanifolds in finsler geometry. Math. Ann., 343:955–973, 2009

    work page 2009

  10. [10]

    Bustamante and M

    I. Bustamante and M. Reiris. A classification theorem for compact Cauchy horizons in vacuum spacetimes.Gen. Relativ. Gravit., 53:36, 2021

    work page 2021

  11. [11]

    Caponio and A

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

    work page 2020

  12. [12]

    Chen and Y.B

    B. Chen and Y.B. Shen. On a class of critical Riemann-Finsler metrics. Publ. Math. Debrecen, 72:451–468, 2008

    work page 2008

  13. [13]

    M. Dahl. A brief introduction to Finsler geometry. Based on licentiate thesis, ‘Propagation of Gaussian beams using Riemann-Finsler geometry’, Helsinki University of technology, 2006

    work page 2006

  14. [14]

    Fuster and C

    A. Fuster and C. Pabst. Finsler pp-waves.Phys. Rev. D, 94:104072, 2016

    work page 2016

  15. [15]

    Fuster, C

    A. Fuster, C. Pabst, and C. Pfeifer. Berwald spacetimes and very special relativity.Phys. Rev. D, 98:084062–, 10 2018

    work page 2018

  16. [16]

    G. J. Galloway. Maximum principles for null hypersurfaces and null split- ting theorems.Ann. Henri Poincar´ e, 1:543–567, 2000

    work page 2000

  17. [17]

    Gurriaran and E

    S. Gurriaran and E. Minguzzi. Surface gravity of compact non-degenerate horizons under the dominant energy condition.Commun. Math. Phys., 395:679–713, 2022. arXiv:2108.04056

    work page arXiv 2022

  18. [18]

    Hohmann, C

    M. Hohmann, C. Pfeifer, and N. Voicu. Finsler gravity action from varia- tional completion.Phys. Rev. D, 100:064035, 2019. 29

    work page 2019

  19. [19]

    J. I. Horv´ ath. A geometrical model for the unified theory of physical fields. Phys. Rev., 80:901, 1950

    work page 1950

  20. [20]

    R. A. Hounnonkpe and E. Minguzzi. Horizon classification via Riemannian flows.Ann. Henri Poincar´ e, 2024. arXiv:2410.07231, DOI:10.1007/s00023- 025-01570-2

    work page doi:10.1007/s00023- 2024

  21. [21]

    R. A. Hounnonkpe and E. Minguzzi. Compact Cauchy horizons admits constant surface gravity. arXiv:2506.20004, 2025

    work page arXiv 2025

  22. [22]

    S. Ikeda. On the theory of gravitational field in Finsler spaces.Lett. Nuovo Cimento, 26(9):277–281, 1979

    work page 1979

  23. [23]

    R. S. Ingarden and M. Matsumoto. On the 1953 Barthel connection of a Finsler space and its mathematical and physical interpretation.Rep. Math. Phys., 32:35–48, 1993

    work page 1953

  24. [24]

    Ishikawa

    H. Ishikawa. Einstein equation in lifted Finsler spaces.Il Nuovo Cimento, 56:252–262, 1980

    work page 1980

  25. [25]

    Ishikawa

    H. Ishikawa. Note on Finslerian relativity.J. Math. Phys., 22:995–1004, 1981

    work page 1981

  26. [26]

    M. ´A. Javaloyes and E. Pend´ as-Recondo. Lightlike hypersurfaces and time- minimizing geodesics in cone structures. In A. L. et al. Albujer, editor,De- velopments in Lorentzian Geometry, pages 159–173, Cham, 2022. Springer- Verlag

    work page 2022

  27. [27]

    M. A. Javaloyes and M. S´ anchez. Finsler metrics and relativistic spacetimes. Int. J. Geom. Meth. Mod. Phys., 11:1460032, 2014. Special Issue for the XXII IFWGP Evora 2-5 Sept. 2013. arXiv:1311.4770

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  28. [28]

    M. A. Javaloyes, M. S´ anchez, and F.F. Villase˜ nor. The Einstein-Hilbert- Palatini formalism in pseudo-Finsler geometry.Ad. Theor. Math. Phys., 26:3563–631, 2022. arXiv:2108.03197

    work page arXiv 2022

  29. [29]

    D. N. Kupeli. On null submanifolds in spacetimes.Geom. Dedicata, 23:33– 51, 1987

    work page 1987

  30. [30]

    Li and Z

    B. Li and Z. Shen. Ricci curvature tensor and non-riemannian quantities. Canad. Math. Bull., 58:530–537, 2015

    work page 2015

  31. [31]

    Li and Z

    X. Li and Z. Chang. Towards a gravitation theory in Berwald-Finsler space. Chinese Physics C, 34:28–34, 2010

    work page 2010

  32. [32]

    Exact solution of vacuum field equation in Finsler spacetime

    X. Li and Z. Chang. Exact solution of vacuum field equation in Finsler spacetime.Phys. Rev. D, 90:064049, 2014. arXiv:1401.6363v1

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  33. [33]

    Y. Lu, E. Minguzzi, and S. Ohta. Geometry of weighted Lorentz-Finsler manifolds I: Singularity theorems.J. London Math. Soc., 104:362–393,

    work page

  34. [34]

    arXiv:1908.03832. 30

    work page arXiv 1908

  35. [35]

    H. M. Manjunatha, S. K. Narasimhamurthy, and S. K. Srivastava. Fins- lerian analogue of the Schwarzschild-de Sitter space-time.Pramana - J. Phys., 97:90, 2023

    work page 2023

  36. [36]

    Mar¸ cal and Z

    P. Mar¸ cal and Z. Shen. Ricci-flat Finsler metrics by warped product.Proc. Am. Math. Soc., 151:2169–2183, 2023

    work page 2023

  37. [37]

    Matsumoto

    M. Matsumoto. The induced and intrinsic Finsler connections of a hy- persurface and Finslerien projective geometry.J. Math. Kyoto Univ. (JMKYAZ), 25:107–144, 1 1985

    work page 1985

  38. [38]

    P. W. Michor.Topics in differential geometry, volume 93 ofGraduate Studies in Mathematics. Am. Math. Soc., 2008

    work page 2008

  39. [39]

    The connections of pseudo-Finsler spaces

    E. Minguzzi. The connections of pseudo-Finsler spaces.Int. J. Geom. Meth. Mod. Phys., 11:1460025, 2014. Erratum ibid 12 (2015) 1592001. arXiv:1405.0645

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  40. [40]

    Convex neighborhoods for Lipschitz connections and sprays

    E. Minguzzi. Convex neighborhoods for Lipschitz connections and sprays. Monatsh. Math., 177:569–625, 2015. arXiv:1308.6675

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  41. [41]

    Light cones in Finsler spacetime

    E. Minguzzi. Light cones in Finsler spacetime.Commun. Math. Phys., 334:1529–1551, 2015. arXiv:1403.7060

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  42. [42]

    Raychaudhuri equation and singularity theorems in Finsler spacetimes

    E. Minguzzi. Raychaudhuri equation and singularity theorems in Finsler spacetimes.Class. Quantum Grav., 32:185008, 2015. arXiv:1502.02313

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  43. [43]

    An equivalence of Finslerian relativistic theories

    E. Minguzzi. An equivalence of Finslerian relativistic theories.Rep. Math. Phys., 77:45–55, 2016. arXiv:1412.4228

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  44. [44]

    Minguzzi

    E. Minguzzi. Affine sphere relativity.Commun. Math. Phys., 350:749–801,

    work page

  45. [45]

    Minguzzi

    E. Minguzzi. A divergence theorem for pseudo-Finsler spaces.Rep. Math. Phys., 80:307–315, 2017. arXiv:1508.06053

    work page arXiv 2017

  46. [46]

    Causality theory for closed cone structures with applications

    E. Minguzzi. Causality theory for closed cone structures with applications. Rev. Math. Phys., 31:1930001, 2019. arXiv:1709.06494

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  47. [47]

    C. W. Misner, K. S. Thorne, and J. A. Wheeler.Gravitation. Freeman, San Francisco, 1973

    work page 1973

  48. [48]

    X. Mo. On the non-Riemannian quantityhof a Finsler metric.Differ. Geom. Appl., 27:7–14, 2009

    work page 2009

  49. [49]

    Peking University, Series in mathematics vol

    Xiaohuan Mo.An introduction to Finsler geometry. Peking University, Series in mathematics vol. 1. World Scientific, New Jersey, 2006

    work page 2006

  50. [50]

    M. Modugno. Torsion and Ricci tensor for non-linear connections.Diff. Geom. Appl., 1:177–192, 1991. 31

    work page 1991

  51. [51]

    Moncrief and J

    V. Moncrief and J. Isenberg. Symmetries of cosmological Cauchy horizons. Comm. Math. Phys., 89:387–413, 1983

    work page 1983

  52. [52]

    Moncrief and J

    V. Moncrief and J. Isenberg. Symmetries of higher dimensional black holes. Class. Quantum Grav., 25:195015, 2008

    work page 2008

  53. [53]

    Moncrief and J

    V. Moncrief and J. Isenberg. Symmetries of cosmological Cauchy horizons with non-closed orbits.Comm. Math. Phys., 374:145–186, 2020

    work page 2020

  54. [54]

    S. Ohta. Splitting theorems for Finsler manifolds of nonnegative Ricci curvature.Reine Angew. Math., 700:155–174, 2015

    work page 2015

  55. [55]

    Ohta.Coparison Finsler geometry

    S. Ohta.Coparison Finsler geometry. Springer Nature, Cham, 2021

    work page 2021

  56. [56]

    O. L. Petersen. Wave equations with initial data on compact Cauchy hori- zons.Analysis & PDE, 14:2363–2408, 2021. arXiv:1802.10057

    work page arXiv 2021

  57. [57]

    Pfeifer and M

    C. Pfeifer and M. N. R. Wohlfarth. Finsler geometric extension of Einstein gravity.Phys. Rev. D, 85:064009, 2012

    work page 2012

  58. [58]

    Rademacher.Nonreversible Finsler metrics of positive flag curvature, volume A sampler of Riemann-Finsler geometry, volume 50 of Math

    H. Rademacher.Nonreversible Finsler metrics of positive flag curvature, volume A sampler of Riemann-Finsler geometry, volume 50 of Math. Sci. Res. Inst. Publ., pages 261–302. Cambridge Univ. Press, Cambridge, 2004

    work page 2004

  59. [59]

    Reiris and I

    M. Reiris and I. Bustamante. On the existence of Killing fields in smooth spacetimes with a compact Cauchy horizon.Class. Quantum Grav., 38:075010, 2021

    work page 2021

  60. [60]

    S. F. Rutz. A Finsler generalisation of Einstein’s vacuum field equations. Gen. Relativ. Gravit., 25:1139–1158, 1993

    work page 1993

  61. [61]

    Saveliev.Lectures on the Topology of 3-Manifolds

    N. Saveliev.Lectures on the Topology of 3-Manifolds. De Gruyter, Berlin, 2012

    work page 2012

  62. [62]

    E. S. Sevim, Z. Shen, and S. Ulgen. On some Ricci curvature tensors in Finsler geometry.Mediterr. J. Math., 20:231, 2023

    work page 2023

  63. [63]

    Shen.Lectures on Finsler geometry

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

    work page 2001

  64. [64]

    Szilasi, R

    J. Szilasi, R. L. Lovas, and D. Cs. Kertesz.Connections, sprays and Finsler structures. World Scientific, London, 2014

    work page 2014

  65. [65]

    Y. Takano. Gravitational field in Finsler spaces.Lettere al Nuovo Cimento, 10:747–750, 1974

    work page 1974

  66. [66]

    Takano.Introduction to the Theory of Fields in Finsler Spaces, volume Gravitational Measurements, Fundamental Metrology and Constants, De Sabbata, V., Melnikov, V.N

    Y. Takano.Introduction to the Theory of Fields in Finsler Spaces, volume Gravitational Measurements, Fundamental Metrology and Constants, De Sabbata, V., Melnikov, V.N. (eds) ofNATO ASI Series, vol 230, pages 459–466. Springer, Dordrecht., 1988. 32

    work page 1988