We study the Wakimoto modules over the affine Kac-Moody algebras at the critical level from the point of view of the equivalences of categories proposed in our previous works, relating categories of representations and certain categories of sheaves. In particular, we describe explicitly geometric realizations of the Wakimoto modules as Hecke eigen-D-modules on the affine Grassmannian and as quasi-coherent sheaves on the flag variety of the Langlands dual group.
The authors construct a Wakimoto type realization of toroidal $\mathfrak{sl}_{n+1}$ The representation constructed in this paper utilizes non-commuting differential operators acting on the tensor product of two polynomial rings in many commuting variables.
We develop a general technique of constructing new irreducible weight modules for any affine Kac-Moody algebra using the parabolic induction, in the case when the Levi factor of a parabolic subalgebra is infinite-dimensional and the central charge is nonzero. Our approach uniforms and generalizes all previously known results with imposed restrictions on inducing modules. We also define generalized Imaginary Wakimoto modules which provide an explicit realization for generic generalized Imaginary Verma modules.
We show that our construction of boson type realizations of affine $\mathfrak{sl}(n+1)$ in terms of intermediate Wakimoto modules gives representations that are generically isomorphic to certain Verma type modules. We then use this identification to obtain information about the submodule structure of intermediate Wakimoto modules
We study some non-highest weight modules over an affine Kac-Moody algebra at non-critical level. Roughly speaking, these modules are non-commutative localizations of some non-highest weight "vacuum" modules. Using free field realization, we embed some rings of differential operators in endomorphism rings of our modules. These rings of differential operators act on a localization of the space of coinvariants of any module over the Kac-Moody algebra with respect to a certain level subalgebra. In a particular case this action is identified with the Casimir connection.
We classify finite-dimensional tame modules over the ortho-symplectic Lie superalgebras. For these modules we show that their characters are given by the Kac-Wakimoto character formula, thus establishing the Kac-Wakimoto conjecture for the ortho-symplectic Lie superalgebras. We further relate the Kac-Wakimoto formula to the super Jacobi polynomials of Sergeev and Veselov, and show that these polynomials, up to a sign, give the super characters for these tame modules.
By using methods developed in arXiv:math/0602181 we study the irreducibility of certain Wakimoto modules for $\widehat{sl_2}$ at the critical level. We classify all $χ\in {\Bbb C}((z))$ such that the corresponding Wakimoto module $W_χ$ is irreducible. It turns out that zeros of Schur polynomials play important rule in the classification result.
We construct certain boson type realizations of affine sl(n+1) that depend on a parameter r. When r=0 we get a Fock space realization of Imaginary Verma modules appearing in the work of the first author and when r=n they are the Wakimoto modules described in the work of Feigin and Frenkel.
We develop some basic properties such as $p$-centers of affine vertex algebras and free field vertex algebras in prime characteristic. We show that the Wakimoto-Feigin-Frenkel homomorphism preserves the $p$-centers by providing explicit formulas. This allows us to formulate the notion of baby Wakimoto modules, which in particular provides an interpretation in the context of modular vertex algebras for Mathieu's irreducible character formula of modular affine Lie algebras at the critical level.
We prove the Kac-Wakimoto conjecture for the periplectic Lie superalgebra $\mathfrak{p}(n)$, stating that any simple module lying in a block of non-maximal atypicality has superdimension zero.
Character formulas for Lie superalgebras have been shown to have important applications to number theory and combinatorics. We prove the Kac-Wakimoto character formula for the general linear Lie superalgebra gl(m|n). This formula specializes to the well-known Kac-Weyl character formula when the modules are typical and to the Weyl denominator identity when the module is trivial. We also prove a determinantal character formula for KW-modules using the Kac-Wakimoto character formula.
We construct new families of positive energy representations of affine vertex algebras together with their free field realizations by using localization technique. We introduce the twisting functor T_αon the category of modules over affine Kac--Moody algebra \widehat{g}_κof level κfor any positive root αof g, and the Wakimoto functor from a certain category of g-modules to the category of smooth \widehat{g}_κ-modules. These two functors commute and the image of the Wakimoto functor consists of relaxed Wakimoto \widehat{g}_κ-modules. In particular, applying the twisting functor T_αto the relaxe…
For the Kac-Wakimoto hierarchy constructed from the principal vertex operator realization of the basic representation of the affine Lie algebra $D_n^{(1)}$, we compute the coefficients of the corresponding Hirota bilinear equations, and verify the coincidence of these bilinear equations with the ones that are satisfied by Givental's total descendant potential of the $D_n$ singularity, as conjectured by Givental and Milanov in \cite{GM}
In this paper we construct two free field realizations of the elliptic affine Lie algebra sl(2,R) + Ω_R/dR, where R=C[t,t^{-1},u|u^2=t^3 - 2b t^2 + t]. The first realization gives an analogue of Wakimoto's construction for Affine Kac-Moody algebras, but in the setting of the elliptic affine Lie algebra. The second realization gives new type of representations analogous to Imaginary Verma modules in the Affine setting.
Irreducible nonzero level modules with finite-dimensional weight spaces are studied for non-twisted affine Lie superalgebras. A complete classification is obtained for superalgebras A(m,n)^ and C(n)^. In other cases the classification problem is reduced to the classification of cuspidal modules over finite-dimensional cuspidal Lie superalgebras described by Dimitrov, Mathieu and Penkov. It is also shown that any irreducible weakly integrable (in the sense of Kac and Wakimoto) module is highest weight.
The fractional level models are (logarithmic) conformal field theories associated with affine Kac-Moody (super)algebras at certain levels $k \in \mathbb{Q}$. They are particularly noteworthy because of several longstanding difficulties that have only recently been resolved. Here, Wakimoto's free field realisation is combined with the theory of Jack symmetric functions to analyse the fractional level $\widehat{\mathfrak{sl}}(2)$ models. The first main results are explicit formulae for the singular vectors of minimal grade in relaxed Wakimoto modules. These are closely related to the minimal gra…
We give a new interpretation of representation theory of the finite-dimensional half-integer weight modules over the queer Lie superalgebra $\mathfrak{q}(n)$. It is given in terms of Brundan's work of finite-dimensional integer weight $\mathfrak{q}(n)$-modules by means of Lusztig's canonical basis. Using this viewpoint we compute the characters of the finite-dimensional half-integer weight irreducible modules. For a large class of irreducible modules whose highest weights are of special types (i.e., totally connected or totally disconnected) we derive closed-form character formulas that are re…
We prove the equivalence of two hierarchies of soliton equations associated to a simply-laced finite Dynkin diagram. The first was defined by Kac and Wakimoto using the principal realization of the basic representations of the corresponding affine Kac-Moody algebra. The second was defined in arXiv:math/0307176 using the Frobenius structure on the local ring of the corresponding simple singularity. We also obtain a deformation of the principal realization of the basic representation over the space of miniversal deformations of the corresponding singularity. As a by-product, we compute the opera…
We prove the irreducibility of the universal non-degenerate Whittaker modules for the affine Lie algebra $\widehat{sl_2}$ of type $A_1^{(1)}$ with noncritical level which are also irreducible Whittaker modules over $\widetilde{sl_2} =\widehat{sl_2} + {\Bbb C} d $ with the same Whittaker function and central charge. We have to modulo a central character for ${sl_2}$ to obtain irreducible degenerate Whittaker $\widehat{sl_2} $-modules with noncritical level. In the case of critical level the universal Whittaker module is reducible. We prove that the quotient of universal Whittaker $\widehat{sl_2…
We identify level one global Weyl modules for toroidal Lie algebras with certain twists of modules constructed by Moody-Eswara Rao-Yokonuma via vertex operators for type ADE and by Iohara-Saito-Wakimoto and Eswara Rao for general type. The twist is given by an action of $\mathrm{SL}_{2}(\mathbb{Z})$ on the toroidal Lie algebra. As a byproduct, we obtain a formula for the character of the level one local Weyl module over the toroidal Lie algebra and that for the graded character of the level one graded local Weyl module over an affine analog of the current Lie algebra.
We introduce the infinite-dimensional Lie superalgebra ${\mathcal A}$ and construct a family of mappings from certain category of ${\mathcal A}$-modules to the category of A_1^(1)-modules of critical level. Using this approach, we prove the irreducibility of a family of A_1^(1)-modules at the critical level. As a consequence, we present a new proof of irreducibility of certain Wakimoto modules. We also give a natural realizations of irreducible quotients of relaxed Verma modules and calculate characters of these representations.
First, we establish the relation between the associated varieties of modules over Kac-Moody algebras \hat{g} and those over affine W-algebras. Second, we prove the Feigin-Frenkel conjecture on the singular supports of G-integrable admissible representations. In fact we show that the associated variates of G-integrable admissible representations are irreducible G-invariant subvarieties of the nullcone of g, by determining them explicitly. Third, we prove the C_2-cofiniteness of a large number of simple W-algebras, including all minimal series principal W-algebras and the exceptional W-algebras …
The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $κ$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=κ^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluation highest weight modules. We also obtain the decomposition of the evaluation Wakimoto module with respect to a Gelfand-Zeitlin type subalgebra of a completion of ${\mathcal E}'_n(q_1,q_2,q_3)$, which d…
This work concerns the representation theory of the affine Lie algebra $A_1^{(1)}$ at fractional level and its links to the representation theory of the Virasoro algebra. We introduce affine Kac modules as certain finitely generated submodules of Wakimoto modules. We conjecture the existence of several classes of staggered $A_1^{(1)}$-modules and provide evidence in the form of detailed examples. We extend the applicability of the Goddard-Kent-Olive coset construction to include the affine Kac and staggered modules. We introduce an exact functor between the associated category of $A_1^{(1)}$-m…
The higher Sugawara operators acting on the Verma modules over the affine Kac-Moody algebra at the critical level are related to the higher Hamiltonians of the Gaudin model due to work of Feigin, Frenkel and Reshetikhin. An explicit construction of the higher Hamiltonians in the case of gl_n was given recently by Talalaev. We propose a new approach to these results from the viewpoint of the vertex algebra theory by proving directly the formulas for the higher order Sugawara operators. The eigenvalues of the operators in the Wakimoto modules of critical level are also calculated.
Bosonized q-vertex operators related to the 4-dimensional evaluation modules of the quantum affine superalgebra $U_q[\hat{sl(2|1)}]$ are constructed for arbitrary level $k=α$, where $α\neq 0, -1$ is a complex parameter appearing in the 4-dimensional evaluation representations. They are intertwiners among the level-$α$ highest weight Fock-Wakimoto modules. Screen currents which commute with the action of $U_q[\hat{sl(2|1)}]$ up to total differences are presented. Integral formulae for N-point functions of type I and type II q-vertex operators are proposed.
We study the nonsymmetric Macdonald polynomials specialized at infinity from various points of view. First, we define a family of modules of the Iwahori algebra whose characters are equal to the nonsymmetric Macdonald polynomials specialized at infinity. Second, we show that these modules are isomorphic to the dual spaces of sections of certain sheaves on the semi-infinite Schubert varieties. Third, we prove that the global versions of these modules are homologically dual to the level one affine Demazure modules.
In this paper we study the category of graded modules for the current algebra associated to $\mathfrak{sl}_2$. The category enjoys many nice properties, including a tilting theory which was established in previous work of the authors. We show that the indecomposable tilting modules for $\mathfrak{sl}_2[t]$ are the exterior powers of the fundamental global Weyl module and give the filtration multiplicities in the standard and costandard filtration. An interesting consequence of our result (which is far from obvious from the abstract definition) is that an indecomposable tilting module admits a …
We introduce the notion of essential support of a simple Gelfand-Tsetlin $\mathfrak{gl}_n$-module as an important tool towards understanding the character formula of such module. This support detects the weights in the module having maximal possible Gelfand-Tsetlin multiplicities. Using combinatorial tools we describe the essential supports of the simple socles of the universal tableaux modules. We also prove that every simple Verma module appears as a socle of a universal tableaux module and hence obtain a description of the essential supports of all simple Verma modules. As a consequence, we…
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a polyhedral realization of the crystal basis for the extremal weight module of extremal weight $λ$, where $λ$ is an integral weight whose Weyl group orbit has neither a dominant integral weight nor an antidominant integral weight.
In 2006, Gao and Zeng \cite{GZ} gave the free field realizations of highest weight modules over a class of extended affine Lie algebras. In the present paper, applying the technique of localization to those free field realizations, we construct a class of new weight modules over the extended affine Lie algebras. We give necessary and sufficient conditions for these modules to be irreducible. In this way, we construct free field realizations for a class of simple weight modules with infinite weight multiplicities over the extended affine Lie algebras.
In this paper, we relate the well-known Fock representations of the quantum toroidal algebra of sl(n) to the vertex, shuffle, and L-operator representations of the same algebra. These identifications generalize those for the quantum toroidal algebra of gl(1), which were recently established by Feigin-Jimbo-Miwa-Mukhin.
In this paper we consider the category $C (\tilde k, \tilde H)$ of the $(\tilde k, \tilde H)$-modules, including all the Verma modules, where $k$ is some compact Lie algebra and H some Cartan subgroup, $\tilde k$ and $\tilde H$ are the corresponding affine Lie algebra and the affine Cartan group, respectively. To this category we apply the Zuckerman functor and its derivatives. By using the determinant bundle structure, we prove the natural duality of the Zuckerman derived functors, and deduce a Borel-Weil-Bott type theorem on decomposition of the nilpotent part cohomology.
We give a geometric realization of module categories of type $\tilde{A}_n$. We work with oriented arcs to define a translation quiver isomorphic to the Auslander-Reiten quiver of the module category of type $\tilde{A}_n$. To get a description of the module category, we introduce long moves between arcs. These allow us to include the infinite radical in the geometric description. Finally, our results can also be used to describe the corresponding cluster categories by taking unoriented arcs instead.
For each Drinfeld-Sokolov integrable hierarchy associated to affine Kac-Moody algebra, we obtain a uniform construction of tau function by using tau-symmetric Hamiltonian densities, moreover, we represent its Virasoro symmetries as linear/nonlinear actions on the tau function. The relations between the tau function constructed in this paper and those defined for particular cases of Drinfeld-Sokolov hierarchies in the literature are clarified. We also show that, whenever the affine Kac-Moody algebra is simply-laced or twisted, the tau functions of the Drinfeld-Sokolov hierarchy coincide with th…
We use localization technique to construct new families of irreducible modules of affine Kac-Moody algebras. In particular, localization is applied to the first free field realization of the affine Lie algebra A_1^{(1)} or, equivalently, to imaginary Verma modules.
In this paper, we give a new realization of crystal bases for irreducible highest weight modules over $U_q(G_2)$ in terms of monomials. We also discuss the natural connection between the monomial realization and tableau realization.
We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case.
We present complete realization of irreducible $A_1 ^{(1)}$-modules at the critical level in the principal gradation. Our construction uses vertex algebraic techniques, the theory of twisted modules and representations of Lie conformal superalgebras. We also provide an alternative Z-algebra approach to this construction. All irreducible highest weight $A_1 ^{(1)}$-modules at the critical level are realized on the vector space $M_{\tfrac{1}{2} + \Bbb Z} (1) ^{\otimes 2}$ where $M_{\tfrac{1}{2} + \Bbb Z} (1) $ is the polynomial ring ${\Bbb C}[α(-1/2), α(-3/2), ...]$. Explicit combinatorial bases…
Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a kE-module M of stable constant Jordan type [1]^s such that the functor F_1 applied to M yields the original vector bundle for p=2 and the Frobenius twist of the original vector bundle for p>2. We also …
The aim of the paper is to study modules for the twisted Heisenberg-Virasoro algebra $\mathcal H$ at level zero as modules for the $W(2,2)$-algebra by using construction from [J. Pure Appl. Algebra 219 (2015), 4322-4342, arXiv:1405.1707]. We prove that the irreducible highest weight ${\mathcal H}$-module is irreducible as $W(2,2)$-module if and only if it has a typical highest weight. Finally, we construct a screening operator acting on the Heisenberg-Virasoro vertex algebra whose kernel is exactly $W(2,2)$ vertex algebra.
We provide a classification and an explicit realization of all irreducible Gelfand-Tsetlin modules of the complex Lie algebra sl(3). The realization of these modules uses regular and derivative Gelfand-Tsetlin tableaux. In particular, we list all simple Gelfand-Tsetlin sl(3)-modules with infinite-dimensional weight spaces. Also, we express all simple Gelfand-Tsetlin sl(3)-modules as subquotionets of localized Gelfand-Tsetlin E_{21}-injective modules.
We give an algebraic description of several modules and algebras related to the vector partition function, and we prove that they can be realized as the equivariant K-theory of some manifolds that have a nice combinatorial description. We also propose a more natural and general notion of duality between these modules, which corresponds to a Poincaré duality-type correspondence for equivariant K-theory.
In this article are given explicit expressions for differential operators representing the action of any element of any Lie superalgebra g on a module induced or coinduced from an h-module V, where h is any subsuperalgebra of g. For the special case where g=g_+h, and g_ is a finite-dimensional subsuperalgebra of g, whose adjoint action on g is nilpotent, there is given a practical algorithm of calculation of this action. The program in C++ making the calculations for this case is also written.
In this article an interpretation and a proof of some classical \\theorems in analysis on the integration of analytic vectors fields are derived from the algebraic method of realization of bialgebras which are constructed with the data of a linear application from a coalgebra into the algebra of right (or left) invariant operators on an approximated coalgebra. The results are obtained from these general algebraic construction and theorems by introducing the more restrictive notion of induced module. Then the associated envelopping bialgebra is defined and naturally belongs to the dual of the t…
We introduce a class of quantum integrable systems generalizing the Gaudin model. The corresponding algebras of quantum Hamiltonians are obtained as quotients of the center of the enveloping algebra of an affine Kac-Moody algebra at the critical level, extending the construction of higher Gaudin Hamiltonians from hep-th/9402022 to the case of non-highest weight representations of affine algebras. We show that these algebras are isomorphic to algebras of functions on the spaces of opers on P^1 with regular as well as irregular singularities at finitely many points. We construct eigenvectors of …
By extending the methods used in our earlier work, in this paper, we present an explicit realization of logarithmic $\mathcal{W}_{p,p'$}-modules that have L(0) nilpotent rank three. This was achieved by combining the techniques developed in \cite{AdM-2009} with the theory of local systems of vertex operators \cite{LL}. In addition, we also construct a new type of extension of $\mathcal{W}_{p,p'}$, denoted by $\mathcal{V}$. Our results confirm several claims in the physics literature regarding the structure of projective covers of certain irreducible representations in the principal block. This…
We construct a new class of algebras resembling enveloping algebras and generalizing orthogonal Gelfand-Zeitlin algebras and rational Galois algebras studied by [EMV,FuZ,RZ,Har]. The algebras are defined via a geometric realization in terms of sheaves of functions invariant under an action of a finite group. A natural class of modules over these algebra can be constructed via a similar geometric realization. In the special case of a local reflection group, these modules are shown to have an explicit basis, generalizing similar results for orthogonal Gelfand-Zeitlin algebras from [EMV] and for …
We classify the quasi-finite irreducible highest weight modules over the infinite rank Lie superalgebras $\hgltwo$, $\hC$ and $\hD$, and determine the necessary and sufficient conditions for quasi-finite irreducible highest weight modules to be unitarizable with respect to natural $\ast$-structures of the Lie superalgebras. The unitarizable irreducible modules are constructed in terms of Fock spaces of free quantum fields, and explicit formulae for their formal characters are also obtained by investigating Howe dualities between the infinite rank Lie superalgebras and classical Lie groups.
We investigate the free fields realization of the twisted Heisenberg-Virasoro algebra $\mathcal{H}$ at level zero. We completely describe the structure of the associated Fock representations. Using vertex-algebraic methods and screening operators we construct singular vectors in certain Verma modules as Schur polynomials. We completely solve the irreducibility problem for tensor product of irreducible highest weight modules with intermediate series. We also determine the fusion rules for an interesting subcategory of $\mathcal{H}$-modules. Finally, as an application we present a free field rea…
In [8], the affine vertex algebra $L_k(\mathfrak{sl}_2)$ is realized as a subalgebra of the vertex algebra $Vir_c \otimes Π(0)$, where $Vir_c$ is a simple Virasoro vertex algebra and $Π(0)$ is a half-lattice vertex algebra. Moreover, all $L_k(\mathfrak{sl}_2)$--modules (including, modules in the category $KL_k$, relaxed highest weight modules and logarithmic modules) are realized as $Vir_c \otimes Π(0)$--modules. A natural question is the generalization of this construction in higher rank. In the current paper, we study the case $\mathfrak{g}= \mathfrak{sl}_3$ and present realization of the VO…
For irreducible integrable highest weight modules of the finite and affine Lie algebras of type A and D, we define an isomorphism between the geometric realization of the crystal graphs in terms of irreducible components of Nakajima quiver varieties and the combinatorial realizations in terms of Young tableaux and Young walls. For affine type A, we extend the Young wall construction to arbitrary level, describing a combinatorial realization of the crystals in terms of new objects which we call Young pyramids.
We study embeddings of the simple admissible affine vertex algebras $V_k(sl(2))$ and $V_k(osp(1,2))$, $k \notin {\Bbb Z}_{\ge 0}$, into the tensor product of rational Virasoro and $N=1$ Neveu-Schwarz vertex algebra with lattice vertex algebras. We prove that the admissible affine vertex algebra $V_k(sl(2))$ can be embedded into vertex algebra $L^{Vir} (c_{p,p'}, 0) \otimes Π(0)$ where $L^{Vir} (c_{p,p'}, 0) $ is suitable minimal Virasoro vertex algebra and $Π(0)$ is a vertex algebra of lattice type. By using these realizations we construct a family of weight, logarithmic and Whittaker $\wideha…
