Talk:Cusp (singularity)

WikiProject Mathematics (Rated Start-class, Mid-importance)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Mid Importance
Field: Geometry

The term cusp in the title should be ordinary cusp. The ordinary cusp is given by the equation x2 + y3 = 0. There are many different kinds of cusp, e.g. a rhamphoid cusp (coming from the Greek meaning "Beak-like") given by the equation x2 + y5 = 0. Notice that the ordinary cusp and the rhamphoid cusp are not diffeomorphic to each other, and so from a singularity point of view are quiet different. I shall start making some changes now. ~~ Dr Dec (Talk) ~~ 17:25, 28 July 2009 (UTC)

• The original claim that the Jacobian and the Hessian must be singular is not enough. The cusps are given as zero-level-sets of the A2k-singularities, i.e. with normal forms x2 + y2k+1 where k is a natural number. The A2k+1-singularities, i.e. with normal forms x2 + y2k where k is a natural number are clearly not cusps. ~~ Dr Dec (Talk) ~~ 18:01, 28 July 2009 (UTC)
• I've made some pretty wholesale changes. Let me know what you think... ~~ Dr Dec (Talk) ~~ 19:16, 28 July 2009 (UTC)
• Dear Dr. Dec, Well, I am not happy with your changes: I cannot understand your definition. I suggest that you keep the original one, fix it, if necessary and then introduce in another section your. TomyDuby (talk) 20:43, 28 July 2009 (UTC)

Hi TomyDuby, I hope you're well. The old definition was wrong! It was trying to say that f needed to have a degenerate singularity, i.e. both the Jacobian matrix and the Hessian matrix need to be singular. This is a necessary, but not sufficient condition. Take f(x,y) = x4 + y4, for example. Here we see that f(0,0) = 0 and both the Jacobian and Hessian matrices are singular at (0,0), i.e. the origin is a degenerate critical point of f. The zero-level-set of f consists of a single point: the origin. A single point is not a cusp! The cusps are given, and trust me on this one, by the family of zero-level-sets x2 - y2k+1 = 0, where k ≥ 1 is an integer.

Now, this doesn't mean that every curve with a cusp is given by one of these equations. Every cusp is locally diffeomorphic to one of these forms. So there will be a diffeomorphism taking a neighbourhood of any old cusp point onto a neighbourhood of one of our standard pictures (x2 - y2k+1 = 0) such that the curve is carried to the curve.

I think that the old article didn't cover enough ground. The ordinary cusp is just one member in a countably infinite family of cusps. To focus on the ordinary cusp (as the old article did) is, in my opinion, a little narrow sighted.

If you didn't understand the definition then that's not a problem with the article per se, maybe we need to give more explanation. You obviously know about the ordinary cusp. What didn't you understand about the definition? Did you understand the diffeomorphism article? (This article is key). We can't talk about singularities of plane curves without talking about diffeomorphisms, they form the basic equivalences, just like homeomorphisms do in topology, and isomorphisms do in group theory.

I know it might seem like over complication, but if you want to get things right then you need to refine things, and the only way to refine things is to use more sophisticated ideas.

As a refernce, see J. W. Bruce and P. J. Giblin's book giving in the main article. The latter was my PhD supervisor and he taught me all about cusps. RSVP ~~ Dr Dec (Talk) ~~ 23:21, 29 July 2009 (UTC)

Some questions

1. The "Examples" section seems hard to follow for a mathematically savvy non-specialist. Surely there are a lot of examples of geometric objects with cusps, that could be mentioned and linked to. For example, how about cardioid? Or is the cusp of a cardioid only a cusp according to some broader definition of cusp than the one used here? If so, then the article ought to start with the broader definition first.

2. The lede doesn't actually define cusp -- it says: "In the mathematical theory of singularities a cusp is a type of singular point of a curve. Cusps are local singularities...." "...[A] type of singular point..." doesn't narrow it down enough. Also, the lede should give an intuitive idea of what a cusp is, in addition to defining it completely.

