-
Higher order Kirillov-Reshetikhin modules, Imaginary modules and Monoidal Categorification for $U_q(A_n^{(1)})$
Authors:
Matheus Brito,
Vyjayanthi Chari
Abstract:
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…
▽ More
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$.
△ Less
Submitted 6 September, 2023; v1 submitted 24 July, 2022;
originally announced July 2022.
-
Quantum affine algebras, graded limits, and flags
Authors:
Matheus Brito,
Vyjayanthi Chari,
Deniz Kus,
R. Venkatesh
Abstract:
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 e…
▽ More
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.
△ Less
Submitted 23 April, 2022;
originally announced April 2022.
-
Multi-modal 3D Human Pose Estimation with 2D Weak Supervision in Autonomous Driving
Authors:
**gxiao Zheng,
Xinwei Shi,
Alexander Gorban,
Junhua Mao,
Yang Song,
Charles R. Qi,
Ting Liu,
Visesh Chari,
Andre Cornman,
Yin Zhou,
Congcong Li,
Dragomir Anguelov
Abstract:
3D human pose estimation (HPE) in autonomous vehicles (AV) differs from other use cases in many factors, including the 3D resolution and range of data, absence of dense depth maps, failure modes for LiDAR, relative location between the camera and LiDAR, and a high bar for estimation accuracy. Data collected for other use cases (such as virtual reality, gaming, and animation) may therefore not be u…
▽ More
3D human pose estimation (HPE) in autonomous vehicles (AV) differs from other use cases in many factors, including the 3D resolution and range of data, absence of dense depth maps, failure modes for LiDAR, relative location between the camera and LiDAR, and a high bar for estimation accuracy. Data collected for other use cases (such as virtual reality, gaming, and animation) may therefore not be usable for AV applications. This necessitates the collection and annotation of a large amount of 3D data for HPE in AV, which is time-consuming and expensive. In this paper, we propose one of the first approaches to alleviate this problem in the AV setting. Specifically, we propose a multi-modal approach which uses 2D labels on RGB images as weak supervision to perform 3D HPE. The proposed multi-modal architecture incorporates LiDAR and camera inputs with an auxiliary segmentation branch. On the Waymo Open Dataset, our approach achieves a 22% relative improvement over camera-only 2D HPE baseline, and 6% improvement over LiDAR-only model. Finally, careful ablation studies and parts based analysis illustrate the advantages of each of our contributions.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
Multi-Instance Pose Networks: Rethinking Top-Down Pose Estimation
Authors:
Rawal Khirodkar,
Visesh Chari,
Amit Agrawal,
Ambrish Tyagi
Abstract:
A key assumption of top-down human pose estimation approaches is their expectation of having a single person/instance present in the input bounding box. This often leads to failures in crowded scenes with occlusions. We propose a novel solution to overcome the limitations of this fundamental assumption. Our Multi-Instance Pose Network (MIPNet) allows for predicting multiple 2D pose instances withi…
▽ More
A key assumption of top-down human pose estimation approaches is their expectation of having a single person/instance present in the input bounding box. This often leads to failures in crowded scenes with occlusions. We propose a novel solution to overcome the limitations of this fundamental assumption. Our Multi-Instance Pose Network (MIPNet) allows for predicting multiple 2D pose instances within a given bounding box. We introduce a Multi-Instance Modulation Block (MIMB) that can adaptively modulate channel-wise feature responses for each instance and is parameter efficient. We demonstrate the efficacy of our approach by evaluating on COCO, CrowdPose, and OCHuman datasets. Specifically, we achieve 70.0 AP on CrowdPose and 42.5 AP on OCHuman test sets, a significant improvement of 2.4 AP and 6.5 AP over the prior art, respectively. When using ground truth bounding boxes for inference, MIPNet achieves an improvement of 0.7 AP on COCO, 0.9 AP on CrowdPose, and 9.1 AP on OCHuman validation sets compared to HRNet. Interestingly, when fewer, high confidence bounding boxes are used, HRNet's performance degrades (by 5 AP) on OCHuman, whereas MIPNet maintains a relatively stable performance (drop of 1 AP) for the same inputs.
△ Less
Submitted 27 October, 2021; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Generalized Demazure Modules and Prime Representations in Type $D_n$
Authors:
Vyjayanthi Chari,
Justin Davis,
Ryan Moruzzi Jr
Abstract:
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 grad…
▽ More
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.
△ Less
Submitted 6 December, 2019; v1 submitted 17 November, 2019;
originally announced November 2019.
-
Macdonald Polynomials and level two Demazure modules for affine $\mathfrak{sl}_{n+1}$
Authors:
Rekha Biswal,
Vyjayanthi Chari,
Peri Shereen,
Jeffrey Wand
Abstract:
We define a family of symmetric polynomials $G_{ν,λ}(z_1,\cdots, z_{n+1},q)$ indexed by a pair of dominant integral weights. The polynomial $G_{ν,0}(z,q)$ is the specialized Macdonald polynomial and we prove that $G_{0,λ}(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 $(ν,λ)$ (which inc…
▽ More
We define a family of symmetric polynomials $G_{ν,λ}(z_1,\cdots, z_{n+1},q)$ indexed by a pair of dominant integral weights. The polynomial $G_{ν,0}(z,q)$ is the specialized Macdonald polynomial and we prove that $G_{0,λ}(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 $(ν,λ)$ (which includes the case when $ν=0$ or $λ=0$) we prove that $G_{ν,λ}(z,q)$ is Schur positive and give explicit formulae for them in terms of Macdonald polynomials.
△ Less
Submitted 14 January, 2020; v1 submitted 13 October, 2019;
originally announced October 2019.
-
Learning to Generate Synthetic Data via Compositing
Authors:
Shashank Tripathi,
Siddhartha Chandra,
Amit Agrawal,
Ambrish Tyagi,
James M. Rehg,
Visesh Chari
Abstract:
We present a task-aware approach to synthetic data generation. Our framework employs a trainable synthesizer network that is optimized to produce meaningful training samples by assessing the strengths and weaknesses of a `target' network. The synthesizer and target networks are trained in an adversarial manner wherein each network is updated with a goal to outdo the other. Additionally, we ensure…
▽ More
We present a task-aware approach to synthetic data generation. Our framework employs a trainable synthesizer network that is optimized to produce meaningful training samples by assessing the strengths and weaknesses of a `target' network. The synthesizer and target networks are trained in an adversarial manner wherein each network is updated with a goal to outdo the other. Additionally, we ensure the synthesizer generates realistic data by pairing it with a discriminator trained on real-world images. Further, to make the target classifier invariant to blending artefacts, we introduce these artefacts to background regions of the training images so the target does not over-fit to them.
We demonstrate the efficacy of our approach by applying it to different target networks including a classification network on AffNIST, and two object detection networks (SSD, Faster-RCNN) on different datasets. On the AffNIST benchmark, our approach is able to surpass the baseline results with just half the training examples. On the VOC person detection benchmark, we show improvements of up to 2.7% as a result of our data augmentation. Similarly on the GMU detection benchmark, we report a performance boost of 3.5% in mAP over the baseline method, outperforming the previous state of the art approaches by up to 7.5% on specific categories.
△ Less
Submitted 8 July, 2019; v1 submitted 10 April, 2019;
originally announced April 2019.
-
Tensor products and $q$-characters of HL-modules and monoidal categorifications
Authors:
Matheus Brito,
Vyjayanthi Chari
Abstract:
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 d…
▽ More
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.
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
A Unified View-Graph Selection Framework for Structure from Motion
Authors:
Rajvi Shah,
Visesh Chari,
P J Narayanan
Abstract:
View-graph is an essential input to large-scale structure from motion (SfM) pipelines. Accuracy and efficiency of large-scale SfM is crucially dependent on the input view-graph. Inconsistent or inaccurate edges can lead to inferior or wrong reconstruction. Most SfM methods remove `undesirable' images and pairs using several, fixed heuristic criteria, and propose tailor-made solutions to achieve sp…
▽ More
View-graph is an essential input to large-scale structure from motion (SfM) pipelines. Accuracy and efficiency of large-scale SfM is crucially dependent on the input view-graph. Inconsistent or inaccurate edges can lead to inferior or wrong reconstruction. Most SfM methods remove `undesirable' images and pairs using several, fixed heuristic criteria, and propose tailor-made solutions to achieve specific reconstruction objectives such as efficiency, accuracy, or disambiguation. In contrast to these disparate solutions, we propose a single optimization framework that can be used to achieve these different reconstruction objectives with task-specific cost modeling. We also construct a very efficient network-flow based formulation for its approximate solution. The abstraction brought on by this selection mechanism separates the challenges specific to datasets and reconstruction objectives from the standard SfM pipeline and improves its generalization. This paper demonstrates the application of the proposed view-graph framework with standard SfM pipeline for two particular use-cases, (i) accurate and ghost-free reconstructions of highly ambiguous datasets using costs based on disambiguation priors, and (ii) accurate and efficient reconstruction of large-scale Internet datasets using costs based on commonly used priors.
△ Less
Submitted 4 December, 2017; v1 submitted 3 August, 2017;
originally announced August 2017.
-
Borel--de Siebenthal pairs, Global Weyl modules and Stanley--Reisner rings
Authors:
Vyjayanthi Chari,
Deniz Kus,
Matt Odell
Abstract:
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 in…
▽ More
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.
△ Less
Submitted 27 June, 2017;
originally announced June 2017.
-
Resolutions and a Weyl Character formula for prime representations of quantum affine sl_{n+1}
Authors:
Matheus Brito,
Vyjayanthi Chari
Abstract:
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 representatio…
▽ More
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.
△ Less
Submitted 12 May, 2017; v1 submitted 8 April, 2017;
originally announced April 2017.
-
Demazure flags, $q$--Fibonacci polynomials and hypergeometric series
Authors:
Rekha Biswal,
Vyjayanthi Chari,
Deniz Kus
Abstract:
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 m…
▽ More
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.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
Dynamic Body VSLAM with Semantic Constraints
Authors:
N. Dinesh Reddy,
Prateek Singhal,
Visesh Chari,
K. Madhava Krishna
Abstract:
Image based reconstruction of urban environments is a challenging problem that deals with optimization of large number of variables, and has several sources of errors like the presence of dynamic objects. Since most large scale approaches make the assumption of observing static scenes, dynamic objects are relegated to the noise modeling section of such systems. This is an approach of conven…
▽ More
Image based reconstruction of urban environments is a challenging problem that deals with optimization of large number of variables, and has several sources of errors like the presence of dynamic objects. Since most large scale approaches make the assumption of observing static scenes, dynamic objects are relegated to the noise modeling section of such systems. This is an approach of convenience since the RANSAC based framework used to compute most multiview geometric quantities for static scenes naturally confine dynamic objects to the class of outlier measurements. However, reconstructing dynamic objects along with the static environment helps us get a complete picture of an urban environment. Such understanding can then be used for important robotic tasks like path planning for autonomous navigation, obstacle tracking and avoidance, and other areas. In this paper, we propose a system for robust SLAM that works in both static and dynamic environments. To overcome the challenge of dynamic objects in the scene, we propose a new model to incorporate semantic constraints into the reconstruction algorithm. While some of these constraints are based on multi-layered dense CRFs trained over appearance as well as motion cues, other proposed constraints can be expressed as additional terms in the bundle adjustment optimization process that does iterative refinement of 3D structure and camera / object motion trajectories. We show results on the challenging KITTI urban dataset for accuracy of motion segmentation and reconstruction of the trajectory and shape of moving objects relative to ground truth. We are able to show average relative error reduction by a significant amount for moving object trajectory reconstruction relative to state-of-the-art methods like VISO 2, as well as standard bundle adjustment algorithms.
△ Less
Submitted 27 April, 2015;
originally announced April 2015.
-
Demazure modules of level two and prime representations of quantum affine $\mathfrak{sl}_{n+1}$
Authors:
Matheus Brito,
Vyjayanthi Chari,
Adriano Moura
Abstract:
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 cate…
▽ More
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}$.
△ Less
Submitted 12 April, 2015; v1 submitted 1 April, 2015;
originally announced April 2015.
-
Demazure Flags, Chebyshev polynomials, Partial and Mock theta functions
Authors:
Rekha Biswal,
Vyjayanthi Chari,
Lisa Schneider,
Sankaran Viswanath
Abstract:
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.…
▽ More
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.
△ Less
Submitted 18 February, 2015;
originally announced February 2015.
-
Character formulae and a realization of tilting modules for $\mathfrak{sl}_2[t]$
Authors:
Matthew Bennett,
Vyjayanthi Chari
Abstract:
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 multip…
▽ More
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.
△ Less
Submitted 1 April, 2015; v1 submitted 15 September, 2014;
originally announced September 2014.
-
A Steinberg type decomposition theorem for higher level Demazure modules
Authors:
Vyjayanthi Chari,
Peri Shereen,
R. Venkatesh,
Jeffrey Wand
Abstract:
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 wei…
▽ More
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.
△ Less
Submitted 18 August, 2014;
originally announced August 2014.
-
On Pairwise Costs for Network Flow Multi-Object Tracking
Authors:
Visesh Chari,
Simon Lacoste-Julien,
Ivan Laptev,
Josef Sivic
Abstract:
Multi-object tracking has been recently approached with the min-cost network flow optimization techniques. Such methods simultaneously resolve multiple object tracks in a video and enable modeling of dependencies among tracks. Min-cost network flow methods also fit well within the "tracking-by-detection" paradigm where object trajectories are obtained by connecting per-frame outputs of an object d…
▽ More
Multi-object tracking has been recently approached with the min-cost network flow optimization techniques. Such methods simultaneously resolve multiple object tracks in a video and enable modeling of dependencies among tracks. Min-cost network flow methods also fit well within the "tracking-by-detection" paradigm where object trajectories are obtained by connecting per-frame outputs of an object detector. Object detectors, however, often fail due to occlusions and clutter in the video. To cope with such situations, we propose to add pairwise costs to the min-cost network flow framework. While integer solutions to such a problem become NP-hard, we design a convex relaxation solution with an efficient rounding heuristic which empirically gives certificates of small suboptimality. We evaluate two particular types of pairwise costs and demonstrate improvements over recent tracking methods in real-world video sequences.
△ Less
Submitted 5 May, 2015; v1 submitted 14 August, 2014;
originally announced August 2014.
-
Weyl modules for the hyperspecial current algebra
Authors:
Vyjayanthi Chari,
Bogdan Ion,
Deniz Kus
Abstract:
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 alg…
▽ More
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)}$.
△ Less
Submitted 20 March, 2014;
originally announced March 2014.
-
Modules with Demazure Flags and Character Formulae
Authors:
Vyjayanthi Chari,
Lisa Schneider,
Peri Shereen,
Jeffrey Wand
Abstract:
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 edg…
▽ More
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.
△ Less
Submitted 28 March, 2014; v1 submitted 18 October, 2013;
originally announced October 2013.
-
BGG reciprocity for current algebras
Authors:
Vyjayanthi Chari,
Bogdan Ion
Abstract:
It was conjectured by Bennett, Chari, and Manning that a BGG-type reciprocity holds for the category of graded representations with finite-dimensional graded components for the current algebra associated to a simple Lie algebra. We associate a current algebra to any indecomposable affine Lie algebra and show that, in this generality, the BGG reciprocity is true for the corresponding category of re…
▽ More
It was conjectured by Bennett, Chari, and Manning that a BGG-type reciprocity holds for the category of graded representations with finite-dimensional graded components for the current algebra associated to a simple Lie algebra. We associate a current algebra to any indecomposable affine Lie algebra and show that, in this generality, the BGG reciprocity is true for the corresponding category of representations.
△ Less
Submitted 20 August, 2014; v1 submitted 4 July, 2013;
originally announced July 2013.
-
Demazure modules, Fusion products and Q--systems
Authors:
Vyjayanthi Chari,
R. Venkatesh
Abstract:
In this paper, we introduce a family of indecomposable finite--dimensional graded modules for the current algebra associated to a simple Lie algebra. These modules are indexed by a tuple of partitions one for each positive root of the simple Lie algebra. We assume that the partitions satisfy a natural compatibility condition. In the case when the partitions are all rectangular, for instance, we pr…
▽ More
In this paper, we introduce a family of indecomposable finite--dimensional graded modules for the current algebra associated to a simple Lie algebra. These modules are indexed by a tuple of partitions one for each positive root of the simple Lie algebra. We assume that the partitions satisfy a natural compatibility condition. In the case when the partitions are all rectangular, for instance, we prove that these are precisely the Demazure modules which are stable under the action of the simple Lie algebra. As a consequence we see that the defining relations of these Demazure modules can be greatly simplified. We use this simplified presentation to relate our results to the fusion products (defined by Feigin and Loktev) of representations of the current algebra. We prove that the Q--system can be actually thought of as a canonical short exact of the fusion products of representations associated to certain special partitions. Finally, in the last section we deal with the case of sl(2) and prove that the modules we define are just fusion products of irreducible representations of the associated current algebra. We also give monomial bases for these modules.
△ Less
Submitted 6 May, 2014; v1 submitted 11 May, 2013;
originally announced May 2013.
-
Posets, Tensor Products and Schur positivity
Authors:
Vyjayanthi Chari,
Ghislain Fourier,
Daisuke Sagaki
Abstract:
Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general),…
▽ More
Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$, where S_k acts on $P(λ, k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset.
Given an element of $P(λ, k)$, consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order.
We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.
△ Less
Submitted 26 August, 2013; v1 submitted 23 October, 2012;
originally announced October 2012.
-
On multigraded generalizations of Kirillov-Reshetikhin modules
Authors:
Angelo Bianchi,
Vyjayanthi Chari,
Ghislain Fourier,
Adriano Moura
Abstract:
We study the category of Z^l-graded modules with finite-dimensional graded pieces for certain Z+^l-graded Lie algebras. We also consider certain Serre subcategories with finitely many isomorphism classes of simple objects. We construct projective resolutions for the simple modules in these categories and compute the Ext groups between simple modules. We show that the projective covers of the simpl…
▽ More
We study the category of Z^l-graded modules with finite-dimensional graded pieces for certain Z+^l-graded Lie algebras. We also consider certain Serre subcategories with finitely many isomorphism classes of simple objects. We construct projective resolutions for the simple modules in these categories and compute the Ext groups between simple modules. We show that the projective covers of the simple modules in these Serre subcategories can be regarded as multigraded generalizations of Kirillov-Reshetikhin modules and give a recursive formula for computing their graded characters.
△ Less
Submitted 15 August, 2012;
originally announced August 2012.
-
Macdonald Polynomials and BGG reciprocity for current algebras
Authors:
Matthew Bennett,
Arkady Berenstein,
Vyjayanthi Chari,
Anton Khoroshkin,
Sergey Loktev
Abstract:
We study the category of graded representations with finite--dimensional graded pieces for the current algebra associated to a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we use the combinatorics of Macdonald polynomials to prove an analogue of the famous BGG duality in the case of $\lie{sl}_{n+1}$.
We study the category of graded representations with finite--dimensional graded pieces for the current algebra associated to a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we use the combinatorics of Macdonald polynomials to prove an analogue of the famous BGG duality in the case of $\lie{sl}_{n+1}$.
△ Less
Submitted 10 July, 2012;
originally announced July 2012.
-
Tilting modules for the current algebra of a simple Lie algebra
Authors:
Matthew Bennett,
Vyjayanthi Chari
Abstract:
The category of level zero representations of current and affine Lie algebras shares many of the properties of other well-known categories which appear in Lie theory and in algebraic groups in characteristic p and in this paper we explore further similarities. The role of the standard and co-standard module is played by the finite-dimensional local Weyl module and the dual of the infinite-dimensio…
▽ More
The category of level zero representations of current and affine Lie algebras shares many of the properties of other well-known categories which appear in Lie theory and in algebraic groups in characteristic p and in this paper we explore further similarities. The role of the standard and co-standard module is played by the finite-dimensional local Weyl module and the dual of the infinite-dimensional global Weyl module respectively. We define the canonical filtration of a graded module for the current algebra. In the case when $\mathfrak g$ is of type $\mathfrak{sl}_{n+1}$ we show that the well-known necessary and sufficient homological condition for a canonical filtration to be a good (or a $\nabla$-filtration) also holds in our situation. Finally, we construct the indecomposable tilting modules in our category and show that any tilting module is isomorphic to a direct sum of indecomposable tilting modules.
△ Less
Submitted 12 April, 2015; v1 submitted 27 February, 2012;
originally announced February 2012.
-
Prime Representations from a Homological Perspective
Authors:
Vyjayanthi Chari,
Adriano Moura,
Charles Young
Abstract:
We begin the study of simple finite-dimensional prime representations of quantum affine algebras from a homological perspective. Namely, we explore the relation between self extensions of simple representations and the property of being prime. We show that every nontrivial simple module has a nontrivial self extension. Conversely, if a simple representation has a unique nontrivial self extension u…
▽ More
We begin the study of simple finite-dimensional prime representations of quantum affine algebras from a homological perspective. Namely, we explore the relation between self extensions of simple representations and the property of being prime. We show that every nontrivial simple module has a nontrivial self extension. Conversely, if a simple representation has a unique nontrivial self extension up to isomorphism, then its Drinfeld polynomial is a power of the Drinfeld polynomial of a prime representation. It turns out that, in the sl(2) case, a simple module is prime if and only if it has a unique nontrivial self extension up to isomorphism. It is tempting to conjecture that this is true in general and we present a large class of prime representations satisfying this homological property.
△ Less
Submitted 29 December, 2011;
originally announced December 2011.
-
BGG reciprocity for current algebras
Authors:
Matthew Bennett,
Vyjayanthi Chari,
Nathan Manning
Abstract:
We study the category $\cal I_{\gr}$ of graded representations with finite--dimensional graded pieces for the current algebra $\lie g\otimes\bc[t]$ where $\lie g$ is a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we formulate and study an analogue of the famous BGG duality. We recall the definition of the projective a…
▽ More
We study the category $\cal I_{\gr}$ of graded representations with finite--dimensional graded pieces for the current algebra $\lie g\otimes\bc[t]$ where $\lie g$ is a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we formulate and study an analogue of the famous BGG duality. We recall the definition of the projective and simple objects in $\cal I_{\gr}$ which are indexed by dominant integral weights. The role of the Verma modules is played by a family of modules called the global Weyl modules. We show that in the case when $\lie g$ is of type $\lie{sl}_2$, the projective module admits a flag in which the successive quotients are finite direct sums of global Weyl modules. The multiplicity with which a particular Weyl module occurs in the flag is determined by the multiplicity of a Jordan--Holder series for a closely associated family of modules, called the local Weyl modules. We conjecture that the result remains true for arbitrary simple Lie algebras. We also prove some combinatorial product--sum identities involving Kostka polynomials which arise as a consequence of our theorem.
△ Less
Submitted 27 June, 2011; v1 submitted 1 June, 2011;
originally announced June 2011.
-
Faces of polytopes and Koszul algebras
Authors:
Vyjayanthi Chari,
Apoorva Khare,
Tim Ridenour
Abstract:
Let $\g$ be a reductive Lie algebra and $V$ a $\g$-semisimple module. In this article, we study the category $\G$ of graded finite-dimensional representations of $\g \ltimes V$. We produce a large class of truncated subcategories, which are directed and highest weight. Suppose $V$ is finite-dimensional with weights $\wt(V)$. Let $Ψ\subset \wt(V)$ be the set of weights contained in a face $\F$ of t…
▽ More
Let $\g$ be a reductive Lie algebra and $V$ a $\g$-semisimple module. In this article, we study the category $\G$ of graded finite-dimensional representations of $\g \ltimes V$. We produce a large class of truncated subcategories, which are directed and highest weight. Suppose $V$ is finite-dimensional with weights $\wt(V)$. Let $Ψ\subset \wt(V)$ be the set of weights contained in a face $\F$ of the polytope that is the convex hull of $\wt(V)$. For each such $Ψ$, we produce quasi-hereditary Koszul algebras. We use these Koszul algebras to construct an infinite-dimensional graded subalgebra $\spg$ of the locally finite part of the algebra of invariants $(END{\C} (\V) \otimes \Sym V)^{\g}$, where $\V$ is the direct sum of all simple finite-dimensional $\g$-modules. We prove that $\spg$ is Koszul of finite global dimension.
△ Less
Submitted 5 October, 2011; v1 submitted 13 May, 2011;
originally announced May 2011.
-
An application of global Weyl modules of $\lie{sl}_{n+1}[t]$ to invariant theory
Authors:
Vyjayanthi Chari,
Sergey Loktev
Abstract:
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
△ Less
Submitted 20 April, 2011;
originally announced April 2011.
-
Minimal affinizations as projective objects
Authors:
Vyjayanthi Chari,
Jacob Greenstein
Abstract:
We prove that the specialization to q=1 of a Kirillov-Reshetikhin module for an untwisted quantum affine algebra of classical type is projective in a suitable category. This yields a uniform character formula for the Kirillov-Reshetikhin modules. We conjecture that these results holds for specializations of minimal affinization with some restriction on the corresponding highest weight. We discuss…
▽ More
We prove that the specialization to q=1 of a Kirillov-Reshetikhin module for an untwisted quantum affine algebra of classical type is projective in a suitable category. This yields a uniform character formula for the Kirillov-Reshetikhin modules. We conjecture that these results holds for specializations of minimal affinization with some restriction on the corresponding highest weight. We discuss the connection with the conjecture of Nakai and Nakanishi on q-characters of minimal affinizations. We establish this conjecture in some special cases. This also leads us to conjecture an alternating sum formula for Jacobi-Trudi determinants.
△ Less
Submitted 22 September, 2010;
originally announced September 2010.
-
Representations of Affine and Toroidal Lie Algebras
Authors:
Vyjayanthi Chari
Abstract:
We discuss the category $\cal I$ of level zero integrable representations of loop algebras and their generalizations. The category is not semisimple and so one is interested in its homological properties. We begin by looking at some approaches which are used in the study of other well--known non--semisimple categories in the representation theory of Lie algebras. This is done with a view to seeing…
▽ More
We discuss the category $\cal I$ of level zero integrable representations of loop algebras and their generalizations. The category is not semisimple and so one is interested in its homological properties. We begin by looking at some approaches which are used in the study of other well--known non--semisimple categories in the representation theory of Lie algebras. This is done with a view to seeing if and how far these approaches can be made to work for $\cal I$. In the later sections we focus first on understanding the irreducible level zero modules and later on certain universal modules, the local and global Weyl modules which in many ways play a role similar to the Verma modules in the BGG--category $\cal O$. In the last section, we discuss the connections with the representation theory of finite--dimensional associative algebras and on some recent work with J. Greenstein.
△ Less
Submitted 7 September, 2010;
originally announced September 2010.
-
On Homomorphisms Between Global Weyl Modules
Authors:
Matthew Bennett,
Vyjayanthi Chari,
Jacob Greenstein,
Nathan Manning
Abstract:
Global Weyl modules for generalized loop algebras $\lie g\tensor A$, where $\lie g$ is a simple finite dimensional Lie algebra and A is a commutative associative algebra were defined, for any dominant integral weight $λ$, by generators and relations. They are expected to play the role similar to that of Verma modules in the study of categories of representations of these algebras. One of the funda…
▽ More
Global Weyl modules for generalized loop algebras $\lie g\tensor A$, where $\lie g$ is a simple finite dimensional Lie algebra and A is a commutative associative algebra were defined, for any dominant integral weight $λ$, by generators and relations. They are expected to play the role similar to that of Verma modules in the study of categories of representations of these algebras. One of the fundamental properties of Verma modules is that the space of morphisms between two Verma modules is either zero or one--dimensional and also that any non--zero morphism is injective. The aim of this paper is to establish an analogue of this property for the global Weyl modules. This is done under certain restrictions on the Lie algebra $\lie g$, $λ$ and $A$. A crucial tool is the construction of fundamental global Weyl modules in terms of fundamental local Weyl modules given in Section 3.
△ Less
Submitted 4 December, 2010; v1 submitted 31 August, 2010;
originally announced August 2010.
-
Square Partitions and Catalan Numbers
Authors:
Matthew Bennett,
Vyjayanthi Chari,
R. J. Dolbin,
Nathan Manning
Abstract:
For each integer $k\ge 1$, we define an algorithm which associates to a partition whose maximal value is at most $k$ a certain subset of all partitions. In the case when we begin with a partition $λ$ which is square, i.e $λ=λ_1\ge...\geλ_k>0$, and $λ_1=k,λ_k=1$, then applying the algorithm $\ell$ times gives rise to a set whose cardinality is either the Catalan number $c_{\ell-k+1}$ (the self du…
▽ More
For each integer $k\ge 1$, we define an algorithm which associates to a partition whose maximal value is at most $k$ a certain subset of all partitions. In the case when we begin with a partition $λ$ which is square, i.e $λ=λ_1\ge...\geλ_k>0$, and $λ_1=k,λ_k=1$, then applying the algorithm $\ell$ times gives rise to a set whose cardinality is either the Catalan number $c_{\ell-k+1}$ (the self dual case) or twice the Catalan number. The algorithm defines a tree and we study the propagation of the tree, which is not in the isomorphism class of the usual Catalan tree. The algorithm can also be modified to produce a two--parameter family of sets and the resulting cardinalities of the sets are the ballot numbers. Finally, we give a conjecture on the rank of a particular module for the ring of symmetric functions in $2\ell+m$ variables.
△ Less
Submitted 25 December, 2009;
originally announced December 2009.
-
A categorical approach to Weyl modules
Authors:
Vyjayanthi Chari,
Ghislain Fourier,
Tanusree Khandai
Abstract:
Global and local Weyl Modules were introduced via generators and relations in the context of affine Lie algebras in a work by the first author and Pressley and were motivated by representations of quantum affine algebras. A more general case was considered by Feigin and Loktev by replacing the polynomial ring with the coordinate ring of an algebraic variety. We show that there is a natural defin…
▽ More
Global and local Weyl Modules were introduced via generators and relations in the context of affine Lie algebras in a work by the first author and Pressley and were motivated by representations of quantum affine algebras. A more general case was considered by Feigin and Loktev by replacing the polynomial ring with the coordinate ring of an algebraic variety. We show that there is a natural definition of the local and global modules via homological properties. This characterization allows us to define the Weyl functor from the category of left modules of a commutative algebra to the category of modules for a simple Lie algebra. As an application we are able to understand the relationships of these functors to tensor products, generalizing previous results. Finally an analysis of the fundamental Weyl modules proves that the functors are not left exact in general, even for coordinate rings of affine varieties.
△ Less
Submitted 11 June, 2009;
originally announced June 2009.
-
Beyond Kirillov-Reshetikhin modules
Authors:
Vyjayanthi Chari,
David Hernandez
Abstract:
In this survey, we shall be concerned with the category of finite-dimensional representations of the untwisted quantum affine algebras when the quantum parameter q is not a root of unity. We review the foundational results of the subject, including the Drinfeld presentation, the classification of simple modules and q-characters. We then concentrate on particular families of irreducible represent…
▽ More
In this survey, we shall be concerned with the category of finite-dimensional representations of the untwisted quantum affine algebras when the quantum parameter q is not a root of unity. We review the foundational results of the subject, including the Drinfeld presentation, the classification of simple modules and q-characters. We then concentrate on particular families of irreducible representations whose structure has recently been understood: Kirillov-Reshetikhin modules, minimal affinizations and beyond.
△ Less
Submitted 12 May, 2009; v1 submitted 9 December, 2008;
originally announced December 2008.
-
Ideals in Parabolic Subalgebras of Simple Lie Algebras
Authors:
Vyjayanthi Chari,
R. J. Dolbin,
T. Ridenour
Abstract:
We study ad-nilpotent ideals of a parabolic subalgebra of a simple Lie algebra. Any such ideal determines an antichain in a set of positive roots of the simple Lie algebra. We give a necessary and sufficient condition for an antichain to determine an ad-nilpotent ideal of the parabolic. We write down all such antichains for the classical simple Lie algebras and in particular recover the results…
▽ More
We study ad-nilpotent ideals of a parabolic subalgebra of a simple Lie algebra. Any such ideal determines an antichain in a set of positive roots of the simple Lie algebra. We give a necessary and sufficient condition for an antichain to determine an ad-nilpotent ideal of the parabolic. We write down all such antichains for the classical simple Lie algebras and in particular recover the results of D. Peterson. In section 2 of the paper we study the unique ideal in a parabolic which is irreducible as a module for the reductive part and give several equivalent statements that are satisfied by the corresponding subset of roots.
△ Less
Submitted 1 September, 2008;
originally announced September 2008.
-
A family of Koszul algebras arising from finite-dimensional representations of simple Lie algebras
Authors:
Vyjayanthi Chari,
Jacob Greenstein
Abstract:
Let $\lie g$ be a simple Lie algebra and let $\bs^{\lie g}$ be the locally finite part of the algebra of invariants $(_\bc\bv\otimes S(\lie g))^{\lie g}$ where $\bv$ is the direct sum of all simple finite-dimensional modules for $\lie g$ and $S(\lie g)$ is the symmetric algebra of $\lie g$. Given an integral weight $ξ$, let $Ψ=Ψ(ξ)$ be the subset of roots which have maximal scalar product with…
▽ More
Let $\lie g$ be a simple Lie algebra and let $\bs^{\lie g}$ be the locally finite part of the algebra of invariants $(_\bc\bv\otimes S(\lie g))^{\lie g}$ where $\bv$ is the direct sum of all simple finite-dimensional modules for $\lie g$ and $S(\lie g)$ is the symmetric algebra of $\lie g$. Given an integral weight $ξ$, let $Ψ=Ψ(ξ)$ be the subset of roots which have maximal scalar product with $ξ$. Given a dominant integral weight $λ$ and $ξ$ such that $Ψ$ is a subset of the positive roots we construct a finite-dimensional subalgebra $\bs^{\lie g}_Ψ(\le_Ψλ)$ of $\bs^{\lie g}$ and prove that the algebra is Koszul of global dimension at most the cardinality of $Ψ$. Using this we then construct naturally an infinite-dimensional Koszul algebra of global dimension equal to the cardinality of $Ψ$. The results and the methods are motivated by the study of the category of finite-dimensional representations of the affine and quantum affine algebras.
△ Less
Submitted 11 August, 2008;
originally announced August 2008.
-
Weyl modules for the twisted loop algebras
Authors:
Vyjayanthi Chari,
Ghislain Fourier,
Prasad Senesi
Abstract:
The notion of a Weyl module, previously defined for the untwisted affine algebras, is extended here to the twisted affine algebras. We describe an identification of the Weyl modules for the twisted affine algebras with suitably chosen Weyl modules for the untwisted affine algebras. This identification allows us to use known results in the untwisted case to compute the dimensions and characters o…
▽ More
The notion of a Weyl module, previously defined for the untwisted affine algebras, is extended here to the twisted affine algebras. We describe an identification of the Weyl modules for the twisted affine algebras with suitably chosen Weyl modules for the untwisted affine algebras. This identification allows us to use known results in the untwisted case to compute the dimensions and characters of the Weyl modules for the twisted algebras.
△ Less
Submitted 3 May, 2007; v1 submitted 28 April, 2007;
originally announced April 2007.
-
Current algebras, highest weight categories and quivers
Authors:
Vyjayanthi Chari,
Jacob Greenstein
Abstract:
We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametized by the affine weight lattice. We…
▽ More
We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametized by the affine weight lattice. We show that with respect to a suitable refinement of the standard ordering on affine the weight lattice the category is highest weight. We compute the Ext quiver of the algebra of endomorphisms of the injective cogenerator of the subcategory associated to a interval closed finite subset of the weight lattice. Finally, we prove that there is a large number of interesting quivers of finite, affine and tame type that arise from our study. We also prove that the path algebra of star shaped quivers are the Ext algebra of a suitable subcategory.
△ Less
Submitted 15 February, 2007; v1 submitted 7 December, 2006;
originally announced December 2006.
-
Kirillov--Reshetikhin modules associated to G_2
Authors:
Vyjayanthi Chari,
Adriano Moura
Abstract:
We define and study the Kirillov--Reshetikhin modules for algebras of type $G_2$. We compute the graded character of these modules and verify that they are in accordance with the conjectures in math.QA/981202 and math.QA/0102113. These results give the first complete description of families of Kirillov--Reshetikhin modules whose isotypical components have multiplicity bigger than one.
We define and study the Kirillov--Reshetikhin modules for algebras of type $G_2$. We compute the graded character of these modules and verify that they are in accordance with the conjectures in math.QA/981202 and math.QA/0102113. These results give the first complete description of families of Kirillov--Reshetikhin modules whose isotypical components have multiplicity bigger than one.
△ Less
Submitted 12 April, 2006;
originally announced April 2006.
-
Graded level zero integrable representations of affine Lie algebras
Authors:
Vyjayanthi Chari,
Jacob Greenstein
Abstract:
We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in th…
▽ More
We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in this category is a direct sum of indecomposables only finitely many of which are non-trivial. We obtain a parametrization of blocks in this category.
△ Less
Submitted 30 July, 2006; v1 submitted 23 February, 2006;
originally announced February 2006.
-
The restricted Kirillov-Reshetikhin modules for the current and twisted current algebras
Authors:
Vyjayanthi Chari,
Adriano Moura
Abstract:
We define a family of graded restricted modules for the polynomial current algebra associated to a simple Lie algebra. We study the graded character of these modules and show that they are the same as the graded characters of certain Demazure modules. In particular, we see that the specialized characters are the same as those of the Kirillov Reshetikhin modules for quantum affine algebras.
We define a family of graded restricted modules for the polynomial current algebra associated to a simple Lie algebra. We study the graded character of these modules and show that they are the same as the graded characters of certain Demazure modules. In particular, we see that the specialized characters are the same as those of the Kirillov Reshetikhin modules for quantum affine algebras.
△ Less
Submitted 11 April, 2006; v1 submitted 28 July, 2005;
originally announced July 2005.
-
Characters of fundamental representations of quantum affine algebras
Authors:
Vyjayanthi Chari,
Adriano Moura
Abstract:
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.
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.
△ Less
Submitted 3 March, 2005; v1 submitted 1 March, 2005;
originally announced March 2005.
-
An application of free Lie algebras to current algebras and their representation theory
Authors:
Vyjayanthi Chari,
Jacob Greenstein
Abstract:
We realize the current algebra of a Kac-Moody algebra as a quotient of a semi-direct product of the Kac-Moody Lie algebra and the free Lie algebra of the Kac-Moody algebra. We use this realization to study the representations of the current alg ebra. In particular we see that every ad-invariant ideal in the symmetric algebra of the Kac-Moody algebra gives rise in a canonical way to a representat…
▽ More
We realize the current algebra of a Kac-Moody algebra as a quotient of a semi-direct product of the Kac-Moody Lie algebra and the free Lie algebra of the Kac-Moody algebra. We use this realization to study the representations of the current alg ebra. In particular we see that every ad-invariant ideal in the symmetric algebra of the Kac-Moody algebra gives rise in a canonical way to a representation of the current algebra. These representations include certain well-known families of representations of the current algebra of a simple Lie algebra. Another family of examples, which are the classical limits of the Kirillov-Reshe tikhin modules, are also obtained explicitly by using a construction of Kostant. Finally we study extensi ons in the category of finite dimensional modules of the current algebra of a simple Lie algebra.
△ Less
Submitted 18 February, 2005;
originally announced February 2005.
-
Weyl, Fusion and Demazure modules for the current algebra of sl_{r+1}
Authors:
Vyjayanthi Chari,
Sergei Loktev
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 13 January, 2007; v1 submitted 8 February, 2005;
originally announced February 2005.
-
Branched Crystals and Category O
Authors:
V. Chari,
D. Jakelic,
A. Moura
Abstract:
In this paper we describe a theory of (branched) crystals which is adapted to the study of representations in the BGG category $\cal O$ and which generalizes the theory of normal crystals of Kashiwara. In the case of $sl_2$ we show that one can associate (uniquely up to isomorphism) to every module in $\cal O$ a branched crystal . We show that the indecomposable modules in \cal O…
▽ More
In this paper we describe a theory of (branched) crystals which is adapted to the study of representations in the BGG category $\cal O$ and which generalizes the theory of normal crystals of Kashiwara. In the case of $sl_2$ we show that one can associate (uniquely up to isomorphism) to every module in $\cal O$ a branched crystal . We show that the indecomposable modules in \cal O$ correspond to "indecomposable" branched crystals. We also define the tensor product of these crystals and show that for $sl_2$ the indecomposable components of the tensor product of branched crystals are the same as the crystals associated to the indecomposable summands of the tensor product of the corresponding modules.
△ Less
Submitted 2 December, 2004; v1 submitted 25 November, 2004;
originally announced November 2004.
-
Characters and Blocks for Finite-Dimensional Representations of Quantum Affine Algebras
Authors:
Vyjayanthi Chari,
Adriano Moura
Abstract:
We introduce the notion of the ell-weight lattice and the ell-root lattice adapted to the study of finite-dimensional representations of quantum affine algebras. We then study the ell-weights of the fundamental representations and show that they are invariant under the action of the associated braid group, in the case when the underlying simple Lie algebra is of classical type. As an application…
▽ More
We introduce the notion of the ell-weight lattice and the ell-root lattice adapted to the study of finite-dimensional representations of quantum affine algebras. We then study the ell-weights of the fundamental representations and show that they are invariant under the action of the associated braid group, in the case when the underlying simple Lie algebra is of classical type. As an application of this result we are able to give explicit formulas for their q-characters. An example is worked out in detail in Section 5. Finally, we describe the blocks in the category and prove that they are parametrized by the quotient of the ell-weight lattice by the ell-root lattice.
△ Less
Submitted 2 December, 2004; v1 submitted 8 June, 2004;
originally announced June 2004.
-
Spectral Characters of Finite-Dimensional Representations of Affine Algebras
Authors:
Vyjayanthi Chari,
Adriano Moura
Abstract:
We introduce the notion of a spectral character for finite-dimensional representations of affine algebras. These can be viewed as a suitable q=1 limit of the elliptic characters defined by Etingof and Moura for quantum affine algebras. We show that these characters determine blocks of the category of finite-dimensional modules for affine algebras. To do this we use the Weyl modules defined by Ch…
▽ More
We introduce the notion of a spectral character for finite-dimensional representations of affine algebras. These can be viewed as a suitable q=1 limit of the elliptic characters defined by Etingof and Moura for quantum affine algebras. We show that these characters determine blocks of the category of finite-dimensional modules for affine algebras. To do this we use the Weyl modules defined by Chari and Pressley and some indecomposable reducible quotient of the Weyl modules.
△ Less
Submitted 31 January, 2004; v1 submitted 9 December, 2003;
originally announced December 2003.
-
Filtrations and completions of certain positive level modules of affine algebras
Authors:
Vyjayanthi Chari,
Jacob Greenstein
Abstract:
We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the module is irreducible and in the second case we prove that the intersection of all th…
▽ More
We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the module is irreducible and in the second case we prove that the intersection of all the modules is zero, thus allowing us to define the completed tensor product. In certain special cases, we identify the subsequent quotients of filtration. These are certain highest weight integrable modules and the multiplicity and the highest weight are the same as that obtained by decomposing the tensor product of the highest weight crystal bases with the crystal bases of a loop module.
△ Less
Submitted 1 September, 2003;
originally announced September 2003.
