On the concepts of intertwining operator and tensor product module in vertex operator algebra theory

We produce counterexamples to show that in the definition of the notion of intertwining operator for modules for a vertex operator algebra, the commutator formula cannot in general be used as a replacement axiom for the Jacobi identity. We further give a sufficient condition for the commutator formula to imply the Jacobi identity in this definition. Using these results we illuminate the crucial role of the condition called the “compatibility condition” in the construction of the tensor product module in vertex operator algebra theory, as carried out in work of Huang and Lepowsky. In particular, we prove by means of suitable counterexamples that the compatibility condition was indeed needed in this theory.     

Module twistors for modules of nonlocal vertex algebras

We introduce the notion of module twistor for a module of a nonlocal vertex algebra. The aim of this paper is to use this concept to unify some deformed constructions of modules of nonlocal vertex algebras, such as twisted tensor products and iterated twisted tensor products of modules of nonlocal vertex algebras.     

L-R-Twisted Tensor Products of Nonlocal Vertex Algebras and Their Modules

In this article, we introduce and study a common generalization of the twisted tensor product construction of nonlocal vertex algebras and their modules. We investigate some properties of this new construction; for instance, we give the relations between L-R-twisted tensor product nonlocal vertex algebras and twisted tensor product vertex algebras. Furthermore, we find the conditions for constructing an iterated L-R-twisted tensor product nonlocal vertex algebra and its module.     

Twisted modules for quantum vertex algebras

We study twisted modules for (weak) quantum vertex algebras and we give a conceptual construction of (weak) quantum vertex algebras and their twisted modules. As an application we construct and classify irreducible twisted modules for a certain family of quantum vertex algebras.     

Representations of centrally-extended Lie algebras over differential operators and vertex algebras

We construct irreducible modules of centrally-extended classical Lie algebras over left ideals of the algebra of differential operators on the circle, through certain irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries. The structures of vertex algebras associated with the vacuum representations of these algebras are determined. Moreover, we prove that under certain conditions, the highest-weight irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries naturally give rise to the irreducible modules of the simple quotients of these vertex algebras. From vertex algebra and its representation point of view, our results with positive integral central charge are high-order differential operator analogues of the well-known WZW models in conformal field theory associated with affine Kac-Moody algebras. Indeed, when the left ideals are the algebra of differential operators, our Lie algebras do contain affine Kac-Moody algebras as subalgebras and our results restricted on them are exactly the representation contents in WZW models. Similar results with negative central charge are also obtained.     

A theory of tensor products for module categories for a vertex operator algebra, III

This is the third part in a series of papers developing a tensor product theory for modules for a vertex operator algebra. The goal of this theory is to construct a “vertex tensor category” structure on the category of modules for a suitable vertex operator algebra. The notion of vertex tensor category is essentially a “complex analogue” of the notion of symmetric tensor category, and in fact a vertex tensor category produces a braided tensor category in a natural way. In this paper, we focus on a particular element P(z) of a certain moduli space of three-punctured Riemann spheres; in general, every element of this moduli space will give rise to a notion of tensor product, and one must consider all these notions in order to construct a vertex tensor category. Here we present the fundamental properties of the P(z)-tensor product of two modules for a vertex operator algebra. We give two constructions of a P(z)-tensor product, using the results, established in Parts I and II of this series, for a certain other element of the moduli space. The definitions and results in Parts I and II are recalled.     

The algebraic structure of relative twisted vertex operators

Twisted vertex operators based on rational lattices have had many applications in vertex operator algebra theory and conformal field theory. In this paper, “relativized” twisted vertex operators are constructed in a general context based on isometries of rational lattices, and a generalized twisted Jacobi identity is established for them. This result generalizes many previous results. Relatived untwisted vertex operators had been studied in a monograph by the authors. The present paper includes as a special case the proof of the main relations among twisted vertex operators based on even lattices announced some time ago by the second author.     

Twisted Yangians and Mickelsson algebras I

We introduce an analogue of the composition of the Cherednik and Drinfeld functors for twisted Yangians. Our definition is based on the Howe duality, and originates from the centralizer construction of twisted Yangians due to Olshanski. Using our functor, we establish a correspondence between intertwining operators on the tensor products of certain modules over twisted Yangians, and the extremal cocycle on the hyperoctahedral group.     

扭的Heisenberg-Virasoro顶点算子代数的一个特征化（英文）

The twisted Heisenberg-Virasoro algebra is the universal central extension of the Lie algebra of differential operators on a circle of order at most one. In this paper, we first study the variety of semi-conformal vectors of the twisted Heisenberg-Virasoro vertex operator algebra, which is a finite set consisting of two nontrivial elements. Based on this property,we also show that the twisted Heisenberg-Virasoro vertex operator algebra is a tensor product of two vertex operator algebras. Moreover, associating to properties of semi-conformal vectors of the twisted Heisenberg-Virasoro vertex operator algebra, we charaterized twisted Heisenberg-Virasoro vertex operator algebras. This will be used to understand the classification problems of vertex operator algebras whose varieties of semi-conformal vectors are finite sets.     

Vertex operator algebras and representations of affine Lie algebras

We announce the construction of an explicit basis for all integrable highest weight modules over the Lie algebra A ₁ ⁽¹⁾. The construction uses representations of vertex operator algebras and leads to combinatorial identities of Rogers-Ramanujan-type.     

A generalized vertex operator algebra for Heisenberg intertwiners

We consider the extension of the Heisenberg vertex operator algebra by all its irreducible modules. We give an elementary construction for the intertwining vertex operators and show that they satisfy a complex parameterized generalized vertex operator algebra. We illustrate some of our results with the example of integral lattice vertex operator superalgebras.     

