In this paper we study a family of commutative algebras generated by two infinite sets of generators. These algebras are parametrized by Young diagrams. We explain a connection of these algebras with the fusion product of integrable irreducible representations of the affine $sl_2$ Lie algebra. As an application we derive a fermionic formula for the character of the affine fusion product of two modules. These fusion products can be considered as a simplest example of the double affine Demazure modules.
We study modularity of the characters of a vertex (super)algebra equipped with a family of conformal structures. Along the way we introduce the notions of rationality and cofiniteness relative to such a family. We apply the results to determine modular transformations of trace functions on admissible modules over affine Kac-Moody algebras and, via BRST reduction, trace functions on minimal series representations of principal affine W-algebras.
This paper is about the orbifold theory of affine and parafermion vertex operator algebras. It is known that the parafermion vertex operator algebra $K(sl_2,k)$ associated to the integrable highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ is the building block of the general parafermion vertex operator $K(\mathfrak{g},k)$ for any finite dimensional simple Lie algebra $\mathfrak{g}$ and any positive integer $k$. We first classify the irreducible modules of $\mathbb{Z}_{2}$-orbifold of the simple affine vertex operator algebra of type $A_1^{(1)}$ and determine their fusion rul…
The fusion rings associated to affine Kac-Moody algebras appear in several different contexts in math and mathematical physics. In this paper we find all automorphisms of all affine fusion rings, or equivalently the symmetries of the corresponding fusion coefficients. Most of these are directly related to symmetries of the corresponding Coxeter-Dynkin diagram. We also find all pairs of isomorphic affine fusion rings.
Let g be a semi-simple Lie algebra, and let g^ be the corresponding affine Kac-Moody algebra. Consider the category of g^-modules at the critical level, on which the action of the Iwahori subalgebra integrates to algebraic action of the Iwahori subgroup I. We study the action on this category of the convolution functors with the "central" sheaves on the affine flag scheme G((t))/I. We show that each object of our category is an "eigen-module" with respect to these functors. In order to prove this, we use the fusion product of modules over the affine Kac-Moody algebra.
The main result is that the category of ordinary modules of an affine vertex operator algebra of a simply laced Lie algebra at admissible level is rigid and thus a braided fusion category. If the level satisfies a certain coprime property then it is even a modular tensor category. In all cases open Hopf links coincide with the corresponding normalized S-matrix entries of torus one-point functions. This is interpreted as a Verlinde formula beyond rational vertex operator algebras. A preparatory Theorem is a convenient formula for the fusion rules of rational principal W-algebras of any type.
This is an expository introduction to fusion rules for affine Kac-Moody algebras, with major focus on the algorithmic aspects of their computation and the relationship with tensor product decompositions. Many explicit examples are included with figures illustrating the rank 2 cases. New results relating fusion coefficients to tensor product coefficients are proved, and a conjecture is given which shows that the Frenkel-Zhu affine fusion rule theorem can be seen as a beautiful generalization of the Parasarathy-Ranga Rao-Varadarajan tensor product theorem. Previous work of the author and collabo…
We develop a new method for obtaining branching rules for affine Kac-Moody Lie algebras at negative integer levels. This method uses fusion rules for vertex operator algebras of affine type. We prove that an infinite family of ordinary modules for affine vertex algebra of type A investigated in Adamović and O. Perše (2008) is closed under fusion. Then we apply these fusion rules on explicit bosonic realization of level -1 modules for the affine Lie algebra of type $A_{\ell-1}^{(1)}$, obtain a new proof of complete reducibility for these representations, and the corresponding decomposition for …
The Demazure character formula is applied to the Verlinde formula for affine fusion rules. We follow Littelmann's derivation of a generalized Littlewood-Richardson rule from Demazure characters. A combinatorial rule for affine fusions does not result, however. Only a modified version of the Littlewood-Richardson rule is obtained that computes an (old) upper bound on the fusion coefficients of affine $A_r$ algebras. We argue that this is because the characters of simple Lie algebras appear in this treatment, instead of the corresponding affine characters. The Bruhat order on the affine Weyl gro…
In this note we describe a general elementary procedure to attach a fusion ring to any Kac-Moody algebra of affine type. In the case of untwisted affine algebras, they are usual fusion rings in the literature. In the case of twisted affine algebras, they are exactly the twisted fusion rings defined by the author in [Ho2] via tracing out diagram automorphisms on conformal blocks for appropriate simply-laced Lie algebras. We also relate the fusion ring to the modular S-matrix for any Kac-Moody algebra of affine type.
We show how the threshold level of affine fusion, the fusion of Wess-Zumino-Witten (WZW) conformal field theories, fits into the Schubert calculus introduced by Gepner. The Pieri rule can be modified in a simple way to include the threshold level, so that calculations may be done for all (non-negative integer) levels at once. With the usual Giambelli formula, the modified Pieri formula deforms the tensor product coefficients (and the fusion coefficients) into what we call threshold polynomials. We compare them with the q-deformed tensor product coefficients and fusion coefficients that are rel…
The quantum dimensions and the fusion rules for the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k are determined.
We construct boundary type operators satisfying fused reflection equation for arbitrary representations of the Baxterized affine Hecke algebra. These operators are analogues of the fused reflection matrices in solvable half-line spin chain models. We show that these operators lead to a family of commuting transfer matrices of Sklyanin type. We derive fusion type functional relations for these operators for two families of representations.
We define an affine Jacquet functor and use it to describe the structure of induced affine Harish-Chandra modules at noncritical levels, extending the theorem of Kac and Kazhdan [KK] on the structure of Verma modules in the Bernstein-Gelfand-Gelfand categories O for Kac-Moody algebras. This is combined with a vanishing result for certain extension groups to construct a block decomposition of the categories of affine Harish-Chandra modules of Lian and Zuckerman [LZ]. The latter provides an extension of the works of Rocha-Caridi, Wallach [RW] and Deodhar, Gabber, Kac [DGK] on block decomposition…
We generalize Feigin and Miwa's construction of extended vertex operator (super)algebras $A_{k}(sl(2))$ for other types of simple Lie algebras. For all the constructed extended vertex operator (super)algebras, irreducible modules are classified, complete reducibility of every module is proved and fusion rules are determined modulo the fusion rules for vertex operator algebras of affine type.
In this paper, we continue our study of the Hilbert polynomials of coinvariants begun in our previous work math.QA/0205324 (paper I). We describe the sl_n-fusion products for symmetric tensor representations following the method of Feigin and Feigin, and show that their Hilbert polynomials are A_{n-1}-supernomials. We identify the fusion product of arbitrary irreducible sl_n-modules with the fusion product of their resctriction to sl_{n-1}. Then using the equivalence theorem from paper I and the results above for sl_3, we give a fermionic formula for the Hilbert polynomials of a class of affin…
We study representations of the double affine Lie algebra associated to a simple Lie algebra. We construct a family of indecomposable integrable representations and identify their irreducible quotients. We also give a condition for the indecomposable modules to be irreducible, this is analogous to a result in the representation theory of quantum affine algebras. Finally, in the last section of the paper, we show, by using the notion of fusion product, that our modules are generically reducible.
This paper generalizes the results of the paper \cite{mi3} to the case of the general $\mathfrak{sl}_2$ Schubert varieties. We study the homomorphisms between different Schubert varieties, describe their geometry and the group of the line bundles. We also derive some consequences, concerning the infinite-dimensional generalized affine grassmanians.
The class of quantum affinizations includes quantum affine algebras and quantum toroidal algebras. In general they have no Hopf algebra structure, but have a "coproduct" (the Drinfeld coproduct) which does not produce tensor products of modules in the usual way because it is defined in a completion. In this paper we propose a new process to produce quantum fusion modules from it : for all quantum affinizations, we construct by deformation and renormalization a new (non semi-simple) tensor category Mod. For quantum affine algebras this process is new and different from the usual tensor product.…
In this paper we define a quantum version of the ``fusion'' tensor product of two representations of an affine Kac-Moody algebra.It is replaced by what we call fusion action of the category of finite-dimensional representations of quantum affine algebra on its highest weight representations. We construct a quantum version of the associativity constraint. We give categorical treatment of the subject and related questions ( like quantum Knizhnik-Zamolodchikov equations).
In this paper we prove a formula for fusion coefficients of affine Kac-Moody algebras first conjectured by Walton [Wal2], and rediscovered in [Fe]. It is a reformulation of the Frenkel-Zhu affine fusion rule theorem [FZ], written so that it can be seen as a beautiful generalization of the classical Parasarathy-Ranga Rao-Varadarajan tensor product theorem [PRV].
Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and sufficient conditions for irreducibility of tensor products of such evaluation modules.
Finite Temperley-Lieb (TL) algebras are diagram-algebra quotients of (the group algebra of) the famous Artin's braid group $B_N$, while the affine TL algebras arise as diagram algebras from a generalized version of the braid group. We study asymptotic `$N\to\infty$' representation theory of these quotients (parametrized by $q\in\mathbb{C}^{\times}$) from a perspective of braided monoidal categories. Using certain idempotent subalgebras in the finite and affine algebras, we construct infinite `arc' towers of the diagram algebras and the corresponding direct system of representation categories, …
First, we prove the Kac-Wakimoto conjecture on modular invariance of characters of exceptional affine W-algebras. In fact more generally we prove modular invariance of characters of all lisse W-algebras obtained through Hamiltonian reduction of admissible affine vertex algebras. Second, we prove the rationality of a large subclass of these W-algebras, which includes all exceptional W-algebras of type A and lisse subregular W-algebras in simply laced types. Third, for the latter cases we compute S-matrices and fusion rules. Our results provide the first examples of rational W-algebras associate…
In this paper we study general quantum affinizations $\U_q(\hat{\Glie})$ of symmetrizable quantum Kac-Moody algebras and we develop their representation theory. We prove a triangular decomposition and we give a classication of (type 1) highest weight simple integrable representations analog to Drinfel'd-Chari-Pressley one. A generalization of the q-characters morphism, introduced by Frenkel-Reshetikhin for quantum affine algebras, appears to be a powerful tool for this investigation. For a large class of quantum affinizations (including quantum affine algebras and quantum toroidal algebras), t…
We study the classical limit of a tensor product of Kirillov-Reshetikhin modules over a quantum loop algebra, and show that it is realized from the classical limits of the tensor factors using the notion of fusion products. In the process of the proof, we also give defining relations of the fusion product of the (graded) classical limits of Kirillov-Reshetikhin modules.
We study the representation theory of non-admissible simple affine vertex algebra $L_{-5/2} (sl(4))$. We determine an explicit formula for the singular vector of conformal weight four in the universal affine vertex algebra $V^{-5/2} (sl(4))$, and show that it generates the maximal ideal in $V^{-5/2} (sl(4))$. We classify irreducible $L_{-5/2} (sl(4))$--modules in the category ${\mathcal O}$, and determine the fusion rules between irreducible modules in the category of ordinary modules $KL_{-5/2}$. It turns out that this fusion algebra is isomorphic to the fusion algebra of $KL_{-1}$. We also p…
The construction of the Q-operator for twisted affine superalgebra $C^{(2)}_q(2)$ is given. It is shown that the corresponding prefundamental representations give rise to evaluation modules some of which do not have a classical limit, which nevertheless appear to be a necessary part of fusion relations.
We study a class of modules, called Chari-Venkatesh modules, for the current superalgebra $\mathfrak{sl}(1|2)[t]$. This class contains other important modules, such as graded local Weyl, truncated local Weyl and Demazure-type modules. We prove that Chari-Venkatesh modules can be realized as fusion products of generalized Kac modules. In particular, this proves Feigin and Loktev's conjecture, that fusion products are independent of their fusion parameters in the case where the fusion factors are generalized Kac modules. As an application of our results, we obtain bases, dimension and character …
In this paper we study an approximation of tensor product of irreducible integrable $\hat{\mathfrak{sl}_2}$ representations by infinite fusion products. This gives an approximation of the corresponding coset theories. As an application we represent characters of spaces of these theories as limits of certain restricted Kostka polynomials. This leads to the bosonic (which is known) and fermionic (which is new) formulas for the $\hat{\mathfrak{sl}_2}$ branching functions.
We establish several results concerning tensor products, q-characters, and the block decomposition of the category of finite-dimensional representations of quantum affine algebras in the root of unity setting. In the generic case, a Weyl module is isomorphic to a tensor product of fundamental representations and this isomorphism was essential for establishing the block decomposition theorem. This is no longer true in the root of unity setting. We overcome the lack of such a tool by utilizing results on specialization of modules. Furthermore, we establish a sufficient condition for a Weyl modul…
We construct a Poincare-Birkhoff-Witt type basis for the Weyl modules of the current algebra of $sl_{r+1}$. As a corollary we prove a conjecture made by Chari and Pressley on the dimension of the Weyl modules in this case. Further, we relate the Weyl modules to the fusion modules of the current algebra defined by Feigin and Loktev, and to the Demazure modules in level one representations of the corresponding affine algebra. In particular, this allows us to establish substantial cases of the conjectures of Feigin and Loktev on the structure and graded character of the fusion modules.
We give a geometric interpretation of the inner product on the modified quantum group of $\hat{\mathfrak{sl}}_n$. We also give some applications of this interpretation, including a positivity result for the inner product, and a new geometric construction of the canonical basis.
We give a combinatorial description of the composition factors of the induction product of two evaluation modules of the affine Iwahori-Hecke algebra of type GL(m). Using quantum affine Schur-Weyl duality, this yields a combinatorial description of the composition factors of the tensor product of two evaluation modules of the quantum affine algebra of type sl(n).
We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field.
We give a general criterion for conformal embeddings of vertex operator algebras associated to affine Lie algebras at arbitrary levels. Using that criterion, we construct new conformal embeddings at admissible rational and negative integer levels. In particular, we construct all remaining conformal embeddings associated to automorphisms of Dynkin diagrams of simple Lie algebras. The semisimplicity of the corresponding decompositions is obtained by using the concept of fusion rules for vertex operator algebras.
We use the RTT realization of the quantum affine superalgebra associated with the Lie superalgebra $\mathfrak{gl}(M,N)$ to study its finite-dimensional representations and their tensor products. In the case $\mathfrak{gl}(1,1)$, the cyclicity condition of tensor products of finite-dimensional simple modules is determined completely in terms of zeros and poles of rational functions. This in turn induces cyclicity of some particular tensor products of Kirillov-Reshetikhin modules related to $\mathfrak{gl}(M,N)$.
The fusion rule gives the dimensions of spaces of conformal blocks in the WZW theory. We prove a dimension formula similar to the fusion rulefor spaces of coinvariants of affine Lie algebras g^. An equivalence of filtered spaces is established between spaces of coinvariants of two objects: highest weight g^-modules and tensor products of finite-dimensional evaluation representations of g\otimes\C[t]. In the sl_2 case we prove that their associated graded spaces are isomorphic to the spaces of coinvariants of fusion products, and that their Hilbert polynomials are the level-restricted Kostka po…
Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras
Osaka Metropolitan University（大阪公立大学）；University of Colorado Boulder（科罗拉多大学博尔德分校）；Universitat de València（瓦伦西亚大学）；Cardiff University（卡迪夫大学）；Research Institute for Mathematical Sciences Kyoto University（京都大学数学科学研究所）
We identify the algebra of matrix elements of big projective modules in category O with the regular functions on the big Bruhat cell of G. Analogous extensions of the regular representations of the affine Lie and Virasoro algebras yield vertex operator algebras, equipped with two commuting actions with special values of the total central charge. In the generic case, we identify the structure of these VOAs, compute their semi-infinite cohomology. Its superalgebra structure encodes the fusion rules for the associated tensor categories. Full details are provided for the affine sl(2) and Virasoro …
For every element w in the Weyl group of a simple Lie algebra g, De Concini, Kac, and Procesi defined a subalgebra U_q^w of the quantized universal enveloping algebra U_q(g). The algebra U_q^w is a deformation of the universal enveloping algebra U(n_+\cap w.n_-). We construct smash products of certain finite-type De Concini-Kac-Procesi algebras to obtain ones of affine type; we have analogous constructions in types A_n and D_n. We show that the multiplication in the affine type De Concini-Kac-Procesi algebras arising from this smash product construction can be twisted by a cocycle to produce c…
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 study products of the affine geometric crystal of type A corresponding to symmetric powers of the standard representation. The quotient of this product by the R-matrix action is constructed inside the unipotent loop group. This quotient crystal has a semi-infinite limit, where the crystal structure is described in terms of limit ratios previously appearing in the study of total positivity of loop groups.
Several classes of *-algebras associated to the action of an affine transformation are considered, and an investigation of the interplay between the different classes of algebras is initiated. Connections are established that relate representations of *-algebras, geometry of algebraic surfaces, dynamics of affine transformations, graphs and algebras coming from a quantization procedure of Poisson structures. In particular, algebras related to surfaces being inverse images of fourth order polynomials (in R^3) are studied in detail, and a close link between representation theory and geometric pr…
Let $V$ be a vertex operator algebra, $k$ a positive integer and $σ$ a permutation automorphism of the vertex operator algebra $V^{\otimes k}$. In this paper, we determine the fusion product of any $V^{\otimes k}$-module with any $σ$-twisted $V^{\otimes k}$-module.
Let V be a vertex operator algebra. We prove that if U and W are C_1-cofinite {\mathbb N}-gradable V-modules, then a fusion product U\boxtimes W is well-defined and also a C_1-cofinite {\mathbb N}-gradable V-module, where the fusion product is defined by (logarithmic) intertwining operators. This is also true for C_2-cofinite {\mathbb N}-gradable modules.
Answering a question of Kuniba, Misra, Okado, Takagi, and Uchiyama, it is shown that certain Demazure characters of affine type A, coincide with the graded characters of coordinate rings of closures of conjugacy classes of nilpotent matrices. This entails a translation of the affine type A crystal theory into the language of tableaux following Nakayashiki and Yamada, for the case of tensor products of the classical crystals indexed by rectangular partitions. In particular the explicit action of the zero-th crystal raising operator on the above crystals is given, and its direct connection with …
In this paper we study the relative tensor product of module categories over braided fusion categories using, in part, the notion of the relative center of a module category. In particular we investigate the canonical tensor category structure and braiding inherited by the relative tensor product when module categories are themselves tensor/braided. As a basic example we show that the category of representations of the fibre product of finite groups may be expressed in terms of the relative product and show how to multiply braided fusion categories arising from pre-metric groups. Also, we cons…
We construct the fusion product of finite-dimensional sl_2-modules in the homology of (or in the space of constructible functions on) a certain subvariety L_l(w_1, ..., w_r) of Nakajima's tensor product variety L(w_1,..., w_r). We also give a combinatorial description of the irreducible components of this subvariety using the notions of graphical calculus and crossingless matches for sl_2.
We review some recent results on properties of tensor product and fusion coefficients under complex conjugation of one of the factors. Some of these results have been proven, some others are conjectures awaiting a proof, one of them involving hitherto unnoticed observations on ordinary representation theory of finite simple groups of Lie type
