Pith. sign in

REVIEW 5 major objections 3 minor 31 references

On Generalized Matsumoto Metrics with a Special $\pi$-form

T0 review · 5 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read On a Finsler manifold with a concurrent π-vector field φ, the Matsumoto-type change F²/(F−Φ) is a conic pseudo-Finsler structure exactly when F(1+2g(φ,φ))−3Φ is never zero, and then all Finsler objects of the changed metric are explicit fun

desk verdict Nice algebraic machinery, but the central non-degeneracy criterion fails on a simple Euclidean example, and the paper contradicts itself on whether φ can be concurrent with respect to bF. read the letter →

arxiv 2510.22463 v1 pith:WUYRUHYF submitted 2025-10-26 math.DG

A. Soleiman , Ebtsam H. Taha This is my paper · ORCID
classification math.DG MSC 53C6053B4058B20
keywords FinslermetricgeneralizedMatsumotoconcurrentπ-vectorfieldπ-formgeodesicsprayBerwaldconnectionalmostrationalconicpseudo-Finslerstructure
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

On any Finsler manifold that carries a concurrent π-vector field φ — a non-vanishing section whose horizontal covariant derivative is just minus the base vector — the paper studies the change bF = F²/(F−Φ), where Φ is the associated π-form evaluated on the Liouville vector field. It establishes that bF is a conic pseudo-Finsler structure if and only if F(1+2g(φ,φ))−3Φ never vanishes on the domain where F>Φ (Theorem 2.7). Under that condition it derives global, coordinate-free formulas relating the supporting form, angular metric, metric tensor, Cartan torsion, geodesic spray, Barthel connection and its curvature, and Berwald connection of bF to the corresponding objects of F. The paper further proves that the two geodesic sprays can never be projectively related unless φ vanishes, and that φ is never concurrent with respect to bF except under one explicit condition. A worked rational conic example and a rationality-preservation theorem for the change complete the picture. A sympathetic reader would care because these formulas turn a local, coordinate-heavy construction into a global algebraic one, while exposing the rigidity that concurrency imposes.

What carries the argument

