Geodesic completeness and the quasi-Einstein equation for locally homogeneous affine surfaces

Peter B. Gilkey; Xabier Valle-Regueiro

REVIEW 3 major objections 7 minor 8 references

Geodesic completeness and the quasi-Einstein equation for locally homogeneous affine surfaces

T0 review · 3 major / 7 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 This paper proves that a locally homogeneous affine surface of Type A is geodesically complete exactly when it is linearly equivalent to one of four model geometries—the flat plane $M^0_0$ or $M^0_4$, the rank-one model $M^1_3(-1/2)$, or…

desk verdict A competent re-derivation of a known completeness classification, with one genuinely new lemma and a proof that leans heavily on the authors' own prior Q-space classification. read the letter →

arxiv 1908.04148 v1 pith:5L37A5WA submitted 2019-08-12 math.DG

Peter B. Gilkey , Xabier Valle-Regueiro This is my paper · ORCID

classification math.DG MSC 53C2135R0158J6058D27

keywords stronglyprojectivelyflatquasi-EinsteinequationgeodesiccompletenesslocallyhomogeneousaffinesurfaceTypeARiccitensorrankcompletion

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 asks which locally homogeneous affine surfaces are geodesically complete, meaning every geodesic can be followed for all real time. It proves that among the Type A surfaces—those with constant connection coefficients in suitable coordinates—completeness is rare: up to linear change of coordinates, the geodesically complete ones are exactly the flat plane $M^0_0$, the flat relative $M^0_4$, the rank-one model $M^1_3(-1/2)$, and the rank-two family $M^2_2(-1,b_2)$. All other Type A surfaces are essentially geodesically incomplete: no homogeneous affine surface can contain them as a complete model. The proof routes through the quasi-Einstein equation: every Type A surface is linearly strongly projectively flat, so its geometry is encoded in a low-dimensional space $Q(M)$ of functions, and the possible spaces are classified into a finite list. This matters because a global question about solutions of quadratic ordinary differential equations is reduced to checking a short algebraic taxonomy.

What carries the argument

The central object is the quasi-Einstein solution space $Q(M)=\ker\{H_f+\rho_s\}$, the space of functions whose Hessian cancels the symmetric Ricci tensor. For a strongly projectively flat affine surface this space is three-dimensional and can be written $e^g\,\mathrm{Span}\{1,\phi_1,\phi_2\}$; the map $\Phi=(\phi_1,\phi_2)$ sends unparameterized geodesics to straight lines. The machine is the classification of all three-dimensional $Q(M)$ spaces that arise from constant-coefficient connections under the translation action, imported from [7]: each such space determines its connection uniquely, and the finite list $Q^\nu_i(\cdot)$ yields the finite list of model connections $M^\nu_i(\cdot)$. This $Q$-space organizes the completeness analysis: a model is complete exactly when the straight-line coordinates $\Phi$ and the reparametrization factor coming from $e^g$ do not force any geodesic to leave the coordinate domain in finite time, and essential incompleteness is certified by a geodesic along which $\rho(\dot\sigma,\partial_{x_i})$ blows up at a finite parameter value.

What would settle it

Take a Type A connection whose six Christoffel symbols are generic, with no algebraic relations, compute $Q(M)=\ker\{H_f+\rho_s\}$ and check linear equivalence against Definition 3.2; any mismatch falsifies Theorem 3.3. Alternatively, for $M^2_2(-1,b_2)$, solve the geodesic ODE system and look for a finite-time blow-up of $(\dot x^1,\dot x^2)$, which would falsify Lemma 3.10.

Watch

Extended reading notes

Core claim

Every Type A locally homogeneous affine connection is linearly strongly projectively flat: a linear change of connection by the differential of a linear function produces a flat connection. As a consequence the quasi-Einstein space $Q(M)=\ker\{H_f+\rho_s\}$ is three-dimensional, and the translation-invariance of constant-coefficient connections forces $Q(M)$ to be one of a finite list of function spaces up to linear equivalence. The paper writes down that list explicitly as $Q^\nu_i(\cdot)$, derives the corresponding model connections $M^\nu_i(\cdot)$, and then settles geodesic completeness for each model. The central classification (Theorem 3.11) reads: flat Type A surfaces are complete only for $M^0_0$ and $M^0_4$; rank-one-Ricci surfaces only for $M^1_3(-1/2)$, with $M^1_5(0)$ and $M^1_2(-1/2)$ incomplete but admitting explicit homogeneous completions; and rank-two-Ricci surfaces are complete exactly on the family $M^2_2(-1,b_2)$, while all other Type A surfaces are essentially geodesically incomplete.

