arXiv ScienceSearch

arXiv subjects

Vyjayanthi Chari

Publications and source records attributed to Vyjayanthi Chari.

At least 19 recordsLinked to original sources

Monoidal categorification from alternating snakes

In a recent paper, the authors introduced the notion of an alternating snake and a corresponding family of finite dimensional modules for the quantum affine algebra associated to $A_n$. We prove that under some restrictions, an alternating snake defines a canonical monoidal category. We prove that this category has finitely many prime objects. As a consequence we prove that the Grothendieck ring is isomorphic to the Grothendieck ring of the category $\mathscr C_\xi$ for a suitable height function. In particular it follows that the special family of alternating snakes provides a monoidal categorification of a cluster algebra of type $A_N$ for a suitable value of $N$.

math.QA

On dominant $\ell$--weights and maps between Weyl modules for quantum affine $A_n$

We determine the set of dominant $\ell$--weights in the Weyl (or standard) modules for quantum affine $A_n$. We then prove that the space of homomorphisms between standard modules is at most one-dimensional and give a necessary and sufficient condition for equality to hold. We also describe the socle of the standard module and prove that the socle is simple for large $n$. Finally, we give applications of our results to mixed Weyl modules, calculating extensions in the category and identify new families of tensor subcategories of finite dimensional representations.

math.QA

Alternating snake modules and a determinantal formula

We introduce a family of modules for the quantum affine algebra which include as very special cases both the snake modules and the modules arising from a monoidal categorification of cluster algebras. We give necessary and sufficient conditions for these modules to be prime and prove a unique factorization result. We also give an explicit formula expressing the module as an alternating sum of Weyl modules. Finally, we give an application of our results to classical questions in the category $\mathcal{ O}(\mathfrak{gl}_r)$. Specifically we apply our results to show that there are a large family of non-regular, non-dominant weights $\mu$ for which the non-zero Kazhdan-Lusztig coefficients $c_{\mu, \nu}$ are $\pm 1$.

math.RT

Schur-Weyl Duality for Toroidal Algebras of Type $A$

We state and prove an analog of the Schur-Weyl duality for a quotient of the classical $2$-toroidal Lie algebra of type $A$. We then provide a method to extend this duality to the $m$-toroidal case, $m > 2$.

math.RT

Higher order Kirillov-Reshetikhin modules, Imaginary modules and Monoidal Categorification for $U_q(A_n^{(1)})$

We study the family of irreducible modules for quantum affine $\lie{sl}_{n+1}$ whose Drinfeld polynomials are supported on just one node of the Dynkin diagram. We identify all the prime modules in this family and prove a unique factorization theorem. The Drinfeld polynomials of the prime modules encode information coming from the points of reducibility of tensor products of the fundamental modules associated to $A_m$ with $m\le n$. These prime modules are a special class of the snake modules studied by Mukhin and Young. We relate our modules to the work of Hernandez and Leclerc and define generalizations of the category $\mathscr C^-$. This leads naturally to the notion of an inflation of the corresponding Grothendieck ring. In the last section we show that the tensor product of a (higher order) Kirillov--Reshetikhin module with its dual always contains an imaginary module in its Jordan--Holder series and give an explicit formula for its Drinfeld polynomial. Together with the results of \cite{HL13a} this gives examples of a product of cluster variables which are not in the span of cluster monomials. We also discuss the connection of our work with the examples arising from the work of \cite{LM18}. Finally, we use our methods to give a family of imaginary modules in type $D_4$ which do not arise from an embedding of $A_r$ with $r\le 3$ in $D_4$.

math.QA

Quantum affine algebras, graded limits, and flags

In this survey, we review some of the recent connections between the representation theory of (untwisted) quantum affine algebras and the representation theory of current algebras. We mainly focus on the finite-dimensional representations of these algebras. This connection arises via the notion of the graded and classical limit of finite-dimensional representations of quantum affine algebras. We explain how this study has led to interesting connections with Macdonald polynomials and discuss a BGG-type reciprocity result. We also discuss the role of Demazure modules in this theory and several recent results on the presentation, structure, and combinatorics of Demazure modules.

math.RT

Generalized Demazure Modules and Prime Representations in Type $D_n$

