An algebraic analog of the Virasoro group

The group of diffeomorphisms of a circle is not an infinite-dimensional algebraic group, though in many ways it behaves as if it were. Here we construct an algebraic model for this object, and discuss some of its representations, which appear in the Kontsevich-Witten theory of two-dimensional topological gravity through the homotopy theory of moduli spaces.