The central object is the concurrent π-vector field φ — a non-vanishing section of the pullback bundle that is independent of the fibre coordinate and satisfies ∇_{βW}φ=−W (horizontal covariant derivative is negative the base vector) and ∇_{γW}φ=0 (vertical derivative zero). Its associated π-form is ϕ=i_φ g, and Φ=g(φ,η)=ϕ(η) is the function used in the change bF=F²/(F−Φ), the generalized φ-Matsumoto metric (analogue of Matsumoto's α²/(α−β) slope metric). The proof engine is Lemma 2.3, whose identities — dJΦ(βW)=ϕ(W), dΦ(G)=−F², dF(G)=−F², (D°_{γW}ℓ)(Z)=F^{−1}ℏ(W,Z), and the chain rule (2.4) for functions of F and Φ — convert the change into algebraic manipulations with ℓ, ϕ, Φ, F and p2. Th

What would settle it

Recompute the covariant derivative of φ=x3∂3 in Example 1 from the listed Christoffel symbols (for instance Γ^1_{13}=1/x3 and Γ^2_{23}=1/x3): Definition 2.1 requires φ^i_{|j}=−δ^i_j, whereas the paper's verification states φ^i_{|j}=+δ^i_j. If the direct computation yields the negative sign, the example does not satisfy the concurrency hypothesis and the paper's non-Riemannian example is invalid; this single calculation decides whether the central result has a non-Riemannian realization.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.7: for a Finsler manifold (M,F) admitting a concurrent π-vector field φ (so ∇_{βW}φ=−W and ∇_{γW}φ=0), the function bF=F²/(F−Φ), where Φ=g(φ,η)=ϕ(η), is a conic pseudo-Finsler structure on D={F>Φ} if and only if F(1+2p2)−3Φ≠0, with p2=g(φ,φ). Under this condition the paper gives closed-form intrinsic formulas — (2.9)–(2.13), (3.8), (3.9)–(3.11) — relating the supporting form, angular metric, metric tensor, Cartan torsion, geodesic spray, Barthel connection and curvature, and Berwald connection of bF to those of F. A consequence is that the two sprays can never be projectively related unless φ=0, and φ can never be concurrent with respect to bF except under one

Load-bearing premise

The load-bearing premise is that the concurrent vector field satisfies the identities imported as Lemma 2.3 — in particular dΦ(G)=−F² and the vertical derivative formula for the supporting form — together with the sign convention ∇_{βW}φ=−W of Definition 2.1; if those identities or the sign are wrong, every explicit formula in the paper shifts.

Editorial extensions

If this is right

  • If a nonzero concurrent π-vector field exists, the generalized φ-Matsumoto change yields a genuine conic pseudo-Finsler structure exactly on the domain where F(1+2g(φ,φ))−3Φ does not vanish; this is the paper's main existence criterion.
  • On that domain, formulas (2.13), (3.8), and (3.9)–(3.11) give the metric tensor, geodesic spray, horizontal projectors, Barthel connection and curvature, and Berwald connection of bF purely in terms of F's objects and the vector field φ, making computation on the cone purely algebraic.
  • The geodesic sprays of F and bF can never be projectively related when φ is nonzero; hence the Matsumoto-type change cannot preserve projective structure within the concurrency setting.
  • The condition (3.11) is necessary and sufficient for the concurrent vector field φ to remain concurrent with respect to bF; generically it does not survive the change.
  • If F is a rational function of the directional arguments, then bF is a rational Finsler metric; conversely, for a rational Finsler metric, bF is rational if and only if F itself is rational in the fibre coordinates (Theorems 4.5 and 4.6).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because concurrent vector fields are rigid (the paper notes that 3-dimensional, surface, Landsberg, and C-reducible Finsler spaces admitting one are Riemannian), the genuinely non-Riemannian examples that satisfy the hypotheses are likely to be conic or singular, like the paper's own example; the theorem's practical force may lie mostly in the conic pseudo-Finsler setting rather than in complete F
  • The nondegeneracy condition F(1+2p2)−3Φ≠0 is homogeneous of degree one and can be viewed as a bound relating the size of φ — measured by p2=g(φ,φ) and Φ=g(φ,η) — to F; one testable extension is to determine whether the sign of this expression is constant along each fibre, which would make the condition a global geometric inequality on the base manifold.
  • The projectivity obstruction (Theorem 3.2) suggests a quick test for equivalence of Finsler structures: if a metric is projectively equivalent to its own Matsumoto-type transform, then any concurrent vector field must vanish; this could be used to rule out certain deformation families without computing connection coefficients.
  • The rationality result leaves the 'almost rational' case explicitly open; a natural next step is to test whether the change preserves almost rationality when θ is non-rational, for example a square-root expression, using the example's structure to see whether the non-rational factor cancels.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 3 minor

Summary. The paper studies the change bF=F^2/(F−Φ) on a Finsler manifold (M,F) admitting a concurrent π-vector field φ, where Φ is the associated π-form. It derives intrinsic formulas for the supporting form, metric tensor, angular metric, Cartan torsion, geodesic spray, Barthel connection/curvature, and Berwald connection of bF, and gives a non-degeneracy criterion for bF to be a conic pseudo-Finsler structure. It also claims that F and bF are never projectively related, that φ is never concurrent with respect to bF, and studies (almost) rationality.

Significance. If the formulas were correct, the paper would provide useful global index-free formulas for Matsumoto-type changes and connect them with concurrency. The non-degeneracy criterion is however the linchpin of the whole paper, and it is false; a concrete Euclidean counterexample invalidates Theorem 2.7. The later spray, connection, and projectivity results all rely on the same non-degeneracy assumption, so their validity is conditional at best. The paper's intrinsic, coordinate-free presentation is a strength, but it does not compensate for the central error.

major comments (5)
  1. [§2, Theorem 2.7 and Eq. (2.13)] The non-degeneracy criterion is false. Let M=R^3\{0}, F(x,y)=|y|, and φ=-x. Then ∇_{βW}φ=-W and ∇_{γW}φ=0, so Definition 2.1 holds; p2=|x|^2, Φ=-x·y. Take x=(1,0,0) and y=(-1/2,√3/2,0), so F=1, Φ=1/2, F>Φ, and F(1+2p2)-3Φ=3-3/2=3/2≠0; condition (2.15) holds. But F=2Φ, so in (2.13) the coefficient of g vanishes. For Z=(0,0,1) we have ℓ(Z)=y·Z/F=0 and ϕ(Z)=φ·Z=0; every remaining term in (2.13) contains ℓ(Z) or ϕ(Z), hence bg(W,Z)=0 for all W. Thus bg is degenerate and bF is not a conic pseudo-Finsler structure, contradicting Theorem 2.7.
  2. [§2, proof of Theorem 2.7] The proof only tests W=φ and W=η. The determinant condition forces ℓ(Z)=ϕ(Z)=0, but substituting back into (2.16) leaves [F^2(F-2Φ)/(F-Φ)^3]g(W,Z)=0. When F=2Φ this coefficient is zero, so any nonzero Z in ker ℓ ∩ ker ϕ survives. The counterexample above realizes exactly this mechanism. A correct statement needs an additional hypothesis excluding F=2Φ on the domain; (2.15) alone does not characterize non-degeneracy.
  3. [§3, Corollary 3.6 and Theorem 3.7] Corollary 3.6 asserts that φ can never be concurrent with respect to bF, while Theorem 3.7 immediately gives a necessary and sufficient condition (3.11) for φ to be concurrent. These statements cannot both be true unless (3.11) is identically unsatisfiable, which the paper does not prove. The proof of Corollary 3.6 is also a non sequitur: Proposition 3.5 gives an expression for cD^∘_{bβW}Z different from D^∘_{βW}Z, but concurrency with respect to bF requires cD^∘_{bβW}φ=-W, and the extra terms in (3.13) could vanish under (3.11). This internal contradiction must be resolved.
  4. [§4, Example 1] The only non-Riemannian example does not verify Definition 2.1 as written. The listed components satisfy φ^i_{|j}=+δ^i_j (for instance φ^1_{|1}=1), whereas (2.1) requires ∇_{βW}φ=-W. The displayed Christoffel symbols are insufficient to check all components, and the sign is opposite. At face value the example is not a concurrent π-vector field for the definition used in the paper; if a different convention is intended it should be stated explicitly.
  5. [§4, Theorem 4.6] The proof of (b)⇒(a) does not establish the claim. Definition 4.1 requires only the existence of some decomposition bg_{ij}=bθ ba_{ij} with ba_{ij} rational; the proof instead fixes bθ=θF^2/(F-Φ)^4 and tests rationality of the resulting ba_{ij}. Even if this particular ba_{ij} is non-rational for non-rational F, another representation could exist. The argument also assumes a bracket is nonzero when concluding 'rational iff F rational.' The equivalence is therefore not proven.
minor comments (3)
  1. [§2, Theorem 2.7] Typo: 'pesudo-Finsler' should be 'pseudo-Finsler'.
  2. [Affiliations] In the affiliation, 'Saudia Arabia' should be 'Saudi Arabia'.
  3. [§4, Lemma 4.3 and Definition 4.1] The term 'rational function in y' is not explicitly qualified with respect to the conic domain D; since D excludes zeros of denominators, this should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the transformation formulas are algebraic consequences of the concurrency identities, not restatements of the target condition.

full rationale

The paper's central derivation is not circular. The generalized Matsumoto change is defined in (2.5) as bF = F^2/(F-Phi), and all subsequent formulas — supporting form (2.9), angular metric (2.11), metric tensor (2.13), Cartan torsion, spray (3.8), and connection relations — are obtained by direct computation from that definition together with the concurrency identities in Lemma 2.3. Lemma 2.3 is imported from [27] (Youssef–Abed–Soleiman) and [16] (Soleiman–Elgendi), and one current author is a coauthor of those papers; this is a real self-citation. However, the lemma is a stated, parameter-free theorem about concurrent vector fields and does not assume the Matsumoto change or the nondegeneracy criterion (2.15). It is therefore background support, not an assumption of the target result. The nondegeneracy condition F(1+2p2)-3Phi != 0 is derived by solving the system obtained from (2.13), not assumed. Example 1 is a verification, not a fitted prediction. Separately, I note a correctness gap in the proof of Theorem 2.7: the proof tests only W = phi and W = eta, so it does not control vectors in the common kernel ker(l) ∩ ker(phi). At F = 2Phi in a Euclidean example with phi = -x, formula (2.13) develops a nonzero kernel direction, so the theorem as stated is not established. This is a mathematical error, not a circular reduction, and it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central results rest on the pullback-bundle formalism, the concurrency framework from [27], the nondegeneracy/denominator condition, and the rationality definitions from [21]. No free parameters appear in this pure-mathematics paper; the metric bF is a constructed object of study rather than an unexplained invented entity.

assumptions (6)
  • standard math Pullback-bundle formalism: short exact sequence, vertical endomorphism J, Liouville vector field C, spray identities (1.1)–(1.7).
    Background framework used throughout, stated in §1.
  • domain assumption Existence of a non-vanishing concurrent π-vector field φ satisfying (2.1) with respect to Cartan/Berwald connections.
    Definition 2.1; assumed for all main theorems; highly restrictive per [9].
  • domain assumption Lemma 2.3 identities imported from [27], including dJΦ(βW)=ϕ(W), dΦ(G)=−F², D^∘_{γW}ℓ=F^{-1}ℏ.
    Used repeatedly in Propositions 2.5–3.5; not re-proven here; [27] is by overlapping authors.
  • ad hoc to paper Criterion (2.15) denominators nonzero and F>Φ on D.
    The conic domain D and nondegeneracy condition are introduced by the paper to keep bF regular.
  • standard math Positive homogeneity and regularity of F and Φ so that bF is a conic candidate.
    Required for the definitions of conic Finsler structures in §1.
  • domain assumption Rationality definitions from [21] by Taha (co-author).
    Definition 4.1 imported; used in Theorems 4.5–4.6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Generalized Matsumoto Metrics with a Special $\pi$-form." pith.science (2026). https://pith.science/paper/WUYRUHYF

@misc{pith2026251022463,
  author       = {Pith},
  title        = {Pith review of: On Generalized Matsumoto Metrics with a Special $\pi$-form},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WUYRUHYF}},
  note         = {Machine review of arXiv:2510.22463}
}
abstract

