Skip to main content
1 of 2
studiosus
  • 305
  • 1
  • 6

On the orbit of a Frechet 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 \text{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)=\text{Im}(d_{e}\rho_{x}).$$

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

studiosus
  • 305
  • 1
  • 6