3

If we have $sl(2,k)$, char $k = 0$, with standard basis $(x,y,h)$ and inner automorphism $\sigma = \exp(\operatorname{ad}x)\exp(-\operatorname{ad}y)\exp(\operatorname{ad}x)$. How can we show that $\sigma(x) = -y, \sigma(y) = -x$ and $\sigma(h) = -h$?

Jyrki Lahtonen
  • 133,153
user87369
  • 113

1 Answers1

1

I prove the relation $\sigma(X)=-Y$; the others are similar. The idea is to use the definition of the operator $\exp(\operatorname{ad}M)$ with $$\exp(\operatorname{ad}M)(R):=\sum_{k=0}^\infty \frac{(\operatorname{ad}M)^k(R)}{k!}$$ for nilpotent $M$'s and matrices $R$ s.t. $\exp(\operatorname{ad}M)(R)$ reduces to a finite sum (and so it is well defined). We have defined

$$(\operatorname{ad}M)^k(R):=(\operatorname{ad}M)((\operatorname{ad}M)^{k-1}(R))$$ for all $k\geq 2$ and

$$(\operatorname{ad}M)^0(R):=R.$$

  • Proof of $\sigma(X)=-Y$

Denoting by $(H,X,Y)$ the standard basis of $sl(2,\mathbb K)$ ($ch(\mathbb K=0)$, then it is easy to prove that

$$X^2=Y^2=0$$

and

$$[X,Y]=H,$$ $$[H,Y]=-2Y,$$ $$[H,X]=-2X.$$

  • Long way: brute force

Let us compute $\sigma(X)$; we start with the first operator arriving at

$$\exp(\operatorname{ad}X)(X)=X+\operatorname{ad}X(X)+\frac{1}{2!}(\operatorname{ad}X)^2(X)+\dots=X,$$

as $\operatorname{ad}X(X)=X^2-X^2=0$ (which implies the vanishing of the higher compositions). We are left with

$$\exp(\operatorname{-ad}Y)(X)=X+(\operatorname{-ad}Y)(X)+\frac{1}{2!}(\operatorname{-ad}Y)^2(X)+\dots;$$

as $$\operatorname{-ad}Y(X):=-YX+XY=-[Y,X]=H,$$ $$(\operatorname{-ad}Y)^2(X)= (\operatorname{-ad}Y)(H)=-YH+HY=-[Y,H]=-2Y$$

and so $(\operatorname{-ad}Y)^n(X)=0$ for all $n\geq 3$, we arrive at

$$\exp(\operatorname{-ad}Y)(X)=X+H-Y.$$

To finish the proof we need to compute

$$\exp(\operatorname{ad}X)(X+H-Y);$$

as $$\operatorname{ad}X(X+H-Y)=[X,X]+[X,H]-[X,Y]=-2X-H,$$ $$(\operatorname{ad}X)^2(X+H-Y)=-2[X,X]-[X,H]=2X,$$

then, using $(\operatorname{ad}X)^n(X+H-Y)=0$ for all $n\geq 3$ we arrive at

$$\sigma(X)=X+H-Y-2X-H+X=-Y,$$

as stated.

  • Short way: nilpotency

As $X$ and $Y$ are nilpotent, it is easy to see that $(\operatorname{ad}X)^n=(\operatorname{ad}Y)^n=0$ for all $n\geq 3$. Then

$$\exp(\operatorname{ad}X)=1+\operatorname{ad}X+\frac{1}{2!}(\operatorname{ad}X)^2,$$

and similarly for $\exp(\operatorname{ad}Y)$. Repeating the above lines, the thesis follows.

Avitus
  • 14,018
  • Thank you. I just have one more question: Is it enough to show that \sigma and conjugation of s have the same effect on basis in order to show that they are the same? – user87369 Aug 13 '13 at 12:41
  • You are welcome. Please, feel free to flag and upvote the answer if you found it useful. Any element $M\in\mathfrak{sl}_2(k)$ is uniquely written as a linear combination in the basis $(H,X,Y)$. All you need now is to extend $s$ linearly to whole $M\in\mathfrak{sl}_2(k)$ (i.e. $s(aX+bH+cY):=as(X)+bs(H)+cs(Y))$ and to check whether $\sigma(\cdot)$ is a linear operator... – Avitus Aug 13 '13 at 13:18
  • Ok. In other words all I need to do is to check whether \sigma is linear, right? And that completes exercise 14. – user87369 Aug 13 '13 at 16:02
  • Yes: $\sigma$ is "made of" compositions of $ad(\cdot)$; is this latter operator linear? – Avitus Aug 13 '13 at 16:30
  • I showed that \sigma is linear. It wasn't hard. I just wanted to be sure that it completes the exercise because s is obviously linear and so is conjugation of s. They have the same effect on basis. Therefore they have the same effect on sl(2,k). – user87369 Aug 13 '13 at 17:23
  • Yes, the exercise is complete! – Avitus Aug 13 '13 at 17:34
  • Isn't $[H,X]=2X$ in the standard basis (i.e the eignvalues of ad_H are 0,2,-2)? – Espace' etale Apr 25 '20 at 17:22