Lie bracket
这里 ["X","Y"] 是向量场的李括号。