Load-bearing premise

The argument depends on the earlier claim, taken from [7], that the list of possible solution spaces $Q(M)$ is complete; if a Type A connection produced a solution space not on that list, the whole reduction to the model geometries would collapse.

Editorial extensions

If this is right

Every Type A affine surface, complete or not, has unparameterized geodesics that are straight lines in suitable coordinates; incompleteness is purely a failure of the parametrization to run for all time.
For flat Type A surfaces, geodesic completeness is equivalent to being linearly equivalent to the standard flat plane $M^0_0$ or its relative $M^0_4$.
For rank-one Ricci type, the only complete model is $M^1_3(-1/2)$; the models $M^1_5(0)$ and $M^1_2(-1/2)$ are incomplete but embed into homogeneous complete surfaces, so every other incomplete rank-one model is essentially incomplete.
For rank-two Ricci type, the family $M^2_2(-1,b_2)$ is complete and every other Type A surface is essentially geodesically incomplete.
Within the strongly projectively flat class, the quasi-Einstein space $Q(M)$ determines the connection, so the completeness classification is really a classification of three-dimensional function spaces.

Reading between the lines

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

Because the classification of $Q(M)$ spaces is purely algebraic, the same method should be applicable to Type B locally homogeneous affine surfaces, whose connection coefficients have a $1/x^1$ pole; the strong projective-flatness step would need a nonlinear gauge, but the function-space picture is not tied to constant coefficients.
The lone complete rank-two family $M^2_2(-1,b_2)$ reduces its geodesic equations to a single first-order ODE in a bounded parameter, which suggests its geodesic flow is explicitly integrable for every $b_2$; checking this directly is a natural next step.
Theorem 3.3 gives a decision procedure: from the six Christoffel symbols of a Type A surface, compute $Q(M)$ and compare with the finite list; this could be implemented symbolically to decide geodesic completeness without solving any geodesic equation.
The essential-incompleteness criterion (blow-up of $\rho(\dot\sigma,\partial_{x_i})$ on a finite-time geodesic) suggests a numerical probe: random Type A parameter samples should be essentially incomplete with probability one, since the complete loci are a finite union of low-dimensional families.

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

Colleague,

The thing to know about this paper: it's a re-derivation, not a new theorem. The headline result (Theorem 3.11) classifying which Type A locally homogeneous affine surfaces are geodesically complete was already proved by D'Ascanio, Gilkey, and Pisani. The authors say so themselves. What's new is Lemma 2.1: every Type A model is linearly strongly projectively flat, i.e. the strong projective equivalence to a flat connection can be chosen linear. That's a concrete, useful observation, and the proof is direct and short. The quasi-Einstein route gives a structural explanation for the completeness list, which is nice.

Where the paper is soft: Theorem 3.3 is load-bearing, and its proof stops at "with a bit of additional work, one can classify..." and refers to the authors' own [7]. That means the central reduction — every Type A model is linearly equivalent to one of the M_i^ν — is not checked in this paper. If [7]'s classification of Q-spaces has a gap or a wrong entry, the final list fails. The stress-test note is right about that. It doesn't mean the theorem is false; it means the present text is not self-contained. A referee would need [7] at hand and would have to verify the taxonomy independently.

Other issues are minor. Lemma 3.8's proof concludes "essentially geodesically complete" in Cases 2 and 3, contradicting the lemma's stated "essentially geodesically incomplete." It's a typo — the curves do blow up in coordinate velocity — but it should be fixed. Also, Theorem 3.1 has a stray period after "then," and the abstract repeats "examine."

The paper is honest, the argument is coherent, and the known result serves as a check on the new methodology. If you're working on affine surfaces, the quasi-Einstein approach is worth seeing. The paper deserves a serious referee, but the referee should hold the authors to making the dependence on [7] explicit and fixing the typos.

Recommendation: send it out, but with the expectation that the proof of Theorem 3.3 be expanded or clearly marked as a citation to [7].

Referee Report

3 major / 7 minor

