Let $V$ be a vector space over some field $k$ and $T \in \mathrm{GL}(V)$. Then, we can view $T\in \mathrm{GL}(\mathrm{Sym}^k(V))$ where $\mathrm{Sym}^k(V)$ denotes the $k^\mathrm{th}$ symmetric power of $V$ and denote it $T_k$. Knowing $\det T$, is there a general formula for $\det T_k$?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
1
|
|
|||
|
|
|
6
|
We have that $\det T_k$ is a fixed (depending on $n=\dim V$ and $k$ only) power of
$\det T$. To see this, as well as getting the power, one can for instance note
that $\mathrm{SL}(V)$ is the commutator subgroup of $\mathrm{GL}(V)$ (except for extremely small finite fields but we can always increase the size of the field) and hence
if $\det T=1$ then $\det T_k=1$. We can then write any $T\in\mathrm{GL}(V)$ in
the form $DS$, where $S\in\mathrm{SL}(V)$ and $D$ a diagonal matrix with
diagonal entries $(t,1,1,\ldots,1)$. Then $\det((DS)_k)=\det(D_k)\cdot1$ so it
suffices to compute $\det(D_k)$ but in the standard basis of $\mathrm{Sym}^kV$,
given a basis $e_1,\ldots,e_n$ of $V$, $D_k$ is a diagonal entries and its
determinant is $t^R$, where |
|||||||||||||||||
|

