8
$\begingroup$

If one has a one variable polynomial then the discriminant can be used to test whether the polynomial has any repeated roots or equivalently where the polynomial and its derivative have a repeated root. Now If I look at a hyper-surface (Let us say the zero set of some polynomial equation $F(x_1,\cdots,x_n)=0$) then are there some polynomials in the coefficients of $F$ which tells me whether the variety contains singular points?

  • 0
    @CPM: are you looking for something more specific than "$F$ and its partial derivatives"?2011-07-19

1 Answers 1

10

Let $F$ be a homogenous polynomial. There is a polynomial $\Delta$, in the coefficients of $F$, which vanishes precisely when the projective hypersurface $F=0$ is singular. This polynomial is called the "$A$-discriminant", a term which is unfortunately impossible to google for.

Most references on this are going to want to study the case of a hypersurface in a general toric variety, which they will encode by a finite set $A$ of lattice points. To help get you oriented: Classical homogenous polynomials correspond to projective space. If $F$ is homogenous of degree $d$ in $n$ variables, then the set $A$ is $\left\{ (a_1, \ldots, a_n) \in \mathbb{Z}^n : a_i \geq 0 \ \mbox{and} \ \sum a_i = d \right\}.$

Unfortunately, I don't know a simple description of the $A$-discriminant to give you, and I know that computing them is difficult enough that it is used as a benchmark for computer algebra systems. I think testing whether the ideal generated by $F$ and its partial derivatives is irrelevant (using, for example, Macaulay II) should be much easier than computing the corresponding $A$-discriminant. But I am not an expert on the computational practicalities.

The standard reference is

I.M. Gelfand, M.M. Kapranov, A.V. Zelevinsky: Discriminants, Resultants, and Multidimensional Determinants; Birkauser, Boston, MA, 1994.

If anyone knows a briefer, more accessible reference, please edit this answer or leave a comment.