Skip to main content
2 of 2
Minor TeXing
LSpice
  • 12.9k
  • 4
  • 45
  • 69

On the orbit of a Fréchet Lie group action

Suppose that $G$ is a Fréchet Lie group acting on a Fréchet manifold $X$. Fix $x\in X$ and let $\alpha(t)$ be a smooth path in $X$ such that $$ \begin{cases} \alpha(0)=x\\ \alpha(t)\in G\cdot x. \end{cases} $$ Also denote $\rho_{x}:G\rightarrow X:g\mapsto g\cdot x$. Is it true that $\alpha'(0)\in \operatorname{Im}(d_{e}\rho_{x})$?

In the finite dimensional setting, this is clearly the case: the orbit $G\cdot x$ is a weakly embedded submanifold of $X$, hence $\alpha(t)$ is also smooth as a curve in $G\cdot x$. Consequently $$\alpha'(0)\in T_{x}(G\cdot x)=\operatorname{Im}(d_{e}\rho_{x}).$$

In the case that is of interest to me, $G=\operatorname{Diff}(M)$ is the space of diffeomorphisms of a compact manifold $M$, and $X$ is the Fréchet space of rank-$k$ distributions $\Gamma(\operatorname{Gr}_{k}(M))$.

studiosus
  • 305
  • 1
  • 6