Summary. The paper studies locally homogeneous affine surfaces of Type A, i.e. connections on R^2 with constant Christoffel symbols. Its main results are: (i) Lemma 2.1 shows that every Type A model is linearly strongly projectively flat; (ii) using the quasi-Einstein solution space Q(M)=ker(H_f+ρ_s), Theorem 3.3 asserts a classification of all Type A models into the normal forms Mν_i(·) listed in Definition 3.2; (iii) Lemmas 3.5–3.10 analyze geodesic completeness of these models, and Theorem 3.11 gives the classification: a flat Type A surface is complete iff it is linearly equivalent to M0_0 or M0_4, a rank-1 Ricci surface is complete iff it is linearly equivalent to M1_3(−1/2), and a rank-2 Ricci surface is complete iff it is linearly equivalent to M2_2(−1,b2), with all remaining models essentially geodesically incomplete (with explicitly listed incomplete-but-completable exceptions). The paper claims this provides a new quasi-Einstein treatment of a completeness classification originally obtained by D'Ascanio, Gilkey, and Pisani [1].

Significance. If the proof of Theorem 3.3 is completed, the Q-space method offers a genuinely unified approach to the completeness problem: Theorem 3.1 reduces the geodesic ODE system to affine lines in Q-space coordinates, and Lemma 3.6 gives a clean criterion for essential geodesic incompleteness. The explicit table of model geometries with their Q-spaces in Definition 3.2 is informative and falsifiable, and Lemma 2.1 (every Type A surface is linearly strongly projectively flat) is a clean geometric statement in its own right. However, the paper's central reduction is not self-contained: the classification of Q-spaces is imported from the authors' prior paper [7], and the manuscript contains internal inconsistencies in the proof of Lemma 3.8 and in the statement of Theorem 3.11(3). Because the final completeness classification is already known from [1], the added value lies chiefly in the new method, which needs to be verifiable from the present text.

major comments (3)

[Section 3, Theorem 3.3] The proof of Theorem 3.3 is the load-bearing reduction on which Lemmas 3.5, 3.7, 3.8, 3.10 and Theorem 3.11 all depend, yet it is not self-contained. After establishing that Q(M) is a finite-dimensional ∂x1,∂x2-module, the proof states: 'With a bit of additional work, one can classify the possible solution spaces Q up to linear equivalence and show they are linearly equivalent to Qν_i(·) ... we refer to [7] for further details.' This omits the actual classification of the 3-dimensional solution spaces under the translation action, which is exactly the point where the exhaustiveness of the list in Definition 3.2 is decided. If any Q-space is missing or miscomputed, the normal forms Mν_i(·) do not cover all Type A models and the completeness classification in Theorem 3.11 may be incomplete. Please provide either a full proof or a precise quoted classification theorem from [7] with enough detail to verify exhaustiveness.
[Section 3, Lemma 3.8] The proof of Lemma 3.8 contradicts the lemma's statement. In Case 2, for M2_2(b1,b2) with b1≠−1, the text concludes 'Consequently, M is essentially geodesically complete,' and Case 3 ends similarly, but the lemma asserts that these models are essentially geodesically incomplete. The exhibited curve σ(t) = (1/(1+b1))(log t, 0) satisfies σ̇(t) = (1/((1+b1)t), 0), whose components blow up as t→0; by the criterion stated in the proof this is essential geodesic incompleteness, not completeness. Please correct the conclusions of Cases 2 and 3, presumably replacing 'complete' with 'incomplete.'
[Section 3, Theorem 3.11(3)] Theorem 3.11(3) states: 'If M is linearly equivalent to M1_2(−1,b2), then M is geodesically complete.' This is inconsistent with Definition 3.2 and Lemma 3.10, where the complete rank-2 model is M2_2(−1,b2). The family M1_2 has a single parameter c1, so the expression M1_2(−1,b2) is undefined. This typo in the main theorem must be corrected, since it obscures the central classification statement.

minor comments (7)

