arxiv: 2605.12052 · v1 · submitted 2026-05-12 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Criteria and Curvatures for Singularities of Finite Multiplicities of Curves in boldsymbol{R}^N

Jun Matsumoto, Kiyoto Yanagida, Shuki Sano

Pith reviewed 2026-05-13 04:33 UTC · model grok-4.3

classification 🧮 math.DG

keywords finite multiplicity singularitiescurves in Euclidean spacecuspidal curvaturenormalized curvaturessingularity criteriaFukui theoremdifferential geometry of curves

0 comments

The pith

A systematic procedure yields explicit criteria for finite-multiplicity singularities of curves in R^N and generalizes curvatures to reinterpret Fukui's theorem.

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

The paper develops a general method to create criteria that detect when a parametrized curve in R^N has a singularity of a given finite multiplicity. This matters because in dimensions three and higher new kinds of cusps arise that are not seen in the plane, and having concrete tests helps classify them. The authors also extend the usual normalized curvature functions and the cuspidal curvature to these singular cases. With the new curvatures in hand they show how to recover the existence and uniqueness result for such curves that was originally proved by Fukui.

Core claim

The central discovery is a systematic procedure for building singularity criteria for finite-multiplicity curves in R^N, together with explicit criteria for multiplicities two, three, and four (including higher-dimensional cusps), and the generalization of normalized curvature functions and cuspidal curvature, which then allows a reinterpretation of Fukui's existence and uniqueness theorem for these curves.

What carries the argument

The systematic procedure for constructing singularity criteria, which relies on analyzing the vanishing orders of derivatives in a suitable parametrization, along with the generalized normalized curvature functions and cuspidal curvature defined for singular curves.

If this is right

Explicit algebraic or differential conditions exist that identify double-point, triple-point, and quadruple-point singularities, as well as cusps special to R^3 and higher.
Normalized curvature functions can be defined even when the curve is singular, providing invariants that distinguish different singularity types.
Fukui's existence and uniqueness theorem for finite-multiplicity curves can be restated directly in terms of the vanishing of these generalized curvatures.
Criteria for multiplicity five and higher follow the same construction pattern though not computed explicitly here.

Where Pith is reading between the lines

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

These generalized curvatures might serve as tools for numerical detection of singularities in discretized curve data.
The procedure could be adapted to study singularities of maps from higher-dimensional domains into R^N.
Connections to contact geometry or singularity theory of functions might yield further classification results.

Load-bearing premise

The curve admits a C^infty parametrization in which the order of vanishing of the first few derivatives determines the multiplicity and allows the curvature functions to be defined without division by zero.

What would settle it

A concrete counterexample would be a specific C^infty curve in R^4 whose parametrization satisfies the multiplicity-four condition but violates one of the explicit criteria derived by the procedure.

Figures

Figures reproduced from arXiv: 2605.12052 by Jun Matsumoto, Kiyoto Yanagida, Shuki Sano.

**Figure 1.** Figure 1: Singular curves appearing on surfaces in R3 The blue curve in each figure above is the image of the singular set of the swallowtail and the cuspidal butterfly. The left curve in the above figure is a (2, 3)-cusp, and the right curve is a (3, 4, 5)-cusp in R3 . The red point denotes the singular point of each curve. and uniqueness theorem. Fukui [3] later generalized this differential geometric approach, … view at source ↗

read the original abstract

First, this paper presents a systematic procedure for constructing criteria for singularities of curves of finite multiplicities in $\boldsymbol{R}^N$. Based on this method, we provide explicit criteria for singularities of multiplicities two, three, and four, including specific cusps appearing only in dimensions three or higher. Furthermore, we generalize the normalized curvature functions and the cuspidal curvature to singular curves in $\boldsymbol{R}^N$. Using these generalized curvatures, we reinterpret the existence and uniqueness theorem given by Fukui for curves in $\boldsymbol{R}^N$ of finite multiplicities.

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

Explicit criteria for multiplicities 2-4 plus curvature generalizations that recast Fukui's theorem on curve singularities in R^N.

read the letter

