pith. sign in

arxiv: 2606.07121 · v1 · pith:KM5O6SVTnew · submitted 2026-06-05 · 🧮 math-ph · gr-qc· math.DG· math.MP

Einstein-Kropina Metrics and Their Application in Finsler Gravity

Sjors Heefer , Fidel F. Villase\~nor , Andrea Fuster This is my paper

Pith reviewed 2026-06-27 20:28 UTC · model grok-4.3

classification 🧮 math-ph gr-qcmath.DGmath.MP
keywords Kropina metricsFinsler geometryEinstein metricsFinsler gravityBerwald metricsRicci-flat metricscosmological constantvacuum solutions
0
0 comments X

The pith

All Einstein-Kropina solutions to the vacuum equation in Finsler gravity are Berwald and Ricci-flat, with the cosmological constant necessarily vanishing.

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

The paper generalizes the Einstein condition for Kropina metrics from the positive-definite case to arbitrary signatures. It then classifies every Kropina metric that satisfies both this condition and the vacuum equation of Finsler gravity, including a possible cosmological constant term. The classification shows that solutions exist only in a rigid form: flat space in four or fewer dimensions, and a specific product construction in five or more dimensions. A central result is that every such solution must be Berwald, must be Ricci-flat, and must have vanishing cosmological constant.

Core claim

Einstein-Kropina metrics L = a²/b that satisfy the generalized Einstein condition solve the vacuum equation only when they are Berwald and Ricci-flat. The cosmological constant must vanish. In dimension four or lower the only solutions are Minkowski or Euclidean space. In dimension five and higher the solutions are those for which the metric a is a product of the real line with a Ricci-flat metric and the vector field b is the unique unit vector on the first factor.

What carries the argument

The generalized Einstein condition imposed on Kropina metrics L = a²/b before substitution into the vacuum equation.

If this is right

  • In dimension four or lower only Minkowski or Euclidean space satisfies the equations.
  • In dimension five and higher the base metric a must be a product of the line with a Ricci-flat metric and b the unit vector along that line.
  • Every solution is necessarily a Berwald metric.
  • The cosmological constant is forced to zero in all cases.

Where Pith is reading between the lines

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

  • The observed non-zero cosmological constant in standard cosmology would rule out Kropina metrics as exact solutions within this Finsler gravity framework.
  • The rigidity result suggests that other Finsler metric classes may be needed to accommodate a non-vanishing cosmological constant.
  • The explicit product solutions could be used as background spacetimes for linearizing the field equations around non-trivial cases.

Load-bearing premise

The Einstein condition generalized from the positive-definite case correctly captures the curvature requirement that must be imposed on L = a²/b before substituting into the vacuum equation.

What would settle it

An explicit Einstein-Kropina metric that solves the vacuum equation, is not Berwald, or has non-zero cosmological constant would disprove the classification.

read the original abstract

We generalize the Einstein condition for Kropina metrics obtained in the positive definite setting by Zhang, Shen and others to all signatures. As examples of Einstein-Kropina metrics $L=L_{a,b}$, we construct new explicit positive definite ones and the first ones with Lorentzian signature. Next, we classify all Einstein-Kropina solutions to the vacuum equation of Finsler gravity by Pfeifer and Wohlfarth, in arbitrary dimension and including a possible cosmological constant $\Lambda$. For the Lorentzian and positive definite cases, the local picture is as follows. In dimension 4 or lower, only the trivial solution exists: a Minkowski or Euclidean space, essentially. In dimension 5 and higher, the solutions are those $L_{a,b}$ for which the metric $a$ is a product of the real line with a Ricci-flat metric (Lorentzian or Riemannian) and the vector field $b$ is the unique unit vector on the first factor. As a very surprising rigidity phenomenon, all Einstein-Kropina solutions to the $\Lambda$-vacuum equation are Berwald and Ricci-flat, and the cosmological constant necessarily vanishes.

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 / 1 minor