Nonlocal vertex algebras generated by formal vertex operators

This is the first paper in a series to study vertex algebra-like objects arising from infinite-dimensional quantum groups (quantum affine algebras and Yangians). In this paper we lay the foundations for this study. For any vector space W, we study what we call quasi compatible subsets of Hom (W,W((x))) and we prove that any maximal quasi compatible subspace has a natural nonlocal (namely noncommutative) vertex algebra structure with W as a natural faithful quasi module in a certain sense, and that any quasi compatible subset generates a nonlocal vertex algebra with W as a quasi module. In particular, taking W to be a highest weight module for a quantum affine algebra we obtain a nonlocal vertex algebra with W as a quasi module. We also formulate and study a notion of quantum vertex algebra and we give general constructions of nonlocal vertex algebras, quantum vertex algebras and their modules.     

A theory of tensor products for module categories for a vertex operator algebra,II

This is the second part in a series of papers presenting a theory of tensor products for module categories for a vertex operator algebra. In Part I, the notions ofP(z)- andQ(z)-tensor product of two modules for a vertex operator algebra were introduced and under a certain hypothesis, two constructions of aQ(z)-tensor product were given, using certain results stated without proof. In Part II, the proofs of those results are supplied.     

Cofiniteness conditions, projective covers and the logarithmic tensor product theory

We construct projective covers of irreducible V-modules in the category of grading-restricted generalized V-modules when V is a vertex operator algebra satisfying the following conditions: 1. V is C₁-cofinite in the sense of Li. 2. There exists a positive integer N such that the differences between the real parts of the lowest conformal weights of irreducible V-modules are bounded by N and such that the associative algebra A_N(V) is finite dimensional. This result shows that the category of grading-restricted generalized V-modules is a finite abelian category over C. Using the existence of projective covers, we prove that if such a vertex operator algebra V also satisfies Condition 3 that irreducible V-modules are R-graded and C₁-cofinite in the sense of the author, then the category of grading-restricted generalized V-modules is closed under operations ?_P(z) for z∈C^×. We also prove that other conditions for applying the logarithmic tensor product theory developed by Lepowsky, Zhang and the author hold. Consequently, for such V, this category has a natural structure of braided tensor category. In particular, when V is of positive energy and C₂-cofinite, Conditions 1-3 are satisfied and thus all the conclusions hold.     

Higher level Zhu algebras and modules for vertex operator algebras

Motivated by the study of indecomposable, nonsimple modules for a vertex operator algebra V, we study the relationship between various types of V-modules and modules for the higher level Zhu algebras for V, denoted $A_n(V)$, for $n\in \mathbb{N}$, first introduced by Dong, Li, and Mason in 1998. We resolve some issues that arise in a few theorems previously presented when these algebras were first introduced, and give examples illustrating the need for certain modifications of the statements of those theorems. We establish that whether or not $A_{n?1}(V)$ is isomorphic to a direct summand of $A_n(V)$ affects the types of indecomposable V-modules which can be constructed by inducing from an $A_n(V)$-module, and in particular whether there are V-modules induced from $A_n(V)$-modules that were not already induced by $A_0(V)$. We give some characterizations of the V-modules that can be constructed from such inducings, in particular as regards their singular vectors. To illustrate these results, we discuss two examples of $A_1(V)$: when V is the vertex operator algebra associated to either the Heisenberg algebra or the Virasoro algebra. For these two examples, we show how the structure of $A_1(V)$ in relationship to $A_0(V)$ determines what types of indecomposable V-modules can be induced from a module for the level zero versus level one Zhu algebras. We construct a family of indecomposable modules for the Virasoro vertex operator algebra that are logarithmic modules and are not highest weight modules.     

Representations of a class of lattice type vertex algebras

In this paper we study the representation theory for certain “half lattice vertex algebras.” In particular we construct a large class of irreducible modules for these vertex algebras. We also discuss how the representation theory of these vertex algebras are related to the representation theory of some associative algebras.     

Differential equations in vertex algebras and simple modules for the Lie algebra of vector fields on a torus

We study irreducible representations for the Lie algebra of vector fields on a 2-dimensional torus constructed using the generalized Verma modules. We show that for a certain choice of parameters these representations remain irreducible when restricted to a loop subalgebra in the Lie algebra of vector fields. We prove this result by studying vertex algebras associated with the Lie algebra of vector fields on a torus and solving non-commutative differential equations that we derive using the vertex algebra technique.     

A $$\mathbb{Z}_{2}$$-orbifold model of the symplectic fermionic vertex operator superalgebra

We give an example of an irrational C ₂-cofinite vertex operator algebra whose central charge is −2d for any positive integer d. This vertex operator algebra is given as the even part of the vertex operator superalgebra generated by d pairs of symplectic fermions, and it is just the realization of the c = −2-triplet algebra given by Kausch in the case d = 1. We also classify irreducible modules for this vertex operator algebra and determine its automorphism group. This research is supported in part by a grant from Japan Society for the Promotion of Science.     

Local conformal nets arising from framed vertex operator algebras

We apply an idea of framed vertex operator algebras to a construction of local conformal nets of (injective type III₁) factors on the circle corresponding to various lattice vertex operator algebras and their twisted orbifolds. In particular, we give a local conformal net corresponding to the moonshine vertex operator algebras of Frenkel-Lepowsky-Meurman. Its central charge is 24, it has a trivial representation theory in the sense that the vacuum sector is the only irreducible DHR sector, its vacuum character is the modular invariant J-function and its automorphism group (the gauge group) is the Monster group. We use our previous tools such as α-induction and complete rationality to study extensions of local conformal nets.