# Stabilizer of a 4 by 4 skew symmetric matrix by orthogonal matrix

Matrices are over the field of complex numbers, and $X^t$ means transpose of a matrix $X$.

Consider the group action of $O(4)=\{P\mid PP^t=I\}$ on $SK(4)=\{M\mid M^t=-M\}$ by $(P,M) \rightarrow PMP^t$. Does anyone know what is the stabilizer of a general $M$?

Thank you!

-

## 1 Answer

This is only a paritial answer. The major difficulty of this question is that for every eigenvector $v$ corresponding to a nonzero eigenvalue of $M$, we have $v^Tv=0$. This directly conflicts with the conjugation of the form $PMP^T$, where $PP^T=I$. In other words, unlike the real case or the unitary equivalence case, we cannot directly use the eigenvectors of $M$ as columns of $P$ to simplify the structure of $M$.

Yet, when $M$ is diagonalizable and has nonzero distinct eigenvalues, the problem is easily solvable. As $M$ is skew symmetric, all its nonzero eigenvalues must have their negative counterparts. So, suppose the eigenvalues of $M$ are $\lambda,-\lambda,\mu,-\mu$, where $\lambda,\mu\not=0$ and $\lambda\not=\mu$. Let $v_1, v_2, v_3, v_4$ be the four corresponding unit eigenvectors. Note that when $x,y$ are eigenvectors of $M$ that correspond to some two eigenvalues $p,q$ with $p\not=-q$ and $p,q\not=0$, we have $$px^Ty = (y^Tpx)^T = (y^TMx)^T = -x^TMy = -qx^Ty$$ and hence $x^Ty=0$. Therefore, in our case, for $k\le j$, we have $v_k^Tv_j=0$ whenever $(k,j)\not=(1,2),(3,4)$.

Note that $v_1^Tv_2\not=0$ (and similarly $v_3^Tv_4\not=0$), otherwise we would have $\langle v_j,\bar{v}_1\rangle=0$ for $j=1,\ldots,4$, which is impossible. Therefore, if we define $c^2=1/(2v_1^Tv_2),\,w_1=c(v_1+v_2)$ and $w_2=ic(v_1-v_2)$ (here $i=\sqrt{-1}$) and define $w_3,w_4$ with $v_3,v_4$ analogously, it can be verified that $w_k^Tw_j=\delta_{kj}$, i.e. the matrix $W$ containing the $w_i$s as columns is complex orthogonal ($W^TW=I_4$). Hence $$W^TMW = \begin{pmatrix}i\lambda J_2\\&i\mu J_2\end{pmatrix}; \ J_2 = \begin{pmatrix}0&1\\-1&0\end{pmatrix}.$$ The stabilizers of $J_2$ are "rotation matrices" of the form $R(z)=\begin{pmatrix}\cos z&\sin z\\ -\sin z&\cos z\end{pmatrix}$, where $z\in\mathbb{C}$. Therefore the stabilizers of $M$ are given by $P=W\left(R(z_1)\oplus R(z_2)\right)W^T$.

The other cases, such as $M$ has zero eigenvalues, or some eigenvalues of $M$ have geometric multiplicity $>1$, etc., are more difficult to handle. I will try to cook up something if I can and if I have time.

-

Thank you! That is very helpful! – Danny Jan 31 at 5:45
The Jordan canonical form of M can only be diag{\lambda_1, -\lambda_1, \lambda_2, -lambda_2} or diag{M_1, M_2} where M_i's are 2 by 2 Jordan blocks with two \lambda's on the diagonal of M_1 and two -\lambda's on the diagonal of M_2. I found this by googling "The Jordan Canonical Forms of complex orthogonal and skew-symmetric matrices", one of the top 5 entries with this website: citeseerx.ist.psu.edu – Danny Jan 31 at 6:02
Actually I have some doubts on your result. So you mean there are only finitely many (16 as you mentioned) stabilizers for a general M, right? What I think so far is there may be a two-dimensional family of such stabilizers for a general M. – Danny Jan 31 at 6:10
@Danny And I had read the thesis you mentioned before I answered the question. According to thm 1.2.5, it is also possible that the Jordan form of $M$ is $J_3(0)\oplus J_1(0)$. What it says is that except for odd-order Jordan blocks that correspond to the zero eigenvalue, all other Jordan blocks of $M$ (of odd or even orders) must occur in $(\lambda,-\lambda)$ pairs (and $\lambda$ can be zero). – user1551 Jan 31 at 7:36
So, when $n=4$, there are three possibilities: (i) $\operatorname{diag}(a, -a, b, -b)$, (ii) $J_2(a)\oplus J_2(-a)$ or (iii) $J_3(0)\oplus J_1(0)$, where $a,b$ may be zero and are not necessarily distinct. – user1551 Jan 31 at 7:40
show 1 more comment
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 61, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9282072186470032, "perplexity_flag": "head"}