Cuspidal edges with the same first fundamental forms along a knot

Atsufumi Honda; Kentaro Saji; Kosuke Naokawa; Kotaro Yamada; Masaaki Umehara

Cuspidal edges with the same first fundamental forms along a knot

T0 review · 0 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A cuspidal edge along a closed analytic curve admits four continuous families of isometric deformations; generically these contain uncountably many non-congruent isomers.

desk verdict Genuine closed-curve extension of the local isometric-deformation results, complete modulo explicitly stated analyticity and strict admissibility assumptions. read the letter →

arxiv 1908.06609 v3 pith:T5PRBI6W submitted 2019-08-19 math.DG

Atsufumi Honda , Kosuke Naokawa , Kentaro Saji , Masaaki Umehara , Kotaro Yamada This is my paper · ORCID

classification math.DG MSC 57R4553A05

keywords cuspidaledgewavefrontsingularityfirstfundamentalformisometricdeformationisomersingularcurvatureKossowskimetric

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes that an isometric deformation of a cuspidal edge—a surface with a singular crease along a curve—is far from unique when the crease curve is closed. For any real analytic cuspidal edge along an embedded closed curve (a knot) satisfying a mild admissibility inequality, the authors construct four continuous one-parameter families of cuspidal edges along the same curve that all share the original first fundamental form. The four families are exhaustive: every isometric deformation with the same singular curve is right equivalent to a member of one of them. If the curve is not a circle and the metric has at most finitely many effective symmetries, these families contain uncountably many mutually non-congruent cuspidal edges. The result turns a local phenomenon—three distinct isometric forms—into a global statement that holds around a closed loop.

What carries the argument

The machinery is a normal form plus a local existence theorem. Every cuspidal edge along a curve admits a normal form f(t,v)=γ(t)+(A(t,v),B(t,v)) applied to the rotated normal and binormal frame of γ, where the rotation angle θ(t) is the cuspidal angle, t is arc length, and v is the normalized half-arc-length parameter. In this form the singular curvature is κ_s(t)=κ(t) cos θ(t). The local existence step is Lemma 2.1: for a periodic Kossowski metric $ds^{2}$—a positive semidefinite metric satisfying F(t,0)=G(t,0)=0 and $λ^{2}$=EG−$F^{2}$ with λ(t,0)=0 and λ_v(t,0)≠0—together with the strict inequality |κ_s|<κ, a Cauchy–Kowalevski theorem supplies exactly two cuspidal edges f_+ and f_- along C realizing $ds^{2}$, distinguished by the sign of their limiting normal curvature. Varying the base point a∈$S^{1}$ and reversing the orientation of γ produces the four families, and real analyticity lets the locally constructed pieces glue consistently around the closed loop.

What would settle it

Find an admissible real analytic cuspidal edge on a non-circular knot for which the curvature and torsion functions satisfy κ(a_n)=κ(a_0) and τ(a_n)=τ(a_0) for infinitely many distinct base points a_n; the proof of the finiteness clause shows no such accumulation can occur unless the curve is a circle, so such an example would refute the uncountability claim. Concretely, one can compute these level sets on the trefoil examples in the paper and look for repeated values of curvature and torsion along one period.

Watch

Extended reading notes

Core claim

Theorem 1.8 is the paper's central claim. Fix a closed real analytic embedded curve C in $R^{3}$ and an admissible real analytic cuspidal edge germ g along C, meaning its singular curvature κ_s satisfies max |κ_s| < min κ along C. Then there exist four continuous one-parameter families f_P^i (i=1,2,3,4, P∈C) of real analytic cuspidal edges along C, each isometric to g in the sense of sharing the first fundamental form $ds^{2}$, and one member of the families is right equivalent to g itself. The families are complete: any isomer of g—an isometric cuspidal edge not right equivalent to g—is right equivalent to some member of one of the four families. If C is not a circle and $ds^{2}$ has at most finitely many effective symmetries, then each congruence class inside a family is finite and the total number of mutually non-congruent isomers is uncountable. If C has no symmetries and $ds^{2}$ has no effective symmetries, each congruence class is a singleton.

