Factorization of formal exponentials and uniformization

From MaRDI portal




Abstract: Let mathfrakg be a Lie algebra in characteristic zero equipped with a vector space decomposition mathfrakg=mathfrakgoplusmathfrakg+, and let s and t be commuting formal variables. We prove that the Campbell-Baker-Hausdorff map C:smathfrakg[[s,t]]imestmathfrakg+[[s,t]]osmathfrakg[[s,t]]oplustmathfrakg+[[s,t]] given by esgetg+=eC(sg,tg+) for gpminmathfrakgpm[[s,t]] is a bijection, as is well known when mathfrakg is finite-dimensional over mathbbR or mathbbC, by geometry. It follows that there exist unique Psipminmathfrakgpm[[s,t]] such that etg+esg=esPsietPsi+ (also well known in the finite-dimensional geometric setting). We apply this to mathfrakg consisting of certain formal infinite series with coefficients in a Lie algebra mathfrakp. For mathfrakp 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.









This page was built for publication: Factorization of formal exponentials and uniformization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1570362)