[Abstract] The phrase 'to examine to examine' is duplicated and should read 'to examine.'
[Section 3, Theorem 3.1] The sentence 'If M is an affine surface, then.' is incomplete; it should be removed or completed before the following sentence beginning 'If dg provides a strong projective equivalence...'
[Section 3, Lemma 3.7] The notation ρM4_1, ρM4_2(c1), etc. appears to be a typo for ρM1_1, ρM1_2(c1), etc.
[Section 3, Definition 3.2] Several entries contain extraneous closing parentheses, for example Q1_2(c1)), Q1_3(c1)), Q1_4(c)), Q1_5(c)), Q2_1(a1,a2)), Q2_2(b1,b2)), and Q2_4(±1)).
[Section 3, Lemma 3.5] The assertion that M0_1, M0_2, and M0_3 are incomplete because they admit nonsurjective affine embeddings into M0_0 is too terse; nonsurjectivity alone does not imply incompleteness. The proof should explain why the images are proper open sets and exhibit a geodesic (e.g. a straight line in M0_0) that leaves the image in finite affine parameter.
[Section 3, Theorem 3.4(8)] The notation 'Φ1_3(x1,x2) → (x1e^{−x2}, −x2)' should use ':=' instead of '→' to define the map.
[References] Reference [7] is cited as 'Matematicki Vesnik (2018)' without volume or page numbers; if the article has appeared, please update the citation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the quasi-Einstein Q-spaces are used as a classification tool with independent geodesic ODE checks; the delegation of the Q-space taxonomy to the authors' [7] is a self-containment gap, not a circular input.

full rationale

The derivation does not reduce any prediction to its inputs by construction. Lemma 2.1 proves strong projective flatness of Type A models by an explicit choice of linear g. Theorem 3.1, taken from [7], is a general statement about Q(M) and does not encode the geodesic-completeness classification. The final dichotomies in Theorem 3.11 are established by direct geodesic computations: Lemma 3.5 uses explicit embeddings and flatness, Lemma 3.7 writes down geodesics that blow up (or, for M1_3(-1/2), solves the geodesic equation for all initial data), Lemma 3.8 gives escaping geodesics, and Lemma 3.10 solves the geodesic ODE for M2_2(-1,b2) and proves boundedness. None of these computations fits a parameter to the target completeness statement. The only caveat is the proof of Theorem 3.3: the exhaustive normal-form list is asserted after 'with a bit of additional work' and delegated to [7], a paper by the same two authors. That is a self-containment gap and a load-bearing citation, but it is not circularity: [7] is cited as a prior classification of solution spaces of the quasi-Einstein equation, not as a restatement of the completeness result, and no equation in the present text is defined in terms of the target classification.

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

The derivation leans on several unproved inputs. Two are central and come from the authors' own previous work: Theorem 3.1 and the Q-space classification behind Theorem 3.3. The main completeness result was already in [1], so this paper is an alternative proof rather than a self-contained derivation. The only genuinely new mathematical content, Lemma 2.1, is a short computation. No free parameters fitted to data and no invented entities appear.

assumptions (5)

domain assumption Opozda's classification of locally homogeneous affine surfaces (Theorem 1.1): every such surface is Type A, Type B, or Type C.
Invoked at the start of Section 1 to restrict attention to Type A models; cited from [8].
domain assumption Theorem 3.1 from [7]: strong projective equivalence acts on Q by e^g, Q determines strongly projectively flat structures, and unparameterized geodesics become straight lines in the coordinates given by Q.
This is the central bridge between Q-spaces and geodesics, quoted from the authors' prior work and not proved in this paper.
ad hoc to paper The classification of finite-dimensional Q-spaces for Type A models up to linear equivalence, used in Theorem 3.3, is imported from [7].
This is the load-bearing unproved step: the proof says 'we refer to [7] for further details' without deriving the classification here.
domain assumption Real analyticity of homogeneous affine surfaces, used in Lemma 3.6 to extend a function defined along a geodesic.
The paper cites [3] for this fact; it is essential for the 'essentially geodesically incomplete' criterion.
standard math Standard facts on projective equivalence and unparametrized geodesics from Kobayashi and Nomizu [6].
Used to connect projective equivalence to preservation of unparametrized geodesics.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Geodesic completeness and the quasi-Einstein equation for locally homogeneous affine surfaces." pith.science (2026). https://pith.science/paper/5L37A5WA

@misc{pith2026190804148,
  author       = {Pith},
  title        = {Pith review of: Geodesic completeness and the quasi-Einstein equation for locally homogeneous affine surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5L37A5WA}},
  note         = {Machine review of arXiv:1908.04148}
}

abstract

Let $\mathcal{M}$ be a Type $\mathcal{A}$ affine surface. We show that $\mathcal{M}$ is linearly strongly projectively flat. We use the quasi-Einstein equation together with the condition that $\mathcal{M}$ is strongly projectively flat to examine to examine the geodesic completeness of $\mathcal{M}$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[7]

and Valle-Regueiro, X.: Applications of PDEs to the study of aﬃne surface geom- etry, Matematicki Vesnik (2018)

