I have seen some (apparently contradictory) claims by mathematicians and physicists regarding the existence of an (infinite dimensional) Lie group whose Lie algebra is the Virasoro algebra.

The Virasoro algebra is a central extension of the Witt algebra, which is slightly simpler to describe and for which the same confusion is present, so I will formulate my question in that setting.

We define the Witt algebra to be $\mathfrak g:=\mathbb R[L_n\colon n\in\mathbb Z]$ where $L_n$ is the operator on the Laurent polynomial ring $\mathbb R[z,z^{-1}]$ given by $L_np(z)=z^{1-n}p'(z)$. When equipped with the commutator of operators as Lie bracket, $\mathfrak g$ becomes an (infinite dimensional) Lie algebra.

The Witt algebra can also be described abstractly, as the Lie algebra generated by elements $(L_n)_{n\in\mathbb Z}$ satisfying the commutation relations $$ [L_m,L_n]=(m-n)L_{m+n},\qquad m,n\in\mathbb Z. $$

There is also a complex Witt algebra, $\mathfrak g_{\mathbb C}$, obtained by tensoring with $\mathbb C$. Equivalently, this is the algebra generated as above by operators acting on the Laurent polynomial ring $\mathbb C[z,z^{-1}]$.

Question 1. Are $\mathfrak g$ and $\mathfrak g_{\mathbb C}$ dense subsets of reasonable Banach algebras?

Regardless of the answer to the previous question, both $\mathfrak g$ and $\mathfrak g_{\mathbb C}$ can be realized as dense subsets of reasonable locally convex topological vector spaces of vector fields.

For a compact smooth manifold $M$, the group $\text{Diff}(M)$ of smooth diffeomorphisms can be given a Lie group structure such that the Lie algebra $\text{Vect}(M)$ consists of the smooth vector fields on $M$.

If I am understanding several claims by physicists correctly, taking $M=\mathbb S^1$ in the previous paragraph should yield a Lie group whose Lie algebra is closely related to either $\mathfrak g$ or $\mathfrak g_{\mathbb C}$. This leads me to the following questions.

Question 2. Does $\text{Vect}(\mathbb S^1)$ contain a Lie subalgebra isomorphic to $\mathfrak g$?

Question 3. What is the precise relationship between $\text{Vect}(\mathbb S^1)$ and $\mathfrak g_{\mathbb C}$?

References: The article Kac-Moody and Virasoro algebras in relation to quantum physics by Goddard and Olive claims that the diffeomorphism group of the circle has the infinitesimal symmetries of the Witt algebra. Schottenloher's book A Mathematical Introduction to Conformal Field Theory claims, in section 5.4, that there is no complex Virasoro group and also no complex Witt group. Remarks on infinite dimensional Lie groups by Milnor discusses infinite dimensional Lie groups modeled upon locally convex topological Lie algebras and, in particular, section 6 of that article is devoted to groups of smooth diffeomorphisms of spheres.

I have asked a related question on the physics stackexchange.

  • 3
    $\begingroup$ Re Q1: vector spaces with countably infinite Hamel bases can never be Banach (by a Baire category argument) so you might wish to rethink/rephrase - perhaps you just want a norm for which the completion has desirable properties? $\endgroup$ – Yemon Choi Apr 15 '17 at 0:24
  • 2
    $\begingroup$ Please, edit the title of your question to match the questions Q1-Q3 in the body of your post. FWIW, the answers to everything are contained in Pressley and Segal's book "Loop groups". $\endgroup$ – Victor Protsak Apr 15 '17 at 4:25
  • 1
    $\begingroup$ @VictorProtsak, you mention the book "Loop groups". I actually had several issues with the treatment of this topic in section 3.3 beginning on page 28. For example, in the proof of Prop 3.3.1(i) the "subgroup" $H$ is in fact not even a group if $n>1$, since the identity function is not periodic of period $2\pi/n$. Furthermore, it appears a step is missing in deducing from Prop 3.3.2 that there is no Lie group with algebra $\text{Vect}(\mathbb S^1)\otimes \mathbb C$. $\endgroup$ – pre-kidney Apr 15 '17 at 6:24
  • 1
    $\begingroup$ As most writings of Jack Morava, "An algebraic analog of the Virasoro group" is highly cryptic but extremely interesting. I think it is relevant to your question. $\endgroup$ – მამუკა ჯიბლაძე Apr 15 '17 at 9:55
  • 1
    $\begingroup$ Thanks @მამუკაჯიბლაძე that was extremely helpful. In section 1.3, Morava fixes the first issue from "Loop groups" in the comment above, namely he clearly says what is meant by a "periodic diffeomorphism" (equivariant wrt a suitable rotation). In general the 6-page paper is extremely precise and addresses the algebraic questions, leaving the analytic ones unanswered. $\endgroup$ – pre-kidney Apr 15 '17 at 21:38

The following answers Question 2 and 3:

For 2, $\frak{g}$ is a dense Lie subalgebra of Vect($S^1$). Tensoring with $\mathbb{C}$ gives you 3.

Identify an infinitestimal diffeomorphism on the circle to a vector field on $S^1$. Visualize a vector field as a field of tangent vectors. Each tangent vector is a multiple of $\partial_\theta$, so a vector field can be described by $A(\theta)\partial_\theta$, where $A$ is a smooth function on $S^1$. Fourier theory lets you express $A$ in terms of its Fourier series, so the space of vector fields is generated by $\{e^{in\theta}\ | n\in \mathbb{Z}\}$. Define

$$ L_n = -ie^{in\theta}\partial_\theta $$

It's easy to check that these satisfy the generator relations you gave: for all smooth functions $f$ on $S^1$,

$$ [L_n,L_m]f = e^{i(n+m)\theta} i (n-m) f = (m-n) L_{n+m} f, $$

and thus

$$ [L_n,L_m] = (m-n) L_{n+m}. $$

| cite | improve this answer | |
  • 1
    $\begingroup$ Which of the question do you claim to answer? In Question 1, one wants to embed as "dense subset of a Banach algebra", which I'm struggling to make sense (Banach Lie algebra? underlying Lie algebra of an associative Banach algebra?), but at least I imagine you have some explicit Banach algebra in mind? $\endgroup$ – YCor May 17 at 22:29
  • $\begingroup$ Ah! I came from the other post he linked to, and did not pay attention to the first question. I have edited to clarify that I'm just answering for 2 and 3. $\endgroup$ – Student May 17 at 23:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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