pith. sign in

arxiv: 2605.13022 · v1 · pith:WD2AU3HQnew · submitted 2026-05-13 · 🧮 math.DG

A necessary condition for cylindrical curves in terms of curvature and torsion

Rafael L\'opez This is my paper

Pith reviewed 2026-05-14 02:20 UTC · model grok-4.3

classification 🧮 math.DG MSC 53A04
keywords curvaturetorsioncylindrical curvesspace curvescircular cylinderordinary differential equationdifferential geometry
0
0 comments X

The pith

A curve lies on a circular cylinder only if its curvature and torsion satisfy a derived differential equation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes necessary conditions for a regular space curve to lie on a circular cylinder using only its curvature κ and torsion τ. It introduces the auxiliary function ψ equal to the squared sine of the angle between the tangent vector and the cylinder axis. The geometric requirement that the curve stay on the cylinder then becomes a compatibility condition between an explicit eighth-degree polynomial in ψ and a first-order differential equation that ψ must obey. Eliminating ψ produces one ordinary differential equation that κ and τ alone must satisfy. The same reduction yields an explicit ODE for torsion when curvature is held constant, together with a closed-form solution when curvature equals the reciprocal of the cylinder radius.

Core claim

A regular curve lies on a circular cylinder when the curvature κ and torsion τ satisfy the compatibility condition obtained by eliminating the auxiliary function ψ = sin²α from an eighth-degree algebraic equation and its associated differential equation, thereby reducing the inclusion problem to a single ODE involving only κ and τ. When curvature is constant and equal to 1/ρ, this ODE admits an explicit exact solution for τ.

What carries the argument

The auxiliary function ψ = sin²α, where α is the angle between the tangent and the fixed cylinder axis; it must satisfy both an explicit degree-eight polynomial and a differential equation whose elimination produces the intrinsic ODE in κ and τ.

Load-bearing premise

The curve is regular and the cylinder is circular with a fixed axis so that the angle between the tangent and the axis remains globally consistent.

What would settle it

Take the standard circular helix with constant κ and τ = κ cot β for fixed β; substitute into the derived ODE and verify that the equation holds identically. Perturb τ by a small amount that violates the ODE and confirm the resulting curve lies on no circular cylinder.

read the original abstract

We establish necessary conditions for a regular curve to lie on a circular cylinder in terms of its curvature $\kappa$ and torsion $\tau$. By identifying a fundamental function $\psi = \sin^2 \alpha$, representing the squared sine of the angle between the tangent vector and the axis of the cylinder, we reduce the geometric inclusion problem to a compatibility condition between an explicit eighth-degree polynomial equation and a differential equation for $\psi$. This approach yields a single ODE involving only $\kappa$ and $\tau$ that governs the inclusion of the curve in the cylinder. The robustness of this framework is demonstrated through specific examples of cylindrical curves. Furthermore, we analyze the case of curves with constant curvature $\kappa_0$, obtaining an explicit ODE for the torsion. Remarkably, we prove that if $\kappa_0 = 1/\rho$, this equation admits an explicit, exact solution for $\tau$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to derive a necessary condition for a regular space curve to lie on a circular cylinder, expressed solely in terms of its curvature κ and torsion τ. It introduces the auxiliary function ψ = sin²α (with α the angle between the tangent and the cylinder axis), reduces the geometric condition to the compatibility of an explicit eighth-degree polynomial equation in ψ with a first-order differential equation for ψ, and eliminates ψ to obtain a single ODE in κ and τ. The framework is illustrated with examples of cylindrical curves and specialized to the constant-curvature case κ = κ₀, where an explicit ODE for τ is obtained and an exact solution is exhibited when κ₀ = 1/ρ.

Significance. If the central reduction is free of extraneous solutions, the result supplies an intrinsic, axis-independent characterization of cylindrical curves via their Frenet invariants. This could be useful for classification, numerical detection, or further study of curves constrained to cylinders. The explicit solution in the constant-curvature case is a concrete, verifiable contribution that strengthens the framework.

major comments (2)
  1. [Main derivation (reduction from polynomial + DE)] The elimination of ψ from the degree-8 polynomial P(ψ; κ, τ, …) = 0 together with its differentiated form ψ′ = f(ψ; κ, τ, …) to produce a ψ-free ODE is the load-bearing step. This resultant may introduce extraneous factors or miss loci where the leading coefficient vanishes or ψ ∉ (0,1). The manuscript must explicitly compute the resultant, state the domains on which the final ODE is necessary, and verify that no singular solutions are lost.
  2. [Constant-curvature case] In the constant-curvature analysis, the claimed explicit solution for τ when κ₀ = 1/ρ must be shown to satisfy both the original eighth-degree polynomial and the geometric cylinder condition, rather than merely the reduced ODE. The explicit form of τ should be stated and checked against standard cylindrical curves (e.g., circles or helices).
