arxiv: 2604.03268 · v1 · submitted 2026-03-20 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Helicoidal surfaces of non-lightlike frontals in Lorentz-Minkowski 3-space

Kaixin Yao , Wei Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-15 07:45 UTC · model grok-4.3

classification 🧮 math.DG

keywords helicoidal surfacesnon-lightlike frontalsLorentz-Minkowski 3-spacesingular locicuspidal edgesdiffeomorphic transformationslightcone framed surfaces

0 comments

The pith

Diffeomorphic transformations identify singular types of helicoidal surfaces in Lorentz-Minkowski 3-space

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

The paper defines two types of helicoidal surfaces generated by non-lightlike frontals in Lorentz-Minkowski 3-space. It examines the conditions under which these surfaces become lightcone framed base surfaces. By constructing diffeomorphic transformations and applying criteria for (i,j)-cusps and (i,j)-cuspidal edges, the authors establish identification theorems that specify the singularity types along the singular loci for both 1-type and 2-type surfaces.

Core claim

By constructing appropriate diffeomorphic transformations and using the criteria of (i,j)-cusps and (i,j)-cuspidal edges, we establish identification theorems for the singular types of both 1-type and 2-type helicoidal surfaces on their singular loci.

What carries the argument

Diffeomorphic transformations that preserve singularity criteria for (i,j)-cusps and (i,j)-cuspidal edges on the helicoidal surfaces

Load-bearing premise

The constructed diffeomorphic transformations exist and preserve the required singularity criteria for the non-lightlike frontals under the helicoidal action.

What would settle it

A concrete 1-type or 2-type helicoidal surface of a non-lightlike frontal whose singular locus fails to match the predicted (i,j)-cusp or cuspidal edge form after the diffeomorphic transformation is applied.

Figures

Figures reproduced from arXiv: 2604.03268 by Kaixin Yao, Wei Zhang.

**Figure 2.** Figure 2: The 1-type helicoidal surface (mesh) and its singular locus (red curve). [PITH_FULL_IMAGE:figures/full_fig_p017_2.png] view at source ↗

