TY - JOUR

T1 - A theory of tensor products for modulé categories for a vertex operator algebra, IV

AU - Huang, Yi Zhi

PY - 1995/5/12

Y1 - 1995/5/12

N2 - This is the fourth part in a series of papers developing a tensor product theory of modules for a vertex operator algebra. In this paper, we establish the associativity of P(z)-tensor products for nonzero complex numbers z constructed in Part III of the present series under suitable conditions. The associativity isomorphisms constructed in this paper are analogous to associativity isomorphisms for vector space tensor products in the sense that they relate the tensor products of three elements in three modules taken in different ways. The main new feature is that they are controlled by the decompositions of certain spheres with four punctures into spheres with three punctures using a sewing operation. We also show that under certain conditions, the existence of the associativity isomorphisms is equivalent to the associativity (or (nonmeromorphic) operator product expansion in the language of physicists) for the intertwining operators (or chiral vertex operators). Thus the associativity of tensor products provides a means to establish the (nonmeromorphic) operator product expansion.

AB - This is the fourth part in a series of papers developing a tensor product theory of modules for a vertex operator algebra. In this paper, we establish the associativity of P(z)-tensor products for nonzero complex numbers z constructed in Part III of the present series under suitable conditions. The associativity isomorphisms constructed in this paper are analogous to associativity isomorphisms for vector space tensor products in the sense that they relate the tensor products of three elements in three modules taken in different ways. The main new feature is that they are controlled by the decompositions of certain spheres with four punctures into spheres with three punctures using a sewing operation. We also show that under certain conditions, the existence of the associativity isomorphisms is equivalent to the associativity (or (nonmeromorphic) operator product expansion in the language of physicists) for the intertwining operators (or chiral vertex operators). Thus the associativity of tensor products provides a means to establish the (nonmeromorphic) operator product expansion.

UR - http://www.scopus.com/inward/record.url?scp=0001645655&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0001645655&partnerID=8YFLogxK

U2 - https://doi.org/10.1016/0022-4049(95)00050-7

DO - https://doi.org/10.1016/0022-4049(95)00050-7

M3 - Article

VL - 100

SP - 173

EP - 216

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

SN - 0022-4049

IS - 1-3

ER -