Null Cartan Normal Helices in Minkowski Space-Time

Derya Sa\u{g}lam; Umut Selvi

arxiv: 2607.01262 · v1 · pith:LD7NR25J · submitted 2026-06-18 · math.GM

Null Cartan Normal Helices in Minkowski Space-Time

Derya Sa\u{g}lam , Umut Selvi This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 reserved 2026-07-03 23:29 UTCgrok-4.3pith:LD7NR25J record.json open to challenge →

**Figure 1.** Figure 1: Left: Roots r1 > 0 and r2 < 0 of the quadratic (18) as functions of κ2 (with κ3 = 1 fixed). At κ2 = κ3 = 1 one obtains r1 = 1/ϕ ≈ 0.618 and r2 = −ϕ ≈ −1.618, where ϕ = (1 + √ 5)/2 is the golden ratio; the product r1r2 = −1 is constant along the whole curve. Right: The corresponding pair o… reproduced from arXiv: 2607.01262

classification math.GM

keywords null Cartan helicesMinkowski space-timehelix invariantnormal fieldDarboux frameisophotic conditionsilhouettestimelike hypersurface

0 comments

The pith

Two algebraic conditions from successive differentiation of the helix invariant fully characterize null Cartan helices in Minkowski space-time.

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

The paper develops a complete theory of null Cartan normal helices in four-dimensional Minkowski space-time. Successive differentiation of the helix invariant along a unit C-constant normal field produces two algebraic conditions that define these curves. The quadratic condition identifies two mutually orthogonal helix axes in the Lorentzian metric. It further shows that null Cartan cubics qualify as normal helices. On timelike hypersurfaces the normal isophotic condition reduces to a linear first-order ODE, and normal silhouettes exist.

Core claim

A complete theory of null Cartan normal helices in Minkowski space-time E^4_1 is developed. Two algebraic conditions, obtained by successive differentiation of the helix invariant along a unit C-constant normal field, fully characterize null Cartan helices; the quadratic condition yields two mutually orthogonal helix axes in the Lorentzian metric. Special field types are analyzed and null Cartan cubics are shown to be normal helices. On a timelike hypersurface, a Darboux frame with six curvature functions is constructed from first principles, the normal isophotic condition is shown to reduce to a linear first-order ODE, and the existence of normal silhouettes in E^4_1 is established.

What carries the argument

Successive differentiation of the helix invariant along a unit C-constant normal field, which produces the two algebraic conditions that characterize the helices.

Load-bearing premise

A unit C-constant normal field exists along the curve and permits successive differentiation of the helix invariant without degeneracy or loss of Lorentzian signature.

What would settle it

A null Cartan curve in E^4_1 that satisfies both algebraic conditions but is not a normal helix, or a normal helix that violates one of the conditions.

Figures

Figures reproduced from arXiv: 2607.01262 by Derya Sa\u{g}lam, Umut Selvi.

**Figure 2.** Figure 2: Left: Three-axes example (Example 2, Proposition 4). The null Cartan helix α(s) with λ0 = 1, κ2 = 0, κ3 = 1 together with the three unit C-constant axes: the Type I axis V = T + N (red), and the orthogonal Type III pair V+ = (N +B1)/ √ 2 (orange) and V− = (N −B1)/ √ 2 (green); the quadratic (18) reduces to r 2 −1 = 0 ⇒ r = ±1. Right: Type-III example (Proposition 6). The constraint λ0 = 0 forces κ2 = 0 via… view at source ↗

**Figure 3.** Figure 3: The null Cartan cubic α(s) = s + s 3 /12, s − s 3 /12, s2 /2, 0 with κ2 = κ3 = 0, shown in the projected coordinate system (x1 + x2, x3, x1 − x2) = (2s, s2 /2, s3 /6). The curve is a space cubic lying in the hyperplane {x4 = 0}; the colour encodes the parameter s ∈ [−3, 3]. By Corollary 2 it is simultaneously a normal helix, a general helix, and a slant helix. Corollary 2. Every null Cartan cubic in E 4 … view at source ↗

