Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose I have e.g. the Witt algebra,

$\left[l_n,l_m \right] = -(n-m)l_{n+m}$.

I want to realize the $l_n$ as vector fields on some manifold. The classical example is when the $l_n$ span the Lie algebra of diffeomorphisms of the circle, i.e.

$l_n = -i e^{i n \phi} \partial_\phi, \ \ \ 0 \leq \phi < 2\pi.$

Now I'm interested in actions on higher dimensional manifolds, e.g. $S^1 \times$ something.

As a practical approach I could try an ansatz $l_n = -i e^{i n \phi} \partial_\phi + e^{i n \phi} f_n (x) \partial_x$ and demand that the commutation relation is satisfied, which would lead to differential-difference equations for the $f_n$.

I'm sure there's lots of theory about this somewhere... I'd really appreciate some pointers to the right direction...

P.S. Sorry if I seem lazy for not researching this myself, but maybe I'll find the answer faster with some help from The Community?

share|improve this question
add comment

1 Answer

up vote 6 down vote accepted

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=5$), it turns out that there are continuous families of inequivalent $n$-dimensional homogeneous spaces of Diff($M$).

share|improve this answer
    
Oh, I hadn't thought about it from the homogeneous space point of view... that's certainly helpful, thanks! Unfortunately I don't think I can get my hands on Cartan's works... I suppose the articles can be found also on the book "Élie Cartan (1869-1951)"? I'll try to get that from somewhere, but would you know of a more recent (and more available) treatise? –  H. Arponen May 22 '12 at 15:53
2  
@Arponen: I don't know where to find the most recent references, but most of Cartan's important papers (including the one I cited) are available online at Nundam. Go to numdam.org/numdam-bin/search and search on Cartan, E for author and years 1900 to 1910. –  Robert Bryant May 22 '12 at 17:02
    
Unfortunately the scan quality is really low :( Also, since it's a scan, I can't use machin translation on it (I don't know french)... but I'm browsing papers that cite the above paper by Cartan and at least I know the right keywords now. Thanks again, Robert! –  H. Arponen May 22 '12 at 18:01
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.