Constructing Ricci vector fields on $\mathbb R^2$ with a diagonal metric

Adara M. Blaga

Constructing Ricci vector fields on $\mathbb R^2$ with a diagonal metric

T0 review · 0 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read For a diagonal metric on the plane, every Ricci vector field belongs to one of two explicit families, with the metric coefficients forced to specific algebraic forms.

desk verdict The classification in Theorem 2.6 is correct, but the printed paper has a typo in system (3) and Example 2.8 is false when the two constants differ; both are fixable and do not sink the central result. read the letter →

arxiv 2501.03169 v1 pith:NW7GETUF submitted 2025-01-06 math.DG

Adara M. Blaga This is my paper · ORCID

classification math.DG MSC 35Q5153B2553B50

keywords diagonalmetricRiccivectorfieldf-RiccioperatorLevi-Civitaconnectionclassificationorthonormalframe

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 classifies the vector fields $V$ on $\mathbb R^2$ whose covariant derivative equals the Ricci operator, for metrics of the form $g = f_1^{-2}dx_1 \otimes dx_1 + f_2^{-2}dx_2 \otimes dx_2$. The main result (Theorem 2.6) shows that when $f_1$ and $f_2$ both depend only on $x_1$ and $f_2' \neq 0$, the only solutions are a purely horizontal field $V = (c/f_2, 0)$ with $f_1 = (k f_2^2 + c/2)/f_2'$, or a trigonometric pair oscillating in $x_2$ with $f_1 = c f_2^2/f_2'$. The other cases, where the metric coefficients separate or one is constant, reduce to constant vector fields or simple linear ones. A sympathetic reader cares because explicit solutions of $\nabla V = Q$ are rare, and this gives a complete, checkable list for an entire class of metrics.

What carries the argument

The load-bearing object is the orthonormal frame $E_1 = f_1 \partial_{x_1}$, $E_2 = f_2 \partial_{x_2}$ together with the Ricci curvature identities $\mathrm{Ric}(E_1,E_1) = E_1(h_{21}) + E_2(h_{12}) - h_{21}^2 - h_{12}^2$ and $\mathrm{Ric}(E_1,E_2) = 0$, where $h_{12} = (f_2/f_1)\partial_{x_2} f_1$ and $h_{21} = (f_1/f_2)\partial_{x_1} f_2$. These identities, cited from [8], convert the geometric condition $\nabla V = Q$ into the PDE system (2); the rest of the argument is separation of variables performed on that system.

What would settle it

Directly compute the Ricci tensor of a concrete diagonal metric, for instance $g = \mathrm{sech}^2(x_1)dx_1^2 + e^{-2x_1}dx_2^2$, from the Christoffel symbols and compare with the formula $\mathrm{Ric}(E_1,E_1) = E_1(h_{21}) + E_2(h_{12}) - h_{21}^2 - h_{12}^2$; any disagreement at a single point invalidates the load-bearing input. Alternatively, verify the vector field of Example 2.7 satisfies $g(\nabla_X V, Y) = \mathrm{Ric}(X,Y)$ for a few test fields $X,Y$.

Watch

Extended reading notes

Core claim

The paper's central discovery is a complete classification of Ricci vector fields on $\mathbb R^2$ carrying a diagonal metric. Working in the orthonormal frame $E_1 = f_1 \partial_{x_1}$, $E_2 = f_2 \partial_{x_2}$, the condition $g(\nabla_{E_i}V, E_j) = \mathrm{Ric}(E_i, E_j)$ is expanded into a first-order system (2) using a standard formula for the Ricci tensor of the diagonal metric. In the main case $f_i = f_i(x_1)$ with $f_2' \neq 0$, separation of variables shows $V_2$ must either vanish or be a sine-cosine combination in $x_2$; in the first branch $V_1 = c/f_2$ and $f_1 = (k f_2^2 + c/2)/f_2'$, and in the second branch $V_1$ is a shifted cosine and $f_1 = c f_2^2/f_2'$. The paper also proves that $E_1$ and $E_2$ are Ricci vector fields exactly when $f_1 = f_1(x_1)$ and $f_2 = f_2(x_2)$, and that in that case all Ricci vector fields are constants in the frame.