Load-bearing premise

The central load-bearing premise is that all data are real analytic and satisfy the strict inequality max |κ_s| < min κ; if either fails, the local existence theorem that the proof invokes at every step of the loop construction is not available.

Editorial extensions

If this is right

Every admissible real analytic cuspidal edge along a closed curve admits continuous families of isometric deformations, so closed singular fronts are flexible in a strong, controlled sense.
The three previously known isomers for non-closed curves—dual, inverse, and inverse dual—are recovered as local restrictions of the four families at a base point.
For a generic non-circular knot whose metric has at most finitely many effective symmetries, the isometry class contains uncountably many pairwise non-congruent cuspidal edges.
If the curve has no symmetries and the metric has no effective symmetries, each congruence class in the four families is a singleton.
The proof shows that infinitely many mutually congruent members of these families would force the curve's curvature and torsion to be locally constant, which is impossible for a non-circular knot; non-circularity is exactly what blocks such accumulation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The theorem suggests a compact one-dimensional moduli picture: for a generic knot, cuspidal-edge germs with a fixed first fundamental form should form four circles indexed by base point, modulo the metric's finite symmetry group.
The real analyticity assumption is essential to the proof's Cauchy–Kowalevski step, but it is not obvious that the conclusion would fail for merely smooth fronts; testing a smooth analogue would separate analytic rigidity from genuine geometric flexibility.
A natural next question is whether the sign of the limiting normal curvature, which labels the f_+ versus f_- branches, is detected by intrinsic invariants such as Gaussian curvature, since the construction distinguishes the branches only extrinsically.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: this paper does what it says. It extends the authors' earlier local three-isomer theorem for cuspidal edges to closed curves (knots), and the answer is the opposite of rigidity: four continuous families of pairwise isometric cuspidal edges along a knot, with uncountably many non-congruent members in the generic case.

What's actually new: the patching argument in Lemma 2.1 that globalizes the local existence theorem from their earlier paper, the classification of all isomers as belonging to one of four families (Theorem 1.8(ii)), and the congruence-counting arguments in (iii) and (iv) that use real analyticity of curvature and torsion to push a sequence of congruent isomers to a contradiction. The torus-knot examples and the appendix lemma on non-symmetric functions are useful additions.

Credit where due: the proof is honest about its assumptions. The price is real analyticity and the strict admissibility inequality (1.3). Both are stated plainly up front, and the exclusion of constant Gaussian curvature fronts is noted. The Cauchy-Kowalevski theorem does the heavy lifting; this is not a constructive proof, but existence is all the authors claim. The gluing step in Lemma 2.1 is the most delicate part, and the sign-flip argument using continuity of the cuspidal angle is correct. I also checked the self-citation concern: the new theorem is not used to prove itself, and the cited local result [3, Theorem 3.9] is the right tool.

Soft spots, in proportion: the restrictions are not cosmetic. A smooth version would need a different method, and equality cases in (1.3) are out of reach. Anyone hoping for a statement about C^infinity wave fronts or constant curvature examples won't get it. That said, the authors never pretend otherwise. The reliance on their own prior theorem is fine—it's a preprint, but the logic is sound and the dependency is explicit.

Who this is for: people working on singularities of wave fronts, isometric deformations of singular metrics, and the geometry of cuspidal edges. It deserves a serious referee; the details are checkable and the result is a genuine step beyond the local theorems.

I'd send it out.

Referee Report

0 major / 6 minor

