Finsler metrics on surfaces admitting three projective vector fields

Julius Lang

REVIEW 4 major objections 5 minor 18 references

Finsler metrics on surfaces admitting three projective vector fields

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read A complete local classification of Finsler surfaces with three projective vector fields.

desk verdict Substantive local classification with an overreaching abstract; the intransitive case and unshown ODE derivations are the main gaps. read the letter →

arxiv 1908.02696 v1 pith:SDUPBZHP submitted 2019-08-07 math.DG

Julius Lang This is my paper · ORCID

classification math.DG MSC 53B4053A2058B20

keywords FinslermetricsprojectivevectorfieldsRandersequivalencesprayssecond-orderODEsgeodesicsconstantcurvature

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

This paper settles the submaximal case of a classical problem: which Finsler metrics on a surface admit many projective vector fields? The answer, argued in Theorem 1, is that any Finsler metric with at least three independent projective vector fields is locally projectively equivalent, near any transitive point, either to a Randers metric built from a Riemannian metric of constant sectional curvature, or to a Riemannian metric. Up to coordinate change and projective equivalence, the possibilities reduce to a short list: the Euclidean metric, two Randers families associated with constant-geodesic-curvature dynamics on the Euclidean, spherical, and hyperbolic planes, and two Riemannian metrics. The paper also proves that no two metrics on this list are locally isometric to projectively equivalent metrics, so the list is both complete and minimal.

What carries the argument

The proof works with sprays rather than metrics. The central object is the pair of second-order ODEs induced by a spray when its geodesics are parametrized by $x$, one for $\dot x > 0$ and one for $\dot x < 0$; this pair determines the spray up to projective equivalence. The paper classifies all three-dimensional Lie algebras of vector fields on the plane that are transitive at a point, solves the infinitesimal point-symmetry equations for each, and obtains the normal-form list of second-order ODEs in Lemma 1. Filtering out equations that cannot come from a fiber-globally defined spray yields the spray normal forms (a), (b$_k^\pm$), (c$^\pm$) of Lemma 2. The Randers metrics are produced by Lemma 7: for a constant-curvature metric $\alpha$, adding a 1-form $\beta$ whose exterior derivative is a constant multiple of the volume form makes the geodesics of $F = \alpha + \beta$ the curves of constant geodesic curvature $k$, so the whole Killing algebra of $\alpha$ becomes projective for $F$.

What would settle it

Exhibit a Finsler metric on a surface with a three-dimensional projective algebra that has no transitive point and whose geodesic spray is not projectively equivalent to any spray in Lemma 2; that example would refute the abstract's unqualified claim while leaving the transitive-point theorem intact.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1: in dimension two, a Finsler metric whose projective vector fields form a Lie algebra of dimension at least three is, near any transitive point, projectively equivalent to a Randers metric $F = \alpha + \beta$ with $\alpha$ of constant sectional curvature and with the projective algebra equal to the Killing algebra of $\alpha$, or to a Riemannian metric. Written out, the local normal forms are the Euclidean metric; the Randers metric (a), $\sqrt{dx^2+dy^2} + \tfrac{1}{2}(y\,dx - x\,dy)$; the two Randers families (b$_k^\pm$) for $k>0$, obtained by adding a 1-form to the round sphere metric and to the hyperbolic plane metric; and the Riemannian metrics (c$^\pm$), $\sqrt{\frac{e^{3x}}{(2e^x-1)^2}\,dx^2 + \frac{e^x}{2e^x-1}\,dy^2}$ and $\sqrt{e^{3x}\,dx^2 + e^x\,dy^2}$. None of these metrics is locally isometric to a Finsler metric projectively equivalent to a different one, so the classification is complete and irredundant.

Load-bearing premise

The proof assumes the three projective fields span the tangent plane at the point around which the classification is made; a metric whose projective algebra is three-dimensional but has no such transitive point is not covered by the argument.

Editorial extensions

If this is right

Any Finsler surface with exactly three independent projective vector fields is locally projectively equivalent to one of the listed normal forms, so the search for submaximal examples ends with a finite list.
A Finsler metric with more than three projective fields is projectively flat, so the dimension of the projective algebra jumps from 3 to 8 in dimension two.
The Randers metrics (a) and (b$_k^\pm$) are geodesically irreversible, while the Riemannian metrics (c$^\pm$) are geodesically reversible; this distinction is invariant under projective equivalence within the list.
For each Randers metric on the list the projective algebra equals the Killing algebra of the underlying constant-curvature metric, so the three-dimensional symmetry algebra is exactly the isometry algebra of a classical geometry.