Summary. The paper generalizes the Einstein condition for Kropina metrics L = a²/b from the positive-definite case to arbitrary signatures, constructs explicit positive-definite and Lorentzian examples, and classifies all Einstein-Kropina metrics satisfying the Pfeifer-Wohlfarth Λ-vacuum equation in Finsler gravity. The classification states that in dimension 4 or lower only trivial (Minkowski/Euclidean) solutions exist, while in dimension 5 and higher the solutions have a as a product of the real line with a Ricci-flat metric and b the unit vector along that factor; all such solutions are Berwald, Ricci-flat, and require Λ = 0.

Significance. If the classification and rigidity hold, the result sharply restricts the space of Kropina solutions in Finsler gravity, showing that non-trivial examples are limited to higher-dimensional product geometries with vanishing cosmological constant. The provision of the first explicit Lorentzian Einstein-Kropina metrics is a concrete contribution.

major comments (2)
  1. [Abstract and Einstein-condition derivation section] Abstract (generalization paragraph) and the section deriving the Einstein condition: the extension of the positive-definite Einstein condition (Zhang-Shen et al.) to indefinite signatures is stated without an explicit derivation or term-by-term comparison showing that the algebraic expression for the Finsler Ricci tensor remains unchanged when the fundamental tensor g_{ij} has indefinite signature. Because the subsequent substitution into the Pfeifer-Wohlfarth vacuum equation and the rigidity conclusion rest on this step, an omitted sign flip or contraction term would invalidate the classification.
  2. [Classification section] Classification theorem (dimension-5+ case): the statement that all solutions are Berwald and Ricci-flat with Λ necessarily zero follows directly from the generalized Einstein condition; without a separate verification that the generalized condition correctly encodes Ricci-flatness for the indefinite case before feeding the spray into the vacuum equation, the rigidity claim is not yet load-bearing.
minor comments (1)
  1. [Abstract] The abstract refers to 'the first ones with Lorentzian signature' but does not indicate whether these examples were cross-checked against the full Pfeifer-Wohlfarth equation or only against the generalized Einstein condition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the specific concerns raised regarding the generalization to indefinite signatures. We address each major comment below and will revise the manuscript to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract and Einstein-condition derivation section] Abstract (generalization paragraph) and the section deriving the Einstein condition: the extension of the positive-definite Einstein condition (Zhang-Shen et al.) to indefinite signatures is stated without an explicit derivation or term-by-term comparison showing that the algebraic expression for the Finsler Ricci tensor remains unchanged when the fundamental tensor g_{ij} has indefinite signature. Because the subsequent substitution into the Pfeifer-Wohlfarth vacuum equation and the rigidity conclusion rest on this step, an omitted sign flip or contraction term would invalidate the classification.

    Authors: The definitions of the Finsler metric tensor g_{ij}, the spray coefficients, and the curvature tensors (including the Ricci tensor obtained by contraction) are formally identical in the positive-definite and indefinite cases; the only signature dependence enters through the values of the components of g_{ij} itself, not through additional sign changes in the algebraic expressions for the Ricci tensor of a Kropina metric. The formulas derived in the positive-definite literature therefore carry over directly. Nevertheless, we agree that an explicit term-by-term verification would improve clarity and load-bearing strength, so we will insert a short dedicated subsection deriving the Einstein condition for arbitrary signature. revision: yes

  2. Referee: [Classification section] Classification theorem (dimension-5+ case): the statement that all solutions are Berwald and Ricci-flat with Λ necessarily zero follows directly from the generalized Einstein condition; without a separate verification that the generalized condition correctly encodes Ricci-flatness for the indefinite case before feeding the spray into the vacuum equation, the rigidity claim is not yet load-bearing.

    Authors: Once the generalized Einstein condition Ric = (n-1)Λ L² is established, substitution into the Pfeifer-Wohlfarth vacuum equation immediately forces Λ = 0 and reduces the spray to that of a Berwald metric whose underlying Riemannian (or Lorentzian) metric is Ricci-flat; this algebraic implication is signature-independent because the vacuum equation itself is written in terms of the same Ricci scalar. We will nevertheless add a brief verification paragraph immediately after the statement of the generalized condition, confirming that Ricci-flatness is correctly recovered in the indefinite case before the classification proceeds. revision: yes