Load-bearing premise

The entire classification assumes the cited formula for the Ricci curvature of these diagonal metrics (in the orthonormal frame) is correct; if that formula is wrong, the system (2) and every theorem built on it collapse.

Editorial extensions

If this is right

For diagonal metrics with both coefficients depending on $x_1$ and $f_2' \neq 0$, every Ricci vector field is either the horizontal field $(c/f_2,0)$ with $f_1 = (k f_2^2 + c/2)/f_2'$, or the trigonometric pair with $f_1 = c f_2^2/f_2'$.
If $f_1 = f_1(x_1)$ and $f_2 = f_2(x_2)$, the only Ricci vector fields are constant linear combinations of $E_1$ and $E_2$ (Theorem 2.4).
The frame fields $E_1$ and $E_2$ themselves are Ricci vector fields exactly when $f_1$ depends only on $x_1$ and $f_2$ only on $x_2$ (Proposition 2.2).
For $f_2$ constant and $f_1 = f_1(x_1)$, the nonzero Ricci vector fields are exactly the constants (Corollary 2.10).
The constructed examples give concrete metrics, such as $g = \mathrm{sech}^2(x_1) dx_1^2 + e^{-2x_1} dx_2^2$, with an explicit Ricci vector field.

Reading between the lines

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

Beyond the paper, the same separation-of-variables scheme should produce $f$-Ricci vector fields $\nabla_X V = f\,QX$ for arbitrary smooth $f$, yielding $f$-dependent families in the same metric class.
The classification suggests a rigidity phenomenon: for a diagonal metric on $\mathbb R^2$, the existence of any nonzero Ricci vector field pins the metric to a one-parameter family (up to constants); one could test whether an analogous statement holds for diagonal metrics on $\mathbb T^2$ or cylindrical ends.
A direct testable extension is to check whether the trigonometric branch of Theorem 2.6 ever admits a gradient potential $V = \nabla \varphi$; where it does, the pair would form an explicit gradient steady Ricci soliton, linking to the paper's observation about Hess$(\varphi) = \mathrm{Ric}$.

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.

Desk Editor's Note

read the letter

The core classification here is right. For a diagonal metric on R^2 with f1 and f2 depending only on x1 and f2' nonzero, Theorem 2.6 gives a clean dichotomy: either V2=0 and V1=c/f2 with f1=(k f2^2+c/2)/f2', or a trigonometric family pinned by f1=c f2^2/f2'. The separation-of-variables argument is sound, the PDE system is set up correctly, and the reduction to the two cases is honest. This is a legitimate computational extension of the existing literature on Ricci vector fields, not a new framework. The examples are mostly useful, and the paper is written in a straightforward way.

The soft spots are exactly where the reader and stress-test put them. The first line of system (3) misprints the expression for F': it should be f1' f2'/f2 + f1[(f2'/f2)' - (f2'/f2)^2], not f1'/f2' f2. That is a typo, but it is in a displayed system and should be corrected. More substantive is Example 2.8: as printed, it only satisfies the Ricci vector field equation when k1=k2. The frame components have V1 = k1(cos−sin) and V2 = k2(cos+sin), which forces the constant c = f1 f2'/f2^2 to equal 1; that is, k1=k2. For k1≠k2, the residual term k1(k2−k1)e^{x1}(cos−sin) does not vanish. Since the paper's own purpose is constructing examples, a false example is a real blemish, though not a load-bearing one.

The only other point worth a referee's eye is the Ricci curvature formula, which is cited from the author's submitted paper [8] without derivation. The formula is standard for an orthonormal frame in 2D, and I checked that it is applied correctly, so this is minor. The paper does not hide its reliance; it just outsources a standard identity. No circularity or fitted constants anywhere.

