Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let a (connected) Lie group $G$ act on $M$. Assume that the action is locally free. (In other words, if the fundamental vector field of $X \in \mathrm{Lie(G)}$ $$ \underline{X}(p) := \left.\dfrac{d}{dt} \exp(tX) \cdot p\right|_{t=0} $$ vanishes at some point $p \in M$, then $X=0$.)

Let $K$ be a Lie subgroup of $G$ and $N$ a $K$-invariant submanifold of $M$. We suppose the following condition.

$$ q \in N,\ g \in G,\ gq \in N \implies g \in K. $$

Question: If $\underline{X}(q) \in T_qN$, then does $X$ belong to $\mathrm{Lie}(K)$?

(For example, we may take $G:=\mathbb{C}^*=:M$ and $K:=S^1=:N$. Here the action of $G$ on $M$ is given by complex multiplications. But if we take $M=\mathbb{C}$ and $N=\{0\}$, then the statement does not hold.)

We may assume $G$ and $K$ are compact, if we need.

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.