This paper gives explicit criteria for singularities of curves with finite multiplicity up to 4 in R^N, plus a generalization of some curvature functions that lets them reinterpret Fukui's existence-uniqueness theorem. They start with a systematic procedure for building these criteria from the parametrization of the curve. From that they derive concrete conditions for multiplicity 2, 3, and 4, and they note some cusp types that only occur in dimensions 3 and higher. The curvature part extends the normalized curvature functions and the cuspidal curvature to singular curves in any dimension N, then applies those to recast the Fukui result in terms of the new curvatures. What stands out is the concreteness. Having the explicit lists for low multiplicities should make it easier for people to check examples or classify low-order singularities without going back to the general theory each time. The procedure itself looks reusable, which is a plus for the subfield. The soft spots are minor. The contribution is incremental rather than transformative; it refines and extends existing ideas without introducing major new concepts or applications outside singularity theory. The reinterpretation of Fukui depends on the curvature definitions being well-behaved, but the construction appears independent enough to avoid circularity. Without seeing the full derivations I can't verify every step, but the stress-test found no internal contradictions. This is aimed at researchers working on singularities of curves in Euclidean space, especially those who already know Fukui's theorem. A reader in that niche would find the explicit criteria and the curvature extension directly useful. It is worth sending to peer review because the work is concrete and the claims are checkable.

Referee Report

0 major / 1 minor

Summary. The paper presents a systematic procedure for constructing criteria for singularities of curves of finite multiplicities in R^N. Based on this method, explicit criteria are provided for singularities of multiplicities two, three, and four, including specific cusps appearing only in dimensions three or higher. The normalized curvature functions and the cuspidal curvature are generalized to singular curves in R^N, and these generalized curvatures are used to reinterpret the existence and uniqueness theorem given by Fukui for curves in R^N of finite multiplicities.

Significance. If the derivations and generalizations hold as described, the work supplies a unified, extensible framework for analyzing finite-multiplicity singularities of curves in arbitrary ambient dimension. The explicit criteria for multiplicities 2–4 and the extension of curvature notions (including cusps special to R^3 and higher) constitute a concrete advance over existing case-by-case treatments. The reinterpretation of Fukui’s theorem via the new curvatures, if rigorously justified, adds geometric content to an existence-uniqueness result and may facilitate further classification work in differential geometry.

minor comments (1)

The abstract states the main results clearly but does not outline the key steps of the systematic procedure; adding one or two sentences on the method’s structure would improve accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the significance of the unified framework, and the recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No circularity: systematic procedure and explicit criteria are constructive and independent of the reinterpreted external theorem

full rationale

The paper's core contribution is a systematic procedure yielding explicit criteria for singularities of multiplicities 2-4 (including higher-dimensional cusps) together with independent generalizations of normalized curvature functions and cuspidal curvature. These are then applied to restate Fukui's existence-uniqueness theorem. No step reduces by definition or construction to its own inputs, no fitted parameter is relabeled as a prediction, and the cited theorem is external (Fukui) rather than a self-citation chain. The derivation chain is therefore self-contained against external benchmarks with no load-bearing circular reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard domain assumption that curves are sufficiently smooth to admit finite-multiplicity definitions and on the prior Fukui theorem; no new free parameters or invented entities are introduced.

axioms (1)

domain assumption Curves in R^N admit parametrizations in which finite multiplicity is defined
Stated as the object of study in title and abstract.

pith-pipeline@v0.9.0 · 5397 in / 1167 out tokens · 74062 ms · 2026-05-13T04:33:58.025945+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/Cost/FunctionalEquation.lean (J-uniqueness, Aczél classification) washburn_uniqueness_aczel unclear
We provide explicit criteria for singularities of multiplicities two, three, and four... generalize the normalized curvature functions and the cuspidal curvature... reinterpret the existence and uniqueness theorem given by Fukui
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear
N_R2(A) and N_R2(Γ) via Frobenius problem and division lemma

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

J. W. Bruce and T. Gaffney, Simple singularities of mappingsC,0→C 2,0, J. London Math. Soc. (2)26(1982), 465–474

work page 1982
[2]

J. W. Bruce, A. A. du Plessis, and C. T. C. Wall, Determinacy and unipotency, Inventiones mathematicae88(1987), 521–554

work page 1987
[3]

Fukui, Local differential geometry of singular curves with finite multiplicities, Saitama Mathematical Journal31(2017), 79–88

T. Fukui, Local differential geometry of singular curves with finite multiplicities, Saitama Mathematical Journal31(2017), 79–88

work page 2017
[4]

Fukui and S

T. Fukui and S. Hoshino, Curvature criteria ofA-simple singularitiesR,0→R 2,0 and their parallel curves, 2025, arXiv:2512.23293

work page arXiv 2025
[5]

Gluck, Higher Curvatures of Curves in Euclidean Space, The American Mathematical Monthly73(1966), 699–704

H. Gluck, Higher Curvatures of Curves in Euclidean Space, The American Mathematical Monthly73(1966), 699–704

work page 1966
[6]

Hattori, A