This is a niche paper for people working on Ricci vector fields, soliton-type equations, or explicit symmetries of diagonal metrics in low dimensions. It will not reorganize the field, but it offers a complete answer for a small class of metrics, and the central theorem holds up under re-derivation. I would send it to peer review, with a request to fix the typo in (3) and either repair Example 2.8 or mark it with the k1=k2 condition. With those corrections, it is acceptable.

Referee Report

0 major / 4 minor

Summary. The paper studies Ricci vector fields on R^2 equipped with a diagonal metric g = f1^{-2} dx1^2 + f2^{-2} dx2^2, meaning vector fields V satisfying ∇V = Q, where Q is the Ricci operator. The main results are a PDE system (Lemma 2.1) and a classification in several cases: if f_i = f_i(x_i), then V is constant (Theorem 2.4); if f1 = f1(x1), f2 = f2(x1) with f2' ≠ 0, then Theorem 2.6 gives two families: one with V = (c/f2, 0) and f1 = (k f2^2 + c/2)/f2', and a trigonometric family with f1 = c f2^2/f2'. The paper also treats the case f1 = f1(x2), f2 constant. Several examples are provided.

Significance. The classification in Theorem 2.6 is the paper's main contribution: it gives explicit, parameter-free (up to integration constants) families of Ricci vector fields in a natural metric class. The derivation is self-consistent and the results are concrete and verifiable by substitution. I re-derived the system (2) in the relevant case and confirm that Theorem 2.6 is correct. The paper's reliance on a Ricci curvature formula cited from the author's submitted paper [8] is a presentation weakness, but the formula is standard for an orthonormal coframe, so this is not a correctness concern. The paper also contains two fixable local errors, listed in the minor comments. Overall, this is a modest but solid contribution to the literature on Ricci vector fields.

minor comments (4)

