Under what conditions can we find a basis of a Lie algebra such that the adjoint representation acts by skew-symmetric matrices

lie-algebrasskew-symmetric matrices

My question might be very silly as I've only recently started to learn about Lie algebras.

Given a Lie algebra $\mathfrak{g}$, and a vector space basis $\{e_i|i=1 \ldots \dim \mathfrak{g}\}$, we can write the adjoint action $\text{Ad}_x: \mathfrak{g} \to \mathfrak{g}: y \mapsto [x,y]$ in matrix form, where the $i,j$th entry of the matrix $[\text{Ad}_x]$ equals $\lambda_i$ if $[x,e_j] = \sum_{k}\lambda_k e_k$. I am looking for necessary and sufficient conditions on our Lie algebra $\mathfrak{g}$ such that there exists a basis in which all of these matrices $\{ [\text{Ad}_x]| x \in \mathfrak{g} \}$ are skew-symmetric.

If the condition turns out to be either simplicity of compactness of the associated simply connected Lie group, I would be very happy.

Best Answer

$\DeclareMathOperator{\tr}{tr}\DeclareMathOperator{\ad}{ad}$I will expand my comment here. I am assuming (though I am not sure if this is the case) that the OP is interested in real Lie algebras. If $\mathfrak{g}$ is the Lie algebra of a compact semisimple Lie group, then with respect to any orthonormal basis of $\mathfrak{g}$ with respect to (minus) the Killing form, the matrix representing $\operatorname{ad}_x \in \mathfrak{gl}(\mathfrak{g})$ is skew-symmetric, for any $x \in \mathfrak{g}$.

Define the Killing form $B(-,-): \mathfrak{g} \times \mathfrak{g} \to \mathbb{R}$ by:

$$B(x,y) = \tr(\ad_x \circ \ad_y).$$

I claim that for any $z \in \mathfrak{g}$, $B([z,x],y) + B(x,[z,y]) = 0$. For short, it is common to say that the Killing form is $\ad$-invariant.

$$ \begin{align*} & B([z,x],y) + B(x,[z,y]) \\ = & \,\tr(\ad_{[z,x]} \circ \ad_y)+ \tr(\ad_x,\ad_{[z,y]}) \\ = & \,\tr([\ad_z,\ad_x] \circ \ad_y) + \tr(\ad_x \circ \, [\ad_z, \ad_y]) \\ = & \,0 \end{align*}$$

by the cyclic property of the trace ($\tr(BCA) = \tr(ABC)$). I have also used the fact that $\ad_{[x,y]} = [\ad_x,\ad_y]$.

There is another fact from Lie theory that we need, namely that if $\mathfrak{g}$ is the Lie algebra of a compact semisimple Lie group, then its Killing form is negative definite.

Let us now choose an orthonormal basis of $\mathfrak{g}$, say $x_1,\ldots,x_n$, with respect to minus the Killing form. Note that, for any $x \in \mathfrak{g}$, we have

$$ -B(\ad(x)(x_i),x_j) = -B([x,x_i],x_j) = B(x_i, [x,x_j]) = B(x_i, \ad_x(x_j)).$$

Hence the matrix representing $\ad_x$ with respect to the orthonormal basis $x_1,\ldots,x_n$ is skew-symmetric.