Less discriminating discriminants

Question

Suppose that I want to know whether a polynomial $P(z)$ has a root with multiplicity at least three. This is obviously an algebraic condition, but is there some reasonably concise set of conditions defining the variety (in the space of coefficients)? This must have been studied by the ancients. It is clearly necessary that the discriminant vanish, and also that the resultant of the polynomial $P$ and the second derivative $P^{\prime\prime}$ vanish, but, just as obviously, not sufficient...

EDIT Abhinav certainly gives a nice answer to the question, but the question I would REALLY like to know the answer to is: what is the degree of the variety as a function of the partition (as in @Gjergji's answer). Maybe I should read the reference...

Answer 1

Here's one way to think of this. Let $\lambda$ be a new variable and let $Q(z) = \lambda P'(z) + P''(z)$. Let $R(\lambda)$ be the resultant of $P$ and $Q$. Then we want $R$ to identically vanish (i.e. want to see if there's value of $z$ for which $P$ and $Q$ have a common zero, for every value of $\lambda$). So the coefficients of $R$ will describe an ideal cutting out the variety you want. This argument should work at least in characteristic $0$.

Answer 2

The situation becomes considerable harder beyond testing for a root of multiplicity $2$. The problem itself is very old. A recent article about this is "On equations defining coincident root loci" by J. Chipalkatti. The result is that the algebraic conditions can be expressed through a cohomology group of a certain complex of $SL_2$ representations

Note: This is addressing the general question of when a polynomial has roots of multiplicities indexed by a partition $\lambda$. The question itself is about $\lambda=(3,1^{n-3})$.

Answer 3

For partitions of the special form $\lambda=(k,1,1,\dots,1)$ (i.e., hook shapes) there is a very explicit description of the ideal of definition of the corresponding set of polynomials (i.e., those polynomials with a root of order $\geq k$). Namely, it is the span of the set of (symmetric) Jack polynomials $f_\mu$, with parameter specialized to $-1/k$, and where $\mu$ ranges over all partitions satisfying

$$\mu_i-\mu_{i+k-1} \geq 2$$ for all $i$. This is the main result of the paper http://arxiv.org/pdf/math/0112127 by Feigin, Jimbo, Miwa, and Mukhin.

For the application to degree, one might note that this computes the Hilbert function of this ideal quite explicitly in combinatorial terms, though for your problem you are probably interested in the grading where each elementary symmetric function has degree one, and I don't know, off the top of my head, how to extract that information. Maybe I'll post a separate question so we can see if anywhere else here knows.