Equivariant
Let us assume that the symmetries defined in Eq. (2) form a closed algebra.
It is parametrized by and .We have the following Cartan form:
This is always true to the first order in and . For this to be true to all orders in and , we need: