Intereting Posts

Why $\sqrt{{2 + \sqrt 5 }} + \sqrt{{2 – \sqrt 5 }}$ is a rational number?
Steiner triple system with $\lambda \le 1$
An alternative approach to finding the number of integer solutions of $x_1+\cdots+x_k=n,\ x_i>0.$
Why does the median minimize $E(|X-c|)$?
Nonnegative linear functionals over $l^\infty$
How to prove Cauchy-Schwarz integral inequality?
Is $ \sin: \mathbb{N} \to \mathbb{R}$ injective?
Question about the proof of $S^3/\mathbb{Z}_2 \cong SO(3)$
Discrete fourier transform on $\mathbb{Z}/N\mathbb{Z}$ vanishing on an interval of size at least $\sqrt{N}$
Calculating CRC by long division: How to decide the top number of long division?
Conditions such that taking global sections of line bundles commutes with tensor product?
R is a regular local ring of dimension $d$, and $I$ an ideal. If $R/I$ has depth $d − 1$, then $I$ is principal.
Finding $\lim\limits_{x \to 0}\ \frac{\sin(\cos(x))}{\sec(x)}$
Strengthening the second isomorphism theorem for topological groups
Example of $f,g: \to$ and riemann-integrable, but $g\circ f$ is not?

My questions will concern two pages:

http://mathworld.wolfram.com/AdjointRepresentation.html

and

- Prove that if $g^2=e$ for all g in G then G is Abelian.
- A group with order exactly $4$ times the order of its center
- Constructing a quotient ring in GAP using structure constants
- Is a semigroup $G$ with left identity and right inverses a group?
- Expression from generators of Special Linear Groups II
- The algebraic closure of a finite field and its Galois group

http://mathworld.wolfram.com/KillingForm.html

In the first page, we know the basis of four matrix $\{e_1,e_2,e_3,e_4\}$, and my try to find their adjoint representations is (taking example of $e_2$):

$$\hbox{ad}_{e_2}e_1=-e_2,\\\hbox{ad}_{e_2}e_2=0,\\\hbox{ad}_{e_2}e_3=e_1-e_4,\\\hbox{ad}_{e_2}e_4=-e_3.$$

Then in the basis $\{e_1,e_2,e_3,e_4\}$, we can write the matrix of adjoint representation of $e_2$ as:

$$\hbox{ad}(e_2)=\left[\begin{array}{cccc}0 & 0 & 1 & 0\\-1 & 0 & 0 & 1\\0 & 0 & 0 & 0\\0 & 0 & -1 & 0\end{array}\right]$$

just like the result in the page. Now my questions:

**Q1.** If my try is right, now we read the second page (“killing form”) and let’s do the same calculations with the basis $[X,Y,H]$. I find the matrix of $\hbox{ad}(Y)$ as

$$\hbox{ad}(Y)=\left[\begin{array}{ccc}0 & 0 & 2\\0 &0 & 0\\-2 & 0 & 0\end{array}\right]$$ but not the result in the page (just its transposition). If this page is right, my precedent result should be

$$\hbox{ad}(e_2)=\left[\begin{array}{cccc}0 & -1 & 0 & 0\\0 & 0 & 0 & 0\\1 & 0 & 0 & -1\\0 & 1 & 0 & 0\end{array}\right].$$ What should it be?

**Q2.** We have the fomula of Lie algebra: $\hbox{ad}_XY=[X,Y]$. What are the relationships between $\hbox{ad}(X)$ and $\hbox{ad}_X(Y)$?

**Q3.** In the page of “killing form”, how does he get $B=\left[\begin{array}{ccc}8 & 0 & 0\\0 & -8 & 0\\0 & 0 & 8\end{array}\right]$?

Thanks!

- Why are Quotient Rings called Quotient Rings?
- Prove every element of $G$ has finite order.
- Could the concept of “finite free groups” be possible?
- Other Algebraically Independent Transcendentals
- Will the Fermat's last theorem still hold if algebraic and transcendental numbers are introduced?
- Is there a purely algebraic proof of the Fundamental Theorem of Algebra?
- Rubik Cube finite non-abelian group
- Completing an exact sequence
- Are finitely generated projective modules free over the total ring of fractions?
- Necessary and sufficient condition for $R/IJ \cong R/I \times R/J$

$\newcommand{\ad}{\operatorname{ad}}$

**Answer to Q1:**

You shouldn’t bother too much with this, it’s just a metter of notation. Anyway, I think there’s a *mistake* in their $\ad(Y)$ in the sense that, if they want to be coherent with the first page, they should have your $\ad(Y)$ and not the transpose of it.

**Answer to Q2:**

The relatiion is simply that $\ad_X(Y)$ is the second column of $\ad(X)$. In your example $\ad_X(Y)$ is the $2\times 2$ matrix

$

XY-XY =

\begin{pmatrix}

2 & \phantom{-}0 \\ 0 & -2

\end{pmatrix}

$, which corresponds to the vector $\begin{pmatrix}0 \\ 0 \\ 2\end{pmatrix}$ in the basis $X,Y,Z$. This means that $\ad_X(Y)$ is expressed as the linear combination

$$ 0\cdot X + 0\cdot Y + 2\cdot Z = \begin{pmatrix}0 \\ 0 \\ 2\end{pmatrix} \cdot \begin{pmatrix}X \\ Y \\ Z\end{pmatrix} $$

**Answer to Q3:**

They just use the defining formula $B(X,Y)=Tr(\ad(X)\cdot\ad(Y))$. By the basic theory of bilinear forms we know that $(i,j)$-entry of the resulting matrix is given by

$$ Tr(\ad(e_i)\cdot\ad(e_j)) $$

where in our case $e_1=X$, $e_2=Y$ and $e_3=H$. As an example, the entry $(2,2)$ is computed by

$$ Tr(\ad(Y)\cdot\ad(Y)) = Tr\;

\begin{pmatrix}

-4 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & -4 \\

\end{pmatrix}

= -8

$$

- Is there a specific term for this SDE?
- Local optimality of a KKT point.
- Can fundamental theorem of algebra for real polynomials be proven without using complex numbers?
- Intuitive significance open sets (and software for learning topology?)
- Preparing for Mathematics Olympiad
- How many groups of order $512$ and $1024$ are there with a center of size $2$?
- Tensor Product of Vector Bundles
- Difference between mutually exclusive events and independent events?
- Change of basis with a nonlinear operator
- Why does $A^TAx = A^Tb$ have infinitely many solution algebraically when $A$ has dependent columns?
- limit of quotient of two series
- Number of point subsets that can be covered by a disk
- Consecutive Prime Factors
- Significant Figures
- How to show $\mathcal{L}(\mathbb{R}) \otimes \mathcal{L}(\mathbb{R}) \subset \mathcal{L}(\mathbb{R^2})$?