Circularity Check

0 steps flagged

No circularity: classification derives from external Pfeifer-Wohlfarth equation and cited positive-definite Einstein condition

full rationale

The paper cites Zhang-Shen et al. for the positive-definite Einstein condition on Kropina metrics, generalizes the algebraic expression to indefinite signatures, and substitutes the resulting spray/curvature into the Pfeifer-Wohlfarth vacuum equation (external reference). The rigidity conclusion (all solutions Berwald, Ricci-flat, Λ=0) follows from solving those equations in arbitrary dimension. No self-citations are load-bearing, no parameters are fitted then renamed as predictions, and no step equates the output to the input by definition. The derivation chain is therefore independent of the paper's own results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on the standard definition of Kropina metrics, the Einstein condition generalized from prior positive-definite results, and the vacuum equation taken from Pfeifer and Wohlfarth; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Kropina metrics are of the form L = a² / b with a a (pseudo-)Riemannian metric and b a nowhere-vanishing 1-form.
    Invoked throughout the abstract as the class of metrics under study.
  • domain assumption The Pfeifer-Wohlfarth vacuum equation is the appropriate field equation for Finsler gravity.
    Used as the equation whose solutions are classified.

pith-pipeline@v0.9.1-grok · 5746 in / 1457 out tokens · 17109 ms · 2026-06-27T20:28:35.905988+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