Summary. The paper studies real analytic cuspidal edge germs along a closed real analytic embedded curve C (a knot) in Euclidean 3-space. For an admissible germ g (one whose singular curvature satisfies the strict inequality max |kappa_s| < min kappa), the main theorem constructs four continuous one-parameter families of real analytic cuspidal edges along C that are all isometric to g, i.e., they share the same first fundamental form. Under additional genericity assumptions, the theorem shows that these families contain uncountably many mutually non-congruent isomers, and in the most rigid case each congruence class is a singleton. The proof is based on a Cauchy-Kowalevski existence theorem from the authors' earlier work [3, Theorem 3.9], which is patched over the circle in Lemma 2.1 using a gluing argument, and on real analyticity of the curvature and torsion functions of the knot.

Significance. If the result holds, it establishes a striking flexibility property for cuspidal edge singularities: even along a closed analytic curve, the first fundamental form does not determine the surface up to Euclidean congruence, and in fact the non-congruent isometric realizations form uncountably many classes. This is a substantial contribution to the isometric deformation theory of wave fronts and singular surfaces, building on and globalizing the authors' previous local results. The manuscript is carefully structured, states its hypotheses explicitly, and provides a detailed proof of the gluing argument. The reliance on the prior existence theorem is clearly flagged, and the examples help to illustrate the scope of the result.

minor comments (6)

[Examples 1.6 and 1.11] In Examples 1.6 and 1.11, the maps defined by A(t,v)=t^2 and B(t,v)=t^3 cannot be cuspidal edges, since A and B are independent of v and the resulting parametrization does not have a sectional cusp in the v-direction; presumably the intended formulas are A(t,v)=v^2 and B(t,v)=v^3, and the text should be corrected accordingly. The subsequent statements about the cuspidal angle and the first fundamental form should be checked after this correction.
[Proof of Lemma 2.1] In the proof of Lemma 2.1, the metric on each coordinate neighborhood is written as ds^2 = E_i(dx_i)^2 + G_i(dy_i)^2, omitting the cross term; the correct expression is ds^2 = E_i(dx_i)^2 + 2F_i dx_i dy_i + G_i(dy_i)^2, since F_i need not vanish away from the singular set.
[Theorem 1.8] The theorem states that the four families {f^i_P}_{P in C} are continuous in P, but the proof constructs the maps pointwise for each a in [0,l) and does not explicitly justify continuity in a. Please add a short argument showing that the maps depend continuously on a, for instance by citing the parameter dependence of the Cauchy-Kowalevski solutions in [3, Theorem 3.9].
[Remark 1.9] There is a typo in the last sentence of Remark 1.9: 'Theorem I])D' should read 'Theorem I]).'
[Proof of Theorem 1.8(iii)] In the derivation that the torsion function tau is constant from the relation sigma''_n tau(a_n) = tau(a_2), the text should explicitly say that one passes to a subsequence on which sigma''_n is constant; otherwise the accumulation argument is not immediate.
[Lemma A.1] In the proof of Lemma A.1, the phrase 'If c_n is an irrational number' should be replaced by 'if c_n/l is irrational', since the density of the set {sigma_n m + c_n} in R/lZ depends on the irrationality of c_n modulo the period l.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the four families are produced by a genuine Cauchy–Kowalevski construction; the infinite family comes from sliding the singular-curve parameter, not from assuming the conclusion.

full rationale

The derivation is not circular. The central construction in Lemma 2.1 is a direct application of the authors' earlier Cauchy–Kowalevski existence theorem [3, Theorem 3.9] to a periodic Kossowski metric ds² and an arc-length parametrized closed analytic curve γ, under the explicit admissibility inequality (1.3)/(2.2). That theorem is an external local existence/uniqueness statement whose hypotheses (real analyticity, E(t,0)=1, F=G=0 on the singular curve, |κ_s|<κ) are checked in the paper; it is not the same as Theorem 1.8, and the theorem being proved is not used as its own input. The four families f^i_γ(a) are then obtained by applying Lemma 2.1 to the shifted and reflected curves γ(t+a) and γ(−t+a); equality of first fundamental forms is not fitted or assumed but is enforced by giving each f^i_γ(a) the same metric ds². The non-congruence assertions in (iii) and (iv) are proved from real analyticity of curvature and torsion: if infinitely many distinct parameters a_n produced congruent fronts, then κ and τ would be constant, forcing C to be a circle. This is a genuine geometric contradiction, not a restatement of the hypothesis. The proof of (ii) uses the uniqueness part of Lemma 2.1, which is inherited from the cited prior theorem; even if one questioned that theorem's proof, that would be a correctness or evidence concern, not circularity. No step defines its output in terms of its input, no fitted parameter is renamed as a prediction, and the self-citation [3] is used as a prior theorem with stated assumptions rather than as a way of importing the target result.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on the analytic existence theory for Kossowski metrics from the authors' own prior work, plus standard differential-geometric facts about curvature and torsion. No numerical fitting or invented entities appear.