**Figure 3.** Figure 3: The 2-type helicoidal surface (mesh) and its singular locus (red curve). [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗

read the original abstract

In this paper, we define two types of helicoidal surfaces of non-lightlike frontals in Lorentz-Minkowski 3-space and investigate when they become lightcone framed base surfaces. Moreover, by constructing appropriate diffeomorphic transformations and using the criteria of $(i,j)$-cusps and $(i,j)$-cuspidal edges, we establish identification theorems for the singular types of both 1-type and 2-type helicoidal surfaces on their singular loci.

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

This paper defines 1-type and 2-type helicoidal surfaces of non-lightlike frontals in Lorentz-Minkowski space and gives identification theorems for their singular loci via diffeomorphisms to standard cusps.

read the letter

Colleague, the main thing to know is that the authors introduce definitions for 1-type and 2-type helicoidal surfaces of non-lightlike frontals and then prove theorems that identify the singular points on those surfaces as specific (i,j)-cusps or cuspidal edges. They also check conditions under which the surfaces become lightcone framed base surfaces. This extends frontal singularity theory to the helicoidal case in the Lorentz setting. The strategy of building diffeomorphic transformations to reduce to known cusp criteria is a direct way to get concrete classification results, and the new definitions look independent of prior fitted quantities. The work is clearest in its outline of how the helicoidal action interacts with the frontal map. The soft spot is the diffeomorphism step. The non-lightlike condition and the cusp invariants depend on the Lorentz metric, so the transformations must preserve the sign of the induced metric and the relevant derivatives. The abstract claims appropriate maps are constructed, but the full verification that these maps commute with the metric in the needed way or cover all cases is not visible here. If the proofs include explicit checks for invariance under the helicoidal action, the theorems stand; otherwise that part of the argument needs tightening. No circularity appears in the new definitions or theorems. This is for people already working on singularities of surfaces in Lorentz-Minkowski space or on extensions of frontal theory. A reader in that narrow subfield would find the classification theorems useful as concrete tools. It deserves a serious referee to check the diffeomorphism constructions and the completeness of the case analysis.

Referee Report

2 major / 2 minor

Summary. The paper defines two types of helicoidal surfaces of non-lightlike frontals in Lorentz-Minkowski 3-space. It investigates conditions under which they become lightcone framed base surfaces and establishes identification theorems for the singular types of 1-type and 2-type helicoidal surfaces on their singular loci, using constructed diffeomorphic transformations together with the criteria for (i,j)-cusps and (i,j)-cuspidal edges.

Significance. If the identification theorems hold, the work supplies a classification of singularities for a natural class of surfaces in Lorentz-Minkowski space that extends existing cusp-edge theory to the helicoidal setting. The explicit use of diffeomorphisms to reduce to standard models is a potentially useful technique, provided the metric-dependent conditions are preserved.

major comments (2)

[Identification theorems for 1-type and 2-type surfaces] The central identification theorems rest on diffeomorphisms that are asserted to map singular loci to standard (i,j)-cuspidal edges while preserving both the frontal property and the non-lightlike condition. No explicit verification is given that these maps commute with the Lorentzian metric or preserve the sign of the induced metric on the normal; an arbitrary diffeomorphism can alter the lightlike character of the normal and thereby change the (i,j) type. This invariance must be checked directly for the helicoidal action (see the construction in the section containing the identification theorems).
[Section defining the diffeomorphic transformations] The abstract states that the diffeomorphisms are constructed so that the singularity criteria apply, yet the manuscript provides no concrete coordinate computations or derivative checks confirming that the transformed map remains a non-lightlike frontal. Without these checks the reduction to the standard (i,j)-cusp models is not yet load-bearing.

minor comments (2)

[Introduction] Notation for the two types of helicoidal surfaces should be introduced with a short table or explicit formulas early in the text to avoid repeated reference to the abstract.
[Preliminaries] A brief remark on how the Lorentzian inner product is used in the definition of non-lightlike frontals would clarify the metric dependence for readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for explicit invariance checks on the diffeomorphisms. We agree that the current manuscript lacks direct coordinate verifications and will supply them in the revision. Below we address each major comment.

read point-by-point responses

Referee: [Identification theorems for 1-type and 2-type surfaces] The central identification theorems rest on diffeomorphisms that are asserted to map singular loci to standard (i,j)-cuspidal edges while preserving both the frontal property and the non-lightlike condition. No explicit verification is given that these maps commute with the Lorentzian metric or preserve the sign of the induced metric on the normal; an arbitrary diffeomorphism can alter the lightlike character of the normal and thereby change the (i,j) type. This invariance must be checked directly for the helicoidal action (see the construction in the section containing the identification theorems).

Authors: We acknowledge that the manuscript does not contain explicit derivative computations confirming metric preservation. In the revised version we will insert a dedicated lemma (immediately preceding the identification theorems) that computes the pull-back of the Lorentzian metric under the constructed diffeomorphisms, verifies that the transformed map remains a frontal, and shows that the sign of the induced metric on the normal is unchanged. The helicoidal symmetry is used to reduce the computation to a one-variable ODE along the generating curve, which we will solve explicitly. revision: yes
Referee: [Section defining the diffeomorphic transformations] The abstract states that the diffeomorphisms are constructed so that the singularity criteria apply, yet the manuscript provides no concrete coordinate computations or derivative checks confirming that the transformed map remains a non-lightlike frontal. Without these checks the reduction to the standard (i,j)-cusp models is not yet load-bearing.

Authors: We agree that concrete checks are missing. The revision will expand the section on diffeomorphic transformations with explicit coordinate expressions for both 1-type and 2-type cases. We will compute the first and second derivatives of the composed map, confirm that the rank condition for a frontal is preserved, and evaluate the non-lightlike condition on the normal vector field at points of the singular locus. These calculations will be presented in local coordinates adapted to the helicoidal action. revision: yes

Circularity Check

0 steps flagged

No circularity: definitions and theorems rely on independent constructions

full rationale

The paper defines two types of helicoidal surfaces of non-lightlike frontals, investigates their lightcone framed base surfaces, and establishes identification theorems for singular types using diffeomorphic transformations together with (i,j)-cusp and (i,j)-cuspidal edge criteria. These steps introduce new objects and apply external singularity classification tools without any quoted reduction of a derived quantity to a fitted input, self-referential definition, or load-bearing self-citation. The derivation chain remains self-contained against the stated assumptions and does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Relies on standard differential geometry axioms for Lorentz-Minkowski space and frontal surfaces; no free parameters or invented entities introduced in the abstract.

axioms (1)

standard math Standard axioms of smooth manifolds, Lorentzian metrics, and singularity theory for frontals
Background framework for defining surfaces and cusps in the space.

pith-pipeline@v0.9.0 · 5363 in / 1181 out tokens · 39559 ms · 2026-05-15T07:45:22.282685+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lorentz-Minkowski 3-space R³₁ is a fundamental geometric model for describing flat spacetime... We define the 1-type helicoidal surface... and the 2-type helicoidal surface...
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

by constructing appropriate diffeomorphic transformations and using the criteria of (i,j)-cusps and (i,j)-cuspidal edges, we establish identification theorems

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

30 extracted references · 30 canonical work pages

[1]

Buisseret, V

F. Buisseret, V. Mathieu and C. Semay. String deformations induced by retardation effects in mesons. Eur. Phys. J. A 31 (2007), 213–220

work page 2007
[2]

Caddeo, I

R. Caddeo, I. I. Onnis and P. Piu. Bour’s theorem and helicoidal surfaces with constant mean curvature in the Bianchi-Cartan-Vranceanu spaces. Ann. Mat. Pura Appl. (4) 201 (2022), 913– 932

work page 2022
[3]

Calvaruso, I

G. Calvaruso, I. I. Onnis, L. Pellegrino and D. Uccheddu. Helix surfaces for Berger-like metrics on the anti-de Sitter space. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118 (2024), 54, 29pp

work page 2024
[4]

Capozziello and M

S. Capozziello and M. Capriolo. Gravitational waves in non-local gravity. Class. Quantum Grav. 38 (2021), 175008, 22pp

work page 2021
[5]

Fukunaga and M

T. Fukunaga and M. Takahashi. Framed surfaces in the Euclidean space. Bull. Braz. Math. Soc. (N.S.) 50 (2019), 37–65

work page 2019
[6]

Fukunaga and M

T. Fukunaga and M. Takahashi. Singularities of translation surfaces in the Euclidean 3-space. Result. Math. 77 (2022), 89

work page 2022
[7]

Gourgoulhon

É. Gourgoulhon. Geometry and physics of black holes: Lecture notes. Draft report. Version of 4 January 2026. https://relativite.obspm.fr/blackholes

work page 2026
[8]

A. Gray, E. Abbena and S. Salamon. Modern differential geometry of curves and surfaces with Mathematica, Third edition . Studies in Advanced Mathematics. Chapman and Hall/CRC, Boca Raton, FL, 2006. 18

work page 2006
[9]

Hasse, M

W. Hasse, M. Kriele and V. Perlick. Caustics of wavefronts in general relativity. Class. Quantum Grav. 13 (1996), 1161–1182

work page 1996
[10]

Hattori, A

Y. Hattori, A. Honda and T. Morimoto. Bour’s theorem for helicoidal surfaces with singularities. Diiffer. Geom. Appl. 99 (2025), 102248, 23 pp

work page 2025
[11]

Honda and M

S. Honda and M. Takahashi. Framed curves in the Euclidean space. Adv. Geom. 16(3) (2016), 265–276

work page 2016
[12]

Y. Li, Q. Sun. Evolutes of fronts in the Minkowski plane. Math. Methods Appl. Sci. 42 (2019), 5416-5426

work page 2019
[13]

M. Li, D. Pei and M. Takahashi. Lightcone framed surfaces in the Lorentz-Minkowski 3-space. J. Korean Math. Soc. 62 (2025), 1313-1333

work page 2025
[14]

Z. Li, S. Liu and Z. Wang. Framed slant helices, singularities of developable surfaces and bifur- cations of support functions. J. Geom. Anal. 35 (2025), 50pp

work page 2025
[15]

R. López. Differential geometry of curves and surfaces in Lorentz-Minkowski space. Int. Electron. J. Geom. 7 (2014), 44-107

work page 2014
[16]

Lucas and J.A

P. Lucas and J.A. Ortega-Yagües. Helix surfaces and slant helices in the three-dimensional anti- De Sitter space. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 111 (2017), 1201–1222

work page 2017
[17]

Lucas and J.A

P. Lucas and J.A. Ortega-Yagües. A property that characterizes the Enneper surface and helix surfaces. Mediterr. J. Math. 21 (2024), 155, 14pp

work page 2024
[18]

Martins and S.P.d

L.F. Martins and S.P.d. Santos. Helicoidal surfaces of frontals in Euclidean space as deformations of surfaces of revolution with singularities. Res. Math. Sci. 12 (2025), 97, 22pp

work page 2025
[19]

Montaldo, I.I

S. Montaldo, I.I. Onnis and A. Passos Passamani. Helix surfaces in the special linear group. Ann. Mat. Pura Appl. (4) 195 (2016), 59–77

work page 2016
[20]

Nakatsuyama, K

N. Nakatsuyama, K. Saji, R. Shimada and M. Takahashi. Singularities of helicoidal surfaces of frontals in the Euclidean space. Indian J. Pure Appl. Math. (2025). DOI: 10.1007/s13226-025- 00856-9

work page doi:10.1007/s13226-025- 2025
[21]

B. O’Neill. Semi-Riemannian geometry. Academic Press, New York, 1983

work page 1983
[22]

Onnis and P

I.I. Onnis and P. Piu. Constant angle surfaces in the Lorentzian Heisenberg group. Arch. Math. 109 (2017), 575–589

work page 2017
[23]

Onnis, A

I.I. Onnis, A. Passos Passamani and P. Piu. Constant angle surfaces in Lorentzian Berger spheres. J. Geom. Anal. 29 (2019), 1456–1478

work page 2019
[24]

Pellegrino

L. Pellegrino. Constant angle surfaces in M 2 1 (κ) R. Mediterr. J. Math. 22 (2025), 101, 15pp

work page 2025
[25]

Pellegrino

L. Pellegrino. Helix surfaces in Lorentzian Heisenberg group. arXiv: 2511.06932 (2025)

work page arXiv 2025
[26]

I. R. Porteous. Geometric differentiation for the intelligence of curves and surfaces . Cambridge University Press, Cambridge, 1994

work page 1994
[27]

D. Pei, M. Takahashi and W. Zhang. Pseudo-circular evolutes and involutes of lightcone framed curves in the Lorentz-Minkowski 3-space. Int. J. Geom. Methods Mod. Phys. 22(6) (2025), 2550012, 36pp. 19

work page 2025
[28]

Takahashi, K

M. Takahashi, K. Teramoto. Surfaces of revolution of frontals in the Euclidean space. Bull. Braz. Math. Soc. (N.S.) 51 (2020), 887–914

work page 2020
[29]

Y. Wang, Y. Chang and H. Liu. Singularities of helix surfaces in Euclidean 3-space. J. Geom. Phys. 156 (2020), 103781, 13pp

work page 2020
[30]

K. Yao, M. Li, E. Li and D. Pei. Pedal and contrapedal curves of framed immersions in the Euclidean 3-apace. Mediterr. J. Math. 20 (2023), 204, 13pp. 20

work page 2023