show/hide this revision's text 2 deleted 2 characters in body

I've been thinking about the case when $V$ is $2$-dimensional. Here, I claim, is a parametrization of the $GL(V)$-orbits of 'generic' linear maps $F:V\to V\otimes V$:

To numbers $p, a, b, c$ we associate a map which acts on a basis $v, w$ by:

$F(v)= -p(v\otimes v)+ w\otimes w$

$F(w)= (v\otimes w-w\otimes v)+ a(v\otimes v)+b(v\otimes w+w\otimes v)+ c(w\otimes w)$.

To put a generic $F$ in this form, write it as $F_++F_-$, symmetric plus antisymmetric. $F_-$ is given by $x\mapsto v\otimes x-x\otimes v$ for a unique $v\in V$. Assume $v\ne 0$.

Choose $w$ such that $v,w$ is a basis, but remember we are free to replace $w$ by $sv+tw$ for any scalars $s$ and $t\ne 0$. Think of the symmetric tensor $F_+(v)$ as a homogeneous quadratic polynomials polynomial in indeterminates $v,w$. Assume it has no a $w^2$ term. Replacing $w$ by suitable $tw$ we can make that term $w^2$. Now replacing $w$ by suitable $sv+w$ ("completing the square") we can eliminate the $vw$ term. So $F_+(v)= -pv^2+w^2=-p(v\otimes v)+ w\otimes w$ for some $p$. And $F_+(w)= av^2+2bvw+cw^2=a(v\otimes v)+b(v\otimes w+w\otimes v)+ c(w\otimes w)$ for some $a,b,c$. This gives the formulas above for $F$.

I used up all the choices I had except that $w$ can still be changed to $-w$, which would change $p,a,b,c$ to $p,-a,b,-c$. So the "parametrization" is actually two to one.

show/hide this revision's text 1

I've been thinking about the case when $V$ is $2$-dimensional. Here, I claim, is a parametrization of the $GL(V)$-orbits of 'generic' linear maps $F:V\to V\otimes V$:

To numbers $p, a, b, c$ we associate a map which acts on a basis $v, w$ by:

$F(v)= -p(v\otimes v)+ w\otimes w$

$F(w)= (v\otimes w-w\otimes v)+ a(v\otimes v)+b(v\otimes w+w\otimes v)+ c(w\otimes w)$.

To put a generic $F$ in this form, write it as $F_++F_-$, symmetric plus antisymmetric. $F_-$ is given by $x\mapsto v\otimes x-x\otimes v$ for a unique $v\in V$. Assume $v\ne 0$.

Choose $w$ such that $v,w$ is a basis, but remember we are free to replace $w$ by $sv+tw$ for any scalars $s$ and $t\ne 0$. Think of the symmetric tensor $F_+(v)$ as a homogeneous quadratic polynomials in indeterminates $v,w$. Assume it has no $w^2$ term. Replacing $w$ by suitable $tw$ we can make that term $w^2$. Now replacing $w$ by suitable $sv+w$ ("completing the square") we can eliminate the $vw$ term. So $F_+(v)= -pv^2+w^2=-p(v\otimes v)+ w\otimes w$ for some $p$. And $F_+(w)= av^2+2bvw+cw^2=a(v\otimes v)+b(v\otimes w+w\otimes v)+ c(w\otimes w)$ for some $a,b,c$. This gives the formulas above for $F$.

I used up all the choices I had except that $w$ can still be changed to $-w$, which would change $p,a,b,c$ to $p,-a,b,-c$. So the "parametrization" is actually two to one.