For every $p \geq 2$, we obtained an explicit construction of a family of $\mathcal{W}(2,2p-1)$-modules, which decompose as direct sum of simple Virasoro algebra modules. Furthermore, we classified all irreducible self-dual $\mathcal{W}(2,2p-1)$-modules, we described their internal structure, and computed their graded dimensions. In addition, we constructed certain hidden logarithmic intertwining operators among two ordinary and one logarithmic $\mathcal{W}(2,2p-1)$-modules. This work, in particular, gives a mathematically precise formulation and interpretation of what physicists have been referring to as "logarithmic conformal field theory" of central charge $c_{p,1}=1-\frac{6(p-1)^2}{p}, p \geq 2$. Our explicit construction can be easily applied for computations of correlation functions. Techniques from this paper can be used to study the triplet vertex operator algebra $\mathcal{W}(2,(2p-1)^3)$ and other logarithmic models.
This is the first in a series of papers where we study logarithmic intertwining operators for various vertex subalgebras of Heisenberg vertex operator algebras. In this paper we examine logarithmic intertwining operators associated with rank one Heisenberg vertex operator algebra $M(1)_a$, of central charge $1-12a^2$. We classify these operators in terms of {\em depth} and provide explicit constructions in all cases. Furthermore, for $a=0$ we focus on the vertex operator subalgebra L(1,0) of $M(1)_0$ and obtain logarithmic intertwining operators among indecomposable Virasoro algebra modules. I…
This is the second part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part II), we develop logarithmic formal calculus and study logarithmic intertwining operators.
This is the fifth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part V), we study products and iterates of intertwining maps and of logarithmic intertwining operators and we begin the development of our analytic approach.
This is the third part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part III), we introduce and study intertwining maps and tensor product bifunctors.
We establish an isomorphism between the space of logarithmic intertwining operators among suitable generalized modules for a vertex operator algebra and the space of homomorphisms between suitable modules for a generalization of Zhu's algebra given by Dong-Li-Mason.
We show that the space of logarithmic intertwining operators among logarithmic modules for a vertex operator algebra is isomorphic to the space of 3-point conformal blocks over the projective line. This is considered as a generalization of Zhu's result for ordinary intertwining operators among ordinary modules.
We consider a class of weak modules for vertex operator algebras that we call logarithmic modules. We also construct nontrivial examples of intertwining operators between certain logarithmic modules for the Virasoro vertex operator algebra. At the end we speculate about some possible logarithmic intertwiners at the level $c=0$.
This is the sixth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VI), we construct the appropriate natural associativity isomorphisms between triple tensor product functors. In fact, we establish a "logarithmic operator product expansion" theorem for logarithmic intertwining operators. In this part, a great deal of analytic reasoning is needed; the statements of the main theorems themselves involve convergence assertions.
This is the seventh part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VII), we give sufficient conditions for the existence of the associativity isomorphisms.
We construct the intertwining operator superalgebras and vertex tensor categories for the N=2 superconformal unitary minimal models and other related models.
This is Part I of a series of papers constructing intertwining operator superalgebras and vertex tensor categories associated to the superconformal minimal models and other related models. In this paper, we construct the intertwining operator superalgebras and vertex tensor categories in the N=1 case.
This is the first of two papers in which we study the modular invariance of pseudotraces of logarithmic intertwining operators. We construct and study genus-one correlation functions for logarithmic intertwining operators among generalized modules over a positive-energy and $C_2$-cofinite vertex operator algebra $V$. We consider grading-restricted generalized $V$-modules which admit a right action of some associative algebra $P$, and intertwining operators among such modules which commute with the action of $P$ ($P$-intertwining operators). We obtain duality properties, i.e., suitable associat…
We derive certain systems of differential equations for matrix elements of products and iterates of logarithmic intertwining operators among strongly graded generalized modules for a strongly graded conformal vertex algebra under suitable assumptions. Using these systems of differential equations, we verify the convergence and extension property needed in the logarithmic tensor category theory for such strongly graded generalized modules developed by Huang, Lepowsky and Zhang.
In vertex algebra theory, fusion rules are described as the dimension of the vector space of intertwining operators between three irreducible modules. We describe fusion rules in the category of weight modules for the Weyl vertex algebra. This way we confirm the conjecture on fusion rules based on the Verlinde algebra. We explicitly construct intertwining operators appearing in the formula for fusion rules. We present a result which relates irreducible weight modules for the Weyl vertex algebra to the irreducible modules for the affine Lie superalgebra $\widehat{gl(1 \vert 1)}$.
We define an integral intertwining operator among modules for a vertex operator algebra to be an intertwining operator which respects integral forms in the modules, and we show that an intertwining operator is integral if it is integral when restricted to generators of the integral forms in the modules. We apply this result to classify integral intertwining operators which respect certain natural integral forms in modules for affine Lie algebra and lattice vertex operator algebras.
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 particul…
We construct the non-stationary Ruijsenaars functions (affine analogue of the Macdonald functions) in the special case $κ=t^{-1/N}$, using the intertwining operators of the Ding-Iohara-Miki algebra (DIM algebra) associated with $N$-fold Fock tensor spaces. By the $S$-duality of the intertwiners, another expression is obtained for the non-stationary Ruijsenaars functions with $κ=t^{-1/N}$, which can be regarded as a natural elliptic lift of the asymptotic Macdonald functions to the multivariate elliptic hypergeometric series. We also investigate some properties of the vertex operator of the DIM…
We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex algebra W(p)^{A_m} follows from a conjectural fusion rules formula for the singlet vertex algebra modules. In the p=2 case, we computed fusion rules for the irreducible singlet vertex algebra modules by using intertwining operators. This result implies the classification of irreducible modules for W(2)^{A_m}, conjectured previously in [4]. The main technica…
We study intertwining operator algebras introduced and constructed by Huang. In the case that the intertwining operator algebras involve intertwining operators among irreducible modules for their vertex operator subalgebras, a number of results on intertwining operator algebras were given in [H9] but some of the proofs were postponed to an unpublished monograph. In this paper, we give the proofs of these results in [H9] and we formulate and prove results for general intertwining operator algebras without assuming that the modules involved are irreducible. In particular, we construct fusing and…
The energy bounds condition for intertwining operators of unitary rational vertex operator algebras (VOAs) was studied, first by A.Wassermann for type $A$ affine VOAs, and later by T.Loke for $c<1$ Virasoro VOAs, and by V.Toledano-Laredo for type $D$ affine VOAs. In this paper, we extend their results to affine VOAs of type $B$, $C$, and $G_2$. As a consequence, the modular tensor categories of these unitary vertex operator algebras are unitary.
In [H5] (q-alg/9512024) and [H7] (q-alg/9704008), the author introduced the notion of intertwining operator algebra, a nonmeromorphic generalization of the notion of vertex operator algebra involving monodromies. The problem of constructing intertwining operator algebras from representations of suitable vertex operator algebras were solved implicitly earlier in [H3] (q-alg/9505019). In the present paper, we generalize the geometric and operadic formulation of the notion of vertex operator algebra given in [H1], [H2], [HL1] (hep-th/9301009), [HL2] and [H6] to the notion of intertwining operator…
In [1], Nakatsu and Takasaki have shown that the melting crystal model behind the topological strings vertex provides a tau-function of the KP hierarchy after an appropriate time deformation. We revisit their derivation with a focus on the underlying quantum $W_{1+\infty}$ symmetry. Specifically, we point out the role played by automorphisms and the connection with the intertwiner - or vertex operator - of the algebra. This algebraic perspective allows us to extend part of their derivation to the refined melting crystal model, lifting the algebra to the quantum toroidal algebra of $\mathfrak{g…
We prove a generalized rationality property and a new identity that we call the ``Jacobi identity'' for intertwining operator algebras. Most of the main properties of genus-zero conformal field theories, including the main properties of vertex operator algebras, modules, intertwining operators, Verlinde algebras, and fusing and braiding matrices, are incorporated into this identity. Together with associativity and commutativity for intertwining operators proved by the author in \cite{H2} and \cite{H3}, the results of the present paper solve completely the problem of finding a natural purely al…
We generalize the notion of an intertwining operator to N-graded weak modules over a vertex operator algebra and study their properties. We show a formula for the dimensions of these intertwining operators in terms of modules over the Zhu algebras under some conditions on N-graded weak modules.
Let V be a simple vertex operator algebra and G a finite automorphism group. We give a construction of intertwining operators for irreducible V^G-modules which occur as submodules of irreducible V-modules by using intertwining operators for V. We also determine some fusion rules for a vertex operator algebra as an application.
We describe the construction of the genus-zero parts of conformal field theories in the sense of G. Segal from representations of vertex operator algebras satisfying certain conditions. The construction is divided into four steps and each step gives a mathematical structure of independent interest. These mathematical structures are intertwining operator algebras, genus-zero modular functors, genus-zero holomorphic weakly conformal field theories, and genus-zero conformal field theories.
We describe a completely algebraic axiom system for intertwining operators of vertex algebra modules, using algebraic flat connections, thus formulating the concept of a {\em tree algebra}. Using the Riemann-Hilbert correspondence, we further prove that a vertex tensor category in the sense of Huang and Lepowsky gives rise to a tree algebra over $\C$. We also show that the chiral WZW model of a simply connected simple compact Lie group gives rise to a tree algebra over $\Q$.
We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this construction also establishes the operator product expansion for intertwining operators, which correspond to chiral vertex operators, and more generally, it establishes the logarithmic operator product expansion for logarithmic intertwining operators. We review the main ideas in the construction of the tensor product bifunctors and the associativity isomorphisms. F…
We determine fusion rules (dimensions of the space of intertwining operators) among simple modules for the vertex operator algebra obtained as an even part of the symplectic fermionic vertex operator superalgebra. By using these fusion rules we show that the fusion algebra of this vertex operator algebra is isomorphic to the group algebra of the Klein four group over Z.
We construct vertex algebraic intertwining operators among certain generalized Verma modules for $\widehat{\mathfrak{sl}(2,\mathbb{C})}$ and calculate the corresponding fusion rules. Additionally, we show that under some conditions these intertwining operators descend to intertwining operators among one generalized Verma module and two (generally non-standard) irreducible modules. Our construction relies on the irreducibility of the maximal proper submodules of generalized Verma modules appearing in the Garland-Lepowsky resolutions of standard $\widehat{\mathfrak{sl}(2,\mathbb{C})}$-modules. W…
The present paper contains two interrelated developments. First, are proposed new generalized Verma modules. They are called k-Verma modules, k\in N, and coincide with the usual Verma modules for k=1. As a vector space a k-Verma module is isomorphic to the symmetric tensor product of k copies of the universal enveloping algebra U(g^-), where g^- is the subalgebra of lowering generators in the standard triangular decomposition of a simple Lie algebra g = g^+ \oplus h \oplus g^- . The second development is the proposal of a procedure for the construction of multilinear intertwining differential …
We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $\hat{\mathfrak{g}}$, from $\mathfrak{g}$-module homomorphisms. When $\mathfrak{g}=\mathfrak{sl}_2$, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to $\hat{\mathfrak{g}}$, and we identify obstructions to the construction arising from the possible non-existence of …
We prove an $S_{3}$-symmetry of the Jacobi identity for intertwining operator algebras. Since this Jacobi identity involves the braiding and fusing isomorphisms satisfying the genus-zero Moore-Seiberg equations, our proof uses not only the basic properties of intertwining operators, but also the properties of braiding and fusing isomorphisms and the genus-zero Moore-Seiberg equations. Our proof depends heavily on the theory of multivalued analytic functions of several variables, especially the theory of analytic extensions.
Operators that intertwine representations of a degenerate version of the double affine Hecke algebra are introduced. Each of the representations is related to multi-variable orthogonal polynomials associated with Calogero-Sutherland type models. As applications, raising operators and shift operators for such polynomials are constructed.
Let $V$ be a vertex operator algebra and $A^{\infty}(V)$ and $A^{N}(V)$ for $N\in \mathbb{N}$ the associative algebras introduced by the author in [H5]. For a lower-bounded generalized $V$-module $W$, we give $W$ a structure of graded $A^{\infty}(V)$-module and we introduce an $A^{\infty}(V)$-bimodule $A^{\infty}(W)$ and an $A^{N}(V)$-bimodule $A^{N}(W)$. We prove that the space of (logarithmic) intertwining operators of type $\binom{W_{3}}{W_{1}W_{2}}$ for lower-bounded generalized $V$-modules $W_{1}$, $W_{2}$ and $W_{3}$ is isomorphic to the space $\hom_{A^{\infty}(V)}(A^{\infty}(W_{1})\otim…
We show that if every module W for a vertex operator algebra V satisfies the condition that the dimension of W/C_1(W) is less than infinity, where C_1(W) is the subspace of W spanned by elements of the form u_{-1}w for u in V of positive weight and w in W, then matrix elements of products and iterates of intertwining operators satisfy certain systems of differential equations. Moreover, for prescribed singular points, there exist such systems of differential equations such that the prescribed singular points are regular. The finiteness of the fusion rules is an immediate consequence of a resul…
A systematic study of the representation theory of double affine Hecke algebras and related harmonic analysis is started in this paper. Continuing the previous papers we use the technique of intertwining operators to create Macdonald polynomials, estimate their denominators, generalize the classical representations of p-adic affine Hecke algebras in the spaces of functions on affine Weyl groups, and to find out when induced representations are irreducible and co-spherical. The connection with recent results by Sahi and Knop on the integrality of the Macdonald polynomials is established.
In this paper, we study intertwining operators between subregular Whittaker modules of $\gl_N$ generalizing, on the one hand, the classical exchange construction of dynamical quantum groups, on the other hand, earlier results for principal W-algebras. We explicitly construct them using the generators of W-algebras introduced by Brundan-Kleshchev. We interpret the fusion on intertwining operators in terms of categorical actions and compute the semi-classical limit of the corresponding monoidal isomorphisms which turn out to depend on dynamical-like parameters.
We study a family of modules over Kac-Moody algebras realized in multi-valued functions on a flag manifold and find integral representations for intertwining operators acting on these modules. These intertwiners are related to some expressions involving complex powers of Lie algebra generators. When applied to affine Lie algebras, these expressions give integral formulas for correlation functions with values in not necessarily highest weight modules. We write related formulas out in an explicit form in the case of $\hat{\gtsl_{2}}$. The latter formulas admit q-deformation producing an integral…
We introduce intertwining operators among twisted modules or twisted intertwining operators associated to not-necessarily-commuting automorphisms of a vertex operator algebra. Let $V$ be a vertex operator algebra and let $g_{1}$, $g_{2}$ and $g_{3}$ be automorphisms of $V$. We prove that for $g_{1}$-, $g_{2}$- and $g_{3}$-twisted $V$-modules $W_{1}$, $W_{2}$ and $W_{3}$, respectively, such that the vertex operator map for $W_{3}$ is injective, if there exists a twisted intertwining operator of type ${W_{3}\choose W_{1}W_{2}}$ such that the images of its component operators span $W_{3}$, then $…
We solve the problem of constructing a genus-zero full conformal field theory (a conformal field theory on genus-zero Riemann surfaces containing both chiral and antichiral parts) from representations of a simple vertex operator algebra satisfying certain natural finiteness and reductive conditions. We introduce a notion of full field algebra which is essentially an algebraic formulation of the notion of genus-zero full conformal field theory. For two vertex operator algebras, their tensor product is naturally a full field algebra and we introduce a notion of full field algebra over such a ten…
We apply the general theory of tensor products of modules for a vertex operator algebra developed in our papers hep-th/9309076, hep-th/9309159, hep-th/9401119, q-alg/9505018, q-alg/9505019 and q-alg/9505020 to the case of the Wess-Zumino-Novikov-Witten models and related models in conformal field theory. We show that for the category of modules for a vertex operator algebra containing a subalgebra isomorphic to a tensor product of rational vertex operator algebras associated to affine Lie algebras, the intertwining operators among the modules have the associativity property, the category has a…
We continue the investigation of the central extended Yangian double [S. Khoroshkin, q-alg/9602031]. In this paper we study the intertwining operators for certain infinite dimensional representations of $\Yd$, which are deformed analogs of the highest weight representations of the affine algebra $\aff$ at level 1. We give bosonized expressions for intertwining operators, verify that they generate an algebra isomorphic to Zamolodchikov--Faddeev algebra for the $SU(2)$-invariant Thirring model. We compose from them $L$-operators by Miki's prescription and verify that they coincide with $L$-opera…
We describe a logarithmic tensor product theory for certain module categories for a ``conformal vertex algebra.'' In this theory, which is a natural, although intricate, generalization of earlier work of Huang and Lepowsky, we do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. The corresponding intertwining operators contain logarithms of the variables.
We use vertex operator algebras and intertwining operators to study certain substructures of standard $A_1^{(1)}$--modules, allowing us to conceptually obtain the classical Rogers--Ramanujan recursion. As a consequence we recover Feigin-Stoyanovsky's character formulas for the principal subspaces of the level 1 standard $A_1^{(1)}$--modules.
A cohomological criterion for the complete reducibility of modules of finite length satisfying a composability condition for a meromorphic open-string vertex algebra $V$ has been given by Qi and the author. In order to apply this criterion, one needs to determine what types of $V$-modules satisfy the composability condition. In this paper, we prove that the composability condition is satisfied by generalized modules in a suitable category for a grading-restricted vertex algebra satisfying natural conditions.
In the present paper the algebras of functions on quantum homogeneous spaces are studied. The author introduces the algebras of kernels of intertwining integral operators and constructs quantum analogues of the Poisson and Radon transforms for some quantum homogeneous spaces. Some applications and the relation to $q$-special functions are discussed.
Using the theory of intertwining operators for vertex operator algebras we show that the graded dimensions of the principal subspaces associated to the standard modules for $\hat{\goth{sl}(2)}$ satisfy certain classical recursion formulas of Rogers and Selberg. These recursions were exploited by Andrews in connection with Gordon's generalization of the Rogers--Ramanujan identities and with Andrews' related identities. The present work generalizes the authors' previous work on intertwining operators and the Rogers--Ramanujan recursion.
We extend the modular invariance property of the trace functions of vertex operator algebra on the set of irreducible modules (Zhu's theory) to the case of trace functions of intertwining operators.
For a finite reflection group on $\b R^N,$ the associated Dunkl operators are parametrized first-order differential-difference operators which generalize the usual partial derivatives. They generate a commutative algebra which is - under weak assumptions - intertwined with the algebra of partial differential operators by a unique linear and homogeneous isomorphism on polynomials. In this paper it is shown that for non-negative parameter values, this intertwining operator is positivity-preserving on polynomials and allows a positive integral representation on certain algebras of analytic functi…
A general method for constructing logarithmic modules in vertex operator algebra theory is presented. By utilizing this approach, we give explicit vertex operator construction of certain indecomposable and logarithmic modules for the triplet vertex algebra W(p) and for other subalgebras of lattice vertex algebras and their N=1 super extensions. We analyze in detail indecomposable modules obtained in this way, giving further evidence for the conjectural equivalence between the category of W(p)-modules and the category of modules for the restricted quantum group $\bar{\mathcal{U}}_q(sl_2)$ at ro…
Using the language of vertex operator algebras (VOAs) and vector-valued modular forms we study the modular group representations and spaces of 1-point functions associated to intertwining operators for Virasoro minimal model VOAs. We examine all representations of dimension less than four associated to irreducible modules for minimal models, and determine when the kernel of these representations is a congruence or noncongruence subgroup of the modular group. Arithmetic criteria are given on the indexing of the irreducible modules for minimal models that imply the associated modular group repre…
We discuss some basic problems and conjectures in a program to construct general orbifold conformal field theories using the representation theory of vertex operator algebras. We first review a program to construct conformal field theories. We also clarify some misunderstandings on vertex operator algebras, modular functors and intertwining operator algebras. Then we discuss some basic open problems and conjectures in mathematical orbifold conformal field theory. Generalized twisted modules and their variants, their constructions and some existence results are reviewed. Twisted intertwining op…
Certain combinatorial bases of Feigin-Stoyanovsky's type subspaces of level k standard modules for affine Lie algebra sl(r,C)\sptilde are parametrized by (k,r)-admissible configurations. In this note we use Capparelli-Lepowsky-Milas' method to give a new proof of linear independence of these bases, the main ingredient in the proof being the use of Dong-Lepowsky's intertwining operators for fundamental sl(r,C)\sptilde-modules.
Let $Φ:V\to V\otimes U$ be an intertwining operator between representations of a simple Lie algebra (quantum group, affine Lie algebra). We define its generalized character to be the following function on the Cartan subalgebra with values in $U$: $χ_Φ(h)=\Tr_V (Φe^h)$. These generalized characters are a rich source of special functions, possessing many interesting properties; for example, they are common eigenfunctions of a family of commuting differential (difference) operators. We show that the special functions that can be obtained this way include Macdonald's polynomials of type $A$, and t…
We construct representations $\hatπ_{\br}$ of the quantum algebra $U_q(sl(n))$ labelled by $n-1$ complex numbers $r_i$ and acting in the space of formal power series of $n(n-1)/2$ non-commuting variables. These variables generate a flag manifold of the matrix quantum group $SL_q(n)$ which is dual to $U_q(sl(n))$. The conditions for reducibility of $\hatπ_{\br}$ and the procedure for the construction of the $q$ - difference intertwining operators are given. The representations and $q$ - difference intertwining operators are given in the most explicit form for $n=3$. In the Note Added some gener…
In this paper, given a module $W$ for a vertex operator algebra $V$ and a nonzero complex number $z$ we construct a canonical (weak) $V\otimes V$-module ${\cal{D}}_{P(z)}(W)$ (a subspace of $W^{*}$ depending on $z$). We prove that for $V$-modules $W, W_{1}$ and $W_{2}$, a $P(z)$-intertwining map of type ${W'\choose W_{1}W_{2}}$ ([H3], [HL0-3]) exactly amounts to a $V\otimes V$-homomorphism from $W_{1}\otimes W_{2}$ into ${\cal{D}}_{P(z)}(W)$. Using Huang and Lepowsky's one-to-one linear correspondence between the space of intertwining operators and the space of $P(z)$-intertwining maps of the …