**Figure 4.** Figure 4: The null Cartan normal helix α(s) with λ0 = 1, κ2 = 0, κ3 = 1 (D = 2, ω = 1), plotted in the projected space (x1 +x2, x3, x4) for s ∈ [−2.2, 2.2]. The colour gradient (plasma) encodes s. The red arrow shows the constant null axis W = (2, 2, 0, 0) (projected to (4, 0, 0)), for which ⟨V, W⟩ = 0 (Theorem 3). Example 5 (λ0 = 1, κ2 = 1, κ3 = √ 2). One verifies (25): 2 = 1 · 2. With D = 3 and ω = √ 2: T(s) = e… view at source ↗

**Figure 5.** Figure 5: The null Cartan normal helix α2(s) with λ0 = 1, κ2 = 1, κ3 = √ 2 (D = 3, ω = √ 2) shown in orangered (hot colourmap); the helix of Example 4 is superimposed in faint blue for comparison. Both curves share the null direction (1, 1, 0, 0), but α2 has a higher oscillation frequency ω = √ 2 and its axis W2 = (3, 3, 0, 0) = 3 2W1 is proportionally longer. Example 6. Set λ0 = 1, ε1 = 1, κ 0 g = −1, τ ∗ 0 = 1, ϕ… view at source ↗

**Figure 6.** Figure 6: The timelike hypersurface M3 ⊂ E 4 1 parametrized by S(s, t) = α(s) + t B2(s) with the same helix α(s) as in Example 4 (bold red/blue curve). Left: The unit Cartan normal η = N + T (red arrows) sampled along α; these are the normal vectors of M3 at the curve. Right: The generalized normal ηe = η + λ1T + λ2e with λ1 = 0, λ2 = 1 (purple arrows) for the normal silhouette case c¯ = 0, giving ηe = 2T + N + B1 a… view at source ↗

read the original abstract

A complete theory of null Cartan normal helices in Minkowski space-time $\mathbb{E}^4_1$ is developed. Two algebraic conditions, obtained by successive differentiation of the helix invariant along a unit $C$-constant normal field, fully characterize null Cartan helices; the quadratic condition yields two mutually orthogonal helix axes in the Lorentzian metric. Special field types are analyzed and null Cartan cubics are shown to be normal helices. On a timelike hypersurface, a Darboux frame with six curvature functions is constructed from first principles, the normal isophotic condition is shown to reduce to a linear first-order ODE, and the existence of normal silhouettes in $\mathbb{E}^4_1$ is established.

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.

Desk Editor's Note private letter to a colleague

The paper gives algebraic conditions for null Cartan normal helices via differentiation along a unit C-constant normal field, but that field choice is the load-bearing assumption.

read the letter

The main takeaway is that the authors derive two algebraic conditions that characterize null Cartan normal helices in E^4_1 by successive differentiation of the helix invariant. The quadratic one is said to produce two mutually orthogonal axes. They also build a six-function Darboux frame on timelike hypersurfaces from first principles, reduce the normal isophotic condition to a linear first-order ODE, and show that null Cartan cubics are normal helices.

Those pieces are the parts that could actually be used. The frame construction and the ODE reduction are concrete enough that someone working on similar curves could check or adapt them. The cubic example adds a specific case that makes the general claim easier to test.

The soft spot is exactly the one the stress-test flags. Everything rests on the existence of a unit C-constant normal field that stays non-degenerate through the differentiations and preserves the Lorentzian signature. If that field cannot be chosen without the normal becoming lightlike or the frame collapsing, the algebraic conditions do not apply in full generality. The abstract presents the result as a complete theory without visible restrictions, so the paper needs to show either that the field always works or exactly where it fails. Without that, the characterization is conditional rather than universal.

No other obvious circularity or fitting issues appear from the description. The approach follows standard invariant differentiation in Lorentzian geometry.

This is narrow work aimed at people already inside Lorentzian curve theory. A reader who knows the prior helix results in Minkowski space will see what the new conditions add. It is worth sending to a referee who can verify the derivations and press on the normal-field step. I would recommend peer review with that specific point highlighted for checking.

Referee Report

1 major / 1 minor

Summary. The manuscript develops a complete theory of null Cartan normal helices in Minkowski space-time E^4_1. Two algebraic conditions, obtained by successive differentiation of the helix invariant along a unit C-constant normal field, are claimed to fully characterize null Cartan helices, with the quadratic condition producing two mutually orthogonal helix axes in the Lorentzian metric. Null Cartan cubics are shown to be normal helices. On a timelike hypersurface a Darboux frame with six curvature functions is constructed, the normal isophotic condition reduces to a linear first-order ODE, and normal silhouettes exist.

