Apolarity and its applications (Q921078)

Let k be a field of characteristic zero, V(d) the space of binary forms of degree \(d\) and \({\mathbb{P}}(d):={\mathbb{P}}(V(d))\) its projective space. The author proves: there is a SL(2)-equivariant map from \({\mathbb{P}}(4m-2)\) to \({\mathbb{P}}(2m)\), which is after blow-up a projective space bundle. This theorem is used to give a new proof for the fact that \(H_{2g}\), the moduli space of hyperelliptic curves of genus \(2g\), is rational. Then explicit rational bases (i.e. an algebraically independent set of generators) for the function fields \(k(H_ 4)\) and \(k(H_ 3)\) are given. Furthermore, the author proves that the moduli space \(M_ n(2,3)\) for quadro-cubic complete intersections in \({\mathbb{P}}^ n\) is rational if \(n+1\) is prime to 3. Finally, a rational basis of \(k(M_ 3(2,3))\) is computed.