Reading between the lines

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

The same second-order ODE machinery would classify any spray with a three-dimensional projective algebra, not only geodesic sprays of Finsler metrics, so the normal-form list may serve as a general model for projectively symmetric second-order ODEs on the plane.
The measure-theoretic construction mentioned in the paper shows the list classifies projective classes, not all metrics in a class: there exist non-trivial Finsler metrics projectively equivalent to (a), so a classification of metrics rather than sprays would need an additional description of these deformations.
Because the theorem is proved only at transitive points, metrics whose three-dimensional projective algebra is nowhere transitive remain unexplored; checking whether such metrics exist would either close the gap or force a refinement of the statement.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

First, the substance: this is one of the first real classifications of Finsler metrics with a 3-dimensional projective algebra on a surface, and the normal forms are explicit and believable. The reduction to Lie's ODE classification is a sensible route, and the argument that most invariant ODEs cannot come from a fiber-globally defined spray is a nice piece of filtering. The construction of Randers metrics with geodesics of constant curvature from a constant-curvature base metric (Lemma 7) is clean and gives a clear geometric picture for the examples. If the paper is correct, it settles the submaximal case of Lie's problem for Finsler metrics in the transitive regime.

The soft spots are real but not fatal. The abstract states that every Finsler metric with at least three projective vector fields is locally projectively equivalent to a Randers metric, without any qualifier. The theorem itself only claims this near a transitive point, i.e. a point where the projective vector fields span the tangent plane. The proof depends on that assumption essentially: Lemma 3 classifies 3-dimensional Lie algebras of vector fields under transitivity, and the ODE classification inherits it. If a metric has a 3-dimensional projective algebra that is nowhere transitive, the paper gives no argument that it must be projectively flat or that it is projectively equivalent to one of the listed forms. That is a genuine gap between abstract and theorem, and it should be fixed by either handling the intransitive case or making the abstract match the theorem.

A secondary issue is that Lemma 1, which is load-bearing, lists the invariant ODEs with the note that the systems are 'solved by elementary methods' but does not show the derivations. A referee will want to see enough of the computation to trust the list, especially because the subsequent filtering by global definedness depends on that list being complete. This is likely fillable, but it is exactly the kind of thing that should not be left as an exercise.

Overall, the paper is a solid contribution and deserves a serious referee. With a corrected abstract and either a proof of the intransitive case or an explicit restriction, it should be publishable. For anyone working on projective geometry of Finsler metrics, this is a useful reference.

Referee Report

4 major / 5 minor

Summary. The paper studies Finsler metrics on surfaces whose Lie algebra of projective vector fields has dimension at least three. The main result (Theorem 1) states that near any transitive point such a metric is projectively equivalent either to a Randers metric F = α + β with α of constant sectional curvature and p(F) equal to the Killing algebra of α, or to a Riemannian metric, and gives an explicit list of normal forms (a), (b±_k), (c±). The proof reduces the problem to the classification of 3-dimensional Lie algebras of vector fields in the plane (Lemma 3), the classification of second-order ODEs admitting three infinitesimal point symmetries (Lemma 1), and the conversion of these ODEs into spray normal forms (Lemma 2); Section 3 constructs the Finsler metrics whose geodesic sprays realize these normal forms.

Significance. If correct, the paper would settle the submaximal case dim p = 3 in the surface version of Lie's problem, complementing the classical projectively flat case (dim p = 8) and the pseudo-Riemannian classification of [5]. The explicit normal forms and the construction via Randers metrics are valuable, and the paper draws a useful connection between projective symmetry and geodesic curvature in magnetic geodesic terms (Lemma 7). However, the completeness of the classification is not yet established because of the restrictions and unproved steps listed in the major comments; the paper's main claim as stated in the abstract is not fully supported.

major comments (4)

