Singular Curves and Surfaces



As an introduction to singular curves we will show how to find all rational points on the Folium of Descartes which is given by the equation:

x^3 + y^3 = 3xy.


Note that unlike the circle, which is smooth, the folium has a singular point at the origin where the curve crosses itself. For curves or surfaces defined by a single polynomial equation, singular points occur when the Taylor expansion of the polynomial about that point contains no contant or linear terms. Equivalently, a point is singular if the polynomial and all of its first-order partial derivatives vanish at the point. In our case, it is clear that (0,0) is a singular point.

Take an arbitrary line through the singular point, namely y = mx. In general, we would expect this line to meet our cubic curve in three distinct points, but because the origin is singular, we will get a double root there and the remaining root will necessarily be rational:

x^3 + (mx)^3 = 3x(mx)
x^2[(1+m^3)x - 3m] = 0
so x = 0 (our double root) or x = 3m/(1+m^3) and y = 3m^2/(1+m^3)

giving a rational parameterization of our curve.

Exercise: Find integer solutions to the equation

a^2 b + b^2 c + c^2 a = 3abc

by first converting it to an equivalent equation having rational solutions, then using the techniques of this section [the singular point is not at the origin in this case].

Next: Elliptic Curves
e-mail Les Reid