Skip to main content
2 of 3
added some clarifying comments
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453

I guess that the answer to your first question is no, based on the following: If the union of the $G_i$ were dense in $G=Diff(M)$, then, presumably, for $i$ sufficiently large, the action of $G_i$ would be primitive (i.e., it would not preserve any nontrivial foliation) and locally transitive. The list of the effective, primitive, transitive Lie group actions is known, and, by examining this list, one sees that the dimension of such a group acting on an $n$-manifold is at most $n^2+2n$.

The answer to your second question depends on the manifold, I guess. First, I suppose you have to restrict to the case in which $M$ actually has a transitive smooth action of a finite dimensional Lie group. (For example, any compact orientable surface $M^2$ of genus $2$ or more is not a homogeneous space.) It is not hard, though, to come up with cases for which there is no upper bound. For example, let $M = \mathbb{R}^2$ and consider the group $G_d$ that consists of transformations of the form $\phi(x,y) = \bigl(x{+}a,\ y{+}p(x)\bigr)$ where $a$ is any constant and $p$ is any polynomial of degree $d$ or less. Then $G_d$ acts transitively on $M$ for all $d\ge0$ while $\dim G_d = d+2$. Thus, for $M=\mathbb{R}^2$ the dimension of such $H$ can be arbitrarily high. A similar argument with trig polynomials will provide such an example on the torus, which is compact.

(N.B.: The action of $G_d$ is not primitive since it preserves the foliation by the lines $x=c$, thus, this does not contradict my first paragraph.)

Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453