41 extracted references · 1 canonical work pages

  1. [1]

    Constant curvature spaces 9

  2. [2]

    Einstein-Finsler

    Einstein-Sasaki-Kropina metrics 11 IV.Λ-vacuum solutions with arbitrary signature 12 V. Classification of vacuum solutions in Riemannian and Lorentzian signatures 14 A. An explicit example inn= 5 16 VI. Discussion 16 Acknowledgements 17 A. List of identities 17 B. Proof of the Einstein condition 18 C. Proof of Lemma 13 19 ∗ s.j.heefer@tue.nl † fidel.ferna...

    Pith/arXiv arXiv 2026

  3. [3]

    In the Lorentzian case, this bundle is precisely the (unoriented) causal structure of(M, a)

    Ifbis taken as a fixed datum,L max becomes an invariant of the conformal class ofa; in indefinite signature, this means that it only depends on the bundle of null cones associated witha. In the Lorentzian case, this bundle is precisely the (unoriented) causal structure of(M, a)

  4. [4]

    So, one may take the Lorentzian signature ofato be(−+

    What is more, the invariance under(a, b)7→(−a, b)makes the choice of convention for Lorentzian metrics irrelevant. So, one may take the Lorentzian signature ofato be(−+. . .+)or(+−. . .−)indistictly. 7

  5. [5]

    We will repeatedly use these facts, particularly the last one, throughout the remainder of the paper

    Assuming that(a, b)constitutes a Kropina metric, we may setf= 1 a(b,b) ∈C ∞(M)above (Corollary 6) to obtain a new pseudo-Riemannian metricea=f asatisfying Lmax = eA2 eβ2 ,ea(b, b) = 1.(26) This implies that any Kropina metric can be written in the formL=A2/β2 with⟨b, b⟩= 1. We will repeatedly use these facts, particularly the last one, throughout the rema...

  6. [6]

    For proper examples, the metricamust be that of an odd-dimensionalSn or an odd-dimensional AdSn

    Constant curvature spaces Einstein-Kropina metrics withaof constant curvature are the simplest possible ones, and Lemma 13 gives limited options for them. For proper examples, the metricamust be that of an odd-dimensionalSn or an odd-dimensional AdSn. In both of these cases, it is easy to find unit Killing vectors by viewing them as embedded in a flat spa...

  7. [7]

    If both factors are Einstein with the same non-zero Einstein constant, then the product will also be Einstein [21, Proposition 1.99]

    Product spaces Further novel explicit examples can be obtained by considering direct products of pseudo-Riemannian metrics; notably, these exist in all dimensionsn≥5. If both factors are Einstein with the same non-zero Einstein constant, then the product will also be Einstein [21, Proposition 1.99]. Similarly, if one factor has a unit Killing field, then ...

  8. [8]

    cosmological constant

    Einstein-Sasaki-Kropina metrics In Riemannian geometry, Einstein-Sasaki manifolds provide an important class of Einstein metrics, appearing naturally in e.g. supergravity and the AdS/CFT context [22]. It turns out that such metrics can be used to construct examples of Einstein-Kropina metrics in a very straightforward way in any odd dimension≥5. A Riemann...

  9. [9]

    Taking into account the constraints, it remains an interesting problem to determine whether such metrics exist at all. Another open question concerns the possibility of (necessarily Ricci-flat) Einstein-Kropina solutions to the vacuum equation in more general signatures, where the condition˚∇jbk˚∇kbi = 0does not appear to imply thatbis parallel. Interesti...

  10. [10]

    Proof.Assuming we have a unit Killing vector field, the identity (A3) leads tobj˚∇k˚∇jbk = ˚Rjℓbjbℓ =κ⟨b, b⟩, so ifκ <0then the LHS must be<0

    Ifgis a Riemannian Einstein metric with a negative Einstein constant, thengdoes not admit a unit KV. Proof.Assuming we have a unit Killing vector field, the identity (A3) leads tobj˚∇k˚∇jbk = ˚Rjℓbjbℓ =κ⟨b, b⟩, so ifκ <0then the LHS must be<0. On the other hand, using the identities in Appendix A, the LHS can be rewritten asb j˚∇k˚∇jbk = ˚∇kbj˚∇kbj, which...

  11. [11]

    Assumingbis timelike,⟨b, b⟩<0, it suffices to show that the LHS is nonnegative

    Ifgis a Lorentzian Einstein metric with positive Einstein constant, thengdoes not admit a timelike unit KV; Proof.As above, we again have˚∇kbj˚∇kbj =κ⟨b, b⟩. Assumingbis timelike,⟨b, b⟩<0, it suffices to show that the LHS is nonnegative. Choose an orthonormal frame{ek}n−1 k=0 adapted tob, i.e.e 0 =b. Then using the identities in Appendix A one finds that ...

  12. [12]

    Since J 2 mapsbto0, andb ⊥ to itself,J 2 being a square implies thatJ2|b⊥ must also be a square, i.e.J2|b⊥ =B 2 = −K⟨b, b⟩id b⊥ for some endomorphismBofb ⊥

    Ifgis an even-dimensional Riemannian metric of positive constant curvature, thengdoes not admit a unit KV; Proof.Contracting the identity (A3) withb j, combining it with the identity˚Rijkℓ =K(g ikgjℓ −g iℓgjk)where Kis the constant sectional curvature, and writing it terms of the endomorphismJintroduced at the beginning of §V yields −(J 2)k i =K(⟨b, b⟩δ k...

  13. [13]

    negative) constant curvature, thengdoes not admit a spacelike (resp

    Ifgis an even-dimensional Lorentzian metric of positive (resp. negative) constant curvature, thengdoes not admit a spacelike (resp. timelike) unit KV. Proof.As above, we have again the inequality0≤(−K⟨b, b⟩)dimM−1 . In this case, the combination of⟨b, b⟩>0 (resp⟨b, b⟩<0), a positive (resp. negative)K, and evendimMleads to a contradiction. Claims 1-4 leave...

  14. [14]

    Finsler geometric extension of Einstein gravity,

    C. Pfeifer and M. N. R. Wohlfarth, “Finsler geometric extension of Einstein gravity,”Phys. Rev. D85(2012) 064009, arXiv:1112.5641

    Pith/arXiv arXiv 2012

  15. [15]

    From kinetic gases to an exponentially expanding universe: the finsler-friedmann equation,

    C. Pfeifer, N. Voicu, A. Friedl-Szász, and E. Popovici-Popescu, “From kinetic gases to an exponentially expanding universe: the finsler-friedmann equation,”Journal of Cosmology and Astroparticle Physics2025(2025) no. 10, 050

    2025

  16. [16]

    Robles,Einstein metrics of Randers type

    C. Robles,Einstein metrics of Randers type. PhD thesis, University of British Columbia, 2003. https://open.library.ubc.ca/collections/ubctheses/831/items/1.0079500

    2003

  17. [17]

    On Einstein Matsumoto metrics,

    X. Zhang and Q. Xia, “On Einstein Matsumoto metrics,”Science China Mathematics57(2014) 1517–1524

    2014

  18. [18]

    Ricci and flag curvatures in Finsler geometry,

    D. Bao and C. Robles, “Ricci and flag curvatures in Finsler geometry,” inA sampler of Riemann-Finsler geometry, D. Bao et al., ed., vol. 50 ofMathematical Sciences Research Institute Publications, pp. 197–259. Cambridge University Press, 2004

    2004

  19. [19]

    Einstein Finsler metrics and Killing vector fields on Riemannian manifolds,

    X. Cheng and Z. Shen, “Einstein Finsler metrics and Killing vector fields on Riemannian manifolds,”Science China Mathematics60(2017) no. 1, 83–98.https://doi.org/10.1007/s11425-016-0303-6

    work page doi:10.1007/s11425-016-0303-6 2017

  20. [20]

    Constructions of Einstein Finsler metrics by warped product,

    B. Chen, Z. Shen, and L. Zhao, “Constructions of Einstein Finsler metrics by warped product,”International Journal of Mathematics29(2018) no. 11, 1850081

    2018

  21. [21]

    Some remarks on Einstein-Randers metrics,

    X. Tang and C. Yu, “Some remarks on Einstein-Randers metrics,”Differential Geometry and its Applications58(2018) 83–102.https://www.sciencedirect.com/science/article/pii/S0926224518300329

    2018

  22. [22]

    F. F. Villaseñor,Lorentz-Finsler geometry and Einstein equations. Phd thesis, University of Granada, Spain, April 2024. Available athttps://digibug.ugr.es/handle/10481/94842

    2024

  23. [23]

    On Einsteinm-th root metrics,

    Y. Yu and Y. You, “On Einsteinm-th root metrics,”DiffEerential Geometry and its Applications28(2010) no. 3, 290–294.https://www.sciencedirect.com/science/article/pii/S092622450900120X

    2010

  24. [24]

    On Einstein-Kropina metrics,

    X. Zhang and Y.-B. Shen, “On Einstein-Kropina metrics,”Differential Geometry and its Applications31(2013) no. 1, 80–92.https://www.sciencedirect.com/science/article/pii/S0926224512000988

    2013

  25. [25]

    On a class of weakly Einstein Finsler metrics,

    Z. Shen and G. Yang, “On a class of weakly Einstein Finsler metrics,”Israel Journal of Mathematics199(2014) 773–790

    2014

  26. [26]

    Finsler gravity action from variational completion,

    M. Hohmann, C. Pfeifer, and N. Voicu, “Finsler gravity action from variational completion,”Phys. Rev. D100(2019) 064035,arXiv:1812.11161

    arXiv 2019

  27. [27]

    Finsler gravity with a cosmological ‘constant’,

    F. F. Villaseñor, S. Heefer, and A. Fuster, “Finsler gravity with a cosmological ‘constant’,”. In preparation

  28. [28]

    Finsler gravitational waves of(α, β)-type and their observational signature,

    S. Heefer and A. Fuster, “Finsler gravitational waves of(α, β)-type and their observational signature,”Class. Quantum Gravity40(2023) 184002,arXiv:2302.08334

    Pith/arXiv arXiv 2023

  29. [29]

    Heefer,Finsler geometry, spacetime & Gravity – From metrizability of Berwald spaces to exact vacuum solutions in Finsler gravity

    S. Heefer,Finsler geometry, spacetime & Gravity – From metrizability of Berwald spaces to exact vacuum solutions in Finsler gravity. PhD thesis, Eindhoven University of Technology, 2024.arXiv:2404.09858 [gr-qc]

    arXiv 2024

  30. [30]

    Schur theorem for the Ricci curvature of any weakly Landsberg Finsler metric,

    F. F. Villaseñor, “Schur theorem for the Ricci curvature of any weakly Landsberg Finsler metric,”Israel Journal of Mathematics(2025) 1–25

    2025

  31. [31]

    The Finsler spacetime condition for(α, β)-metrics and their isometries,

    N. Voicu, A. Friedl-Szász, E. Popovici-Popescu, and C. Pfeifer, “The Finsler spacetime condition for(α, β)-metrics and their isometries,”Universe9(2023) no. 4, .https://www.mdpi.com/2218-1997/9/4/198

    2023

  32. [32]

    Chern and Z

    S.-S. Chern and Z. Shen,Riemann-Finsler geometry. Nankai Tracts in Mathematics Vol. 6. World Scientific, May 2005

    2005

  33. [33]

    xAct: efficient tensor computer algebra for Mathematica

    J. M. Martín-García, “xAct: efficient tensor computer algebra for Mathematica.”http://xact.es/, 2002–2018. Software package

    2002

  34. [34]

    A. L. Besse,Einstein manifolds, vol. 10 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer-Verlag, 1987

    1987

  35. [35]

    Sasaki-Einstein geometry, GK geometry and the AdS/CFT correspondence,

    J. P. Gauntlett, D. Martelli, and J. Sparks, “Sasaki-Einstein geometry, GK geometry and the AdS/CFT correspondence,” inHalf a Century of Supergravity, A. Ceresole and G. Dall’Agata, eds. Cambridge University Press, 2026. arXiv:2503.01950 [hep-th]. Invited contribution

    arXiv 2026

  36. [36]

    Sasaki-Einstein manifolds,

    J. Sparks, “Sasaki-Einstein manifolds,”Surveys in Differential Geometry16(2011) 265–324. https://arxiv.org/abs/1004.2461

    Pith/arXiv arXiv 2011

  37. [37]

    Sasaki-Einstein metrics onS2 ×S 3,

    J. P. Gauntlett, D. Martelli, J. Sparks, and D. Waldram, “Sasaki-Einstein metrics onS2 ×S 3,”Adv. Theor. Math. Phys. 8(2004) no. 4, 711–734,arXiv:hep-th/0403002

    Pith/arXiv arXiv 2004

  38. [38]

    A new infinite class of Sasaki-Einstein manifolds,

    J. P. Gauntlett, D. Martelli, J. F. Sparks, and D. Waldram, “A new infinite class of Sasaki-Einstein manifolds,”Adv. Theor. Math. Phys.8(2004) no. 6, 987–1000,arXiv:hep-th/0403038

    Pith/arXiv arXiv 2004

  39. [39]

    Contact semi-Riemannian structures in CR geometry: Some aspects,

    D. Perrone, “Contact semi-Riemannian structures in CR geometry: Some aspects,”Axioms8(2019) no. 1, . https://www.mdpi.com/2075-1680/8/1/6

    2019

  40. [40]

    On two curvature-driven problems in Riemann-Finsler geometry,

    D. Bao, “On two curvature-driven problems in Riemann-Finsler geometry,” inFinsler geometry, Sapporo 2005 — In memory of Makoto Matsumoto, vol. 48 ofAdvanced Studies in Pure Mathematics, pp. 19–71. Mathematical Society of Japan, 2007

    2005

  41. [41]

    Gravitational instantons,

    S. W. Hawking, “Gravitational instantons,”Phys. Lett. A60(1977) 81

    1977