5
$\begingroup$

Is there a standard normal form for homogeneous cubic polynomials in $\mathbb{R}[x_1, x_2, x_3]$? Or, put another way, is there a nice way to describe the orbit space of the natural (diagonal) action of $GL(3, \mathbb{R})$ on $Sym^3(\mathbb{R}^3)$?

(This is related to my previous question Normal form for trace-free real cubic forms in 3 variables under SO(3)-action?, but now I'm interested in the full $GL(3)$ action and not just the $SO(3)$ action, and I also don't want to impose the trace-free condition.)

$\endgroup$
2
  • 1
    $\begingroup$ This is apparently done in [G. Gurevich. Foundations of the theory of algebraic invariants. Noordhoff, 1964.] although probably with complex coefficients. $\endgroup$ Commented May 2, 2013 at 2:57
  • 2
    $\begingroup$ And google finds this: www4.ncsu.edu/~iakogan/papersPDF/IM02corrected.pdf‎ $\endgroup$ Commented May 2, 2013 at 2:58

1 Answer 1

10
$\begingroup$

Hi, Jeanne! It may help to have some geometric explanation of the normal forms over $\mathbb{R}$. The standard account is this:

If the projective cubic curve $F(x_1,x_2,x_3)=0$ is nonsingular (the 'generic' case), it has exactly three real flexes, they are distinct and lie on a line. One can make a linear change to make them lie on the line $x_1{+}x_2{+}x_3=0$ and have this line intersect the curve at the three points where some $x_i=0$ (so that these are the three flexes). From this, one sees that one can make a real linear change of variables so that $$ F = {x_1}^3 + {x_2}^3 + {x_3}^3 + 6\sigma\ x_1x_2x_3\ , $$
where $\sigma\not=-\tfrac12$ is a real number. (When $\sigma=-\tfrac12$, the above cubic factors as a line $x_1{+}x_2{+}x_3=0$ and an irreducible quadratic form.)

Enumerating the singular cases over the reals gets a little messy, but the final result is that when the curve is irreducible and singular there is exactly one singular point, which is necessarily real, and it is either a hyperbolic node, elliptic node, or a cusp. These have the normal forms $$ F = {x_2}^2x_3 - \epsilon\ {x_1}^2 x_3 - {x_1}^3 $$ where $\epsilon$ is $1$, $-1$, or $0$, respectively.

If the curve is the union of a line and a smooth quadric, i.e., $F = LQ$, where $L$ is linear and $Q$ is nonsingular (possibly without real points), you can put the quadric in normal form, $Q = {x_1}^2+{x_2}^2\pm{x_3}^2$ and then use the stabilizer group of the quadric to normalize $L$. In the $+$ case, you can always rotate, using $\mathrm{SO}(3)$, to make $L=x_1{+}x_2{+}x_3$ (say). In the $-$ case, there are three cases, and you can rotate, using $\mathrm{SO}(2,1)$ to make $L$ be one of $x_1$, $x_1{+}x_3$, or $x_3$.

Finally, if the curve is the union of three (complex) lines, it depends on whether the lines are all distinct or not and whether they are concurrent or not. In the distinct case, you get that $F$ lies on the orbit of either $F=x_1x_2x_3$ (all real, not concurrent), $x_1x_2(x_1{+}x_2)$ (all real, concurrent), $x_1({x_2}^2{+}{x_3}^2)$ (two complex conjugate, not concurrent), or $x_1({x_1}^2{+}{x_2}^2)$ (two complex, concurrent). If they are not all distinct, you get either $x_1{x_2}^2$ (two distinct) or ${x_1}^3$ (all the same).

These are the normal forms for all the nonzero cubics in $3$ variables.

Remark: You also asked about the 'orbit space' of $\mathrm{GL}(3,\mathbb{R})$ acting on $\mathrm{Sym}^3(\mathbb{R}^3)$. The naïve quotient, endowed with the quotient topology, is not very nice because it is highly non-Hausdorf, as every open neighborhood of the fixed point $0$ meets every orbit. Even when you remove $0$, so that the remainder can be thought of as $\mathrm{PGL}(3,\mathbb{R})\simeq \mathrm{SL}(3,\mathbb{R})$ acting on $\mathbb{P}\bigl(\mathrm{Sym}^3(\mathbb{R}^3)\bigr)\simeq \mathbb{RP}^9$, the orbit space with the quotient topology is still non-Hausdorf. The whole point of developing Geometric Invariant Theory (aka GIT) is to figure out the right way to remove the bad points so that the remaining 'good' points (aka, the 'semi-stable' points) will make a nice quotient space when you divide out by the action of the group. I don't know how good this theory is in the real case, though. In any case, the nonsingular cubics are all 'good' points for the moduli space.

$\endgroup$
1
  • $\begingroup$ You're welcome Jeanne. Probably, I should have mentioned that the reason for choosing the symmetric normal form for nonsingular cubics as I did above (rather than the more common Weierstrass normal form) is that this normal form displays the fact that the projective symmetry group of a (real) nonsingular planar cubic curve is the symmetric group on $3$ letters. This fact is not so obvious in the Weierstrass normal form. $\endgroup$ Commented May 6, 2013 at 10:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .