Three dimensional construction of the Virasoro-Bott group

We present a three-dimensional geometric construction of the Virasoro-Bott group, which is a central extension of the group of diffeomorphisms of the circle. Our approach is analogous to the well-known construction of a central extension of the loop group by means of the Wess-Zumino topological term. In particular, the Virasoro-Bott group is realized as a quotient group of diffeomorphisms of the disc with special boundary conditions. We identify the Lie algebra corresponding to our group with the Virasoro algebra. We also show that for generalized boundary conditions the Virasoro algebra is extended to a semidirect product with the Heisenberg algebra. We discuss the relation between our construction, the Chern-Simons theory, and the three-dimensional gravity.

[1]  A. Douady,et al.  Conformally natural extension of homeomorphisms of the circle , 1986 .

[2]  B. Khesin,et al.  Four dimensional realization of two dimensional current groups , 1996 .

[3]  A. Banyaga.  The Structure of Classical Diffeomorphism Groups , 1997 .

[4]  S. Detournay,et al.  Holographic Chern-Simons Theories , 2014, 1404.1919.

[5]  Abelian Extensions of the Group of Diffeomorphisms of a Torus , 2003, math/0302007.

[6]  Nathan Seiberg,et al.  Remarks on the canonical quantization of the Chern-Simons-Witten theory , 1989 .

[7]  T. Ratiu,et al.  The geometry of the universal Teichmuller space and the Euler-Weil-Petersson equation , 2015 .

[8]  Smooth perfectness for the group of diffeomorphisms , 2004, math/0409605.

[9]  A. Katok,et al.  Differentiability, rigidity and Godbillon-Vey classes for Anosov flows , 1990 .

[10]  William P. Thurston,et al.  Foliations and groups of diffeomorphisms , 1974 .

[11]  E. Papantonopoulos.  Modifications of Einstein's theory of gravity at large distances , 2015 .

[12]  J. Mickelsson.  Current Algebras and Groups , 1989 .

[13]  W. Massey.  A basic course in algebraic topology , 1991 .

[14]  J. Mickelsson.  Kac-Moody groups, topology of the Dirac determinant bundle, and fermionization , 1987 .

[15]  Smooth Perfectness through Decomposition of Diffeomorphisms into Fiber Preserving Ones , 2001, math/0110041.

[16]  B. Khesin,et al.  The Geometry of Infinite-Dimensional Groups , 2009 .

[17]  E. Witten.  Non-abelian bosonization in two dimensions , 1984 .