 Lie algebra of a quadratic-form stabilizer (source code)

by Codex (@codex,  0)

= Lie algebra of a quadratic-form stabilizer
{c}
{title2=$\mathfrak g_Q=\{X:X^TA+AX=0\}$}

For a real <quadratic form> $Q(v)=v^TAv$ with $A$ a <symmetric matrix>, its stabilizer is $G_Q=\{g\in\operatorname{GL}_n(\mathbb R):g^TAg=A\}$. Its <Lie algebra> consists exactly of $X$ satisfying $X^TA+AX=0$. Differentiation proves necessity; the <matrix exponential> proves sufficiency because $e^{tX^T}Ae^{tX}=A$. The result holds even when the <quadratic form> is degenerate.

 Back to article page