Significance. If the algebraic characterizations and ODE reduction hold without hidden degeneracy, the work supplies an explicit algebraic criterion for a class of curves in Lorentzian 4-space and a concrete reduction of the isophotic condition, both of which are potentially useful for further study of null curves in space-time geometry.

major comments (1)

[Abstract] Abstract (differentiation step): the central claim that the two algebraic conditions fully characterize the helices rests on the existence of a unit C-constant normal field permitting successive differentiation while preserving the null character of the curve and the Lorentzian signature. No explicit existence proof or non-degeneracy analysis for this field appears in the provided text; when the normal becomes lightlike or the frame collapses the differentiation step may fail, rendering the algebraic conditions inapplicable.

minor comments (1)

The abstract refers to 'special field types' and a 'Darboux frame with six curvature functions' without section or equation numbers, making it difficult to locate the corresponding constructions and verify the curvature count.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the identification of this important point regarding the supporting analysis for our central claim. We address the comment below.

read point-by-point responses

Referee: [Abstract] Abstract (differentiation step): the central claim that the two algebraic conditions fully characterize the helices rests on the existence of a unit C-constant normal field permitting successive differentiation while preserving the null character of the curve and the Lorentzian signature. No explicit existence proof or non-degeneracy analysis for this field appears in the provided text; when the normal becomes lightlike or the frame collapses the differentiation step may fail, rendering the algebraic conditions inapplicable.

Authors: We agree that the manuscript lacks an explicit existence proof and non-degeneracy analysis for the unit C-constant normal field. This omission weakens the justification for the differentiation steps used to derive the algebraic conditions. In the revised manuscript we will insert a dedicated subsection that constructs the field from the given invariants, states the precise hypotheses under which it exists and remains non-degenerate, and verifies that the null character of the curve and the Lorentzian signature are preserved throughout the differentiation process. The revised text will also delineate the degenerate cases (lightlike normal or frame collapse) and indicate how the characterization is restricted accordingly. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation rests on differentiation of externally defined invariant

full rationale

The paper's central claims are obtained by successive differentiation of the helix invariant along a unit C-constant normal field, yielding algebraic conditions that characterize the helices. This is a standard differential-geometric procedure grounded in the Lorentzian geometry of E^4_1 and does not reduce any result to a self-definition, fitted parameter renamed as prediction, or self-citation chain. The abstract and description explicitly state the conditions are 'obtained by successive differentiation' and the Darboux frame is 'constructed from first principles,' with no load-bearing self-citations or ansatzes imported from prior author work. The existence assumption for the normal field is an external geometric hypothesis, not a definitional loop. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, invented entities, or non-standard axioms; the work relies on standard properties of Minkowski space and the existence of a suitable normal field.

axioms (2)

standard math Minkowski space-time E^4_1 is equipped with a flat Lorentzian metric of signature (3,1).
Background geometry assumed for all curve and frame constructions.
domain assumption A unit C-constant normal field exists along the null curve and remains non-degenerate under successive differentiation.
Invoked by the differentiation step that produces the two algebraic conditions.

pith-pipeline@v0.9.1-grok · 5649 in / 1462 out tokens · 46091 ms · 2026-07-03T23:29:24.751188+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

[1]

Djordjević, E

J. Djordjević, E. Nešović,On Bishop frame of a pseudo null curve in Minkowski space-time, Turkish J. Math.44(2020), no. 3, 870–882.https://doi.org/10.3906/mat-1910-11

work page doi:10.3906/mat-1910-11 2020
[2]

Djordjević, E

J. Djordjević, E. Nešović, U. Öztürk, E. B. Koç Öztürk,On null Cartan normal isophotic and normal silhouette curves on a timelike surface in Minkowski 3-space, Math. Methods Appl. Sci.47(2024), 10520–10539.https://doi.org/10.1002/mma.10137

work page doi:10.1002/mma.10137 2024
[3]

Lucas, J

P. Lucas, J. A. Ortega-Yagües,A generalization of the notion of helix, Turkish J. Math.47(2023), no. 4, 1158–1168.https://doi.org/10.55730/1300-0098.3418

work page doi:10.55730/1300-0098.3418 2023
[4]

Nešović, E

E. Nešović, E. B. Koç Öztürk, U. Öztürk,Onk-type null Cartan slant helices in Minkowski 3-space, Math. Methods Appl. Sci.41(2018), 7583–7598.https://doi.org/10.1002/mma.5221 23