[Abstract; Setup; Theorem 1] The abstract claims that every Finsler metric on a surface with at least three independent projective vector fields is locally projectively equivalent to a Randers metric, but the proof and Theorem 1 only apply 'near any transitive point' (Setup, p. 2). The paper gives no argument for metrics whose projective algebra is nowhere transitive, such as a rank-1 action extended trivially in the transverse direction; it is not shown that such metrics are projectively flat, have larger projective algebra, or are projectively equivalent to one of the listed normal forms. This gap affects the central completeness claim and should be addressed either by proving the intransitive case or by amending the abstract and theorem.
[§2.1, Lemma 3] The proof of Lemma 3(2) only shows that the isotropy element X0 is not central: it assumes X0 commutes with X1 and X2 and derives a contradiction. The statement being proved is stronger, namely that the isotropy subalgebra g0 is not an ideal. The subsequent classification of pairs (g,h) uses the condition that h is not an ideal, so the list of Lie algebras of vector fields in Section 2.1 is incomplete if there exists a transitive 3-dimensional action whose 1-dimensional isotropy is a non-central ideal. The proof must rule out [X0,X1] ∈ span{X0} and [X0,X2] ∈ span{X0} with at least one nonzero bracket, or the classification must be extended.
[§2.2, Lemma 1] Lemma 1 is load-bearing: it provides the list of second-order ODEs with three independent point symmetries from which all subsequent normal forms are derived. However, the paper only states that the system (1) 'can be solved by elementary methods' and lists the results without showing the integration or providing a reference that contains this exact classification. As written, the completeness of the list cannot be checked. A derivation for each of the cases D1, D2, J1, J2, C1, C2, or a precise citation, is needed.
[§2.3, Lemma 2] The non-equivalence assertion 'None of these sprays can be transformed into one projectively equivalent to one of the others' is not proved: the text refers to 'direct calculations or using invariants for the induced ODEs, see [7]' but gives no calculation, invariant, or reference to a specific result. This statement is used in Theorem 1 to claim that the listed metrics are distinct up to projective equivalence. The authors should supply the missing argument or a concrete reference.

minor comments (5)

[Abstract vs. Theorem 1] The abstract's 'locally projectively equivalent to a Randers metric' is stronger than the theorem's disjunction 'a Randers metric ... or a Riemannian metric', and the theorem's qualifier 'near any transitive point' is absent from the abstract; the abstract should be aligned with the theorem.
[§2.2, Lemma 1] The formula for D2, f = C z^{(λ-2)/(λ-1)}, is undefined for λ=1. The special role of λ=1 is mentioned in Lemma 4(2) but should be stated explicitly in Lemma 1.
[§2.3, equation (3)] The formulas for g± involve 1/z and the text writes conditions 'if z ≥ 0' and 'if z ≤ 0'; at z = 0 these expressions must be interpreted by limits, which is not explained.
[Throughout] There are several typos: 'prooving' in Section 2, 'stritcly' in Definition 1, and 'Affilation' in the author footnote. Reference [7] is an arXiv preprint; if a published version exists, it should be cited.
[§2.1, J3] In the classification of Lie algebras, the case J3 is presented with parameters γ0,γ1; the text says one can assume γ0,γ1 ∈ {0,1} but then gives a general formula. The normalization deserves a sentence of explanation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the classification is derived from classical ODE-symmetry and spray classifications, and the Finsler metrics are verified against the independently obtained spray list.

full rationale

The paper's derivation chain is self-contained and non-circular. Theorem 1 is proved by reducing Finsler sprays to second-order ODEs describing their geodesic reparametrizations (Section 2.3). Lemma 1 classifies ODEs admitting three independent point symmetries, using the classical Lie/Romanovskii symmetry bounds and the explicit Lie-algebra classification of transitive 3-dimensional algebras of vector fields (Lemma 3, based on Sophus Lie's techniques). Lemma 2 then filters which of these ODEs can arise from a fiber-globally defined spray, producing a list of projective classes of sprays. This list is checked independently: the constants C, lambda, and k are free parameters of normal forms, not fitted values, and the compatibility conditions on f_+ and f_- are actual integrability checks, not renamed predictions. In Section 3, the Randers metrics are constructed by choosing a constant-curvature Riemannian metric alpha and a 1-form beta with prescribed exterior derivative, and Lemma 7 proves that their geodesic sprays match the previously listed sprays. The statement 'iso(alpha) = p(F)' is justified by the classical fact that dim p(F)>3 implies projective flatness and by the explicit reversibility distinction, not by assuming the theorem. The transitivity restriction is explicitly announced in the Setup: 'We work around a point where the projective vector fields are transitive' and Theorem 1 is stated 'near any transitive point'. The unqualified abstract wording may overclaim for nowhere-transitive algebras, but that is a correctness/scope gap, not circular reasoning: no step assumes the target conclusion. External references [5,9,12] are used as black-box classical classifications, and the final examples are verified by direct calculation of induced ODEs against the independently derived spray list. No fitted input is called a prediction, no self-citation carries the argument, and no uniqueness theorem from the author's own prior work is imported. The paper therefore receives circularity score 0.

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

