Teoría cuántica de Liouville en el campo de fondo formalismo I. Superficies compactas de Riemann