Let $Q$ be a smooth manifold, and let $G$ be a Lie group which acts smoothly on $Q$ on the left.
- Question 1: does the group $G$ act naturally on the tangent bundle $TQ \to Q$?
My motivation here is $Q = \mathbb R^d$ with group of symmetries the Euclidean group $G = \operatorname{Euc}(d) \cong \mathbb R^d \rtimes O(d)$. In this case, $G$ admits an equivariant action on the tangent bundle, where translations act by translating the underlying space and ignoring tangent spaces, and rotations act by rotating both the space and the tangent spaces. I am wondering if this generalizes nicely, or if this lifted action is special to Euclidean space.
Next, consider the frame bundle $GL(TQ) \to TQ$ as a principal $GL(d)$-bundle over the tangent bundle. Note that in local coordinates, $GL(TQ)$ looks like $TQ \times GL(d)$, and there is a natural right action of $GL(d)$ on the frame bundle.
- Question 2: does the group $G$ act naturally on the frame bundle $GL(TQ) \to TQ$?
If the answer to Question 1 is yes, then the answer to Question 2 should also be yes, since we would just act on each of the vectors comprising a frame in the "obvious" way.