pith. sign in

arxiv: 2509.00860 · v3 · pith:DPTHX6JAnew · submitted 2025-08-31 · 🧮 math.DG

Cuspidal edges on focal surfaces of regular surfaces

Keisuke Teramoto This is my paper

Pith reviewed 2026-05-21 22:09 UTC · model grok-4.3

classification 🧮 math.DG
keywords cuspidal edgefocal surfacesingular curvatureparallel surfaceregular surfacesingularitydifferential geometry
0
0 comments X

The pith

The sign of the singular curvature at a cuspidal edge on a focal surface is determined from the singularities of the parallel surfaces of the original regular surface, when the surface meets certain conditions.

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

This paper studies geometric invariants of cuspidal edges that form on focal surfaces obtained from regular surfaces. Its main effort is to fix the sign of singular curvature at those cuspidal edges. The sign is read off from the singularities that appear on the parallel surfaces of the given regular surface. A reader would care because the result supplies a concrete link between two families of surfaces and makes the local shape of the focal surface predictable under the stated conditions.

Core claim

For regular surfaces that satisfy certain conditions, the sign of the singular curvature at a cuspidal edge on the focal surface is clarified directly from the singularities of the corresponding parallel surfaces.

What carries the argument

Singularities of parallel surfaces, which carry the information needed to fix the sign of singular curvature at cuspidal edges on focal surfaces.

If this is right

  • The focal surface inherits cuspidal edges whose singular curvature sign is fixed once the parallel-surface singularities are known.
  • Geometric invariants of cuspidal edges on focal surfaces become computable from parallel-surface data under the given conditions.
  • The local classification of focal surfaces gains a practical criterion based on parallel-surface behavior.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same parallel-surface approach might supply curvature signs for other singularity types that appear on focal surfaces.
  • Numerical checks on explicit surfaces such as spheres or tori could verify the sign rule before the general proof is applied.

Load-bearing premise

The regular surface must satisfy certain conditions that make the singularities of its parallel surfaces sufficient to determine the sign of singular curvature on the focal surface.

What would settle it

A concrete regular surface obeying the conditions for which the sign of singular curvature at a cuspidal edge on its focal surface differs from the sign predicted by the singularities of its parallel surfaces.

Figures

Figures reproduced from arXiv: 2509.00860 by Keisuke Teramoto.