The goal of this paper is to understand the graded limit of a family of irreducible prime representations of the quantum affine algebra associated to a simply-laced simple Lie algebra $\mathfrak{g}$. This family was introduced by David Hernandez and Bernard Leclerc in the context of monoidal categorification of cluster algebras. The graded limit of a member of this family is an indecomposable graded module for the current algebra $\mathfrak{g}[t]$; or equivalently a module for the maximal standard parabolic subalgebra in the affine Lie algebra $\widehat{\mathfrak{g}}$. In this paper we study the case when $\mathfrak{g}$ is of type $D_n$. We show that in certain cases the limit is a generalized Demazure module, i.e., it is a submodule of a tensor product of level one Demazure modules. We give a presentation of these modules and compute their graded character (and hence also the character of the prime representations) in terms of Demazure modules of level two.

math.RT

Macdonald Polynomials and level two Demazure modules for affine $\mathfrak{sl}_{n+1}$

We define a family of symmetric polynomials $G_{\nu,\lambda}(z_1,\cdots, z_{n+1},q)$ indexed by a pair of dominant integral weights. The polynomial $G_{\nu,0}(z,q)$ is the specialized Macdonald polynomial and we prove that $G_{0,\lambda}(z,q)$ is the graded character of a level two Demazure module associated to the affine Lie algebra $\widehat{\mathfrak{sl}}_{n+1}$. Under suitable conditions on $(\nu,\lambda)$ (which includes the case when $\nu=0$ or $\lambda=0$) we prove that $G_{\nu,\lambda}(z,q)$ is Schur positive and give explicit formulae for them in terms of Macdonald polynomials.

math.RT

Tensor products and $q$-characters of HL-modules and monoidal categorifications

We study certain monoidal subcategories (introduced by David Hernandez and Bernard Leclerc) of finite--dimensional representations of a quantum affine algebra of type $A$. We classify the set of prime representations in these subcategories and give necessary and sufficient conditions for a tensor product of two prime representations to be irreducible. In the case of a reducible tensor product we describe the prime decomposition of the simple factors. As a consequence we prove that these subcategories are monoidal categorifications of a cluster algebra of type $A$ with coefficients.

math.RT

Borel--de Siebenthal pairs, Global Weyl modules and Stanley--Reisner rings

We develop the theory of integrable representations for an arbitrary maximal parabolic subalgebra of an affine Lie algebra. We see that such subalgebras can be thought of as arising in a natural way from a Borel--de Siebenthal pair of semisimple Lie algebras. We see that although there are similarities with the represenation thery of the standard maximal parabolic subalgebra there are also very interesting and non--trivial differences; including the fact that there are examples of non--trivial global Weyl modules which are irreducible and finite--dimensional. We also give a presentation of the endomorphism ring of the global Weyl module; although these are no longer polynomial algebras we see that for certain parabolics these algebras are Stanley--Reisner rings which are both Koszul and Cohen--Macaualey.

math.RT

Resolutions and a Weyl Character formula for prime representations of quantum affine sl_{n+1}

In this paper we study the family of prime irreducible representations of quantum affine $\lie{sl}_{n+1}$ which arise from the work of D. Hernandez and B. Leclerc. These representations can also be described as follows: the highest weight is a product of distinct fundamental weights with parameters determined by requiring that the representation be minimal by parts. We show that such representations admit a BGG-type resolution where the role of the Verma module is played by the local Weyl module. This leads to a closed formula (the Weyl character formula) for the character of the irreducible representation as an alternating sum of characters of local Weyl modules. In the language of cluster algebras our Weyl character formula describes an arbitrary cluster variable in terms of the generators $x_1,\cdots,x_n,x_1',\cdots, x_n'$ of an appropriate cluster algebra. Our results also exhibit the character of a prime level two Demazure module as an alternating linear combination of level one Demazure modules.

math.QA

Demazure flags, $q$--Fibonacci polynomials and hypergeometric series

We study a family of finite--dimensional representations of the hyperspecial parabolic subalgebra of the twisted affine Lie algebra of type $\tt A_2^{(2)}$. We prove that these modules admit a decreasing filtration whose sections are isomorphic to stable Demazure modules in an integrable highest weight module of sufficiently large level. In particular, we show that any stable level $m'$ Demazure module admits a filtration by level $m$ Demazure modules for all $m\ge m'$. We define the graded and weighted generating functions which encode the multiplicity of a given Demazure module and establish a recursive formulae. In the case when $m'=1,2$ and $m=2,3$ we determine these generating functions completely and show that they define hypergeoemetric series and that they are related to the $q$--Fibonacci polynomials defined by Carlitz.

math.RT

Demazure modules of level two and prime representations of quantum affine $\mathfrak{sl}_{n+1}$