work page doi:10.1002/mma.5221 2018
[5]

Nešović,On null Cartan normal helices in Minkowski 3-space, Axioms14(2025), no

E. Nešović,On null Cartan normal helices in Minkowski 3-space, Axioms14(2025), no. 5, 379.https: //doi.org/10.3390/axioms14050379

work page doi:10.3390/axioms14050379 2025
[6]

O’Neill,Semi-Riemannian Geometry with Applications to Relativity, Academic Press, San Diego, 1983

B. O’Neill,Semi-Riemannian Geometry with Applications to Relativity, Academic Press, San Diego, 1983

work page 1983
[7]

Sağlam, D

D. Sağlam, D. Bada,Some characterizations of timelike helices with theF-constant vector field in Minkowski spaceE 3 1, Adv. Math., Sci. J.13(2024), no. 3, 263–279.https://doi.org/10.37418/ amsj.13.3.1

work page 2024
[8]

Sağlam, U

D. Sağlam, U. Selvi, F. Babadağ, A. Atasoy,Helices withF-constant vector fields in the Euclidean space E4, AIMS Math.11(2026), no. 2, 4299–4334.https://doi.org/10.3934/math.2026173

work page doi:10.3934/math.2026173 2026
[9]

Walrave,Curves and Surfaces in Minkowski Space, Ph.D

J. Walrave,Curves and Surfaces in Minkowski Space, Ph.D. thesis, Katholieke Universiteit Leuven, 1995. 24

work page 1995

[1] [1]

Djordjević, E

J. Djordjević, E. Nešović,On Bishop frame of a pseudo null curve in Minkowski space-time, Turkish J. Math.44(2020), no. 3, 870–882.https://doi.org/10.3906/mat-1910-11

work page doi:10.3906/mat-1910-11 2020

[2] [2]

Djordjević, E

J. Djordjević, E. Nešović, U. Öztürk, E. B. Koç Öztürk,On null Cartan normal isophotic and normal silhouette curves on a timelike surface in Minkowski 3-space, Math. Methods Appl. Sci.47(2024), 10520–10539.https://doi.org/10.1002/mma.10137

work page doi:10.1002/mma.10137 2024

[3] [3]

Lucas, J

P. Lucas, J. A. Ortega-Yagües,A generalization of the notion of helix, Turkish J. Math.47(2023), no. 4, 1158–1168.https://doi.org/10.55730/1300-0098.3418

work page doi:10.55730/1300-0098.3418 2023

[4] [4]

Nešović, E

E. Nešović, E. B. Koç Öztürk, U. Öztürk,Onk-type null Cartan slant helices in Minkowski 3-space, Math. Methods Appl. Sci.41(2018), 7583–7598.https://doi.org/10.1002/mma.5221 23

work page doi:10.1002/mma.5221 2018

[5] [5]

Nešović,On null Cartan normal helices in Minkowski 3-space, Axioms14(2025), no

E. Nešović,On null Cartan normal helices in Minkowski 3-space, Axioms14(2025), no. 5, 379.https: //doi.org/10.3390/axioms14050379

work page doi:10.3390/axioms14050379 2025

[6] [6]

O’Neill,Semi-Riemannian Geometry with Applications to Relativity, Academic Press, San Diego, 1983

B. O’Neill,Semi-Riemannian Geometry with Applications to Relativity, Academic Press, San Diego, 1983

work page 1983

[7] [7]

Sağlam, D

D. Sağlam, D. Bada,Some characterizations of timelike helices with theF-constant vector field in Minkowski spaceE 3 1, Adv. Math., Sci. J.13(2024), no. 3, 263–279.https://doi.org/10.37418/ amsj.13.3.1

work page 2024

[8] [8]

Sağlam, U

D. Sağlam, U. Selvi, F. Babadağ, A. Atasoy,Helices withF-constant vector fields in the Euclidean space E4, AIMS Math.11(2026), no. 2, 4299–4334.https://doi.org/10.3934/math.2026173

work page doi:10.3934/math.2026173 2026

[9] [9]

Walrave,Curves and Surfaces in Minkowski Space, Ph.D

J. Walrave,Curves and Surfaces in Minkowski Space, Ph.D. thesis, Katholieke Universiteit Leuven, 1995. 24

work page 1995