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 result used to establish the existence of such systems. Using these systems of differential equations and some additional reducibility conditions, we prove that products of intertwining operators for V satisfy the convergence and extension property needed in the tensor product theory for V-modules. Consequently, when a vertex operator algebra V satisfies all the conditions mentioned above, we obtain a natural structure of vertex tensor category (consequently braided tensor category) on the category of V-modules and a natural structure of intertwining operator algebra on the direct sum of all (inequivalent) irreducible V-modules.
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 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…
We construct the intertwining operator superalgebras and vertex tensor categories for the N=2 superconformal unitary minimal models and other related models.
Let $V$ be a vertex operator subalgebra of $U$. Assume that $U$, $V$, and its commutant $V^c$ in $U$ are CFT-type, self-dual, and regular VOAs. Assume also that the double commutant $V^{cc}$ equals $V$. We prove that any intertwining operator of $V$ is a compression of intertwining operators of $U$.
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 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…
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.
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…
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 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.
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.
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.
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 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 $…
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 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.
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.
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…
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$.
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 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.
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…
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 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.
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 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 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.
An interpretation of Hirota bilinear relations for classical $τ$ functions is given in terms of intertwining operators. Noncommutative example of $U_q(sl_2)$ is presented.
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.
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…
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 study intertwining operators among the twisted modules for rational VOAs and show the modular invariance property of the space spanned by the trace functions concerning to some representations of rational orbifold VOAs. Our result generalizes the results obtained by Dong-Li-Mason and Miyamoto, which are basically extensions of Zhu's celebrated works.
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.
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.
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 ref…
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 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.
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 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.
The traces over infinite dimensional representations of the central extended Yangian double for the product of operators which intertwine these representations are calculated. For the special combinations of the intertwining operators the traces are identified with form factors of local operators in SU(2)-invariant Thirring model. This identification is based on the identities which are deformed analogs of the Gauss-Manin connection identities for the hyperelliptic curves.
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.
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.
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 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 …
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 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.
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…
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…
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.
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…
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 arXiv:0707.2151 the authors introduced the theory of local representations of the quantum Teichmüller space $\mathcal{T}^q_S$ ($q$ being a fixed primitive $N$-th root of $(-1)^{N + 1}$) and they studied the behaviour of the intertwining operators in this theory. One of the main results [Theorem 20, arXiv:0707.2151] was the possibility to select one distinguished operator (up to scalar multiplication) for every choice of a surface $S$, ideal triangulations $λ, λ'$ and isomorphic local representations $ρ, ρ'$, requiring that the whole family of operators verifies certain Fusion and Compositio…
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 study the principal subspaces, introduced by B. Feigin and A. Stoyanovsky, of the level 1 standard modules for $\hat{\goth{sl}(l+1)}$ with $l \geq 2$. In this paper we construct exact sequences which give us a complete set of recursions that characterize the graded dimensions of the principal subspaces of these representations. This problem can be viewed as a continuation of a new program to obtain Rogers-Ramanujan-type recursions, which was initiated by S. Capparelli, J. Lepowsky and A. Milas. In order to prove the exactness of the sequences we use intertwining vertex operators and we supp…
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 elaborate the trigonometric version of intertwining vectors and factorized L-operators. The starting point is the corresponding elliptic construction with Belavin's R-matrix. The naive trigonometric limit is singular and a careful analysis is needed. It is shown that the construction admits several different trigonometric degenerations. As a by-product, a quantum Lax operator for the trigonometric Ruijsenaars model intertwined by a non-dynamical R-matrix is obtained. The latter differs from the standard trigonometric R-matrix of $A_n$ type. A connection with the dynamical R-matrix 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.
As for an elliptic $R$-operator which satisfies the Yang--Baxter equation, the incoming and outgoing intertwining vectors are constructed, and the vertex--IRF correspondence for the elliptic $R$-operator is obtained. The vertex--IRF correspondence implies that the Boltzmann weights of the IRF model satisfy the star--triangle relation. By means of these intertwining vectors, the factorized L-operators for the elliptic $R$-operator are also constructed. The vertex--IRF correspondence and the factorized L-operators for Belavin's $R$-matrix are reproduced from those of the elliptic $R$-operator.