[Section 2, system (3)] The first equation in the displayed system (3) is misprinted: the first term on the right-hand side should be f1' f2'/f2, not f1' f2/f2'. In the case fi = fi(x1), the correct equation obtained by dividing the first equation of (2) by f1 is ∂V1/∂x1 = f1' f2'/f2 + f1[(f2'/f2)' - (f2'/f2)^2]. The subsequent derivation appears to use the correct expression, but the displayed system should be fixed.
[Example 2.8] Example 2.8 is incorrect when k1 ≠ k2. According to Theorem 2.6, for f1 = k1 e^{x1} and f2 = k2 e^{x1}, the frame components must be V1 = k1(cos - sin) and V2 = k1(cos + sin), with c = k1/k2. The example instead gives V2 = k2(cos + sin), which satisfies the Ricci-vector-field condition only for k1 = k2. The coordinate expression should use the coefficient k1 k2 e^{x1} for the ∂/∂x2 component rather than k2^2 e^{x1}.
[Section 2, before Lemma 2.1] The Ricci curvature formula Ric(E1,E1) = E1(h21) + E2(h12) - h21^2 - h12^2 and Ric(E1,E2) = 0 is cited from the author's submitted paper [8] without derivation. Since this formula is the structural input for the PDE system (2) and hence for all later results, the paper would be more self-contained if the derivation (or a standard reference) were included.
[Throughout] There are several small typos and style issues: 'put into light' in the abstract should be 'bring to light' or 'highlight'; 'Rie mannian' contains an erroneous space; '2nd and 3rd equation' should be 'the second and third equations'; and the phrase 'nowhere zero' is used where 'nowhere vanishing' is more standard. These do not affect the mathematics.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 2.6 is a direct PDE classification and the only cited input is a standard 2D Ricci formula, not the target result.

full rationale

The derivation chain starts from the definition of a Ricci vector field, ∇V = Q, expressed in an orthonormal frame as the PDE system (2). Lemma 2.1 rewrites the definition using the Levi-Civita connection and the Ricci tensor in that frame; Theorem 2.6 then solves the resulting ordinary/partial differential equations under the assumption f_i = f_i(x1), f2' ≠ 0. No parameter is fitted to data, no quantity is defined in terms of the quantity being predicted, and no conclusion is imported from a result that already contains the classification. The only self-referential input is the curvature formula quoted from the author's submitted paper [8], but this is a standard two-dimensional orthonormal-frame identity that is external to the classification; it could be verified independently and does not presuppose the existence or form of the Ricci vector fields. The paper's typos in equation (3) and the failure of Example 2.8 for k1 ≠ k2 are correctness issues, not circularity. The central claim is therefore self-contained with respect to its stated inputs, and the circularity burden is essentially zero.

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

No data fitting is involved; the constants in the theorems are integration constants rather than fitted parameters. The paper introduces no new physical entities. The main nonstandard input is the Ricci formula from [8], which is a standard curvature formula.

assumptions (3)

domain assumption f1 and f2 are smooth nowhere zero functions on R^2.
Stated at the start of Section 2 to ensure the diagonal metric is well-defined and nondegenerate.
standard math The Levi-Civita connection and Ricci curvature formulas for diagonal metrics are correct.
Used to derive system (2); these are standard computations, though the Ricci formula is cited from the author's submitted paper [8].
domain assumption In Theorem 2.6, f2'(x1) ≠ 0 for all x1.
Stated in the theorem; the proof divides by f2' to derive the classification.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Constructing Ricci vector fields on $\mathbb R^2$ with a diagonal metric." pith.science (2026). https://pith.science/paper/NW7GETUF

@misc{pith2026250103169,
  author       = {Pith},
  title        = {Pith review of: Constructing Ricci vector fields on $\mathbb R^2$ with a diagonal metric},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NW7GETUF}},
  note         = {Machine review of arXiv:2501.03169}
}

abstract

We put into light Ricci vector fields on $\mathbb R^2$ endowed with a diagonal metric.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 10 canonical work pages

[8]

Flat 3-manifolds with diagonal metrics and applications to warped products, submitted

Blaga, A.M., Lat ¸cu, D.R. Flat 3-manifolds with diagonal metrics and applications to warped products, submitted

work page
[1]

Ricci vector ﬁelds, Mathematics 11(22) , 4622 (2023)

Alohali, H., Deshmukh, S. Ricci vector ﬁelds, Mathematics 11(22) , 4622 (2023). https://doi.org/10.3390/math11224622

work page doi:10.3390/math11224622 2023
[2]

Ricci vector ﬁelds revisited, Mathematics 12(1), 144 (2024)

Alohali, H., Deshmukh, S., V ˆ ılcu, G.-E. Ricci vector ﬁelds revisited, Mathematics 12(1), 144 (2024). https://doi.org/10.3390/math12010144

work page doi:10.3390/math12010144 2024
[3]

Certain symmetries of $\mathbb R^2$ with diagonal metrics

Blaga, A.M. Certain symmetries of R2 with diagonal metrics, arXiv:2410.11969 [math.DG]. https://doi.org/10.48550/arXiv.2410.11969

work page Pith review arXiv doi:10.48550/arxiv.2410.11969
[4]

On some $3$-dimensional almost $\eta$-Ricci solitons with diagonal metrics

Blaga, A.M. On some 3-dimensional almost η-Ricci solitons with diagonal metrics, arXiv:2406.12533v3 [math.DG]. https://doi.org/10.48550/arXiv.2406.12533, Filomat 38(31) (2024)

work page Pith review arXiv doi:10.48550/arxiv.2406.12533 2024
[5]

On solitons in statistical geometry, Int

Blaga, A.M. On solitons in statistical geometry, Int. J. Appl. Math . Stat. 58(4) (2019)

work page 2019
[6]

On the potential vector ﬁelds of soliton-type equatio ns, Axioms 13(7), 476 (2024)

Blaga, A.M. On the potential vector ﬁelds of soliton-type equatio ns, Axioms 13(7), 476 (2024). https://doi.org/10.3390/axioms13070476 Constructing Ricci vector ﬁelds on R2 with a diagonal metric 10

work page doi:10.3390/axioms13070476 2024
[7]

Gradient solitons on statistical manifolds, J

Blaga, A.M., Chen, B.-Y. Gradient solitons on statistical manifolds, J. Geom. Phys. 164, 104195 (2021). https://doi.org/10.1016/j.geomphys.2021.1 04195

work page doi:10.1016/j.geomphys.2021.1 2021

Show all 11 references

[9]

Statistical structures with Ricci and Hes sian metrics and gradient solitons, Int

Blaga, A.M., V ˆ ılcu, G.-E. Statistical structures with Ricci and Hes sian metrics and gradient solitons, Int. Electron. J. Geom. 17(1) (202 4), 6–14. https://doi.org/10.36890/iejg.1388147

doi
[10]

φ(Ric)-vector ﬁelds in Riemannian spaces, Archivum Mathematicum 44(5) (2008), 385–390

Hinterleitner, I., Kiosak, V.A. φ(Ric)-vector ﬁelds in Riemannian spaces, Archivum Mathematicum 44(5) (2008), 385–390. Persistent URL: http://d ml.cz/dmlcz/127124

2008
[11]

Three manifolds with positive Ricci curvature, J

Hamilton, R.S. Three manifolds with positive Ricci curvature, J. D iﬀerential Geom. 17 (1982), 255–306. https://doi.org/10.4310/jdg/1214436922 Department of Mathematics Faculty of Mathematics and Computer Science West University of Timi¸ soara Bd. V. Pˆ arvan 4, 300223, Timi¸ ...

1982

Pith tools

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

[1] [8]

Flat 3-manifolds with diagonal metrics and applications to warped products, submitted

Blaga, A.M., Lat ¸cu, D.R. Flat 3-manifolds with diagonal metrics and applications to warped products, submitted

work page

[2] [1]

Ricci vector ﬁelds, Mathematics 11(22) , 4622 (2023)

Alohali, H., Deshmukh, S. Ricci vector ﬁelds, Mathematics 11(22) , 4622 (2023). https://doi.org/10.3390/math11224622

work page doi:10.3390/math11224622 2023

[3] [2]

Ricci vector ﬁelds revisited, Mathematics 12(1), 144 (2024)

Alohali, H., Deshmukh, S., V ˆ ılcu, G.-E. Ricci vector ﬁelds revisited, Mathematics 12(1), 144 (2024). https://doi.org/10.3390/math12010144

work page doi:10.3390/math12010144 2024

[4] [3]

Certain symmetries of $\mathbb R^2$ with diagonal metrics

Blaga, A.M. Certain symmetries of R2 with diagonal metrics, arXiv:2410.11969 [math.DG]. https://doi.org/10.48550/arXiv.2410.11969

work page Pith review arXiv doi:10.48550/arxiv.2410.11969

[5] [4]

On some $3$-dimensional almost $\eta$-Ricci solitons with diagonal metrics

Blaga, A.M. On some 3-dimensional almost η-Ricci solitons with diagonal metrics, arXiv:2406.12533v3 [math.DG]. https://doi.org/10.48550/arXiv.2406.12533, Filomat 38(31) (2024)

work page Pith review arXiv doi:10.48550/arxiv.2406.12533 2024

[6] [5]

On solitons in statistical geometry, Int

Blaga, A.M. On solitons in statistical geometry, Int. J. Appl. Math . Stat. 58(4) (2019)

work page 2019

[7] [6]

On the potential vector ﬁelds of soliton-type equatio ns, Axioms 13(7), 476 (2024)

Blaga, A.M. On the potential vector ﬁelds of soliton-type equatio ns, Axioms 13(7), 476 (2024). https://doi.org/10.3390/axioms13070476 Constructing Ricci vector ﬁelds on R2 with a diagonal metric 10

work page doi:10.3390/axioms13070476 2024

[8] [7]

Gradient solitons on statistical manifolds, J

Blaga, A.M., Chen, B.-Y. Gradient solitons on statistical manifolds, J. Geom. Phys. 164, 104195 (2021). https://doi.org/10.1016/j.geomphys.2021.1 04195

work page doi:10.1016/j.geomphys.2021.1 2021