We explore a generalization of Matsumoto metric intrinsically. Given a Finsler manifold $(M,F)$ which admits a concurrent $\pi$-vector field $\overline{\varphi}$, we consider the change $\widehat{F}(x,y)=\frac {F^2 (x,y)} {F(x,y)-\Phi(x,y)}$, where $\Phi$ is the associated concurrent $\pi$-form with $F(x,y) > \Phi(x,y)$ for all $(x,y) \in \T M$. We find the condition under which the generalized $\phi$-Matsumoto metric $\widehat{F}$ is a Finsler metric. Moreover, the relations between the associated Finslerian geometric objects of $\widehat{F}$ and $F$ are obtained, namely, the relations between angular metric tensors, metric tensors, Cartan torsions, geodesic sprays, Barthel connections (along with its curvature) and Berwald connections. Further, we prove that the Finsler metrics $F$ and $\widehat{F}$ can never be projectively related. Also, a condition for the $\pi$-vector field $\overline{\varphi}$ to be concurrent with respect to $\widehat{F}$ is acquired. Moreover, an example of a rational Finsler metric admitting a concurrent $\pi$-vector field together with the associated change $\widehat{F}$ is provided. Finally, we find the conditions that preserve the almost rationality property of a Finsler metric $F$ under the $\phi$-Matsumoto change.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 3 linked inside Pith

  1. [27]

    N. L. Youssef, S. H. Abed and A. Soleiman,Concurrentπ-vector fields and energy β-change, Inter. J. Geom. Meth. Mod. Phys.,6(2009) 1003–1031

    2009

  2. [1]

    Caponio, M

    E. Caponio, M. A. Javaloyes and M. S´ anchez,Wind Finslerian structures: from Zermelo’s navigation to the causality of spacetimes, Memoirs of the American Mathematical Society 300 (1501), 134

  3. [2]

    Fr¨ olicher and A

    A. Fr¨ olicher and A. Nijenhuis,Theory of vector-valued differential forms, I, Ann. Proc. Kon. Ned. Akad., A,59(1956), 338–359

    1956

  4. [3]

    Grifone,Structure pr´ esque-tangente et connexions,I, Ann

    J. Grifone,Structure pr´ esque-tangente et connexions,I, Ann. Inst. Fourier, Grenoble,22, 1 (1972), 287-334

    1972

  5. [4]

    M. K. Gupta, A. Sahu and S. Sharma,Cartan connection for h-Matsumoto change, 2022.http://arxiv.org/abs/2204.07298v1

    arXiv 2022

  6. [5]

    Javaloyes and M

    M. Javaloyes and M. S´ anchez,On the definition and examples of Finsler metrics, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XIII (2014), 813-858. 18

    2014

  7. [6]

    Lovas,A note on Finsler-Minkowski norms, Houston J

    R.L. Lovas,A note on Finsler-Minkowski norms, Houston J. Math.33(2007), 701-707

    2007

  8. [7]

    Matsumoto,On Finsler spaces with Randers metric and special forms of important tensors, J

    M. Matsumoto,On Finsler spaces with Randers metric and special forms of important tensors, J. Math. Kyoto Univ.,14(1974), 477–498

    1974

