REVIEW 1 major objections 5 minor 16 references
Curves orthogonal to a vector field in Euclidean spaces
T0 review · 1 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Rectifying curves in any Euclidean dimension are exactly the non-ruling geodesics of cone hypersurfaces.
desk verdict The cone-geodesic theorem and the spherical correspondence are genuine and likely correct, but Theorem 4.5 as stated is false; the paper deserves a serious referee once that theorem is fixed. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the cone parametrization C(u,t) = p + uβ(t), where β lies on the unit sphere, together with the explicit geodesic solution u(t) = a sec(t+b) to the Euler-Lagrange equation uu'' − 2(u')^2 − $u^{2}$ = 0. This identity turns rectifying curves into cone geodesics by showing that their position vector is a secant multiple of a spherical curve. For the j-rectifying and correspondence results, the machinery is the Frenet-frame coordinate system: writing α − p = Σ A_i N_i reduces each geometric condition to the first-order system A'_0 = 1 + κA_1, A'_i = −κ_{i−1}A_{i−1} + κ_i A_{i+1}, A'_{m+1} = −τ A_m, and constancy of the normal component α_Nj is then read off from a telescoping derivative.
What would settle it
Compute the function $ρ_j^{2}$ = Σ_{i>j} ⟨α−p, N_i⟩^2 for a twisted curve in $E^{{m+2}}$. If a curve satisfies ρ_j = constant with A_j not identically zero and A_{j+1} ≡ 0, then the converse direction of Theorem 4.5 breaks; searching for such a curve, for instance in $E^{4}$ with j = 2, is a concrete falsification test.
Extended reading notes
Core claim
The central claim is that a regular $C^{2}$ curve in $E^{{m+2}}$ is rectifying with vertex p exactly when it is a geodesic of a cone hypersurface with vertex p and is not one of the cone's straight-line rulings (Theorem 2.2). This is reached through the equivalent parametrization α(t) = a sec(t)β(t) with β a unit-speed spherical curve, which makes the cone structure explicit. The paper then proves that a rectifying curve that is also a slant helix is, in $E^{3}$, exactly a geodesic of a circular cone, and that in higher dimensions geodesics of circular hypercones are slant helices (Theorem 3.2 and Corollary 3.4); the converse in higher dimensions is explicitly left open. For the broader family, it characterizes j-rectifying curves by constancy of the normal projection onto the Frenet-frame vectors after the j-th one (Theorem 4.5), establishes a formal differential-equation correspondence between spherical curves in $E^{{m+1}}$ and rectifying curves in $E^{{m+2}}$ (Theorem 5.1), and shows that being orthogonal to a rotation-minimizing normal vector field forces a curve to be spherical or plane (Theorem 6.1).
Load-bearing premise
The proof of the j-rectifying characterization assumes that if the coefficient of the next Frenet vector is identically zero, one can simply swap the two indices and continue; that swap is not shown to be valid, and the derivative formula ($ρ_j^{2}$)' = −2κ_j A_j A_{j+1} shows that the A_{j+1} = 0 case is exactly where the argument can fail.
Editorial extensions
If this is right
- Every rectifying curve in any Euclidean dimension is a cone geodesic, so the geometry of the whole family is governed by the geometry of hypercones.
- In dimension three, rectifying curves that are also slant helices are precisely geodesics of circular cones, tying the two notions to a single axis-symmetric surface.
- The j-rectifying condition is detected by the constancy of one normal component, which gives a coordinate-free test for a curve to be orthogonal to the j-th Frenet vector field.
- The formal spherical–rectifying correspondence gives a way to generate rectifying curves from spherical data, and vice versa, by replacing the first curvature ratio appropriately.
- Any curve orthogonal to a rotation-minimizing normal field must be a plane or spherical curve, closing the RM-frame analogue of the problem.
Reading between the lines
- Since the cone containing a rectifying curve need not be unique (the paper notes uniqueness only for 2-cones), a natural open question is which geometric invariants of a rectifying curve are shared by all cones that contain it as a geodesic.
- The correspondence in Theorem 5.1 is called formal by the authors; if it can be shown to be realized by actual curves rather than only by coordinate systems and curvature functions, spherical-curve construction methods could be reused to build rectifying curves.
- The higher-dimensional converse that every rectifying slant helix is a geodesic of a circular hypercone is left open; a proof would likely need to construct a small-sphere spherical submanifold from the constant-angle normal of the 2-cone.
- If the j-rectifying characterization is read constructively, the constant normal component α_Nj could serve as a numerical diagnostic for detecting j-rectifying behavior from sampled Frenet-frame data, provided the exceptional zero-coordinate cases are handled.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies curves α: I → E^{m+2} whose position vector remains orthogonal to a distinguished vector field along the curve. Section 2 proves Theorem 2.2: a regular C^2 curve is rectifying with vertex p if and only if it is a geodesic of a cone C^{m+1}(p) that is not a ruling. Section 3 characterizes rectifying slant helices in E^3 as geodesics of circular cones, with a partial extension to higher dimensions. Section 4 defines j-rectifying curves, i.e. curves orthogonal to the j-th Frenet vector field, and claims in Theorem 4.5 that they are characterized by the constancy of the length of the normal component αN_j = Σ_{i=j+1}^{m+1} A_i N_i. Section 5 presents a formal correspondence between rectifying curves in E^{m+2} and spherical curves in E^{m+1}, and Section 6 characterizes curves orthogonal to a rotation-minimizing vector field as spherical or hyperplane curves.
Significance. If the main results are correct, the paper gives a clean geometric generalization of Chen's cone model to arbitrary dimension and an elegant interpretation of rectifying slant helices in E^3. The computations in Sections 2 and 3 are transparent and parameter-free, and the cone-geodesic argument is a genuine conceptual contribution. The rotation-minimizing-frame result in Section 6 is also a useful characterization. However, the central characterization in Section 4 is false as stated, and since this result is advertised in the abstract and in the introductory summary, it is a load-bearing defect that must be corrected before the paper can be accepted.
major comments (1)
- [Theorem 4.5, proof after Eq. (4.8)] The converse direction of Theorem 4.5 is invalid, and the theorem is false as stated. The derivative computation in Eq. (4.8) gives (ρ_j^2)' = 2A_0 + 2κ_j A_j A_{j+1}; combined with Lemma 4.2 this yields κ_j A_j A_{j+1} = 0, not A_j = 0. The proof's 'exchange j and j+1' step is exactly the missing case: if A_{j+1} ≡ 0, then α is (j+1)-rectifying, the forward direction already makes ρ_j = ρ_{j+1} constant, and Lemma 4.4 cannot rule this out because it only excludes being simultaneously j- and (j+1)-rectifying. This is not a merely technical gap. For example, in E^5 with Frenet curvatures κ_0 = sec s, κ_1 = 1, κ_2 = 1, κ_3 = sin s on (0, π/2), the coordinate functions A_0 = 0, A_1 = -cos s, A_2 = sin s, A_3 = 0, A_4 = 1 satisfy the Frenet-like system (4.5); all curvatures are positive, so the curve is twisted, and ρ_2^2 = A_3^2 + A_4^2 = 1 is constant while A_2 = sin s ≠ 0. Thus the curve is 3-rectifying and not 2-rectifying, directly contradicting Theorem 4.5. The statement would need to be revised, for instance by characterizing the union of the j-rectifying and (j+1)-rectifying cases, or by adding a hypothesis that prevents A_{j+1} from vanishing.
minor comments (5)
- [Section 4, Definition 4.1] The displayed implication in Eq. (4.2) is tautological: once ⟨α−p, N_j⟩ = 0, the expansion α−p = Σ A_i N_i automatically reduces to the sum over i ≠ j. The defining condition should simply be stated as A_j = 0.
- [Section 4, Lemma 4.2, Eq. (4.3)] The summation indices in Eq. (4.3) are inconsistent: the first line uses k_{0j}A_j but writes the sum over i, and the second line reuses i both as the index of A'_i and as a summation index. The notation should be cleaned up so that the skew-symmetric frame equations are displayed unambiguously.
- [Section 5, after Eq. (5.3)] The phrase 'vice-verse' should be 'vice versa', and the same correction is needed in the statement of Theorem 5.1.
- [Section 2, Eq. (2.11)] In the proof of Theorem 2.2, the assertion that the general solution of the Euler-Lagrange equation is a secant function is correct but the intermediate steps are compressed; writing the final solution as u(t) = a sec(t+b) with the constants explicitly identified would improve readability.
- [Section 3, Theorem 3.2] In the sentence 'Therefore, any circular rectifying is a slant helix', the word 'curve' is missing; the intended statement is 'any circular rectifying curve is a slant helix'.
Circularity Check
No significant circularity: the derivations are parameter-free differential-geometric computations, and the Theorem 4.5 converse issue is a correctness gap rather than a circular reduction to inputs.
full rationale
The paper's main derivation chain is self-contained. Theorem 2.2 shows that a geodesic on a cone satisfies the Euler-Lagrange equation uu'' - 2u'^2 - u^2 = 0, whose general solution is u(t) = a sec(t+b), and this directly yields the rectifying condition. Conversely, given a rectifying curve, the authors construct the 2-cone X(u,s) = p + u(alpha(s)-p), whose tangent vectors along alpha are alpha-p and alpha'; the rectifying hypothesis gives <alpha'', alpha-p> = 0 and arc-length parametrization gives <alpha'', alpha'> = 0, so alpha is a geodesic of that 2-cone, then extend to a hypercone by adding chosen normal fields. This is an existence construction, not a circular use of the conclusion. Theorem 4.5 is also derived by direct differentiation: the forward direction uses the Frenet system and A_j = 0 to obtain (rho_j^2)' = 0, while the converse is an algebraic computation of (rho^2)' from (4.8), giving kappa_j A_j A_{j+1} = 0; no fitted parameter or target condition is hidden in the assumptions. The paper's self-citations, mainly [8] and [9], are contextual references to prior formulations of related problems; the corresponding theorems are proved here with independent computations, so they are not load-bearing circular support. The one substantive anomaly is the converse direction of Theorem 4.5 when A_{j+1} = 0: the paper's 'exchange j and j+1' step would prove that the curve is (j+1)-rectifying rather than j-rectifying, and Lemma 4.4 rules out being both, so the step as written is logically invalid. However, this is a mathematical correctness flaw or a gap in the proof, not a circular reduction of the claimed result to its own inputs. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption The curve admits a global Frenet frame with nonzero curvature functions κ_i and torsion τ (twisted curve assumption).
- domain assumption Any regular curve admits a rotation minimizing frame.
- standard math Cones can be parameterized as uβ(t) with β unit speed in the unit sphere, and geodesics satisfy the Euler-Lagrange equation (2.11).
- ad hoc to paper Given a rectifying curve, unit vector fields V_2,...,V_m orthogonal to α'' and to the 2-cone can be chosen to build a hypercone.
Cite this review
Pith. "Pith review of Curves orthogonal to a vector field in Euclidean spaces." pith.science (2026). https://pith.science/paper/EEOVKXGW
@misc{pith2026190802834,
author = {Pith},
title = {Pith review of: Curves orthogonal to a vector field in Euclidean spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/EEOVKXGW}},
note = {Machine review of arXiv:1908.02834}
}
abstract
A curve is rectifying if it lies on a moving hyperplane orthogonal to its curvature vector. In this work, we extend the main result of [Chen 2017, Tamkang J. Math. 48, 209] to any space dimension: we prove that rectifying curves are geodesics on hypercones. We later use this association to characterize rectifying curves that are also slant helices in three-dimensional space as geodesics of circular cones. In addition, we consider curves that lie on a moving hyperplane normal to (i) one of the normal vector fields of the Frenet frame and to (ii) a rotation minimizing vector field along the curve. The former class is characterized in terms of the constancy of a certain vector field normal to the curve, while the latter contains spherical and plane curves. Finally, we establish a formal mapping between rectifying curves in an $(m + 2)$-dimensional space and spherical curves in an $(m + 1)$-dimensional space. A curve is rectifying if it lies on a moving hyperplane orthogonal to its curvature vector.
Reference graph
Works this paper leans on
-
[1]
On rectifying slant helices in Euclidean 3-space
Altunkaya B, Aksoyak FK, Kula L, Aytekin C. On rectifying slant helices in Euclidean 3-space. Konuralp J. Math. 2016; 4: 17–24
work page 2016
-
[2]
There is more than one way to frame a curve
Bishop RL. There is more than one way to frame a curve. Am. M ath. Mon. 1975; 82: 246–251
work page 1975
-
[3]
Rectifying curves in the n -dimensional Euclidean space, Turk
Cambie S, Goemans W, Van den Bussche I. Rectifying curves in the n -dimensional Euclidean space, Turk. J. Math. 2016; 40: 210–223
work page 2016
-
[4]
When does the position vector of a space curve alw ays lie in its rectifying curve?
Chen BY. When does the position vector of a space curve alw ays lie in its rectifying curve?. Am. Math. Mon. 2003; 110: 147–152
work page 2003
-
[5]
Rectifying curves and geodesics on a cone in the E uclidean 3-space
Chen BY. Rectifying curves and geodesics on a cone in the E uclidean 3-space. Tamkang J. Math. 2017; 48: 209–214
work page 2017
-
[6]
Rectifying curves as centrodes and ext remal curves
Chen BY, Dillen F. Rectifying curves as centrodes and ext remal curves. Bull. Inst. Math. Acad. Sinica 2005; 33: 77–90
work page 2005
-
[7]
Space curves define d by curvature-torsion relations and associated helices
Deshmukh S, Alghanemi AZ, Farouki RT. Space curves define d by curvature-torsion relations and associated helices. Filomat 2019; 33: 4951–4966
work page 2019
-
[8]
Characterization of Spherical and Plane Curves Using Rotation Minimizing Frames
Da Silva LCB. Characterization of spherical and plane cu rves using rotation minimizing frames. e-print arXiv:1706.01577
Show all 16 references
-
[9]
Characterization of curves tha t lie on a geodesic sphere or on a totally geodesic hypersurface in a hyperbolic space or in a sphere
Da Silva LCB, da Silva JD. Characterization of curves tha t lie on a geodesic sphere or on a totally geodesic hypersurface in a hyperbolic space or in a sphere. Mediterr. J. Math. 2018; 15: 70
2018
-
[10]
Space curves satisfying τ /κ = as + b
Kim DS, Chung HS, Cho KH. Space curves satisfying τ /κ = as + b . Honam Math. J. 1993; 15: 1–9
1993
-
[11]
Differential Geometry: Curves - Surfaces - Ma nifolds
K¨ uhnel W. Differential Geometry: Curves - Surfaces - Ma nifolds. Providence: American Mathematical Society, 2015
2015
-
[12]
Some characterizations of rectifying curves in the Euclidean space E4
˙Ilarslan K, Neˇ sovi´ c E. Some characterizations of rectifying curves in the Euclidean space E4 . Turk. J. Math. 2008; 32: 21–30
2008
-
[13]
New special curves and developab le surfaces
Izumiya S, Takeuchi N. New special curves and developab le surfaces. Turk. J. Math. 2004; 28: 153–163
2004
-
[14]
Rectifying curves in the th ree-dimensional sphere
Lucas P, Ortega-Yag¨ ues JA. Rectifying curves in the th ree-dimensional sphere. J. Math. Anal. Appl. 2015; 421: 1855–1868
2015
-
[15]
Rectifying curves in the th ree-dimensional hyperbolic space
Lucas P, Ortega-Yag¨ ues JA. Rectifying curves in the th ree-dimensional hyperbolic space. Mediterr. J. Math. 2016 ; 13: 2199–2214
2016
-
[16]
Slant helices in the Euclid ean 3-space revisited
Lucas P, Ortega-Yag¨ ues JA. Slant helices in the Euclid ean 3-space revisited. Bull. Belg. Math. Soc. Simon Stevin 2016; 23: 133–150. 12
2016
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.