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. 



Symmetry group for the frame bundle of a G-space
The chain rule for manifolds states that if $f : M \to N$ and $g : N \to Q$ are smooth, then the derivative $Df : TM \to TN$ and $Dg : TN \to TQ$ satisfy
$$D(g \circ f) = Dg \circ Df$$


So if $g \in G$, let the action of $g$ on $Q$ be denoted $L\_g : Q \to Q$. So $L\_g \circ L\_h = L\_{gh}$, therefore $D(L\_{gh}) = D(L\_g) \circ D(L\_h)$. So the action of $G$ on $TQ$ is the map $G \times TQ \to TQ$ given by $(g,v) \longmapsto D(L\_g)(v)$. 


For Q2, just lift the action on the tangent bundle to the frame bundle, i.e. $(g,(v\_1,\cdots,v\_n)) \longmapsto (D(L\_g)(v\_1), \cdots, D(L\_g)(v\_n))$. 