minor comments (2)
  1. [Abstract] The abstract refers to “a single ODE” and “specific examples” without displaying the ODE or summarizing the verification; including the final ODE expression would make the main result immediately accessible.
  2. [Setup and notation] Notation for the angle α and the cylinder radius ρ should be introduced once and used consistently; the relation between ρ and the constant-curvature value 1/ρ should be clarified in the text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and valuable suggestions, which will improve the clarity and rigor of our results. We address the major comments point by point below and will revise the manuscript to incorporate the requested clarifications and verifications.

read point-by-point responses

  1. Referee: [Main derivation (reduction from polynomial + DE)] The elimination of ψ from the degree-8 polynomial P(ψ; κ, τ, …) = 0 together with its differentiated form ψ′ = f(ψ; κ, τ, …) to produce a ψ-free ODE is the load-bearing step. This resultant may introduce extraneous factors or miss loci where the leading coefficient vanishes or ψ ∉ (0,1). The manuscript must explicitly compute the resultant, state the domains on which the final ODE is necessary, and verify that no singular solutions are lost.

    Authors: We agree that a fully rigorous presentation requires explicit computation of the resultant and careful domain analysis. In the revised version we will include the explicit resultant polynomial in κ and τ, state the open set on which the leading coefficient is nonzero and ψ lies in (0,1), and separately verify that no singular solutions (where the leading coefficient vanishes or ψ is constant at the boundary) satisfy the original geometric conditions but are lost by the ODE. revision: yes

  2. Referee: [Constant-curvature case] In the constant-curvature analysis, the claimed explicit solution for τ when κ₀ = 1/ρ must be shown to satisfy both the original eighth-degree polynomial and the geometric cylinder condition, rather than merely the reduced ODE. The explicit form of τ should be stated and checked against standard cylindrical curves (e.g., circles or helices).

    Authors: We accept this request for additional verification. The revised manuscript will state the explicit closed-form expression for τ (when κ₀ = 1/ρ) and directly substitute it back into the original eighth-degree polynomial to confirm it holds identically. We will also verify that the resulting curve satisfies the geometric cylinder condition and compare the solution against the classical cases of circles (τ ≡ 0) and circular helices to confirm consistency. revision: yes

Circularity Check

0 steps flagged

Derivation from geometric definition via Frenet-Serret is self-contained with no circular reduction

full rationale

The paper begins from the explicit geometric assumption that a regular curve lies on a circular cylinder with fixed axis, defines ψ = sin²α directly from the constant direction of that axis, obtains an explicit degree-8 polynomial P(ψ; κ, τ, …) = 0 together with the first-order DE ψ′ = f(ψ; κ, τ, …) by applying the Frenet-Serret equations, and then eliminates ψ by differentiation and resultant to produce a necessary ODE in κ and τ alone. This elimination step yields a genuine consequence rather than an identity by construction; the final ODE is not equivalent to the input assumptions, no parameters are fitted, and no load-bearing premise rests on self-citation or imported uniqueness results. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard Frenet-Serret structure equations of space curves and the geometric definition of a circular cylinder; no free parameters are fitted and no new entities are postulated.

axioms (1)
  • standard math Frenet-Serret equations relating the derivatives of the tangent, principal normal, and binormal vectors to curvature κ and torsion τ.
    These equations are invoked to express the geometric constraint of lying on the cylinder in terms of the local invariants κ and τ.

pith-pipeline@v0.9.0 · 5442 in / 1316 out tokens · 86145 ms · 2026-05-14T02:20:17.147387+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

