6
$\begingroup$

I have a left invariant 3-form, $\sigma$ on an simply connected Lie group, $G$ whose value at the identity is $\sigma=\langle[x,y],z\rangle$, where $\langle\cdot,\cdot\rangle$ denotes an invariant bilinear form on $\mathfrak{g}$. Let $i_\alpha$ denote the map $i_\alpha: SU_2 \to G$ induced by the root $\alpha$. When I pull back $\sigma$ by $i_\alpha$ I am supposed to get $\frac{1}{2}\langle h_\alpha,h_\alpha\rangle\sigma_0$ where $\sigma_0$ denotes the invariant 3 form on $SU_2$.

When I do this at the identity I must be missing something because I do not get the $\frac{1}{2}$. At the identity we should have: $i_\alpha^*(\sigma)(e,f,h)=\sigma(e_\alpha,f_\alpha,h_\alpha)=\langle [ e_\alpha, f_\alpha ], h_\alpha \rangle=\langle i h_\alpha, h_\alpha\rangle$ Could someone please point out where it comes from?

  • 0
    $\sigma_0$ is the invariant 3 form on $SU_2$ $\sigma$ is supposed to pull back to $\sigma_0$ times a scalar. I can show that this is the case but I missed something with the scalar.2012-06-04

0 Answers 0