Y. Hattori, A. Honda and T. Morimoto, Bour’s theorem for helicoidal surfaces with singular- ities, Differential Geom. Appl.99(2025)

work page 2025
[7]

Honda and K

A. Honda and K. Saji, Geometric invariants of 5/2-cuspidal edges, Kodai Math. J.42(2019), 496–525

work page 2019
[8]

Liu and G

F. Liu and G. Xin, A combinatorial approach to Frobenius numbers of some special sequences, Adv. in Appl. Math.158(2024)

work page 2024
[9]

Matsushita, Classifications of cusps appearing on plane curves, 2024, arXiv:2402.12166

Y. Matsushita, Classifications of cusps appearing on plane curves, 2024, arXiv:2402.12166. CUR VES OF FINITE MULTIPLICITIES INR N 33

work page arXiv 2024
[10]

R. L. Mishkov, Generalization of the formula of Faa di Bruno for a composite function with a vector argument, International Journal of Mathematics and Mathematical Sciences24(2000), 481–491

work page 2000
[11]

L. F. Martins, K. Saji, S. P. dos Santos, and K. Teramoto, Singular surfaces of revolution with prescribed unbounded mean curvature, Anais da Academia Brasileira de Ciˆ encias91 (2019)

work page 2019
[12]

L. F. Martins, K. Saji, S. P. dos Santos, and K. Teramoto, Boundedness of geometric invari- ants near a singularity which is a suspension of a singular curve, Rev. Un. Mat. Argentina 67(2024), 475–502

work page 2024
[13]

Okano, Y

T. Okano, Y. Okuto, A. Shimizu, Y. Niikura, Y. Hashimoto, and H. Yamada, The formula of Fa` a di Bruno and its applications I, Annual review (Nagoya City University), in Japanese, 5(2001), 35–44

work page 2001
[14]

I. R. Porteous, Geometric differentiation: for the intelligence of curves and surfaces, Cam- bridge University Press, 1994

work page 1994
[15]

Shiba and M

S. Shiba and M. Umehara, The behavior of curvature functions at cusps and inflection points, Differential Geometry and its Applications30(2012), 285–299

work page 2012
[16]

Subwattanachai, Generalized Frobenius number of three variables, 2024, arXiv:2309.09149v2

K. Subwattanachai, Generalized Frobenius number of three variables, 2024, arXiv:2309.09149v2

work page arXiv 2024
[17]

Sulanke, The fundamental theorem for curves in then-dimensional Euclidean space, 2020, https://www2.mathematik.hu-berlin.de/~sulanke/diffgeo/euklid/ECTh.pdf

R. Sulanke, The fundamental theorem for curves in then-dimensional Euclidean space, 2020, https://www2.mathematik.hu-berlin.de/~sulanke/diffgeo/euklid/ECTh.pdf

work page 2020
[18]

J. J. Sylvester, On the partition of numbers, Quarterly Journal of Pure and Applied Mathe- matics1(1857), 141–152

work page
[19]

J. J. Sylvester, On subvariants, i.e., semi-invariants to binary quantics of an unlimited order, American Journal of Mathematics5(1882), 119–136

work page
[20]

J. J. Sylvester, Mathematical questions with their solutions, Educational Times41(1884), 21

work page
[21]

Umehara, A simplification of the proof of Bol’s conjecture on sextactic points, Proceedings of the Japan Academy, Series A, Mathematical Sciences87(2011), 10–12

M. Umehara, A simplification of the proof of Bol’s conjecture on sextactic points, Proceedings of the Japan Academy, Series A, Mathematical Sciences87(2011), 10–12

work page 2011
[22]

Umehara, K

M. Umehara, K. Saji and K. Yamada, Differential geometry of curves and surfaces with sin- gularities, translated from the 2017 Japanese original by Wayne Rossman, Series in Algebraic and Differential Geometry, 1, World Sci. Publ., Hackensack, NJ, 2022

work page 2017
[23]

Whitney, Differentiable even functions, Duke Mathematical Journal10(1943), 159–160

H. Whitney, Differentiable even functions, Duke Mathematical Journal10(1943), 159–160

work page 1943
[24]

Zhang and D

C. Zhang and D. Pei, Evolutes of (n, m)-cusp curves and application in optical system, Optik, 162(2018), 42–53. (Jun Matsumoto)Department of Mathematics, Institute of Science Tokyo, O-okayama, Meguro, Tokyo, 152-8551, Japan Email address:j.matsumoto.517@gmail.com (Shuki Sano)Department of Mathematics, Institute of Science Tokyo, O-okayama, Meguro, Tokyo, ...

work page 2018