3. Is it a necessary condition for a cusp that the one-sided derivative at the cusp be the same in both directions (on both branches)?

4. The lede says "The plane curve cusps are all diffeomorphic to one of the following forms: x2 − y2k+1 = 0, where k ≥ 1 is an integer." Yet the image in the lede shows x3y2=0 as an example. This seems to be inconsistent. Is it actually consistent, or is this evidence that the diffeomorphic comment in the lede is too narrow? Duoduoduo (talk) 14:47, 4 August 2011 (UTC)

Why does "spinode" redirect here?

Not mentioned in article. What does it mean? Equinox (talk) 04:31, 27 November 2015 (UTC)

Fixed D.Lazard (talk) 10:01, 27 November 2015 (UTC)

⋅== Dubious classification ==

I have tagged as dubious the last assertion of the lead, as it would imply that the curve defined by the parametric equation

{\displaystyle {\begin{aligned}x&=t^{2}\\y&=t^{4}+t^{5}\end{aligned}}}

is not a cusp. D.Lazard (talk) 10:48, 28 November 2015 (UTC)

From the point of view of singularity theory this is a higher order rhamphoid cusp, discussed lower down in the article. --Salix alba (talk): 11:56, 28 November 2015 (UTC)
The article discusses the classification of cusps by using the existence of some diffeomorphisms, and defines a cusp as a singularity that is mapped on ${\displaystyle y^{2}-x^{k}=0}$ with odd k. As far as I know the order of the contact of the curve with its tangent is invariant under diffeomorphisms, and this order is k at the cusp. As, in my example, the order is even (4), my example is not a cusp for the authors of this article, although it is a cusp in classical literature. I am not well aware of English terminology, but, in French, such a cusp is called "cusp of second species" (point de rebroussement de seconde espèce). D.Lazard (talk) 14:16, 28 November 2015 (UTC)
Possibly "second-order cusp"? I can see a handful of matches in Google Books. Equinox (talk) 00:03, 29 November 2015 (UTC)
I do not think so: In general "order" refers to the multiplicity of the singularity, which is two for all cusps considered in the article, as well as for above example. By the way, the article asserts implicitly that a cusp is always a singularity of multiplicity two. I think that singularities of higher multiplicity that look similar are also traditionally called cusps. For example the singularity of
{\displaystyle {\begin{aligned}x&=t^{3}\\y&=t^{4}\end{aligned}}}
is probably called a "third order cusp". D.Lazard (talk) 09:17, 29 November 2015 (UTC)

If you do the sums you can show ${\displaystyle (x^{2},x^{4}+x^{5})}$ fits in the A4 class with normal form ${\displaystyle (x^{2},x^{5})}$. You can think of this as the ${\displaystyle (x^{2},x^{5})}$ form with an inflection at the cusp point. You can see this by drawing the dual curves of the both curves. Inflections are not preserved by diffeomorphism which is why they fall into the same class. Some texts like Rutter's "Geometry of curves" [1] Call the ${\displaystyle (x^{2},x^{4}+x^{5})}$ rhamphoid and the ${\displaystyle (x^{2},x^{5})}$ form a Ceratoid cusp. --Salix alba (talk): 21:09, 29 November 2015 (UTC)

More elementarily, the parameterizations ${\displaystyle (t^{2},t^{4}+t^{5})}$ and ${\displaystyle (t^{2},t^{5})}$ are exchanged by the diffeomorphisms ${\displaystyle x\to x,y\to y\pm x^{2}.}$
A problem of terminology remains: this article does not consider as cusps singularities of multiplicity higher than 2, such as ${\displaystyle y^{4}-x^{5}=0.}$ Are they called cusps in the literature? I guess so, at least in the classical literature, as they have the same shape. D.Lazard (talk) 10:34, 1 December 2015 (UTC)