assumptions (5)

domain assumption Theorem 3.9 of [3]: local existence and uniqueness of cuspidal edges with prescribed Kossowski metric and given singular curve under |kappa_s| < kappa.
Invoked in Lemma 2.1 (p.7-8) to obtain local real analytic solutions f_plus,i and f_minus,i on each patch U_i of S^1.
domain assumption Fukui's normal form (1.1) represents any cuspidal edge germ along C uniquely up to right equivalence (Proposition 1.2).
Used throughout to fix t as arc-length and v as normalized half-arc-length parameter; the proof relies on definitions from [3, Appendix A].
domain assumption For a cuspidal edge, the first fundamental form ds^2 is a periodic Kossowski metric and the singular curvature kappa_s is given by (2.1).
Quoted from [3, Lemma 2.9 and Remark 3.5]; used to connect the metric to the curve data and to define the admissibility condition.
domain assumption The closed curve C is embedded in R^3 with positive curvature function kappa(t), and the cuspidal edge germ is admissible, satisfying (1.3).
Stated in the setup and in Theorem 1.8; required for the strict inequality in (2.5) and for the Cauchy-Kowalevski application in Lemma 2.1.
standard math kappa and tau are real analytic functions on S^1 for a closed C^omega curve; if they are constant then the curve is a circle.
Used in the congruence proof of Theorem 1.8(iii) to force a contradiction from infinitely many distinct shifts a_n.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cuspidal edges with the same first fundamental forms along a knot." pith.science (2026). https://pith.science/paper/T5PRBI6W

@misc{pith2026190806609,
  author       = {Pith},
  title        = {Pith review of: Cuspidal edges with the same first fundamental forms along a knot},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T5PRBI6W}},
  note         = {Machine review of arXiv:1908.06609}
}

abstract

Letting $C$ be a compact $C^\omega$-curve embedded in $\boldsymbol R^3$ ($C^\omega$ means real analyticity), we consider a $C^\omega$-cuspidal edge $f$ along $C$. When $C$ is non-closed, in the authors' previous works, the local existence of three distinct cuspidal edges along $C$ whose first fundamental forms coincide with that of $f$ was shown, under a certain reasonable assumption on $f$. In this paper, if $C$ is closed, that is, $C$ is a knot, we show that there exist infinitely many cuspidal edges along $C$ having the same first fundamental form as that of $f$ such that their images are non-congruent to each other, in general.

Figures

Figures reproduced from arXiv: 1908.06609 by the authors.

**Figure 1.** The standard cuspidal edge and two mutually congruent cuspidal edges along a helix Date: April 27, 2020. 2010 Mathematics Subject Classification. Primary 57R45; Secondary 53A05. Key words and phrases. singularity, wave front, cuspidal edge, first fundamental form. The first author was partially supported by Grant-in-Aid for Early-Career Scientists No. 19K14526. The second author was partially supported by Grant-in-… view at source ↗

