Classical invariant theory: absolute rational invariants and $GL(2)$-orbits I have a question concerning classical invariant theory. Consider binary $n$-forms (i.e. all homogeneous polynomials of degree $n$ of two variables) over the field of complex numbers. Clearly, the group $GL(2,C)$ acts on the space of all such forms by changes of the variables. A classical relative invariant is a polynomial function $I$ in the coefficients of the form such that under the $GL(2,C)$ action the value of $I$ changes only by multiplication by $\det C$ to some power $k$ ($k$ is called the weight of $I$). One can now form rational absolute invariants by taking ratios of relative invariants of equal weights. 
My question is: $GL(2,C)$-orbits of what forms can be distinguished by such rational absolute invariants? How about forms with non-zero discriminant, for example? I have found some classical results by Clebsch of the 19th century and a result by Olver of 1990, but they do not quite give the result that I want. Also, Geometric Invariant Theory seems to deal only with $SL(2,C)$-actions. For $SL(2,C)$-actions the orbits can be distinguished just by polynomial invariants, but this is a completely different situation.
In some cases (e.g. for quintics) I can prove what I need, but I am wondering if there is perhaps a general result.  
 A: The space of non-degenerate binary forms is an affine variety, since it is the complement of a hypersurface in an affine space. The reductive group $GL_2(\mathbb{C})$ acts on it with finite stabilizers, so the quotient is again affine, and its elements are distinguished by regular functions, which lift to functions of the form $\frac{f}{\triangle^k}$ on the space of binary forms. Here $f$ is a polynomial, $\triangle$ is the discriminant and $k$ is a non-negative integer.
If, on the other hand, we allow two roots to coincide, the quotient will be projective, and there will be no functions on it at all.
A: You should check the case of binary sectics since that is the best understood.  The $GL_2(\mathbb C)$-invariants are called absolute invariants and denoted by $i_1, i_2, i_3$.  Two binary sectics are projectively equivalent if they have the same absolute invariants; see the following for details.  


*

*Invariants of Binary Forms,   V. Krishnamoorthy, T. Shaska, H. Voelklein

*Jun-ichi Igusa,  Arithmetic variety of moduli for genus two. Ann. of Math. (2) 72 1960 612–649. 


For the case of binary octavics such absolute invariants are also explicitly known. There are $t_1, \dots , t_6$ invariants which satisfy some algebraic relation among them. Their definitions can be found in 


*

*T. Shaska, Some remarks on the hyperelliptic moduli of genus 3, Communications in Algebra, Volume 42, Issue 9, September 2014, pages 4110-4130.