Show all 31 references
  1. [8]

    Matsumoto,A slope of a mountain is a Finsler surface with respect to a time measure, J

    M. Matsumoto,A slope of a mountain is a Finsler surface with respect to a time measure, J. Math. Kyoto Univ.,29(1989) 17–25

    1989

  2. [9]

    Matsumoto and K

    M. Matsumoto and K. Eguchi,Finsler spaces admitting a concurrent vector field, Tensor, N. S.,28(1974), 239-249

    1974

  3. [10]

    Miron and M

    R. Miron and M. Anastaise,Vector bundles and Lagrange spaces with applications to Relativity, 1997

    1997

  4. [11]

    Rafie-Rad and B

    M. Rafie-Rad and B. Rezaei,On Einstein Matsumoto metrics, Nonlinear Anal. R W A,13(2012) 882–886

    2012

  5. [12]

    H. S. Shukla, O. P. Pandey and H. D. Joshi,Matsumoto change of Finsler metric, J. Inter. Acad. of Physical Sciences,16, 4 (2012), 329-341

    2012

  6. [13]

    Soleiman,Energyβ-conformal change in Finsler geometry, Int

    A. Soleiman,Energyβ-conformal change in Finsler geometry, Int. J. Geom. Meth. Mod. Phys.9(2012), 1250029 (21 pages)

    2012

  7. [14]

    Soleiman and S

    A. Soleiman and S. G. Elgendi,The geometry of Finsler spaces of Hp-scalar curvature, Differential Geometry - Dynamical Systems,22(2020), 254-268

    2020

  8. [15]

    Soleiman and S

    A. Soleiman and S. G. Elgendi,An intrinsic proof of Numata’s theorem on Lands- berg spaces, J. Korean Math. Soc.61(2024), 149-160

    2024

  9. [16]

    Soleiman and S

    A. Soleiman and S. G. Elgendi,On generalized Shen ’s square metric, Korean J. Math.32(2024), 467-484

    2024

  10. [17]

    Soleiman and E

    A. Soleiman and E. H. Taha,Tripathi connection in Finsler geometry, Hacet. J. Math. Stat.51(2022), 136-150

    2022

  11. [18]

    Szilasi, R

    J. Szilasi, R. L. Lovas and D. Cs Kertesz,Connections, Sprays and Finsler struc- tures, World Scientific, 2014

    2014

  12. [19]

    Tachibana,On Finsler spaces which admit concurrent vector field, Tensor, N

    S. Tachibana,On Finsler spaces which admit concurrent vector field, Tensor, N. S.1(1950), 1–5

    1950

  13. [20]

    A Tamim and N

    A. A Tamim and N. L Youssef,On generalized Randers manifolds, Algebras, Groups and Geometries,16(1999), 115-126

    1999

  14. [21]

    E. H. Taha and B. Tiwari,On almost rational Finsler metrics, Bull. Iran. Math. Soc.49(8) (2023)

    2023

  15. [22]

    Tayebi, T

    A. Tayebi, T. Tabatabaeifar and E. Peyghan,On the second approximate Mat- sumoto metric, Bull. Korean. Math. Soc. 51(1) (2014), 115-128

    2014

  16. [23]

    Tayebi, E

    A. Tayebi, E. Peyghan and H. Sadeghi,On Matsumoto-type Finsler metrics, Nonlinear Analysis: R W A, 13 (2012), 2556-2561. 19

    2012

  17. [24]

    Tayebi and M

    A. Tayebi and M. Shahbazi Nia,On Matsumoto change of m-th root Finsler metrics, Publications De L’institut Mathematique, tome 101(115) (2017), 183- 190

    2017

  18. [25]

    N. L. Youssef, S. H. Abed and A. Soleiman,Cartan and Berwald connections in the pullback formalism, Algebras, Groups and Geometries,25(2008), 363-384

    2008

  19. [26]

    N. L. Youssef, S. H. Abed and A. Soleiman,,Intrinsic theory of projective changes in Finsler geometry, Rend. Circ. Mat. Palermo,60(2011), 263–281

    2011

  20. [28]

    N. L. Youssef, S. H. Abed and A. Soleiman,A global approach to the theory of connections in Finsler geometry, Tensor, N. S.,71(2009),187-208. arXiv: 0801.3220 [math.DG]

    2009 arXiv

  21. [29]

    N. L. Youssef, S. H. Abed and A. Soleiman,Geometric objects associated with the fundamental connections in Finsler geometry, J. Egypt. Math. Soc.,18(2010), 67-90. arXiv: 0805.2489 [math.DG]

    2010 arXiv

  22. [30]

    N. L. Youssef and S. G. Elgendi,New Finsler package, Comput. Phys. Commun., 185, 3 (2014), 986–997

    2014

  23. [31]

    N. L. Youssef, S. G. Elgendi and E. H. Taha,Semi-concurrent vector fields in Finsler geometry, Differ. Geom. Appl.,65(2019). 1–15. 20

    2019

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.