The paper relies on standard smooth-manifold and Finsler definitions, the classical result that dim p>3 implies dim p=8 and projective flatness, Romanovski's characterization of ODEs with more than 3 point symmetries, and the explicit restriction to transitive points. No ad hoc constants are introduced beyond the genuine family parameters in the normal forms; no new entities are postulated.

assumptions (5)

standard math Standard C∞ smooth manifold and local coordinate setup in dimension 2.
Used throughout; all objects are local and C∞, defined fiber-globally over a coordinate neighborhood.
standard math Finsler metric is positively homogeneous and strictly convex.
Definition 1, used for geodesic spray and Euler-Lagrange equations.
domain assumption If dim p(F)>3 on a 2-manifold then dim p(F)=8 and F is projectively flat.
Used at start of Section 2.3 to reduce the problem to dim p=3; cited to Tresse and Lie [9,17,18], not proved here.
standard math Romanovski's theorem: a 2nd order ODE with more than 3 point symmetries has 8 symmetries and is locally y''=0.
Lemma 5, cited [12], used to exclude certain ODEs and to handle the singular case in Lemma 4.
domain assumption Existence of a transitive point for the projective vector fields.
Setup section; the classification of Lie algebras of vector fields (Lemma 3) requires the algebra to span the tangent plane at the origin. The theorem is stated only near transitive points, but the abstract omits this qualifier.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Finsler metrics on surfaces admitting three projective vector fields." pith.science (2026). https://pith.science/paper/SDUPBZHP

@misc{pith2026190802696,
  author       = {Pith},
  title        = {Pith review of: Finsler metrics on surfaces admitting three projective vector fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SDUPBZHP}},
  note         = {Machine review of arXiv:1908.02696}
}

read the original abstract

We show that in dimension 2 every Finsler metric with at least 3-dimensional Lie algebra of projective vector fields is locally projectively equivalent to a Randers metric. We give a short list of such Finsler metrics which is complete up to coordinate change and projective equivalence.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[5]

Bryant, G

R. Bryant, G. Manno, and V. Matveev. A solution of a proble m of Sophus Lie: normal forms of two-dimensional metrics admitting two projective vector ﬁelds. Math. Ann. , 340(2):437–463, 2008

work page 2008
[7]

The geometry of second-order ordinary differential equations

B. Doubrov and B. Komrakov. The geometry of second-order ordinary diﬀerential equations, 2016. arXiv:1602.00913

work page Pith review arXiv 2016
[1]

´Alvarez Paiva

J. ´Alvarez Paiva. Hilbert’s fourth problem in two dimensions. In MASS selecta, pages 165–183. Amer. Math. Soc., Providence, RI, 2003

work page 2003
[2]

´Alvarez Paiva

J. ´Alvarez Paiva. Symplectic geometry and Hilbert’s fourth pr oblem. J. Diﬀerential Geom., 69(2):353–378, 2005

work page 2005
[3]

´Alvarez Paiva and G

J. ´Alvarez Paiva and G. Berck. Finsler surfaces with prescribe d geodesics. ArXiv e-prints, February 2010

work page 2010
[4]

Arcostanzo

M. Arcostanzo. Des m´ etriques ﬁnsl´ eriennes sur le disque ` a partir d’une fonction dis- tance entre les points du bord. In S´ eminaire de Th´ eorie Spectrale et G´ eom´ etrie, No. 10, Ann´ ee 1991–1992, volume 10 of S´ emin. Th´ eor. Spectr. G´ eom., pages 25–33. Univ. Grenoble I, Saint-Martin-d’H` eres, 1992

work page 1991
[6]

Cheng, X

X. Cheng, X. Ma, Y. Shen, and S. Liu. Hilbert’s fourth prob lem and projectively ﬂat ﬁnsler metrics. In Lie groups, diﬀerential equations, and geometry , UNIPA Springer Ser., pages 247–263. Springer, Cham, 2017

work page 2017
[8]

