show/hide this revision's text 4 fixed a typo

You could try É. Cartan's papers on infinite pseudogroups (mostly appearing 1904-05). In particular, see Paragraph 57 of Sur la structure des groupes infinis de transformation (suite). There, for example, he proves that the (pseudo-)group of diffeomorphisms of the line has three distinct (i.e., nonequivalent) $2$-dimensional homogeneous spaces and seven distinct $3$-dimensional homogeneous spaces, etc. Obviously, these induce representations of the Lie algebra of vector fields on the line in dimensions $2$ and $3$. A similar statement can be made for the diffeomorphisms of the circle.

For example, if $M$ is a $1$-dimensional manifold, then Diff($M$) acts transitively on $T^\bullet M$ (the punctured tangent bundle of $M$), the space $A(M)$ (the $0$-jets of affine connections on $M$), and the space $P(M)$ (the $0$-jets of projective connections on $M$). (Of course, these are all bundles over $M$.)

Added information: If you take a (possibly periodic) coordinate $x$ on $M$, the vector fields are in one-to-one correspondence with functions, say $V_f = f(x)\partial_x$. Then one has the corresponding homomorphisms $\phi_i$ from the vector fields on $M$ to vector fields in two dimensions of the form

  1. $\phi_1(V_f) = f(x)\partial_x - \bigl(f'(x) y\bigr)\partial_y$. (Take $y\not=0$.)
  2. $\phi_2(V_f) = f(x)\partial_x - \bigl(f'(x) y + f''(x)\bigr)\partial_y$.
  3. $\phi_3(V_f) = f(x)\partial_x - 2\bigl(f'(x) y + f'''(x)\bigr)\partial_y$.

The $3$-dimensional homogeneous spaces are a little harder to describe. Obvious examples are the spaces of $1$-jets of sections of the above bundles, but these are only three of the seven possibilities.

In high enough dimension (I think Cartan says that it starts in dimension $n=6$), n=5$), it turns out that there are continuous families of inequivalent $n$-dimensional homogeneous spaces of Diff($M$).

show/hide this revision's text 3 Added some explicit formulae

You could try É. Cartan's papers on infinite pseudogroups (mostly appearing 1904-05). In particular, see Paragraph 57 of Sur la structure des groupes infinis de transformation (suite). There, for example, he proves that the (pseudo-)group of diffeomorphisms of the line has three distinct (i.e., nonequivalent) $2$-dimensional homogeneous spaces and seven distinct $3$-dimensional homogeneous spaces, etc. Obviously, these induce representations of the Lie algebra of vector fields on the line in dimensions $2$ and $3$. A similar statement can be made for the diffeomorphisms of the circle.

For example, if $M$ is a $1$-dimensional manifold, then Diff($M$) acts transitively on $T^\bullet M$ (the punctured tangent bundle of $M$), the space $A(M)$ (the $0$-jets of affine connections on $M$), and the space $P(M)$ (the $0$-jets of projective connections on $M$). (Of course, these are all bundles over $M$.)

Added information: If you take a (possibly periodic) coordinate $x$ on $M$, the vector fields are in one-to-one correspondence with functions, say $V_f = f(x)\partial_x$. Then one has the corresponding homomorphisms $\phi_i$ from the vector fields on $M$ to vector fields in two dimensions of the form

  1. $\phi_1(V_f) = f(x)\partial_x - \bigl(f'(x) y\bigr)\partial_y$. (Take $y\not=0$.)
  2. $\phi_2(V_f) = f(x)\partial_x - \bigl(f'(x) y + f''(x)\bigr)\partial_y$.
  3. $\phi_3(V_f) = f(x)\partial_x - 2\bigl(f'(x) y + f'''(x)\bigr)\partial_y$.

The $3$-dimensional homogeneous spaces are a little harder to describe. Obvious examples are the spaces of $1$-jets of sections of the above bundles, but these are only three of the seven possibilities.

In high enough dimension (I think Cartan says that it starts in dimension $n=6$), it turns out that there are continuous families of inequivalent $n$-dimensional homogeneous spaces of Diff($M$).

show/hide this revision's text 2 Fixed grammar problems

You could try É. Cartan's papers on infinite pseudogroups (mostly appearing 1904-05). In particular, see Paragraph 57 of Sur la structure des groupes infinis de transformation (suite). There, for example, he proves that the (pseudo-)group of diffeomorphisms of the line has three distinct (i.e., nonequivalent) $2$-dimensional homogeneous spaces and seven distinct $3$-dimensional homogeneous spaces, etc. Obviously, these induce representations of the Lie algebra of vector fields on the line in dimensions $2$ and $3$. A similar statement can be made for the diffeomorphsisms diffeomorphisms of the circle.

For example, if $M$ is a $1$-dimensional manifold, then Diff($M$) acts transitively on $T^\bullet M$ (the punctured tangent bundle of $M$), the space $A(M)$ (the $0$-jets of affine connections on $M$), and the space $P(M)$ (the $0$-jets of projective connections on $M$). (Of course, these are all bundles over $M$.)

The $3$-dimensional homogeneous spaces are harder to describe, but, for example, one obviously has . Obvious examples are the space spaces of $1$-jets of sections of the above bundles, but this is these are only three of the seven possibilities.

In high enough dimension (I think Cartan says that it starts in dimension $n=6$), it turns out that there are continuous families of inequivalent $n$-dimensional homogeneous spaces of Diff($M$).

show/hide this revision's text 1