Central-commutator exponential identity

ID: central-commutator-exponential-identity

For finite-dimensional complex linear operators with commuting with both and , differentiating gives the constant derivative . Hence , and conjugating the matrix exponential gives . Since , multiplication by proves the identity. The commutator order determines the minus sign.

New to topics? Read the docs here!