Two-step homogeneous geodesics in some homogeneous Finsler manifolds

Hamid Reza Salimi Moghaddam; Masoumeh Hosseini

REVIEW 3 major objections 2 minor 23 references

Two-step homogeneous geodesics in some homogeneous Finsler manifolds

T0 review · 3 major / 2 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Certain (α,β) spaces and decomposable cubic spaces admit one-parameter families of invariant Finsler metrics that are two-step geodesic orbit spaces.

desk verdict The paper carries the two-step geodesic construction over to Finsler geometry with algebraic conditions for two metric families, but the verification that the curve actually solves the Finsler geodesic equation looks incomplete. read the letter →

arxiv 2109.05915 v3 submitted 2021-09-06 math.DG

Masoumeh Hosseini , Hamid Reza Salimi Moghaddam This is my paper

classification math.DG

keywords homogeneousFinslermanifoldstwo-stepgeodesicsgeodesicorbitspaces(αβ)-metricscubicmetricsinvariant

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

The paper extends the two-step homogeneous geodesic, defined by the curve γ(t)=π(exp(tx)exp(ty)) in a homogeneous space G/H, from Riemannian to Finsler geometry. It supplies sufficient conditions so that (α,β) spaces and decomposable cubic spaces admit a one-parameter family of invariant Finsler metrics under which these curves remain geodesics. A sympathetic reader cares because this provides explicit descriptions of geodesics in symmetric Finsler settings, which helps analyze their global properties and orbits.

What carries the argument

The two-step homogeneous geodesic curve γ(t)=π(exp(tx)exp(ty)), which carries the argument by allowing explicit geodesic description via Lie algebra elements in the Finsler setting.

What would settle it

An explicit (α,β) space satisfying the sufficient conditions where the curve γ(t)=π(exp(tx)exp(ty)) fails to be a geodesic for the Finsler metric.

Watch

Extended reading notes

Core claim

Under the stated invariance conditions on the Lie algebra, the two-step homogeneous geodesic definition extends to Finsler metrics on (α,β) spaces and decomposable cubic spaces, yielding a one-parameter family of invariant metrics that qualify as two-step Finsler geodesic orbit spaces, as illustrated by examples.

Load-bearing premise

The two-step homogeneous geodesic definition extends verbatim to Finsler metrics while preserving the geodesic property under the invariance conditions on the Lie algebra.

Editorial extensions

If this is right

(α,β) spaces satisfying the conditions possess one-parameter families of invariant Finsler metrics that are two-step geodesic orbit spaces.
Decomposable cubic spaces likewise admit such families under the sufficient conditions.
Examples of these spaces demonstrate the two-step Finsler geodesic property.

Reading between the lines

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

The extension may permit classification of more homogeneous Finsler manifolds by their geodesic behavior.
Similar conditions could apply to other classes of Finsler metrics beyond those considered.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The new piece is the extension of the two-step curve γ(t)=π(exp(tx)exp(ty)) to homogeneous Finsler spaces, together with sufficient Lie-algebra conditions that make certain (α,β) and decomposable cubic metrics into two-step Finsler geodesic orbit spaces, plus a few examples. That is a direct but modest generalization of the Riemannian version. The conditions themselves are stated cleanly enough that a specialist could check them against the invariance requirements on the fundamental tensor. The examples are concrete enough to be useful for testing. The soft spot is exactly the stress-test issue. The Finsler geodesic equation is a nonlinear second-order ODE coming from the spray coefficients, not the same as the Riemannian case. The paper gives invariance conditions on the Lie algebra, but it is not shown in the abstract or the provided summary that these conditions force the spray to vanish along the curve once the β-term or cubic part is added. If the full text only checks the Riemannian limit or the invariance without computing the extra Finsler terms, the claim does not go through. The citation pattern looks standard for the subfield and does not appear circular. This is niche work aimed at people already working on homogeneous Finsler geometry. A reader who needs the precise algebraic conditions for these two families might find it worth skimming, but it does not open new territory or resolve an open question. I would not cite it. It could be sent to peer review if the full derivations close the gap on the spray coefficients; otherwise it is too thin to bother referees with.

Referee Report

3 major / 2 minor

Summary. The paper extends the Riemannian notion of two-step homogeneous geodesics, given by curves of the form γ(t)=π(exp(tx)exp(ty)) for x,y in the Lie algebra of G, to homogeneous Finsler spaces G/H. It states sufficient conditions on the Lie-algebra data for (α,β)-metrics and decomposable cubic metrics so that a one-parameter family of invariant Finsler metrics makes the space a two-step Finsler geodesic orbit space, and supplies illustrative examples.