21 extracted references · 21 canonical work pages

  1. [1]

    R. L. Bishop, There is more than one way to frame a curve. Am. Math. Mon. 82 (1975), 246–251

    work page 1975

  2. [2]

    L. C. B. Da Silva, Moving frames and the characterization of curves that lie on a surface. J. Geom. 108 (2017), 1091

    work page 2017

  3. [3]

    L. C. B. Da Silva, J. D. Da Silva, Characterization of curves that lie on a geodesic sphere or on a totally geodesic hypersurface in a hyperbolic space or in a sphere. Mediterr. J. Math. 15 (2018), 70

    work page 2018

  4. [4]

    M. P. Do Carmo, Differential Geometry of Curves and Surfaces. Prentice Hall, Englewood Cliffs, NJ, 1976

    work page 1976

  5. [5]

    D. A. Forsyth, Recognizing algebraic surfaces from their outlines. In: International Conference on Computer Vision, Berlin, pp. 476–480, 1993

    work page 1993

  6. [6]

    A. Gray, E. Abbena and S. Salamon, Modern Differential Geometry of Curves and Surfaces with Mathematica, 3rd ed., Chapman and Hall/CRC, Boca Raton, FL, 2006

    work page 2006

  7. [7]

    Ibrayev, Y

    R. Ibrayev, Y. B. Jia, Recognition of curved surfaces from one-dimensional tactile data. IEEE Trans. Autom. Sci. Eng. 9 (2012), 613–621. CYLINDRICAL CURVES IN TERMS OF CURVATURE AND TORSION 17

    work page 2012

  8. [8]

    one-dimensional

    Y. B. Jia, J. Tian, Surface patch reconstruction from “one-dimensional” tactile data. IEEE Trans. Autom. Sci. Eng. 7 (2010), 400–407

    work page 2010

  9. [9]

    Keren, E

    D. Keren, E. Rivlin, I. Shimshoni, I. Weiss, Recognizing 3D objects using tactile sensing and curve invariants. J. Math. Imaging Vis. 12 (2000), 5–23

    work page 2000

  10. [10]

    Ko, On the decomposition of derivations and skew-derivations on differential forms of degreeκ≥0

    L-S. Ko, On the decomposition of derivations and skew-derivations on differential forms of degreeκ≥0. A necessary and sufficient condition for a curve to lie on a circular cylinder. Master’s Thesis, University of Hong Kong, Pokfulam Road, Hong Kong, 1966

    work page 1966

  11. [11]

    D. J. Kriegman , J. Ponce, On recognizing and positioning curved 3D objects from image contours. IEEE Trans. Pattern Anal. Mach. Intell., 12 (1990), 1127–1138

    work page 1990

  12. [12]

    K¨ uhnel, Differentialgeometrie: Kurven-Fl¨ achen-Mannigfaltigkeiten (5

    W. K¨ uhnel, Differentialgeometrie: Kurven-Fl¨ achen-Mannigfaltigkeiten (5. Auflage). Vieweg+Teubner, 2010

    work page 2010

  13. [13]

    L´ opez, A Characterization of curves that lie on a totally umbilical surface of a space form

    R. L´ opez, A Characterization of curves that lie on a totally umbilical surface of a space form. J. Geom. 116, 1 (2025)

    work page 2025

  14. [14]

    Pekmen, S

    U. Pekmen, S. Pacsali, Some characterizations of the Lorentzian spherical space-like curves. Math. Morav. 3 (1999), 33–37

    work page 1999

  15. [15]

    Petrovi´ c-Torga˘ sev, E.˘Su´ curovi´ c, Some characterizations of the spacelike, the timelike and the null curves on the pseudohyperbolic spaceH 2 0 inE 3

    M. Petrovi´ c-Torga˘ sev, E.˘Su´ curovi´ c, Some characterizations of the spacelike, the timelike and the null curves on the pseudohyperbolic spaceH 2 0 inE 3

    work page

  16. [16]

    Kragujevac J. Math. 22 (2000), 71–82

    work page 2000

  17. [17]

    E. L. Starostin, G. H. M. van der Heijden, Characterisation of cylindrical curves. Monatsh. Math. 176 (2015), 481–491

    work page 2015

  18. [18]

    D. J. Struik, Lectures on Classical Differential Geometry. New York, NY. Dover, 1988

    work page 1988

  19. [19]

    Struwe, Orthogonal Cayley-Klein groups

    R. Struwe, Orthogonal Cayley-Klein groups. Results Math. 48 (2005), 168–183

    work page 2005

  20. [20]

    Y. C. Wong, A global formulation of the condition for a curve to lie in a sphere. Monatsh. Math. 67 (1963), 363-365

    work page 1963

  21. [21]

    Y. C. Wong, On an explicit characterization of spherical curves. Proc. of the Amer. Math. Soc. 34, 1972, 239–242. Rafael L ´opez, Department of Geometry and Topology, University of Granada. 18071 Granada. Spain Email address:rcamino@ugr.es

    work page 1972