Adjoint action notations $\operatorname{ad}(X)(Y)$, $\operatorname{ad}(X)$ and $\operatorname{ad}_x(Y)$ are equivalent??

76 Views Asked by At

As the title says I'm a bit confused with these notations of adjoint action of Lie algebra on itself. Are these notations ($\operatorname{ad}(X)(Y)$, $\operatorname{ad}(X)$ and $\operatorname{ad}_x(Y)$) equivalent?

2

There are 2 best solutions below

0
On BEST ANSWER

No, they are not. The linear map $ad: L\rightarrow \mathfrak{gl}(V)$ is a Lie algebra representation by the Jacobi identity. It is defined by $x\mapsto ad(x)$ with $ad(x)(y)=[x,y]$. Some people write $ad_x(y)$ for $ad(x)(y)$. So $ad(x)$ is an endomorphism of the vector space of $L$, while $ad(x)(y)$ is an element of $L$ itself.

0
On

They are not all quite the same, but the first and last are equivalent. The key thing here is to keep track of the "data types" involved, i.e. what the inputs and outputs of the functions involved are. $\DeclareMathOperator{\ad}{ad}$ $\newcommand{\g}{\mathfrak g}$ $\newcommand{\gl}{\mathfrak {gl}}$

We begin with a function $\ad : \g \to \gl(\g)$. That is, for any $X \in \g$, $\ad(X)$ is an element of $\gl(\g)$, which is to say that $\ad(X)$ is a (not necessarily invertible) linear map from $\g$ to $\g$. That is, we have $\ad(X):\g \to \g$, so that $\ad(X)$ maps an element $Y \in \g$ to $\ad(X)(Y)$.

To make the notation easier, sometimes we define $\ad_X = \ad(X)$. Now, we have $\ad_X: \g \to \g$, so that $\ad_X$ maps $Y$ to $\ad_X(Y)$.

So, in particular, given $X,Y \in \g$: $\ad(X) = \ad_X \in \gl(\g)$, while $\ad(X)(Y) = \ad_X(Y) \in \g$