Some characterizations of Rectifying and osculating curves on a smooth immersed surface
Pith reviewed 2026-05-25 20:04 UTC · model grok-4.3
The pith
Rectifying and osculating curve position vectors on a surface are invariant under isometry precisely when normal curvature is invariant or the vector aligns with the tangent.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The components of position vectors of rectifying and osculating curves along T, N, T times N are invariant under isometry of surfaces if and only if either the normal curvature of the curve is invariant or the position vector of the curve is in the direction of the tangent vector to the curve.
What carries the argument
The reference frame {T, N, T times N} attached to the curve, used to decompose the position vector into components whose invariance under isometry is then characterized.
If this is right
- If normal curvature is preserved by the isometry then all three components of the position vector stay the same.
- If the position vector lies exactly along T then the components are unchanged even when normal curvature varies.
- The stated iff condition supplies a complete criterion for deciding when a rectifying or osculating curve keeps its frame-decomposed position data under any isometry of the ambient surface.
Where Pith is reading between the lines
- The result could be used to classify families of curves that remain rectifying after an isometric deformation even when curvature is not preserved.
- One might check the same decomposition on curves defined by other geometric conditions, such as lines of curvature, to see whether analogous invariance statements hold.
- The characterization might extend to the study of how the Frenet frame itself transforms under the isometry when the curve is rectifying.
Load-bearing premise
The reference frame {T, N, T times N} is well-defined for the rectifying and osculating curves on the smooth immersed surface, permitting direct computation of the position vector components along each basis vector.
What would settle it
An explicit pair of isometric surfaces containing a rectifying curve where the normal curvature differs between them and the position vector is not aligned with the tangent, yet the three components of the position vector remain numerically identical after the isometry.
read the original abstract
The present paper deals with some characterizations of rectifying and osculating curves on a smooth surface with respect to the reference frame $\{\vec{T},\ \vec{N},\ \vec{T}\times\vec{N}\}$. We have computed the components of position vectors of rectifying and osculating curves along $\vec{T},\ \vec{N},\ \vec{T}\times\vec{N}$ and then investigated their invariancy under isometry of surfaces, and it is shown that they are invariant iff either the normal curvature of the curve is invariant or the position vector of the curve is in the direction of the tangent vector to the curve.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper computes the components of the position vectors of rectifying and osculating curves on a smooth immersed surface in the frame {T, N, T×N} and claims to characterize their invariance under isometries of the surface, showing that the components are invariant if and only if the normal curvature is invariant or the position vector lies along T.
Significance. If the invariance result holds under a well-defined notion of isometry that preserves the relevant quantities, it would provide extrinsic characterizations of these curves in terms of invariance properties. The work builds on standard differential geometry of curves on surfaces but does not appear to include machine-checked proofs or reproducible code.
major comments (1)
- [Abstract] Abstract (and central claim): the asserted invariance of position-vector components under 'isometry of surfaces' is not secured by the definitions. An isometry preserves the first fundamental form but does not canonically preserve the ambient position vector r or its inner products with the Darboux frame {T, N, T×N}, since distinct isometric embeddings into R^3 can translate or rotate the surface relative to the origin. The iff statement therefore requires an unstated assumption that isometries extend to rigid motions of the ambient space or that position vectors are identified across embeddings; without this, the claim reduces to a statement about a fixed embedding rather than intrinsic invariance.
minor comments (1)
- [Abstract] The abstract refers to 'computations' and an 'invariance theorem' but provides no explicit equations or steps; the full manuscript should include the component derivations and the precise definition of the isometry action on the frame and position vector.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the detailed comment on the central claim. We address the concern regarding the notion of isometry and invariance below, and we will revise the manuscript to clarify the assumptions.
read point-by-point responses
-
Referee: Abstract (and central claim): the asserted invariance of position-vector components under 'isometry of surfaces' is not secured by the definitions. An isometry preserves the first fundamental form but does not canonically preserve the ambient position vector r or its inner products with the Darboux frame {T, N, T×N}, since distinct isometric embeddings into R^3 can translate or rotate the surface relative to the origin. The iff statement therefore requires an unstated assumption that isometries extend to rigid motions of the ambient space or that position vectors are identified across embeddings; without this, the claim reduces to a statement about a fixed embedding rather than intrinsic invariance.
Authors: We acknowledge that the manuscript does not explicitly articulate the assumption that the isometries of the immersed surface are realized by (or extend to) rigid motions of the ambient R^3. In the context of the work, the invariance is understood with respect to congruences, i.e., isometries of R^3 that map one immersed surface to another while transporting the Darboux frame and the position vector accordingly. Under this interpretation the stated iff condition holds. Nevertheless, the referee is correct that this must be stated clearly to avoid ambiguity between intrinsic surface isometries and ambient congruences. We will revise the abstract, introduction, and the statement of the main theorem to specify that the isometries are induced by isometries of R^3 (hence preserving the relevant inner products after transport). This revision will be made in the next version. revision: yes
Circularity Check
No circularity: direct component calculations yield independent characterization
full rationale
The paper states it computes the components of position vectors of rectifying and osculating curves along the Darboux-type frame {T, N, T×N} and then derives the invariance condition under surface isometries. This is a standard differential-geometric computation from the definitions of the curves, the frame, and the first fundamental form; the iff statement follows from equating the transformed components to the original ones. No parameter is fitted and then relabeled as a prediction, no self-citation is invoked as a uniqueness theorem, and no ansatz is smuggled in. The derivation chain is therefore self-contained and does not reduce to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The surface is smooth and immersed so that the tangent vector T and normal vector N are well-defined everywhere along the curve.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We have computed the components of position vectors of rectifying and osculating curves along T, N, T×N and then investigated their invariancy under isometry of surfaces, and it is shown that they are invariant iff either the normal curvature of the curve is invariant or the position vector of the curve is in the direction of the tangent vector to the curve.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
κn(s) = Lu′² + 2Mu′v′ + Nv′² (normal curvature from second fundamental form)
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
-
[1]
Pressley, A., Elementary differential geometry , Springer-Verlag, 2001
work page 2001
-
[2]
P., Differential geometry of curves and surfaces , Prentice-Hall, Inc, New Jersey, 1976
do Carmo, M. P., Differential geometry of curves and surfaces , Prentice-Hall, Inc, New Jersey, 1976
work page 1976
-
[3]
Chen, B.-Y., What does the position vector of a space curve always lie in it s rectifying plane ?, Amer. Math. Monthly, 110 (2003), 147-152
work page 2003
-
[4]
and Dillen, F., Rectfying curve as centrode and extremal curve
Chen, B.-Y. and Dillen, F., Rectfying curve as centrode and extremal curve. , Bull. Inst. Math. Acad. Sinica, 33, no. 2, (2005), 77-90
work page 2005
-
[5]
Ilarslan, K. and Nesovic, E., Some characterizations of null, pseudo null and partially n ull rectifying curves in Minkowski space-time , Taiwanese J. Math., 12, no. 5, (2008), 1035-1044
work page 2008
-
[6]
Deshmukh, S., Chen, B.-Y. and Alshammari, S. H., On rectifying curves in Euclidean 3-space , Turk. J. Math., 42 (2018), 609-620
work page 2018
-
[7]
Camci, C., Kula, L. and Ilarslan, K., Characterizations of the position vector of a surface curve in Euclidean 3-space, An. St. Univ. Ovidius Constanta, 19, no. 3, (2011), 59-70
work page 2011
-
[8]
K. Ilarslan, M. Sakaki and A. U¸ cum, On osculating, normal and rectifying bi-null curves in R5 2, Novi Sad J. Math. , 48 (2018), 9-20
work page 2018
-
[9]
Shaikh, A. A. and Ghosh, P. R., Rectifying curves on a smooth surface immersed in the Euclid ean space, to appear in Indian J. Pure Appl. Math., 2018
work page 2018
-
[10]
Shaikh, A. A. and Ghosh, P. R., Rectifying and osculating curves on a smooth surface , to appear in Indian J. Pure Appl. Math., 2018
work page 2018
-
[11]
Shaikh, A. A. and Ghosh, P. R., Curves on a smooth surface with position vectors lie in the ta ngent plane , to appear in Indian J. Pure Appl. Math., 2019
work page 2019
-
[12]
Shaikh, A. A. Lone, M. S., and Ghosh, P. R., Normal curves on a smooth immersed surface , arXiv:1906.04738. 10 A. A. SHAIKH AND P. R. GHOSH Department of Mathematics, University of Burdwan, Golapbag, Burdwan-713104, West Bengal, India E-mail address : aask2003@yahoo.co.in, aashaikh@math.buruniv.ac.in Department of Mathematics, University of Burdwan, Golap...
work page internal anchor Pith review Pith/arXiv arXiv 1906
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.