**Figure 2.** Cuspidal edges along the curves γ1 (left) and γ2 (right) (cf. Example 1.6) [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

Brander, Spherical surfaces, Experimental Mathematics 25 (2016), 257–272

D. Brander, Spherical surfaces, Experimental Mathematics 25 (2016), 257–272

work page 2016
[2]

Fukui, Local diﬀerential geometry of cuspidal edge and swallowtai l, to appear in Osaka J

T. Fukui, Local diﬀerential geometry of cuspidal edge and swallowtai l, to appear in Osaka J. Math. (www.rimath.saitama-u.ac.jp/lab.jp/Fukui/preprint/CE ST.pdf)

work page
[3]

Duality on generalized cuspidal edges preserving singular set images and first fundamental forms

A. Honda, K. Naokawa, K. Saji, M. Umehara, and K. Yamada, Duality on general- ized cuspidal edges preserving singular set images and ﬁrst fundamental forms , preprint (arXiv:1906.02556)

work page Pith review arXiv 1906
[4]

Isometric deformations of wave fronts at non-degenerate singular points

A. Honda, K. Naokawa, M. Umehara, and K. Yamada, Isometric deformations of wave fronts at non-degenerate singular points , to appear in Hiroshima Math. J. (arXiv:1710.02999)

work page Pith review arXiv
[5]

Martins, K

L. Martins, K. Saji, M. Umehara and K. Yamada, Behavior of Gaussian curvature and mean curvature near non-degenerate singular points on wave fron ts, Geometry and Topology of Manifolds, 247–281, Springer Proc. Math. Stat., 154, Springer, Shanghai, (2016)

work page 2016
[6]

K. Saji, M. Umehara, and K. Yamada, The geometry of fronts , Ann. of Math. 169 (2009), 491–529. (Atsufumi Honda) Department of Applied Mathematics, F aculty of Engineering, Yoko- hama National University, 79-5 Tokiw adai, Hodogaya, Yokohama 2 40-8501, Japan E-mail address : honda-atsufumi-kp@ynu.ac.jp (Kosuke Naokawa) Department of Computer Science, F acu...

work page 2009

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Brander, Spherical surfaces, Experimental Mathematics 25 (2016), 257–272

D. Brander, Spherical surfaces, Experimental Mathematics 25 (2016), 257–272

work page 2016

[2] [2]

Fukui, Local diﬀerential geometry of cuspidal edge and swallowtai l, to appear in Osaka J

T. Fukui, Local diﬀerential geometry of cuspidal edge and swallowtai l, to appear in Osaka J. Math. (www.rimath.saitama-u.ac.jp/lab.jp/Fukui/preprint/CE ST.pdf)

work page

[3] [3]

Duality on generalized cuspidal edges preserving singular set images and first fundamental forms

A. Honda, K. Naokawa, K. Saji, M. Umehara, and K. Yamada, Duality on general- ized cuspidal edges preserving singular set images and ﬁrst fundamental forms , preprint (arXiv:1906.02556)

work page Pith review arXiv 1906

[4] [4]

Isometric deformations of wave fronts at non-degenerate singular points

A. Honda, K. Naokawa, M. Umehara, and K. Yamada, Isometric deformations of wave fronts at non-degenerate singular points , to appear in Hiroshima Math. J. (arXiv:1710.02999)

work page Pith review arXiv

[5] [5]

Martins, K

L. Martins, K. Saji, M. Umehara and K. Yamada, Behavior of Gaussian curvature and mean curvature near non-degenerate singular points on wave fron ts, Geometry and Topology of Manifolds, 247–281, Springer Proc. Math. Stat., 154, Springer, Shanghai, (2016)

work page 2016

[6] [6]

K. Saji, M. Umehara, and K. Yamada, The geometry of fronts , Ann. of Math. 169 (2009), 491–529. (Atsufumi Honda) Department of Applied Mathematics, F aculty of Engineering, Yoko- hama National University, 79-5 Tokiw adai, Hodogaya, Yokohama 2 40-8501, Japan E-mail address : honda-atsufumi-kp@ynu.ac.jp (Kosuke Naokawa) Department of Computer Science, F acu...

work page 2009