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)
- Rota-Baxter Algebras in Renormalization of Perturbative Quantum Field Theory
- Birkhoff type decompositions and the Baker-Campbell-Hausdorff recursion
- Cardy condition for open-closed field algebras
- Exponential Formulas and Lie Algebra Type Star Products
- On axiomatic aspects of N=2 vertex superalgebras with odd formal variables, and deformations of N=1 vertex superalgebras
- Linear automorphisms of vertex operator algebras associated with formal changes of variable and Bernoulli-type numbers
- The moduli space of N=2 super-Riemann spheres with tubes
- The notion of N=1 supergeometric vertex operator superalgebra and the isomorphism theorem