Let $R$ be the set of homogeneous polynomials of degree $n$ in $d$ variables over $\mathbb{C}$. When $n>2$, the set of elements of $R$ that split into a product of linear factors forms a proper subset $S$ of $R$.

Is $S$ an algebraic variety, or something almost as nice?

If so, how can $S$ be described implicitly, in terms of the original coefficients, without using a factorization algorithm? In other words, is there a finite set of polynomials in the coefficients which vanish if and only if $p\in S$ (or something almost as nice)?

If so, how do I compute these polynomials for each fixed $d$ and $n$?

Are there any other shortcuts for checking whether a homogeneous polynomial splits into linear factors?

I think (though I may be wrong!) that S is the Hilbert scheme of n points in $X=\mathbb{P}^{d−1}$: a degree n homogeneous form F that is decomposable into linear forms corresponds to a union of n hyperplanes in X (counted with multiplicity). Considering the dual projective space this corresponds to n points. I am not an expert in Hilbert schemes so perhaps someone who knows more (=anything!) about these objects will verify this/show me the error of my ways. A quick search in Google reveals a substantial amount of literature on these objects.
–
George MelvinOct 10 '12 at 23:01

Thanks for the responses, all of which were helpful. The first paper of Briand mentioned by Abdelmalek was the most helpful single reference. It seems that Brill's covariant is not the last word, and other covariants exist. I don't know whether explicit Groebner computations would help to discover new ones.
–
Mark C. WilsonOct 11 '12 at 2:28

2

@Mark: Finding all polynomials which vanish on S is an open problem related to the Foulkes-Howe conjecture which says the minimal degree of such polynomials is n+1. Also, I think Briand has checked that the Brill equations typically do not generate the degree n+1 part of the ideal. Finally a recent paper by Mueller and Neunhoffer seems to disprove the conjecture for d=n=5.
–
Abdelmalek AbdesselamOct 11 '12 at 14:11

3 Answers
3

1) This is the Chow variety of degree $n$ zero cycles in $\mathbb{P}^{d-1}$.

2) Yes, this collection of polynomials can be bundled together into the Brill form or covariant.

3) Rather explicit descriptions of the Brill equations can be found in the book
by Gelfand, Kapranov and Zelevinsky on resultants. There is also a paper by Rota
and Stein. But first check out Emmanuel Briand's page and in particular the articles "Covariants decomposing on totally decomposable forms" and "Brill's equations for the subvariety of factorizable forms"
and if you read French (or German) the translation of the original article by Gordan (respectively the article itself).

As an aside, analogues of the Brill equations for the variety of forms which are powers of forms of degree dividing $n$ have been given recently in my paper with Chipalkatti
"On Hilbert covariants".

This answer may be incorrect. The equations $F_\mu=0$ describe the Zariski closure of the sets of polynomials which factor as a product of linear factors, but nothing guarantees that this set is Zariski closed. It is of course constructible for the Zariski topology, since it is the image of a map between affine schemes (this is essentially what you show in your answer), but I don't see why it should be Zariski closed. BTW, Gröbner bases are a tool to compute the elimination ideal, which is simply an intersection, but conceptually they are unnecessary.
–
Fernando MuroOct 10 '12 at 23:01

1

@Fernando: Can't we view the set of completely reducible homogeneous polynomials of degree n in d variables as the image of the multiplication map sending (P(S1))n to P(Sn), where S=C[x0,…,xd−1]? The image of this morphism should be a projective subvariety of P(Sn), in particular it is a Zariski-closed set. The affine cone over this subvariety gives the affine variety that Jeurgen described.
–
Will TravesOct 11 '12 at 15:26