The equations of strata for binary forms (Q581612): Difference between revisions

Let g be a fixed integer. Let \(X_ g=Spec(R_ g)\) (where \(R_ g=S.(S_ gV)\), V being a two-dimensional vector space) be the space of binary forms of degree \( g.\) Let \(X_{p,g}\subset X_ g\) be the subset of binary forms having a root of multiplicity \(\geq p\) and \(J_ p\) be the ideal of polynomial functions vanishing on \(X_{p,g}\). The main result of the paper is the following theorem 3: The generators of the ideal \(J_ p\) have degrees \(\leq 4\) for \(p\geq [g/2]+1.\) The generators of \(J_ p\) are explicitly described for \(p>[g/2]+1\). The Hilbert function of \(R_ g/J_ p\) and the decomposition of \(R_ g/J_ p\) into representations of SL(V) are also explicitly described.