S. Lie. Untersuchungen ¨ uber geod¨ atische Curven. Math. Ann. , 20(3):357–454, 1882. Abschn. I, Nr. 4, Problem II

work page

Show all 18 references

[9]

S. Lie. Vorlesungen ber Diﬀerentialgleichungen mit bekannten inﬁn itesimalen Trans- formationen. Teubner, Leipzig, 1891
[10]

V. Matveev. On projective equivalence and pointwise pr ojective relation of Randers metrics. Internat. J. Math. , 23(9):1250093, 14, 2012

2012
[11]

X. Mo, Z. Shen, and C. Yang. Some constructions of projec tively ﬂat Finsler metrics. Sci. China Ser. A , 49(5):703–714, 2006

2006
[12]

Romanovski ˘ ı

Yu. Romanovski ˘ ı. Calculation of local symmetries of second-order ordinary diﬀerential equations by Cartan’s equivalence method. Mat. Zametki , 60(1):75–91, 159, 1996

1996
[13]

Shen and Z

Y. Shen and Z. Shen. Introduction to modern Finsler geometry . Higher Education Press, Beijing; World Scientiﬁc Publishing Co., Singapore , 2016

2016
[14]

Z. Shen. Projectively ﬂat Finsler metrics of constant ﬂ ag curvature. Trans. Amer. Math. Soc. , 355(4):1713–1728, 2003

2003
[15]

Z. Shen. On projectively ﬂat ( α, β )-metrics. Canad. Math. Bull. , 52(1):132–144, 2009

2009
[16]

Tabachnikov

S. Tabachnikov. Remarks on magnetic ﬂows and magnetic b illiards, Finsler metrics and a magnetic analog of Hilbert’s fourth problem. In Modern dynamical systems and applications, pages 233–250. Cambridge Univ. Press, Cambridge, 2004

2004
[17]

A. Tresse. Determination des invariants ponctuels de l ’equation diﬀerentielle ordinaire du second ordre y” = w(x, y, y’)
[18]

A. Tresse. Sur les invariants diﬀ´ erentiels des groupe s continus de transformations. Acta Math. , 18(1):1–3, 1894

Pith tools

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

[1] [5]

Bryant, G

R. Bryant, G. Manno, and V. Matveev. A solution of a proble m of Sophus Lie: normal forms of two-dimensional metrics admitting two projective vector ﬁelds. Math. Ann. , 340(2):437–463, 2008

work page 2008

[2] [7]

The geometry of second-order ordinary differential equations

B. Doubrov and B. Komrakov. The geometry of second-order ordinary diﬀerential equations, 2016. arXiv:1602.00913

work page Pith review arXiv 2016

[3] [1]

´Alvarez Paiva

J. ´Alvarez Paiva. Hilbert’s fourth problem in two dimensions. In MASS selecta, pages 165–183. Amer. Math. Soc., Providence, RI, 2003

work page 2003

[4] [2]

´Alvarez Paiva

J. ´Alvarez Paiva. Symplectic geometry and Hilbert’s fourth pr oblem. J. Diﬀerential Geom., 69(2):353–378, 2005

work page 2005

[5] [3]

´Alvarez Paiva and G

J. ´Alvarez Paiva and G. Berck. Finsler surfaces with prescribe d geodesics. ArXiv e-prints, February 2010

work page 2010

[6] [4]

Arcostanzo

M. Arcostanzo. Des m´ etriques ﬁnsl´ eriennes sur le disque ` a partir d’une fonction dis- tance entre les points du bord. In S´ eminaire de Th´ eorie Spectrale et G´ eom´ etrie, No. 10, Ann´ ee 1991–1992, volume 10 of S´ emin. Th´ eor. Spectr. G´ eom., pages 25–33. Univ. Grenoble I, Saint-Martin-d’H` eres, 1992

work page 1991

[7] [6]

Cheng, X

X. Cheng, X. Ma, Y. Shen, and S. Liu. Hilbert’s fourth prob lem and projectively ﬂat ﬁnsler metrics. In Lie groups, diﬀerential equations, and geometry , UNIPA Springer Ser., pages 247–263. Springer, Cham, 2017

work page 2017

[8] [8]

S. Lie. Untersuchungen ¨ uber geod¨ atische Curven. Math. Ann. , 20(3):357–454, 1882. Abschn. I, Nr. 4, Problem II

work page