We study the classical limit of a family of irreducible representations of the quantum affine algebra associated to $\mathfrak{sl}_{n+1}$. After a suitable twist, the limit is a module for $\mathfrak{sl}_{n+1}[t]$, i.e., for the maximal standard parabolic subalgebra of the affine Lie algebra. Our first result is about the family of prime representations introduced in the context of a monoidal categorification of cluster algebras. We show that these representations specialize (after twisting), to $\mathfrak{sl}_{n+1}[t]$--stable, prime Demazure modules in level two integrable highest weight representations of the classical affine Lie algebra. More generally, we prove that any level two Demazure module is the limit of the tensor product of the corresponding irreducible prime representations of quantum affine $\mathfrak{sl}_{n+1}$.

math.QA

Demazure Flags, Chebyshev polynomials, Partial and Mock theta functions

We study the level $m$--Demazure flag of a level $\ell$--Demazure module for $\frak{sl}_2[t]$. We define the generating series $A_n^{\ell \rightarrow m}(x,q)$ which encodes the $q$--multiplicity of the level $m$ Demazure module of weight $n$. We establish two recursive formulae for these functions. We show that the specialization to $q=1$ is a rational function involving the Chebyshev polynomials. We give a closed form for $A_n^{\ell \rightarrow \ell+1}(x,q)$ and prove that it is given by a rational function. In the case when $m=\ell+1$ and $\ell=1,2$, we relate the generating series to partial theta series. We also study the specializations $A_n^{1\rightarrow 3}(q^k,q)$ and relate them to the fifth order mock-theta functions of Ramanujan.

math.RT

Character formulae and a realization of tilting modules for $\mathfrak{sl}_2[t]$

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 free right action of the ring of symmetric polynomials in finitely many variables. Moreover, if we go modulo the augmentation ideal in this ring, the resulting $\mathfrak{sl}_2[t]$-module is isomorphic to the dual of a local Weyl module.

math.RT

A Steinberg type decomposition theorem for higher level Demazure modules

We study Demazure modules which occur in a level $\ell$ irreducible integrable representation of an affine Lie algebra. We also assume that they are stable under the action of the standard maximal parabolic subalgebra of the affine Lie algebra. We prove that such a module is isomorphic to the fusion product of "prime" \ Demazure modules, where the prime factors are indexed by dominant integral weights which are either a multiple of $\ell$ or take value less than $\ell$ on all simple coroots. Our proof depends on a technical result which we prove in all the classical cases and $G_2$. Calculations with mathematica show that this result is correct for small values of the level. Using our result, we show that there exist generalizations of $Q$--systems to pairs of weights where one of the weights is not necessarily rectangular and is of a different level. Our results also allow us to compare the multiplicities of an irreducible representation occuring in the tensor product of certian pairs of irreducible representations, i.e., we establish a version of Schur positvity for such pairs of irreducible modules for a simple Lie algebra.

math.RT

Weyl modules for the hyperspecial current algebra

We develop the theory of global and local Weyl modules for the hyperspecial maximal parabolic subalgebra of type $A_{2n}^{(2)}$. We prove that the dimension of a local Weyl module depends only on its highest weight, thus establishing a freeness result for global Weyl modules. Furthermore, we show that the graded local Weyl modules are level one Demazure modules for the corresponding affine Lie algebra. In the last section we derive the same results for the special maximal parabolic subalgebras of the twisted affine Lie algebras not of type $A_{2n}^{(2)}$.

math.RT

Modules with Demazure Flags and Character Formulae

In this paper we study a family of finite-dimensional graded representations of the current algebra of $\mathfrak{sl}_2$ which are indexed by partitions. We show that these representations admit a flag where the successive quotients are Demazure modules which occur in a level $\ell$-integrable module for $A_1^1$ as long as $\ell$ is large. We associate to each partition and to each $\ell$ an edge-labeled directed graph which allows us to describe in a combinatorial way the graded multiplicity of a given level $\ell$-Demazure module in the filtration. In the special case of the partition $1^s$ and $\ell=2$, we give a closed formula for the graded multiplicity of level two Demazure modules in a level one Demazure module. As an application, we use our result along with the results of Naoi and Lenart et al., to give the character of a $\mathfrak{g}$-stable level one Demazure module associated to $B_n^1$ as an explicit combination of suitably specialized Macdonald polynomials. In the case of $\mathfrak{sl}_2$, we also study the filtration of the level two Demazure module by level three Demazure modules and compute the numerical filtration multiplicities and show that the graded multiplicites are related to (variants of) partial theta series.

math.RT