Gilkey, P. and Valle-Regueiro, X.: Applications of PDEs to the study of aﬃne surface geom- etry, Matematicki Vesnik (2018)

work page 2018
[1]

D’Ascanio, D., Gilkey, P., and Pisani, P.: Geodesic completeness for Type A surfaces, J. Diﬀ. Geo. Appl. 54 (2017), 31–43

work page 2017
[2]

Bromberg, S., and Medina, A.: A note on the completeness of homogeneous quadratic vector ﬁelds on the plane, Qualitative Theory of Dynamical Systems 6 (2005), 181–185

work page 2005
[3]

Brozos-V´ azquez, M, Garc´ ıa-R´ ıo, E., and Gilkey, P: Homogeneous aﬃne surfaces: aﬃne Killing vector ﬁelds and gradient Ricci solitons, J. Math. Soc. Japan 70 (2018), 25–70

work page 2018
[4]

Brozos-V´ azquez, M, Garc´ ıa-R´ ıo, E., Gilkey, P, and and Valle-Regueiro, X.: Half conformally ﬂat generalized quasi-Einstein manifolds, International Journal of Mathematics 29, (2018) 1850002

work page 2018
[5]

:Non-Riemannian geometry, AMS Colloquium Publications 8, American Math

Eisenhart, L. :Non-Riemannian geometry, AMS Colloquium Publications 8, American Math. Society, Providence (1964)

work page 1964
[6]

I and II, Wiley Classics Library

Kobayashi, S., and Nomizu, K.: Foundations of Diﬀerential Geometry vol. I and II, Wiley Classics Library. A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1996

work page 1996
[8]

Opozda, B.: A classiﬁcation of locally homogeneous connections on 2-dimensional manifolds, Diﬀerential Geom. Appl. 21 (2004), 173–198. PG: Mathematics Department, University of Oregon, Eugene OR 97403-1222, USA E-mail address : gilkey@uoregon.edu XV: F aculty of Mathematics, University of Santiago de Compostela, 15782 Santiago de Compostela, Spain E-mail ...

work page 2004

Pith tools

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

[1] [7]

and Valle-Regueiro, X.: Applications of PDEs to the study of aﬃne surface geom- etry, Matematicki Vesnik (2018)

Gilkey, P. and Valle-Regueiro, X.: Applications of PDEs to the study of aﬃne surface geom- etry, Matematicki Vesnik (2018)

work page 2018

[2] [1]

D’Ascanio, D., Gilkey, P., and Pisani, P.: Geodesic completeness for Type A surfaces, J. Diﬀ. Geo. Appl. 54 (2017), 31–43

work page 2017

[3] [2]

Bromberg, S., and Medina, A.: A note on the completeness of homogeneous quadratic vector ﬁelds on the plane, Qualitative Theory of Dynamical Systems 6 (2005), 181–185

work page 2005

[4] [3]

Brozos-V´ azquez, M, Garc´ ıa-R´ ıo, E., and Gilkey, P: Homogeneous aﬃne surfaces: aﬃne Killing vector ﬁelds and gradient Ricci solitons, J. Math. Soc. Japan 70 (2018), 25–70

work page 2018

[5] [4]

Brozos-V´ azquez, M, Garc´ ıa-R´ ıo, E., Gilkey, P, and and Valle-Regueiro, X.: Half conformally ﬂat generalized quasi-Einstein manifolds, International Journal of Mathematics 29, (2018) 1850002

work page 2018

[6] [5]

:Non-Riemannian geometry, AMS Colloquium Publications 8, American Math

Eisenhart, L. :Non-Riemannian geometry, AMS Colloquium Publications 8, American Math. Society, Providence (1964)

work page 1964

[7] [6]

I and II, Wiley Classics Library

Kobayashi, S., and Nomizu, K.: Foundations of Diﬀerential Geometry vol. I and II, Wiley Classics Library. A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1996

work page 1996

[8] [8]

Opozda, B.: A classiﬁcation of locally homogeneous connections on 2-dimensional manifolds, Diﬀerential Geom. Appl. 21 (2004), 173–198. PG: Mathematics Department, University of Oregon, Eugene OR 97403-1222, USA E-mail address : gilkey@uoregon.edu XV: F aculty of Mathematics, University of Santiago de Compostela, 15782 Santiago de Compostela, Spain E-mail ...

work page 2004