paper

Factorization of formal exponentials and uniformization

arXiv:math/9908151 · doi:10.1006/jabr.2000.8285

Abstract

Let be a Lie algebra in characteristic zero equipped with a vector space decomposition , and let and be commuting formal variables. We prove that the Campbell-Baker-Hausdorff map given by for is a bijection, as is well known when is finite-dimensional over or , by geometry. It follows that there exist unique such that (also well known in the finite-dimensional geometric setting). We apply this to consisting of certain formal infinite series with coefficients in a Lie algebra . For the Virasoro algebra (resp., a Grassmann envelope of the Neveu-Schwarz superalgebra), the result was first proved by Huang (resp., Barron) as a step in the construction of a (super)geometric formulation of the notion of vertex operator (super)algebra. For the Virasoro (resp., N=1 Neveu-Schwarz) algebra with zero central charge the result gives the precise expansion of the uniformizing function for a sphere (resp., supersphere) with tubes resulting from the sewing of two spheres (resp., superspheres) with tubes in two-dimensional genus-zero holomorphic conformal (resp., N = 1 superconformal) field theory. The general result places such uniformization problems into a broad formal algebraic context.

LaTex file, 31 pages

Cited by in corpus (8)