The Jacobi-Trudi formula implies some interesting quadratic identities for characters of representations of $gl_n$. Earlier work of Kirillov and Reshetikhin proposed a generalization of these identities to the other classical Lie algebras, and conjectured that the characters of certain finite-dimensional representations of $U_q(g-affine)$ satisfy it. Here we use a positivity argument to show that the generalized identities have only one solution.
Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we identify the trigraded dimensions of the space of morphisms of this category with intersection numbers coming from the topological origin of the group.
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…
We consider a lifting of Joseph ideals for the minimal nilpotent orbit closure to the setting of affine Kac-Moody algebras and find new examples of affine vertex algebras whose associated varieties are minimal nilpotent orbit closures. As an application we obtain a new family of lisse ($C_2$-cofinite) W-algebras that are not coming from admissible representations of affine Kac-Moody algebras.
We give some higher dimensional analogues of the Durfee square formula and point out their relation to dissections of multipartitions. We apply the results to write certain affine Lie algebra characters in terms of Universal Chiral Partition Functions.
We shall derive Kazhdan-Lusztig type character formula for the irreducible modules with arbitrary non-critical highest weights over affine Lie algebras from the rational case by using the translation functor, the Enright functor and Jantzen's deformation argument.
Frenkel-Reshetikhin introduced $q$-characters of finite dimensional representations of quantum affine algebras. We give a combinatorial algorithm to compute them for all simple modules. Our tool is $t$-analogue of the $q$-characters, which is similar to Kazhdan-Lusztig polynomials, and our algorithm has a resemblance with their definition.
We present an explicit character formula for the irreducible highest weight representations of the non-twisted affine Kac-Moody Lie algebra at the critical level which are integrable over the corresponding finite-dimensional simple Lie algebra.
We use combinatorial description of bases of Feigin-Stoyanovsky's type subspaces of standard modules of level 1 for affine Lie algebras of types $A_\ell^{(1)}$ and $D_4^{(1)}$ to obtain character formulas. These descriptions naturally lead to systems of recurrence relations for which we also find solutions.
Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. Th…
We construct a family of homomorphisms between Weyl modules for affine Lie algebras in characteristic p, which supports our conjecture on the strong linkage principle in this context. We also exhibit a large class of reducible Weyl modules beyond level one, for p not necessarily small.
We give closed formulae for the q-characters of the fundamental representations of the quantum loop algebra of a classical Lie algebra in terms of a family of partitions satisfying some simple properties. We also give the multiplicities of the eigenvalues of the imaginary subalgebra in terms of these partitions.
The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{\mathfrak g})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters.
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 …
Our goal is to develop a more general scheme for constructing integrable lattice regularisations of integrable quantum field theories. Considering the affine Toda theories as examples, we show how to construct such lattice regularisations using the representation theory of quantum affine algebras. This requires us to clarify in particular the relations between the light-cone approach to integrable lattice models and the representation theory of quantum affine algebras. Both are found to be related in a very natural way, suggesting a general scheme for the construction of generalised Baxter Q-o…
We establish, for all simply laced types, a q,t-character formula, first conjectured by Nakajima. It relates, on one hand, the structure of the $\ell$-weight spaces of standard modules regarded as modules over the Heisenberg subalgebra of some quantum affine algebra and, on the other hand, the t-dependence of their q,t-characters, as originally defined in terms of the Poincaré polynomials of certain Lagrangian subvarieties in quiver varieties of the corresponding simply laced type. Our proof is essentially geometric and generalizes to arbitrary simply laced types earlier representation theoret…
We prove the Kirillov-Reshetikhin conjecture concerning certain finite dimensional representations of a quantum affine algebra $\Ua$ when $\hat\g$ is an untwisted affine Lie algebra of type $ADE$. We use $t$--analog of $q$--characters introduced by the author in an essential way.
We give a tableaux sum expression of $t$--analog of $q$--characters of finite dimensional representations (standard modules) of quantum affine algebras $\Ul$ when $\g$ is of type $A_n$, $D_n$.
Actions of algebraic groups on DG categories provide a convenient, unifying framework in some parts of geometric representation theory, especially the representation theory of reductive Lie algebras. We extend this theory to loop groups and affine Lie algebras, extending previous work of Beraldo, Gaitsgory and the author. Along the way, we introduce some subjects of independent interest: ind-coherent sheaves of infinite type indschemes, topological DG algebras, and weak actions of group indschemes on categories. We also present a new construction of semi-infinite cohomology for affine Lie alge…
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…
Using certain results for the vertex operator algebras associated with affine Lie algebras we obtain recurrence relations for the characters of integrable highest weight irreducible modules for an affine Lie algebra. As an application we show that in the simply-laced level 1 case, these recurrence relations give the known characters, whose principal specializations naturally give rise to some multisum Macdonald identities.
We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions as appear in recent advances in the Geometric Langlands program. The key technical tools in o…
By using the known description of combinatorial bases for Feigin-Stoyanovsky's type subspaces of standard modules for affine Lie algebra $\mathfrak{sl}(l+1,\mathbb{C})^{\widetilde{}}$, as well as certain intertwining operators between standard modules, we obtain exact sequences of Feigin-Stoyanovsky's type subspaces at fixed level $k$. This directly leads to systems of recurrence relations for formal characters of those subspaces.
We describe a correspondence (or duality) between the q-characters of finite-dimensional representations of a quantum affine algebra and its Langlands dual in the spirit of q-alg/9708006 and 0809.4453. We prove this duality for the Kirillov-Reshetikhin modules and their irreducible tensor products. In the course of the proof we introduce and construct "interpolating (q,t)-characters" depending on two parameters which interpolate between the q-characters of a quantum affine algebra and its Langlands dual.
This is the second part of the paper (the first part is published in Jour. of AMS, vol.9, 1135--1170, q-alg/9508017). In the first part, we defined for every modular tensor category (MTC) inner products on the spaces of morphisms and proved that the inner product on the space $\Hom (\bigoplus X_i\otimes X^*_i, U)$ is modular invariant. Also, we have shown that in the case of the MTC arising from the representations of the quantum group $U_q \sln$ at roots of unity and $U$ being a symmetric power of the fundamental representation, this inner product coincides with so-called Macdonald's inner pr…
We study finite-dimensional representations of quantum affine algebras using q-characters. We prove the conjectures from math.QA/9810055 and derive some of their corollaries. In particular, we prove that the tensor product of fundamental representations is reducible if and only if at least one of the corresponding normalized R-matrices has a pole.
We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of certain "screening operators". We also discuss the connection between q-characters and Bethe Ansatz.
The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a lattice over $\bz[q^{-1}]$. This allows the algebraic characterization of the canonical basis as a certain bar-invariant basis of $\cl$. Here we present a similar algebraic characterization of the affine canonical basis. Our construction is complicated by the need to introduce basis elements to span the ``imaginary'' subalgebra which is fixed by the affine brai…
A $q$-analog of the Clebsch Gordan rules for the tensor products of the fundamental representations of Yangian is introduced. Its relation to the crystal base theory and application to the spinon character formulas are discussed in case of $C_2^{(1)}$ explicitly.
The q-character is a strong tool to study finite-dimensional representations of quantum affine algebras. However, the explicit formula of the q-character of a given representation has not been known so far. Frenkel and Mukhin proposed the iterative algorithm which generates the q-character of a given irreducible representation starting from its highest weight monomial. The algorithm is known to work for various classes of representations. In this note, however, we give an example in which the algorithm fails to generate the q-character.
Let Uq(ghat) be the quantum affine algebra associated to a simply-laced simple Lie algebra g. We examine the relationship between Dorey's rule, which is a geometrical statement about Coxeter orbits of g-weights, and the structure of q-characters of fundamental representations V_{i,a} of Uq(ghat). In particular, we prove, without recourse to the ADE classification, that the rule provides a necessary and sufficient condition for the monomial 1 to appear in the q-character of a three-fold tensor product V_{i,a} x V_{j,b} x V_{k,c}.
