On the ideals of general binary orbits: the low order cases (Q984993)

Any nonzero complex binary form \(E\) of order \(d\), say \(E=\sum\binom{d} {i}\alpha_{i}x_{1}^{d-i}x_{2}^{i},\) can be identified with the point \(\left[ \alpha_{0},\dots,\alpha_{d}\right] \in\mathbb{P}^{d}\). The group \(\text{SL}_{2}\mathbb{C}\) acts on \(E\) by a natural change of variables on \(x_{1},x_{2}\). The closure of its orbit, denoted \(\Omega_{E},\) is known to be a three dimensional irreducible projective variety of degree \(d\left( d-1\right) \left( d-2\right) \) for \(d>4\); if \(d=4\) then the degree is \(6\). Let \(I_{E}\) be the defining ideal of \(\Omega_{E}\). The objective here is to find a minimal set of equivariant generators for \(I_{E}\). Such generators are found for \(d\leq10.\) Let \(\Gamma\) be the representation ring of \(\text{SL}_{2}\mathbb{C},\) we may express \(\Gamma\) as the free abelian group generated by \(s_{0},s_{1},\dots.\;\)The constructions for \(d\leq10\) are completed through the use of threshold characters. These characters allow the author to construct characters \(\mathbb{B}_{m}\) and \(\mathbb{\tilde{Q}}_{m}\) in \(\Gamma,\) each of which is computed using \(\left\{ \mathbb{B}_{r}\,|\,r<m\right\}\). Because of this, the classification is accomplished starting with \(d=4\) and then letting \(d\) increase, freely using the results from \(r<d\). Having reduced the problem to a computational issue, the final set of generators is found with the help of \texttt{Macaulay 2} and \texttt{Maple}.