Of course, I assume the manifold is connected. I feel like this is probably true but I have no idea how to prove it. Any hints?
2 Answers
No. Take the one-parameter group action generated by a not-identically-vanishing vector field that vanishes in an open set.
- 5,903
-
I guess you also need to make sure the vector field is "complete", so just kill it outside of a compact set. – Tim kinsella Jan 17 '18 at 13:57
-
Incidentally, the combination of our two answers shows the following: If you have a vector field which vanishes on an open set, then either at least one flow line doesn't close up, or they all close up but with no common period. Weird! – Jason DeVito - on hiatus Jan 18 '18 at 15:09
Tim's answer is spot on, but I wanted to mention that the answer switches if you assume the Lie group is compact.
Suppose $G$ is a compact Lie group acting on a connected manifold $M$. If $G$ fixes a non-empty open set pointwise, then the $G$ action on $M$ is trivial.
Proof: Pick any background Riemannian metric on $M$. By averaging this action over the $G$ action, we obtain a $G$-invariant Riemannian metric. In particular, we may assume $G$ acts isometrically.
Now, let $U$ be a non-empty open subset of $M$ on which $G$ acts trivially and let $p\in U$. Then, for any $g\in G$, we of course have $g\ast p = p$, but more is true: $d_p g:T_p M\rightarrow T_p M$ is the identity function. To see this, pick $v\in T_p M$ and let $\gamma$ be a curve with image entirely in $U$ for which $\gamma'(0) = v$. Then $g \gamma(t) = \gamma(t)$ and differentiation both sides at $t = 0$ gives $d_p g (v) = v$.
But an isometry of a connected Riemannian manifold is determined by its action at a single point. Since multiplication by $g$ and the identity map do the same thing at $p$, $g = Id$. In particular, $G$ acts trivially.
- 50,257
-
I am sure I have proved the statement in the last paragraph somewhere on MSE a long time ago, but I couldn't find it after a bit of googling. If someone can link to any proof of that statement, I would be grateful! – Jason DeVito - on hiatus Jan 16 '18 at 17:51
-
I will accept Tim's answer as it is technically the answer to my question, but thank you for this! It was exactly what I wanted! – R Mary Jan 16 '18 at 18:16
-
very cool. here's a link for the claim. Its a standard closed-open argument. – Tim kinsella Jan 16 '18 at 18:29
-
-
2It may be useful to remark that an isometry of a connected Riemannian manifold is determined by its differential at a single point (from the last paragraph I thought one just needed to know the value of the isometry at a single point). – Fernando Martin Jan 17 '18 at 13:14
-
@Tim: Thanks for the link. I knew the argument, but didn't want to lengthen the post with it. – Jason DeVito - on hiatus Jan 18 '18 at 15:06
-
@F M: I agree - that is what I meant by "action at a single point", but I also agree that my wording was not very clear. – Jason DeVito - on hiatus Jan 18 '18 at 15:07