Significance. If the stated Lie-algebra conditions are shown to force the Finsler spray coefficients to vanish along the two-step curve, the work would supply new families of homogeneous Finsler metrics with controlled geodesics, extending known Riemannian results. The explicit sufficient conditions and concrete examples constitute the main positive contribution.

major comments (3)

[§3, Theorem 3.2] §3, Theorem 3.2 (and the parallel statement for cubic metrics): the sufficient conditions are formulated solely in terms of invariance of the fundamental tensor under the adjoint action of the one-parameter subgroups generated by x and y. Because the Finsler geodesic equation is the nonlinear second-order ODE given by the spray G^i (derived from g_{ij} and its derivatives), it is not shown that these invariance relations imply G^i(γ(t),γ'(t))=0 along the curve; the β-term or cubic perturbation may produce nonzero components orthogonal to the invariance subspace.
[Definition 2.4] Definition 2.4 and the verification paragraphs following Theorem 3.2: the claim that the curve remains a geodesic for the Finsler metric rests on the assertion that the Riemannian two-step property plus metric invariance automatically transfers; no explicit computation of the Chern connection or spray coefficients along γ(t) is supplied to confirm this transfer.
[§5, Example 5.1] §5, Example 5.1: the reported one-parameter family of (α,β)-metrics is stated to satisfy the sufficient conditions, yet the example contains no direct check that the resulting spray vanishes on the two-step curve (e.g., no evaluation of the nonlinear terms involving the β-form along the velocity).

minor comments (2)

[§2] Notation for the decomposition g = h ⊕ m is introduced without an explicit statement of the reductive complement used in the Finsler setting; a short clarifying sentence would help.
[Abstract] The abstract refers to “decomposable cubic spaces” but the precise algebraic definition appears only in §4; moving a one-sentence definition to the introduction would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the transfer from the Riemannian two-step property to the Finsler setting requires more explicit verification. We will revise the manuscript to supply the missing calculations of the spray coefficients.

read point-by-point responses

Referee: [§3, Theorem 3.2] §3, Theorem 3.2 (and the parallel statement for cubic metrics): the sufficient conditions are formulated solely in terms of invariance of the fundamental tensor under the adjoint action of the one-parameter subgroups generated by x and y. Because the Finsler geodesic equation is the nonlinear second-order ODE given by the spray G^i (derived from g_{ij} and its derivatives), it is not shown that these invariance relations imply G^i(γ(t),γ'(t))=0 along the curve; the β-term or cubic perturbation may produce nonzero components orthogonal to the invariance subspace.

Authors: We agree that the current proof of Theorem 3.2 invokes the invariance of g_{ij} under Ad(exp(tx)) and Ad(exp(ty)) but does not explicitly compute the spray G^i along γ(t) to confirm that the nonlinear contributions from the β-term (or the cubic perturbation) vanish. In the revision we will insert a direct calculation of the spray coefficients, using the given invariance to show that all components orthogonal to the relevant subspaces cancel. revision: yes
Referee: [Definition 2.4] Definition 2.4 and the verification paragraphs following Theorem 3.2: the claim that the curve remains a geodesic for the Finsler metric rests on the assertion that the Riemannian two-step property plus metric invariance automatically transfers; no explicit computation of the Chern connection or spray coefficients along γ(t) is supplied to confirm this transfer.

Authors: The verification paragraphs after Theorem 3.2 rely on the Riemannian case plus invariance without recomputing the Finsler spray. We will add an explicit evaluation of the relevant Chern-connection terms (or equivalently the spray) along γ(t), demonstrating that the extra Finsler contributions are zero under the stated hypotheses. revision: yes
Referee: [§5, Example 5.1] §5, Example 5.1: the reported one-parameter family of (α,β)-metrics is stated to satisfy the sufficient conditions, yet the example contains no direct check that the resulting spray vanishes on the two-step curve (e.g., no evaluation of the nonlinear terms involving the β-form along the velocity).

Authors: We will augment Example 5.1 with a direct substitution of the one-parameter family into the spray formula and verify that G^i(γ(t),γ'(t)) = 0 along the curve, confirming that the β-term contributions cancel under the invariance conditions already listed. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: definition extension and sufficient conditions are independent of results

full rationale

The paper extends the two-step homogeneous geodesic curve form verbatim from Riemannian to Finsler settings and derives sufficient Lie-algebra conditions for (α,β) and cubic metrics to yield invariant two-step Finsler geodesics. This rests on standard definitions of homogeneous spaces, Finsler norms, and the geodesic spray, none of which are fitted or self-defined within the paper. No self-citation chains, no parameters fitted then renamed as predictions, and no ansatz imported via prior work by the same authors. The central claim is a set of verifiable algebraic conditions on the metric, not a tautology.

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

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the central claim rests on the unstated assumption that the Riemannian two-step geodesic definition carries over without modification to the Finsler setting.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Two-step homogeneous geodesics in some homogeneous Finsler manifolds." pith.science (2026). https://pith.science/paper/2109.05915

@misc{pith2026210905915,
  author       = {Pith},
  title        = {Pith review of: Two-step homogeneous geodesics in some homogeneous Finsler manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2109.05915}},
  note         = {Machine review of arXiv:2109.05915}
}

abstract

A natural extension of a homogeneous geodesic in homogeneous Riemannian spaces $G/H$, known as a two-step homogeneous geodesic, can be expressed of the form $\gamma(t)=\pi(\exp(tx)\exp(ty))$, where $x$ and $y$ are elements of the Lie algebra of $G$. This paper aims to expand this concept to homogeneous Finsler spaces. We provide certain sufficient conditions for $(\alpha,\beta)$ spaces and decomposable cubic spaces to possess a one-parameter family of invariant Finsler metrics that can be classified as two-step Finsler geodesic orbit spaces. Additionally, we present some illustrative examples of these spaces.

Discussion (0). Sign in to comment.

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We give some sufficient conditions for (α,β)-spaces and cubic spaces to admit a one-parameter family of invariant Finsler metrics to be two-step Finsler geodesic orbit space.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

⟨[y,X]m,z⟩λ + ⟨[z,X]m,y⟩λ =0 ... Fλ is of Berwald type

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

23 extracted references · 23 canonical work pages

[1]

H. An, S. Deng, Invariant (α, β)-metrics on homogeneous manifolds , Monatsh. Math., 154(2008), 89–102

work page 2008
[2]

M. M. Alexandrino and R. G. Bettiol, Lie groups and geometric aspects of isometric actions , Springer International Publishing Switzerland, New York, 2015

work page 2015
[3]

Arvanitoyeorgos and N

A. Arvanitoyeorgos and N. Panagiotis Souris, Two-step homogeneous geodesics in homogeneous spaces , Taiwanese J. Math., 20(6)(2016), 1313–1333

work page 2016
[4]

Bahmandoust and D

P. Bahmandoust and D. Latiﬁ, Naturally reductive homogeneous (α, β) spaces, Int. J. Geom. Methods Mod. Phys., 17(8)(2020), 2050117

work page 2020
[5]

Berestovskii and Y

V. Berestovskii and Y. Nikonorov, Riemannian Manifolds and Homogeneous Geodesics , Springer, Nature Switzerland, 2020

work page 2020
[6]

Brinzei (Voicu), On Cubic Berwald Spaces , Bull

N. Brinzei (Voicu), On Cubic Berwald Spaces , Bull. Calcutta Math. Soc., 17(1-2)(2009), 75–84

work page 2009
[7]

Deng and Z

S. Deng and Z. Hou, Invariant Finsler metrics on homogeneous manifolds , J. Phys. A: Math. Gen., 37(2004), 8245–8253

work page 2004
[8]

Dusek, The existence of homogeneous geodesics in homogeneous pseu do-Riemannian and aﬃne manifolds , J

Z. Dusek, The existence of homogeneous geodesics in homogeneous pseu do-Riemannian and aﬃne manifolds , J. Geom. Phys., 60(2010), 687–689

work page 2010

Show all 23 references

[9]

Dusek, The aﬃne approach to homogeneous geodesics in homogeneous F insler spaces, Arch

Z. Dusek, The aﬃne approach to homogeneous geodesics in homogeneous F insler spaces, Arch. Math. (Brno), 54(2018), 127–133

2018
[10]

Dusek, The existence of homogeneous geodesics in special homogene ous Finsler spaces , Mat

Z. Dusek, The existence of homogeneous geodesics in special homogene ous Finsler spaces , Mat. Vesnik, 71(2019), 16–22

2019
[11]

Hosseini and H

M. Hosseini and H. R. Salimi Moghaddam, On the Existence of Homogeneous Geodesics in Homogeneous Kropina Spaces, Bull. Iranian Math. Soc., 46(2020), 457–469

2020
[12]

Huang, On geodesics of Finsler metrics via navigation problem , Proc

L. Huang, On geodesics of Finsler metrics via navigation problem , Proc. Amer. Math. Soc., 139(8) (2011), 3015–3024

2011
[13]

Kaplan, On the geometry of groups of Heisenberg type , Bull

A. Kaplan, On the geometry of groups of Heisenberg type , Bull. Lond. Math. Soc., 15(1983), 35–42

1983
[14]

Kobayashi, K

S. Kobayashi, K. Nomizu, Foundations of Diﬀerential Geometry , Vol II, John Wiley & Sons, New York, 1969

1969
[15]

Kowalski and L

O. Kowalski and L. Vanhecke, Riemannian manifolds with homogeneous geodesics , Boll. Unione Mat. Ital., 1 5-B (1991), 189–246

1991
[16]

Kowalski and J

O. Kowalski and J. Szenthe, On the existence of homogeneous geodesics in homogeneous Ri emannian man- ifolds, Geom. Dedicata, 81(2000), 209–214

2000
[17]

Latiﬁ and M

D. Latiﬁ and M. Toomanian, On the existence of bi-invariant Finsler metrics on Lie grou ps, Math. Sci., 7(37) (2013)

2013
[18]

H. Liu, S. Deng, Homogeneous (α, β)-metrics of Douglas type , Forum Math., 27(2015), 3149–3165

2015
[19]

Parhizkar and H

M. Parhizkar and H. R. Salimi Moghaddam, Geodesic vector ﬁelds of invariant (α, β)-metrics on homoge- neous spaces, Int. Electron. J. Geom., 6(2)(2013), 39–44

2013
[20]

B. G. Schmidt, Conditions on a connection to be a metric connection , Comm. Math. Phys., 29(1973), 55–59

1973
[21]

Yan and S

Z. Yan and S. Deng, Finsler spaces whose geodesics are orbits , Diﬀerential Geom. Appl., 36(2014), 1–23

2014
[22]

Yan and S

Z. Yan and S. Deng, Existence of homogeneous geodesics on homogeneous Randers spaces, Houston J. Math., 44(2018), 481–493

2018
[23]

Yan and L

Z. Yan and L. Huang, On the existence of homogeneous geodesic in homogeneous Fin sler spaces, J. Geom. Phys., 124(2018), 264–267. Masoumeh Hosseini, Department of Pure Mathematics, F aculty of Mathematics and Statistics, University of Isfahan, Isfahan, 81746-73441-Iran. Email ...

2018

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.

[1] [1]

H. An, S. Deng, Invariant (α, β)-metrics on homogeneous manifolds , Monatsh. Math., 154(2008), 89–102

work page 2008

[2] [2]

M. M. Alexandrino and R. G. Bettiol, Lie groups and geometric aspects of isometric actions , Springer International Publishing Switzerland, New York, 2015

work page 2015

[3] [3]

Arvanitoyeorgos and N

A. Arvanitoyeorgos and N. Panagiotis Souris, Two-step homogeneous geodesics in homogeneous spaces , Taiwanese J. Math., 20(6)(2016), 1313–1333

work page 2016

[4] [4]

Bahmandoust and D

P. Bahmandoust and D. Latiﬁ, Naturally reductive homogeneous (α, β) spaces, Int. J. Geom. Methods Mod. Phys., 17(8)(2020), 2050117

work page 2020

[5] [5]

Berestovskii and Y

V. Berestovskii and Y. Nikonorov, Riemannian Manifolds and Homogeneous Geodesics , Springer, Nature Switzerland, 2020

work page 2020

[6] [6]

Brinzei (Voicu), On Cubic Berwald Spaces , Bull

N. Brinzei (Voicu), On Cubic Berwald Spaces , Bull. Calcutta Math. Soc., 17(1-2)(2009), 75–84

work page 2009

[7] [7]

Deng and Z

S. Deng and Z. Hou, Invariant Finsler metrics on homogeneous manifolds , J. Phys. A: Math. Gen., 37(2004), 8245–8253

work page 2004

[8] [8]

Dusek, The existence of homogeneous geodesics in homogeneous pseu do-Riemannian and aﬃne manifolds , J

Z. Dusek, The existence of homogeneous geodesics in homogeneous pseu do-Riemannian and aﬃne manifolds , J. Geom. Phys., 60(2010), 687–689

work page 2010