  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.
