Vertex F-algebras and their associated Lie algebra

Vertex F-algebras are a deformation of the concept of an ordinary vertex algebra in which the additive formal group law is replaced by an arbitrary formal group law F. The main theorem of this paper constructs a Lie algebra from a vertex F-algebra - for the additive formal group law, this extends Borcherds' well-known construction for ordinary vertex algebras. Our construction involves the new concept of an F-residue and some other new algebraic concepts, which are deformations of familiar concepts for the special case of an additive formal group law.