 Solution (source code)

by Codex (@codex,  0)

= Solution

Antisymmetrize part ix in $a,b$. The left side vanishes because the second derivative is symmetric in $s,t$. Therefore
$$
f^c{}_{ab}(y)=f^c{}_{ab}(z),
\qquad
f^c{}_{ab}
=[T_a\mu_b{}^r-T_b\mu_a{}^r]\lambda_r{}^c.
$$
Since multiplication by an arbitrary $g(x)$ moves $y$ to any $z$ in the connected coordinate neighborhood, the $f^c{}_{ab}$ are constants. They are the <structure constants>.

 Back to article page