Figure 1
Figure 1. Figure 1: Cuspidal edges with vanishing 𝜅𝜈 (left) and non-vanishing 𝜅𝜈 (right). On the other hand, 𝜅𝑠 corresponds to convexity or concavity of a cuspidal edge (see [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Cuspidal edges with positive 𝜅𝑠 (left) and negative 𝜅𝑠 (right). 𝐾 takes non-negative values around 𝑝, then 𝜅𝑠 takes non-positive values along the singular curve passing through 𝑝 ([22, Theorem 3.1]). 2.3. Rational order of functions. Let E2, 𝑝 be the local ring consisting of 𝐶 ∞ function germs (R 2 , 𝑝) → R at 𝑝 ∈ R 2 . Then ℎ ∈ E2, 𝑝 is said to be of order 𝑛 at 𝑝 if there exists an integer 𝑛(≥ 1) such tha… view at source ↗
Figure 3
Figure 3. Figure 3: The images of 𝑓 (blue), 𝑓 1 (purple) and 𝐶1 (gray). Example 4.9. Let 𝑓 :R 2 → R 3 be a regular surface given by 𝑓 (𝑢, 𝑣) =  𝑢, 𝑣, 1 2 𝑢 + 𝑢𝑣2 + 𝑢 4  . Then 𝜈(𝑢, 𝑣) = (−𝑢 − 𝑣 2 − 4𝑢 3 , −2𝑢𝑣, 1) √︁ 1 + 4𝑢 2𝑣 2 + (𝑢 + 𝑣 2 + 4𝑢 3 ) 2 is a unit normal vector to 𝑓 . By direct calculation, we see that 𝑓 1 = 𝑓 + 𝜈 is a cuspidal lips at (0, 0). Moreover, following similar calculations as in the previous example,… view at source ↗
Figure 4
Figure 4. Figure 4: The images of 𝑓 (red), 𝑓 1 (green) and 𝐶1 (purple) [PITH_FULL_IMAGE:figures/full_fig_p013_4.png] view at source ↗
read the original abstract

We investigate geometric invariants of cuspidal edges on focal surfaces of regular surface. In particular, we shall clarify the sign of the singular curvature at a cuspidal edge on a focal surface using singularities of parallel surface of a given surface satisfying certain conditions.

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

1 major / 2 minor

Summary. The paper investigates geometric invariants of cuspidal edges on focal surfaces of regular surfaces. In particular, it clarifies the sign of the singular curvature at a cuspidal edge on a focal surface by relating it to singularities of parallel surfaces of the given regular surface, under certain conditions on the surface.

Significance. If the central correspondence holds under the stated conditions, the result provides a concrete geometric criterion for determining the sign of singular curvature, which is a useful invariant in the study of singularities of surfaces and their envelopes. The approach leverages parallel surfaces and their singularities in a way that could extend existing techniques in differential geometry of singular curves.

major comments (1)
  1. §3, Theorem 3.2: the derivation of the sign of singular curvature assumes the surface satisfies the stated conditions (e.g., non-vanishing Gaussian curvature and transversality of the parallel surface singularities); it is not shown whether these conditions are necessary or if the sign formula extends when they fail, which is load-bearing for the claim of clarification.
minor comments (2)
  1. The abstract refers to 'certain conditions' without preview; these should be stated explicitly in the introduction or §2 for clarity.
  2. Notation for the singular curvature and the parallel surface singularities should be unified across §3 and §4 to avoid reader confusion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment and valuable feedback on our manuscript. We address the major comment in detail below and propose revisions to improve the clarity of our results.

read point-by-point responses

  1. Referee: §3, Theorem 3.2: the derivation of the sign of singular curvature assumes the surface satisfies the stated conditions (e.g., non-vanishing Gaussian curvature and transversality of the parallel surface singularities); it is not shown whether these conditions are necessary or if the sign formula extends when they fail, which is load-bearing for the claim of clarification.

    Authors: We agree with the referee that the derivation relies on the non-vanishing of the Gaussian curvature and the transversality condition. These are explicitly stated in the hypotheses of Theorem 3.2 to ensure that the focal surface exhibits a cuspidal edge singularity and that the parallel surfaces' singularities correspond appropriately. In the revised version, we will add a clarifying remark immediately following the theorem statement, explaining the role of these conditions and noting that they are sufficient for the sign determination as claimed. We do not claim the result holds without these assumptions, and a full investigation of degenerate cases would require additional techniques not covered in this work. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper derives the sign of singular curvature at cuspidal edges on focal surfaces from singularities of parallel surfaces under stated conditions on the given regular surface. This is a direct geometric correspondence in the theory of surfaces and their singularities, with no reduction of the central claim to a fitted parameter, self-definition, or load-bearing self-citation chain. The abstract and structure indicate an independent derivation from first principles of differential geometry rather than renaming or smuggling prior results as new predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background facts of surface theory in differential geometry; no free parameters or new invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption Regular surfaces possess well-defined focal surfaces and parallel surfaces whose singularities are geometrically meaningful.
    Invoked implicitly when relating cuspidal edges on focal surfaces to singularities on parallel surfaces.

pith-pipeline@v0.9.0 · 5546 in / 994 out tokens · 40732 ms · 2026-05-21T22:09:13.077034+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

28 extracted references · 28 canonical work pages

  1. [1]

    V. I. Arnol’d, S. M. Gusein-Zade and A. N. Varchenko, Singularities of Differentiable Maps, Vol. 1, Birkh ¨auser, 2012

    work page 2012

  2. [2]

    J. W. Bruce, Wavefronts and parallels in Euclidean space, Math. Proc. Cambridge Philos. Soc.93 (1983), 323–333

    work page 1983

  3. [3]

    J. W. Bruce and T. C. Wilkinson,Folding maps and focal sets, pp. 63–72 inSingularity theory and its applications, I (Coventry, 1988/1989), Lecture Notes in Math.1462, Springer, Berlin, 1991

    work page 1988

  4. [4]

    J. W. Bruce, P. J. Giblin and F. Tari, Families of surfaces: focal sets, ridges and umbilics, Math. Proc. Cambridge Philos. Soc. 125 (1999), 243–268

    work page 1999

  5. [5]

    J. W. Bruce and F. Tari, Frame and direction mappings for surfaces in R3, Proc. Roy. Soc. Edinburgh Sec. A. Mathematics, 149 (2019), 795–830

    work page 2019

  6. [6]

    M. P. do Carmo, Differential Geometry of Curves & Surfaces, Revised & Updated Second Edition, Dover Publications, Inc., Mineola, NY, 2016

    work page 2016

  7. [7]

    Fukui, Local differential geometry of cuspidal edge and swallowtail, Osaka J

    T. Fukui, Local differential geometry of cuspidal edge and swallowtail, Osaka J. Math. 57 (2020), 961–992

    work page 2020

  8. [8]

    Fukui and M

    T. Fukui and M. Hasegawa, Singularities of parallel surfaces, Tohoku Math. J. 64 (2012), 387–408

    work page 2012

  9. [9]

    Hopf, Differential Geometry in the Large, Lecture Notes in Math., Springer Berlin, Heidelberg, 1989

    H. Hopf, Differential Geometry in the Large, Lecture Notes in Math., Springer Berlin, Heidelberg, 1989. CUSPIDAL EDGES ON FOCAL SURFACES 15

    work page 1989

  10. [10]

    Izumiya, M

    S. Izumiya, M. C. Romero Fuster, M. A. S. Ruas and F. Tari, Differential Geometry from a Singularity Theory Viewpoint, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2016

    work page 2016

  11. [11]

    Izumiya and K

    S. Izumiya and K. Saji, The mandala of Legendrian dualities for pseudo-spheres in Lorentz-Minkowski space and “flat” spacelike surfaces, J. Singul. 2 (2010), 92–127

    work page 2010

  12. [12]

    Izumiya, K

    S. Izumiya, K. Saji and M. Takahashi, Horospherical flat surfaces in hyperbolic 3-space, J. Math. Soc. Japan 62 (2010), 789–849

    work page 2010

  13. [13]

    Kokubu, W

    M. Kokubu, W. Rossman, K. Saji, M Umehara and K. Yamada, Singularities of flat fronts in hyperbolic space , Pacific J. Math. 221 (2005), 303–351

    work page 2005

  14. [14]

    L. F. Martins and K. Saji, Geometric invariants of cuspidal edges, Canad. J. Math. 68 (2016), 445–462

    work page 2016

  15. [15]

    L. F. Martins, K. Saji, S. P. dos Santos and K. Teramoto, Boundedness of geometric invariants near a singular point which is a suspension of a singular curve, Rev. Un. Mat. Argentina

    work page

  16. [16]

    L. F. Martins, K. Saji, M. Umehara and K. Yamada,Behavior of Gaussian and mean curvature of wave fronts near a non-degenerate singular point, pp. 247–281 in Geometry and Topology of Manifolds, Springer Proc. Math. Stat. 154, Springer Japan, Tokyo, 2016

    work page 2016

  17. [17]

    T. A. Medina-Tejeda, Extendibility and boundedness of invariants on singularities of wavefronts, Monatsh. Math. 203 (2024), 199–221

    work page 2024

  18. [18]

    Morris, The sub-parabolic lines of a surface, pp

    R. Morris, The sub-parabolic lines of a surface, pp. 79–102 in The mathematics of surfaces, VI (Uxbridge, 1994), Inst. Math. Appl. Conf. Ser. New Ser.58, Oxford University Press, New York, 1996

    work page 1994

  19. [19]

    Oset Sinha and F

    R. Oset Sinha and F. Tari, On the flat geometry of cuspidal edge, Osaka J. Math. 55 (2018), 393–421

    work page 2018

  20. [20]

    I. R. Porteous, The normal singularities of submanifolds, J. Differential Geom. 5 (1971), 543–564

    work page 1971

  21. [21]

    I. R. Porteous, Geometric Differentiation: For the Intelligence of Curves and Surfaces, 2nd ed., Cambridge University Press, Cambridge, 2001

    work page 2001

  22. [22]

    K. Saji, M. Umehara and K. Yamada, The geometry of fronts, Ann. of Math. (2) 169 (2009), 491–529

    work page 2009

  23. [23]

    K. Saji, M. Umehara and K. Yamada, 𝐴𝑘 singularities of wave fronts, Math. Proc. Cambridge Philos. Soc. 146 (2009), 731–746

    work page 2009

  24. [24]

    Teramoto, Focal surfaces of wave fronts in the Euclidean 3-space, Glasg

    K. Teramoto, Focal surfaces of wave fronts in the Euclidean 3-space, Glasg. Math. J. 61 (2019), 425–440

    work page 2019

  25. [25]

    Teramoto, Principal curvatures and parallel surfaces of wave fronts, Adv

    K. Teramoto, Principal curvatures and parallel surfaces of wave fronts, Adv. Geom. 19 (2019), 541–554

    work page 2019

  26. [26]

    Teramoto, Focal surfaces of fronts associated to unbounded principal curvatures, Rocky Mountain J

    K. Teramoto, Focal surfaces of fronts associated to unbounded principal curvatures, Rocky Mountain J. Math.53 (2023), 1587–1608

    work page 2023

  27. [27]

    Teramoto, Geometric properties of caustics of pseudo-spherical surfaces, to appear in Rend

    K. Teramoto, Geometric properties of caustics of pseudo-spherical surfaces, to appear in Rend. Sem. Mat. Univ. Padova

    work page

  28. [28]

    Umehara, K

    M. Umehara, K. Saji and K. Yamada, Differential Geometry of Curves and Surfaces with Singularities, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2021. Department of Mathematics, Yamaguchi University , 1677-1 Yoshida, Yamaguchi 753-8512, Japan Email address: kteramoto@yamaguchi-u.ac.jp

    work page 2021