Showing 1–50 of 57 results for author: Brundan, J

The q-Schur category

Authors: Jonathan Brundan

Abstract: The $q$-Schur category is a $\mathbb{Z}[q,q^{-1}]$-linear monoidal category closely related to the $q$-Schur algebra. We explain how to construct it from the coordinate algebra of quantum $GL_n$ as $n \rightarrow \infty$. Then we use Donkin's work on Ringel duality for $q$-Schur algebras to make precise the relationship between the $q$-Schur category and a $\mathbb{Z}[q,q^{-1}]$-form for the… ▽ More The $q$-Schur category is a $\mathbb{Z}[q,q^{-1}]$-linear monoidal category closely related to the $q$-Schur algebra. We explain how to construct it from the coordinate algebra of quantum $GL_n$ as $n \rightarrow \infty$. Then we use Donkin's work on Ringel duality for $q$-Schur algebras to make precise the relationship between the $q$-Schur category and a $\mathbb{Z}[q,q^{-1}]$-form for the $\mathfrak{gl}_n$-web category of Cautis, Kamnitzer and Morrison. We also construct some explicit integral bases for morphism spaces in the latter category. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 34 pages plus 5 page appendix

MSC Class: 18B10

Nil-Brauer categorifies the split $\imath$-quantum group of rank one

Authors: Jonathan Brundan, Weiqiang Wang, Ben Webster

Abstract: We prove that the Grothendieck ring of the monoidal category of finitely generated graded projective modules for the nil-Brauer category is isomorphic to an integral form of the split $\imath$-quantum group of rank one. Under this isomorphism, the indecomposable graded projective modules correspond to the $\imath$-canonical basis. We also introduce a new PBW basis for the $\imath$-quantum group an… ▽ More We prove that the Grothendieck ring of the monoidal category of finitely generated graded projective modules for the nil-Brauer category is isomorphic to an integral form of the split $\imath$-quantum group of rank one. Under this isomorphism, the indecomposable graded projective modules correspond to the $\imath$-canonical basis. We also introduce a new PBW basis for the $\imath$-quantum group and show that it is categorified by standard modules for the nil-Brauer category. Finally, we derive character formulae for irreducible graded modules and deduce various branching rules. △ Less

Submitted 9 May, 2023; originally announced May 2023.

MSC Class: 17B10

Graded triangular bases

Authors: Jonathan Brundan

Abstract: This article develops a practical technique for studying representations of $\Bbbk$-linear categories arising in the categorification of quantum groups. We work in terms of locally unital algebras which are $\mathbb{Z}$-graded with graded pieces that are finite-dimensional and bounded below, develo** a theory of graded triangular bases for such algebras. The definition is a graded extension of t… ▽ More This article develops a practical technique for studying representations of $\Bbbk$-linear categories arising in the categorification of quantum groups. We work in terms of locally unital algebras which are $\mathbb{Z}$-graded with graded pieces that are finite-dimensional and bounded below, develo** a theory of graded triangular bases for such algebras. The definition is a graded extension of the notion of triangular basis introduced in previous joint work with Stroppel. However, in the general graded setting, finitely generated projective modules often fail to be Noetherian, so that existing results from the study of highest weight categories are not directly applicable. Nevertheless, we show that there is still a good theory of standard modules. In motivating examples arising from Kac-Moody 2-categories, these modules categorify the PBW bases for the modified forms of quantum groups constructed by Wang. △ Less

Submitted 8 May, 2023; originally announced May 2023.

MSC Class: 17B10

The nil-Brauer category

Authors: Jonathan Brundan, Weiqiang Wang, Ben Webster

Abstract: We introduce the nil-Brauer category and prove a basis theorem for its morphism spaces. This basis theorem is an essential ingredient required to prove that nil-Brauer categorifies the split $\imath$-quantum group of rank one. As this $\imath$-quantum group is a basic building block for $\imath$-quantum groups of higher rank, we expect that the nil-Brauer category will play a role in future develo… ▽ More We introduce the nil-Brauer category and prove a basis theorem for its morphism spaces. This basis theorem is an essential ingredient required to prove that nil-Brauer categorifies the split $\imath$-quantum group of rank one. As this $\imath$-quantum group is a basic building block for $\imath$-quantum groups of higher rank, we expect that the nil-Brauer category will play a role in future developments related to the categorification of quantum symmetric pairs. △ Less

Submitted 15 September, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

Comments: v2: minor corrections

MSC Class: 17B10

Journal ref: Ann. Rep. Theory 1 (2024), 21-58

Odd Grassmannian bimodules and derived equivalences for spin symmetric groups

Authors: Jonathan Brundan, Alexander Kleshchev

Abstract: We prove odd analogs of results of Chuang and Rouquier on sl(2)-categorification. Combined also with recent work of the second author with Livesey, this allows us to complete the proof of Broué's Abelian Defect Conjecture for the double covers of symmetric groups. The article also develops the theory of odd symmetric functions initiated a decade ago by Ellis, Khovanov and Lauda. A key role in our… ▽ More We prove odd analogs of results of Chuang and Rouquier on sl(2)-categorification. Combined also with recent work of the second author with Livesey, this allows us to complete the proof of Broué's Abelian Defect Conjecture for the double covers of symmetric groups. The article also develops the theory of odd symmetric functions initiated a decade ago by Ellis, Khovanov and Lauda. A key role in our approach is played by a 2-category consisting of odd Grassmannian bimodules over superalgebras which are odd analogs of equivariant cohomology algebras of Grassmannians. This is the odd analog of the category of Grassmannian bimodules which was at the heart of Lauda's independent approach to categorification of sl(2). We also construct an action of the odd Kac-Moody 2-category of sl(2) on the 2-category of odd Grassmannian bimodules, and use this to give a new proof of its non-degeneracy. △ Less

Submitted 4 July, 2022; v1 submitted 26 March, 2022; originally announced March 2022.

Comments: This version removes the need to evaluate odd bubbles at zero

MSC Class: 17B10; 18D25; 20C30

A new approach to the representation theory of the partition category

Authors: Jonathan Brundan, Max Vargas

Abstract: We explain a new approach to the representation theory of the partition category based on a reformulation of the definition of the Jucys-Murphy elements introduced originally by Halverson and Ram and developed further by Enyang. Our reformulation involves a new graphical monoidal category, the affine partition category, which is defined here as a certain monoidal subcategory of Khovanov's Heisenbe… ▽ More We explain a new approach to the representation theory of the partition category based on a reformulation of the definition of the Jucys-Murphy elements introduced originally by Halverson and Ram and developed further by Enyang. Our reformulation involves a new graphical monoidal category, the affine partition category, which is defined here as a certain monoidal subcategory of Khovanov's Heisenberg category. We use the Jucys-Murphy elements to construct some special projective functors, then apply these functors to give self-contained proofs of results of Comes and Ostrik on blocks of Deligne's category Rep(S_t). △ Less

Submitted 11 July, 2021; originally announced July 2021.

MSC Class: 18M05; 20C30; 17B10

Journal ref: J. Algebra 601 (2022), 198-279

Quantum Frobenius Heisenberg categorification

Authors: Jonathan Brundan, Alistair Savage, Ben Webster

Abstract: We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible parameters $z,t$ in some ground ring. When $A$ is trivial, i.e. it equals the ground ring, these categories recover the quantum Heisenberg categories introduced in ou… ▽ More We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible parameters $z,t$ in some ground ring. When $A$ is trivial, i.e. it equals the ground ring, these categories recover the quantum Heisenberg categories introduced in our previous work, and when the central charge $k$ is zero they yield generalizations of the affine HOMFLY-PT skein category. By exploiting some natural categorical actions of $\mathcal{H}\textit{eis}_k(A;z,t)$ on generalized cyclotomic quotients, we prove a basis theorem for morphism spaces. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: 44 pages

MSC Class: Primary 18M05; Secondary 20C08

Journal ref: Journal of Pure and Applied Algebra 226 (2022), no. 1, 106792

Foundations of Frobenius Heisenberg categories

Authors: Jonathan Brundan, Alistair Savage, Ben Webster

Abstract: We describe bases for the morphism spaces of the Frobenius Heisenberg categories associated to a symmetric graded Frobenius algebra, proving several open conjectures. Our proof uses a categorical comultiplication and generalized cyclotomic quotients of the category. We use our basis theorem to prove that the Grothendieck ring of the Karoubi envelope of the Frobenius Heisenberg category recovers th… ▽ More We describe bases for the morphism spaces of the Frobenius Heisenberg categories associated to a symmetric graded Frobenius algebra, proving several open conjectures. Our proof uses a categorical comultiplication and generalized cyclotomic quotients of the category. We use our basis theorem to prove that the Grothendieck ring of the Karoubi envelope of the Frobenius Heisenberg category recovers the lattice Heisenberg algebra associated to the Frobenius algebra. △ Less

Submitted 27 September, 2023; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: 50 pages; v2: minor corrections, published version; v3: contains corrections of some errors present in the published version

MSC Class: Primary 18M05; Secondary 17B10; 17B65

Journal ref: Journal of Algebra 578 (2021), 115-185

Semisimplification of the category of tilting modules for GL_n

Authors: Jonathan Brundan, Inna Entova-Aizenbud, Pavel Etingof, Victor Ostrik

Abstract: We describe the semisimplification of the monoidal category of tilting modules for the algebraic group GL_n in characteristic p > 0. In particular, we compute the dimensions of the indecomposable tilting modules modulo p. We describe the semisimplification of the monoidal category of tilting modules for the algebraic group GL_n in characteristic p > 0. In particular, we compute the dimensions of the indecomposable tilting modules modulo p. △ Less

Submitted 5 February, 2023; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: This version corrects a minor mistake in the proof of Lemma 3.4 in the published version

MSC Class: 17B10; 18D10

Journal ref: Advances Math. 375 (2020), 107331

Heisenberg and Kac-Moody categorification

Authors: Jonathan Brundan, Alistair Savage, Ben Webster

Abstract: We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This gives a way to construct Kac-Moody actions in many representation-theoretic examples which is independent of Rouquier's original approach via `control by K_0.' As… ▽ More We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This gives a way to construct Kac-Moody actions in many representation-theoretic examples which is independent of Rouquier's original approach via `control by K_0.' As an application, we prove an isomorphism theorem for generalized cyclotomic quotients of these categories, extending the known isomorphism between cyclotomic quotients of type A affine Hecke algebras and quiver Hecke algebras. △ Less

Submitted 19 June, 2020; v1 submitted 27 July, 2019; originally announced July 2019.

Comments: 52 pages

MSC Class: 17B10; 18D10

Journal ref: Sel. Math. New Ser. 26, 74 (2020)

On the definition of quantum Heisenberg category

Authors: Jonathan Brundan, Alistair Savage, Ben Webster

Abstract: We introduce a diagrammatic monoidal category $\mathcal{H}eis_k(z,t)$ which we call the quantum Heisenberg category, here, $k \in \mathbb{Z}$ is "central charge" and $z$ and $t$ are invertible parameters. Special cases were known before: for central charge $k=-1$ and parameters $z = q-q^{-1}$ and $t = -z^{-1}$ our quantum Heisenberg category may be obtained from the deformed version of Khovanov's… ▽ More We introduce a diagrammatic monoidal category $\mathcal{H}eis_k(z,t)$ which we call the quantum Heisenberg category, here, $k \in \mathbb{Z}$ is "central charge" and $z$ and $t$ are invertible parameters. Special cases were known before: for central charge $k=-1$ and parameters $z = q-q^{-1}$ and $t = -z^{-1}$ our quantum Heisenberg category may be obtained from the deformed version of Khovanov's Heisenberg category introduced by Licata and the second author by inverting its polynomial generator, while $\mathcal{H}eis_0(z,t)$ is the affinization of the HOMFLY-PT skein category. We also prove a basis theorem for the morphism spaces in $\mathcal{H}eis_k(z,t)$. △ Less

Submitted 27 September, 2023; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: v1: preliminary version; v2: minor corrections, published version; v3: contains corrections of some errors present in the published version

MSC Class: 17B10; 18D10

Journal ref: Alg. Number Th. 14 (2020) 275-321

The degenerate Heisenberg category and its Grothendieck ring

Authors: Jonathan Brundan, Alistair Savage, Ben Webster

Abstract: The degenerate Heisenberg category $\mathcal{H}eis_k$ is a strict monoidal category which was originally introduced in the special case $k=-1$ by Khovanov in 2010. Khovanov conjectured that the Grothendieck ring of the additive Karoubi envelope of his category is isomorphic to a certain $\mathbb{Z}$-form for the universal envelo** algebra of the infinite-dimensional Heisenberg Lie algebra specia… ▽ More The degenerate Heisenberg category $\mathcal{H}eis_k$ is a strict monoidal category which was originally introduced in the special case $k=-1$ by Khovanov in 2010. Khovanov conjectured that the Grothendieck ring of the additive Karoubi envelope of his category is isomorphic to a certain $\mathbb{Z}$-form for the universal envelo** algebra of the infinite-dimensional Heisenberg Lie algebra specialized at central charge $-1$. We prove this conjecture and extend it to arbitrary central charge $k \in \mathbb{Z}$. We also explain how to categorify the comultiplication (generically). △ Less

Submitted 23 December, 2021; v1 submitted 7 December, 2018; originally announced December 2018.

Comments: v3: small corrections based on a referee report

Journal ref: Ann. Sci. Éc. Norm. Supér. 56 (2023), 1517-1563

Semi-infinite highest weight categories

Authors: Jonathan Brundan, Catharina Stroppel

Abstract: We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower finite. We also consider various more general sorts of stratified categories. In the upper finite cases, we give an alternative characterization of these categories i… ▽ More We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower finite. We also consider various more general sorts of stratified categories. In the upper finite cases, we give an alternative characterization of these categories in terms of based quasi-hereditary algebras and based stratified algebras, which are certain locally unital algebras possessing triangular bases. △ Less

Submitted 9 July, 2021; v1 submitted 24 August, 2018; originally announced August 2018.

Comments: Final version, accepted for publication in Memoirs AMS

MSC Class: 16G10; 16-02; 17B10; 08C20; 20G05; 20G42; 17B67

Journal ref: Mem. Amer. Math. Soc. 293 (1459): vii+152, 2024

Representations of the oriented skein category

Authors: Jonathan Brundan

Abstract: The oriented skein category $OS(z,t)$ is a ribbon category which underpins the definition of the HOMFLY-PT invariant of an oriented link, in the same way that the Temperley-Lieb category underpins the Jones polynomial. In this article, we develop its representation theory using a highest weight theory approach. This allows us to determine the Grothendieck ring of its additive Karoubi envelope for… ▽ More The oriented skein category $OS(z,t)$ is a ribbon category which underpins the definition of the HOMFLY-PT invariant of an oriented link, in the same way that the Temperley-Lieb category underpins the Jones polynomial. In this article, we develop its representation theory using a highest weight theory approach. This allows us to determine the Grothendieck ring of its additive Karoubi envelope for all possible choices of parameters, including the (already well-known) semisimple case, and all non-semisimple situations. Then we construct a graded lift of $OS(z,t)$ by realizing it as a 2-representation of a Kac-Moody 2-category. We also discuss the degenerate analog of $OS(z,t)$, which is the oriented Brauer category $OB(δ)$. △ Less

Submitted 24 December, 2017; originally announced December 2017.

Comments: 57 pages

MSC Class: 17B10; 18B10

The p-centre of Yangians and shifted Yangians

Authors: Jonathan Brundan, Lewis Topley

Abstract: We study the Yangian $Y_n$ associated to the general linear Lie algebra $\mathfrak{gl}_n$ over a field of positive characteristic, as well as its shifted analog $Y_n(σ)$. Our main result gives a description of the centre of $Y_n(σ)$: it is a polynomial algebra generated by its Harish-Chandra centre (which lifts the centre in characteristic zero) together with a large $p$-centre. Moreover,… ▽ More We study the Yangian $Y_n$ associated to the general linear Lie algebra $\mathfrak{gl}_n$ over a field of positive characteristic, as well as its shifted analog $Y_n(σ)$. Our main result gives a description of the centre of $Y_n(σ)$: it is a polynomial algebra generated by its Harish-Chandra centre (which lifts the centre in characteristic zero) together with a large $p$-centre. Moreover, $Y_n(σ)$ is free as a module over its center. In future work, it will be seen that every reduced envelo** algebra $U_χ(\mathfrak{gl}_n)$ is Morita equivalent to a quotient of an appropriate choice of shifted Yangian, and so our results will have applications in classical representation theory. △ Less

Submitted 12 October, 2017; originally announced October 2017.

Comments: 34 pages

MSC Class: 17B37

Journal ref: Mosc. Math. J. 18 (2018), no. 4, 617-657

On the definition of Heisenberg category

Authors: Jonathan Brundan

Abstract: We revisit the definition of the Heisenberg category of central charge k. For central charge -1, this category was introduced originally by Khovanov, but with some additional cyclicity relations which we show here are unnecessary. For other negative central charges, the definition is due to Mackaay and Savage, also with some redundant relations, while central charge zero recovers the affine orient… ▽ More We revisit the definition of the Heisenberg category of central charge k. For central charge -1, this category was introduced originally by Khovanov, but with some additional cyclicity relations which we show here are unnecessary. For other negative central charges, the definition is due to Mackaay and Savage, also with some redundant relations, while central charge zero recovers the affine oriented Brauer category of Brundan, Comes, Nash and Reynolds. We also discuss cyclotomic quotients. △ Less

Submitted 13 June, 2018; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 20 pages

MSC Class: 17B10; 18D10

Journal ref: Alg. Comb. 1 (2018), 523-544

A basis theorem for the degenerate affine oriented Brauer-Clifford supercategory

Authors: Jonathan Brundan, Jonathan Comes, Jonathan R. Kujawa

Abstract: We introduce the oriented Brauer-Clifford and degenerate affine oriented Brauer-Clifford supercategories. These are diagrammatically defined monoidal supercategories which provide combinatorial models for certain natural monoidal supercategories of supermodules and endosuperfunctors, respectively, for the Lie superalgebras of type Q. Our main results are basis theorems for these diagram supercateg… ▽ More We introduce the oriented Brauer-Clifford and degenerate affine oriented Brauer-Clifford supercategories. These are diagrammatically defined monoidal supercategories which provide combinatorial models for certain natural monoidal supercategories of supermodules and endosuperfunctors, respectively, for the Lie superalgebras of type Q. Our main results are basis theorems for these diagram supercategories. We also discuss connections and applications to the representation theory of the Lie superalgebra of type Q. △ Less

Submitted 21 March, 2018; v1 submitted 29 June, 2017; originally announced June 2017.

Comments: 37 pages, many figures. Version 3 replaces the partial results from the previous versions with a proof by the first author of a basis theorem for cyclotomic quotients at all levels. Various other minor corrections and revisions were made

MSC Class: 17B10; 18D10

Journal ref: Canad. J. Math. 71 (2019), 1061-1101

Type C blocks of super category O

Authors: Jonathan Brundan, Nicholas Davidson

Abstract: We show that the blocks of category O for the Lie superalgebra q_n associated to half-integral weights carry the structure of a tensor product categorification for the infinite rank Kac-Moody algebra of type C. This allows us to prove two conjectures formulated by Cheng, Kwon and Lam. We then focus on the full subcategory consisting of finite-dimensional representations, which we show is a highest… ▽ More We show that the blocks of category O for the Lie superalgebra q_n associated to half-integral weights carry the structure of a tensor product categorification for the infinite rank Kac-Moody algebra of type C. This allows us to prove two conjectures formulated by Cheng, Kwon and Lam. We then focus on the full subcategory consisting of finite-dimensional representations, which we show is a highest weight category with blocks that are Morita equivalent to certain generalized Khovanov arc algebras. △ Less

Submitted 16 February, 2017; originally announced February 2017.

Comments: 32 pages

Journal ref: Math. Z. 293 (2019), 867-901

Super Kac-Moody 2-categories

Authors: Jonathan Brundan, Alexander P. Ellis

Abstract: We introduce generalizations of Kac-Moody 2-categories in which the quiver Hecke algebras of Khovanov, Lauda and Rouquier are replaced by the quiver Hecke superalgebras of Kang, Kashiwara and Tsuchioka. We introduce generalizations of Kac-Moody 2-categories in which the quiver Hecke algebras of Khovanov, Lauda and Rouquier are replaced by the quiver Hecke superalgebras of Kang, Kashiwara and Tsuchioka. △ Less

Submitted 8 May, 2017; v1 submitted 15 January, 2017; originally announced January 2017.

Comments: 49 pages, final version

MSC Class: 17B10; 18D10

Journal ref: Proc. London Math. Soc. 115 (2017), 925-973

Whittaker coinvariants for $\mathrm{GL}(m|n)$

Authors: Jonathan Brundan, Simon M. Goodwin

Abstract: Let $W_{m|n}$ be the (finite) $W$-algebra attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb{C})$. In this paper we study the {\em Whittaker coinvariants functor}, which is an exact functor from category $\mathcal O$ for $\mathfrak{gl}_{m|n}(\mathbb{C})$ to a certain category of finite-dimensional modules over $W_{m|n}$. We show that this… ▽ More Let $W_{m|n}$ be the (finite) $W$-algebra attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb{C})$. In this paper we study the {\em Whittaker coinvariants functor}, which is an exact functor from category $\mathcal O$ for $\mathfrak{gl}_{m|n}(\mathbb{C})$ to a certain category of finite-dimensional modules over $W_{m|n}$. We show that this functor has properties similar to Soergel's functor $\mathbb V$ in the setting of category $\mathcal O$ for a semisimple Lie algebra. We also use it to compute the center of $W_{m|n}$ explicitly, and deduce some consequences for the classification of blocks of $\mathcal O$ up to Morita/derived equivalence. △ Less

Submitted 15 February, 2019; v1 submitted 24 December, 2016; originally announced December 2016.

Comments: 58 pages, minor changes

Journal ref: Adv. Math. 347 (2019), 273-339

Type A blocks of super category O

Authors: Jonathan Brundan, Nicholas Davidson

Abstract: We show that every integral block of category O for the general linear Lie superalgebra is equivalent to a corresponding block of category O for the queer Lie superalgebra. This implies the truth of the Kazhdan-Lusztig conjecture for the so-called type A blocks of category O for the queer Lie superalgebra, as formulated by Cheng, Kwon and Wang. We show that every integral block of category O for the general linear Lie superalgebra is equivalent to a corresponding block of category O for the queer Lie superalgebra. This implies the truth of the Kazhdan-Lusztig conjecture for the so-called type A blocks of category O for the queer Lie superalgebra, as formulated by Cheng, Kwon and Wang. △ Less

Submitted 3 November, 2016; v1 submitted 18 June, 2016; originally announced June 2016.

Comments: final version, 28 pages

MSC Class: 16E05; 16S38; 17B37

Journal ref: J. Algebra 473 (2017), 447-480

Categorical actions and crystals

Authors: Jonathan Brundan, Nicholas Davidson

Abstract: This is an expository article develo** some aspects of the theory of categorical actions of Kac-Moody algebras in the spirit of works of Chuang-Rouquier, Khovanov-Lauda, Webster, and many others. This is an expository article develo** some aspects of the theory of categorical actions of Kac-Moody algebras in the spirit of works of Chuang-Rouquier, Khovanov-Lauda, Webster, and many others. △ Less

Submitted 2 June, 2016; v1 submitted 29 March, 2016; originally announced March 2016.

Comments: For Contemporary Mathematics Special Volume "Perspectives on Categorification." This version adds a couple of new references

MSC Class: 17B10; 18D10

Journal ref: Contemp. Math. 684 (2017), 116-159

Monoidal supercategories

Authors: Jonathan Brundan, Alexander P. Ellis

Abstract: In the literature, one finds several competing notions for the super (i.e., Z/2-graded) analog of a monoidal category. The goal of this paper is to clarify these definitions and the connections between them. We also discuss in detail the example of the odd Temperley-Lieb supercategory. In a forthcoming article, we will exploit the formalism developed here in order to define super analogs of the Ka… ▽ More In the literature, one finds several competing notions for the super (i.e., Z/2-graded) analog of a monoidal category. The goal of this paper is to clarify these definitions and the connections between them. We also discuss in detail the example of the odd Temperley-Lieb supercategory. In a forthcoming article, we will exploit the formalism developed here in order to define super analogs of the Kac-Moody 2-categories of Khovanov-Lauda and Rouquier. △ Less

Submitted 25 January, 2017; v1 submitted 18 March, 2016; originally announced March 2016.

Comments: 42 pages, sign error in Definition 1.16 fixed

MSC Class: 17B10; 18D10

Journal ref: Comm. Math. Phys. 351 (2017), 1045-1089

On the definition of Kac-Moody 2-category

Authors: Jonathan Brundan

Abstract: We show that the Kac-Moody 2-categories defined by Rouquier and by Khovanov and Lauda are the same. We show that the Kac-Moody 2-categories defined by Rouquier and by Khovanov and Lauda are the same. △ Less

Submitted 2 January, 2015; originally announced January 2015.

Comments: 16 pages

MSC Class: 17B10; 18D10

Journal ref: Math. Ann. 364 (2016), 353-372

A basis theorem for the affine oriented Brauer category and its cyclotomic quotients

Authors: Jonathan Brundan, Jonathan Comes, David Nash, Andrew Reynolds

Abstract: The affine oriented Brauer category is a monoidal category obtained from the oriented Brauer category (= the free symmetric monoidal category generated by a single object and its dual) by adjoining a polynomial generator subject to appropriate relations. In this article, we prove a basis theorem for the morphism spaces in this category, as well as for all of its cyclotomic quotients. The affine oriented Brauer category is a monoidal category obtained from the oriented Brauer category (= the free symmetric monoidal category generated by a single object and its dual) by adjoining a polynomial generator subject to appropriate relations. In this article, we prove a basis theorem for the morphism spaces in this category, as well as for all of its cyclotomic quotients. △ Less

Submitted 20 July, 2014; v1 submitted 25 April, 2014; originally announced April 2014.

Comments: v2: Minor corrections

MSC Class: 17B10; 18D10

Journal ref: Quantum Topology 8 (2017), 75-112

Tensor product categorifications and the super Kazhdan-Lusztig conjecture

Authors: Jonathan Brundan, Ivan Losev, Ben Webster

Abstract: We give a new proof of the "super Kazhdan-Lusztig conjecture" for the Lie super algebra $\mathfrak{gl}_{n|m}(\mathbb{C})$ as formulated originally by the first author. We also prove for the first time that any integral block of category O for $\mathfrak{gl}_{n|m}(\mathbb{C})$ (and also all of its parabolic analogs) possesses a graded version which is Koszul. Our approach depends crucially on an ap… ▽ More We give a new proof of the "super Kazhdan-Lusztig conjecture" for the Lie super algebra $\mathfrak{gl}_{n|m}(\mathbb{C})$ as formulated originally by the first author. We also prove for the first time that any integral block of category O for $\mathfrak{gl}_{n|m}(\mathbb{C})$ (and also all of its parabolic analogs) possesses a graded version which is Koszul. Our approach depends crucially on an application of the uniqueness of tensor product categorifications established recently by the second two authors. △ Less

Submitted 18 February, 2016; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: 58 pages; v2: relatively minor changes, a few adjustments to wording and references; v3: final version, more minor changes, to appear in IMRN

Journal ref: Int. Math. Res. Notices 20 (2017), 6329-6410

Quiver Hecke algebras and categorification

Authors: Jonathan Brundan

Abstract: This is a brief introduction to the quiver Hecke algebras of Khovanov, Lauda and Rouquier, emphasizing their application to the categorification of quantum groups. The text is based on lectures given by the author at the ICRA workshop in Bielefeld in August, 2012. This is a brief introduction to the quiver Hecke algebras of Khovanov, Lauda and Rouquier, emphasizing their application to the categorification of quantum groups. The text is based on lectures given by the author at the ICRA workshop in Bielefeld in August, 2012. △ Less

Submitted 1 October, 2013; v1 submitted 24 January, 2013; originally announced January 2013.

Comments: This version fixes a couple of typos

MSC Class: 16E05; 16S38; 17B37

Journal ref: in: "Advances in Representation Theory of Algebras," eds: D. Benson et al, EMS Congress Reports, 2013, pp.103--133

Homological properties of finite type Khovanov-Lauda-Rouquier algebras

Authors: Jonathan Brundan, Alexander Kleshchev, Peter J. McNamara

Abstract: We give an algebraic construction of standard modules (infinite dimensional modules categorifying the PBW basis of the underlying quantized envelo** algebra) for Khovanov-Lauda-Rouquier algebras in all finite types. This allows us to prove in an elementary way that these algebras satisfy the homological properties of an `affine quasi-hereditary algebra.' In simply-laced types these properties we… ▽ More We give an algebraic construction of standard modules (infinite dimensional modules categorifying the PBW basis of the underlying quantized envelo** algebra) for Khovanov-Lauda-Rouquier algebras in all finite types. This allows us to prove in an elementary way that these algebras satisfy the homological properties of an `affine quasi-hereditary algebra.' In simply-laced types these properties were established originally by Kato via a geometric approach. We also construct some Koszul-like projective resolutions of standard modules corresponding to multiplicity-free positive roots. △ Less

Submitted 1 October, 2013; v1 submitted 25 October, 2012; originally announced October 2012.

Comments: Minor corrections

MSC Class: 16E05; 16S38; 17B37

Journal ref: Duke Math. J. 163, no. 7 (2014), 1353-1404

Principal W-algebras for GL(m|n)

Authors: Jonathan Brown, Jonathan Brundan, Simon M. Goodwin

Abstract: We consider the (finite) $W$-algebra $W_{m|n}$ attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb C)$. Our main result gives an explicit description of $W_{m|n}$ as a certain truncation of a shifted version of the Yangian $Y(\mathfrak{gl}_{1|1})$. We also show that $W_{m|n}$ admits a triangular decomposition and construct its irreducible r… ▽ More We consider the (finite) $W$-algebra $W_{m|n}$ attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb C)$. Our main result gives an explicit description of $W_{m|n}$ as a certain truncation of a shifted version of the Yangian $Y(\mathfrak{gl}_{1|1})$. We also show that $W_{m|n}$ admits a triangular decomposition and construct its irreducible representations. △ Less

Submitted 5 December, 2012; v1 submitted 4 May, 2012; originally announced May 2012.

Comments: This version corrects a formatting bug with txfonts package in the arxiv's tex distribution (\bar was not displayed correctly)

MSC Class: 17B10; 17B37

Journal ref: Algebra Number Theory 7 (2013) 1849-1882

Gradings on walled Brauer algebras and Khovanov's arc algebra

Authors: Jonathan Brundan, Catharina Stroppel

Abstract: We introduce some graded versions of the walled Brauer algebra, working over a field of characteristic zero. This allows us to prove that the walled Brauer algebra is Morita equivalent to an idempotent truncation of a certain infinite dimensional version of Khovanov's arc algebra, as suggested by recent work of Cox and De Visscher. We deduce that the walled Brauer algebra is Koszul whenever its de… ▽ More We introduce some graded versions of the walled Brauer algebra, working over a field of characteristic zero. This allows us to prove that the walled Brauer algebra is Morita equivalent to an idempotent truncation of a certain infinite dimensional version of Khovanov's arc algebra, as suggested by recent work of Cox and De Visscher. We deduce that the walled Brauer algebra is Koszul whenever its defining parameter is non-zero. △ Less

Submitted 5 July, 2011; originally announced July 2011.

Comments: 69 pages

MSC Class: 17B10; 16S37

Journal ref: Advances Math. 231 (2012), 709-773

An orthogonal form for level two Hecke algebras with applications

Authors: Jonathan Brundan

Abstract: This is a survey of some recent results relating Khovanov's arc algebra to category O for Grassmannians, the general linear supergroup, and the walled Brauer algebra. The exposition emphasizes an extension of Young's orthogonal form for level two cyclotomic Hecke algebras. This is a survey of some recent results relating Khovanov's arc algebra to category O for Grassmannians, the general linear supergroup, and the walled Brauer algebra. The exposition emphasizes an extension of Young's orthogonal form for level two cyclotomic Hecke algebras. △ Less

Submitted 3 April, 2011; originally announced April 2011.

Comments: For proceedings of "Representation Theory of Algebraic Groups and Quantum Groups," Nagoya, 2010

MSC Class: 20C08; 17B10

Journal ref: Contemp. Math. 565 (2012), 29-53

Cohomology of Spaltenstein varieties

Authors: Jonathan Brundan, Victor Ostrik

Abstract: We give a presentation for the cohomology algebra of the Spaltenstein variety of all partial flags annihilated by a fixed nilpotent matrix, generalizing the description of the cohomology algebra of the Springer fiber found by De Concini, Procesi and Tanisaki. We give a presentation for the cohomology algebra of the Spaltenstein variety of all partial flags annihilated by a fixed nilpotent matrix, generalizing the description of the cohomology algebra of the Springer fiber found by De Concini, Procesi and Tanisaki. △ Less

Submitted 15 December, 2010; originally announced December 2010.

Comments: 28 pages

MSC Class: 20C08

Journal ref: Transform. Groups 16 (2011), 619--648

Moeglin's theorem and Goldie rank polynomials in Cartan type A

Authors: Jonathan Brundan

Abstract: We use the theory of finite W-algebras associated to nilpotent orbits in the Lie algebra g = gl_N(C) to give another proof of Moeglin's theorem about completely prime primitive ideals in the envelo** algebra U(g). We also make some new observations about Joseph's Goldie rank polynomials in Cartan type A. We use the theory of finite W-algebras associated to nilpotent orbits in the Lie algebra g = gl_N(C) to give another proof of Moeglin's theorem about completely prime primitive ideals in the envelo** algebra U(g). We also make some new observations about Joseph's Goldie rank polynomials in Cartan type A. △ Less

Submitted 2 June, 2011; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: final version; minor changes and some additions to bibliography; 32 pages

MSC Class: 17B35

Journal ref: Compositio Math. 147 (2011) 1741-1771

Highest weight categories arising from Khovanov's diagram algebra IV: the general linear supergroup

Authors: Jonathan Brundan, Catharina Stroppel

Abstract: We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul. We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul. △ Less

Submitted 23 November, 2010; v1 submitted 15 July, 2009; originally announced July 2009.

Comments: Some examples added at end of introduction, exposition of "weight dictionary" simplified; 44 pages

MSC Class: 17B10; 16S37

Journal ref: J. Eur. Math. Soc. 14 (2012), 373-419

Graded decomposition numbers for cyclotomic Hecke algebras

Authors: Jonathan Brundan, Alexander Kleshchev

Abstract: In recent joint work with Wang, we have constructed graded Specht modules for cyclotomic Hecke algebras. In this article, we prove a graded version of the Lascoux-Leclerc-Thibon conjecture, describing the decomposition numbers of graded Specht modules over a field of characteristic zero. In recent joint work with Wang, we have constructed graded Specht modules for cyclotomic Hecke algebras. In this article, we prove a graded version of the Lascoux-Leclerc-Thibon conjecture, describing the decomposition numbers of graded Specht modules over a field of characteristic zero. △ Less

Submitted 26 June, 2009; v1 submitted 28 January, 2009; originally announced January 2009.

Comments: 57 pages; final version

MSC Class: 20C08

Journal ref: Advances in Math. 222 (2009), 1883-1942.

Graded Specht modules

Authors: Jonathan Brundan, Alexander Kleshchev, Weiqiang Wang

Abstract: Recently, the first two authors have defined a Z-grading on group algebras of symmetric groups and more generally on the cyclotomic Hecke algebras of type G(l,1,d). In this paper we explain how to grade Specht modules over these algebras. Recently, the first two authors have defined a Z-grading on group algebras of symmetric groups and more generally on the cyclotomic Hecke algebras of type G(l,1,d). In this paper we explain how to grade Specht modules over these algebras. △ Less

Submitted 14 April, 2010; v1 submitted 2 January, 2009; originally announced January 2009.

Comments: 23 pages; v3: typos fixed.

MSC Class: 20C08

Journal ref: J. Reine und Angew. Math. 655 (2011), 61-87

The degenerate analogue of Ariki's categorification theorem

Authors: Jonathan Brundan, Alexander Kleshchev

Abstract: We explain how to deduce the degenerate analogue of Ariki's categorification theorem over the ground field C as an application of Schur-Weyl duality for higher levels and the Kazhdan-Lusztig conjecture in finite type A. We also discuss some supplementary topics, including Young modules, tensoring with sign, tilting modules and Ringel duality. We explain how to deduce the degenerate analogue of Ariki's categorification theorem over the ground field C as an application of Schur-Weyl duality for higher levels and the Kazhdan-Lusztig conjecture in finite type A. We also discuss some supplementary topics, including Young modules, tensoring with sign, tilting modules and Ringel duality. △ Less

Submitted 30 December, 2008; originally announced January 2009.

Comments: 44 pages

MSC Class: 17B20

Journal ref: Math. Z. 266 (2010), 877-919

Highest weight categories arising from Khovanov's diagram algebra III: category O

Authors: Jonathan Brundan, Catharina Stroppel

Abstract: We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher… ▽ More We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher levels. As a by-product we get a concrete combinatorial construction of 2-Kac-Moody representations in the sense of Rouquier corresponding to level two weights in finite type A. △ Less

Submitted 4 October, 2010; v1 submitted 5 December, 2008; originally announced December 2008.

Comments: 78 pages, index of notation added, final version

MSC Class: 17B10; 16S37

Journal ref: Represent. Theory 15 (2011), 170-243

Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras

Authors: Jonathan Brundan, Alexander Kleshchev

Abstract: We construct an explicit isomorphism between blocks of cyclotomic Hecke algebras and (sign-modified) Khovanov-Lauda algebras in type A. These isomorphisms connect the categorification conjecture of Khovanov and Lauda to Ariki's categorification theorem. The Khovanov-Lauda algebras are naturally graded, which allows us to exhibit a non-trivial Z-grading on blocks of cyclotomic Hecke algebras, inc… ▽ More We construct an explicit isomorphism between blocks of cyclotomic Hecke algebras and (sign-modified) Khovanov-Lauda algebras in type A. These isomorphisms connect the categorification conjecture of Khovanov and Lauda to Ariki's categorification theorem. The Khovanov-Lauda algebras are naturally graded, which allows us to exhibit a non-trivial Z-grading on blocks of cyclotomic Hecke algebras, including symmetric groups in positive characteristic. △ Less

Submitted 28 January, 2009; v1 submitted 14 August, 2008; originally announced August 2008.

Comments: 32 pages; minor changes to section 6

MSC Class: 20C08

Journal ref: Invent. Math. 178 (2009), 451-484.

Highest weight categories arising from Khovanov's diagram algebra II: Koszulity

Authors: Jonathan Brundan, Catharina Stroppel

Abstract: This is the second of a series of four articles studying various generalisations of Khovanov's diagram algebra. In this article we develop the general theory of Khovanov's diagrammatically defined "projective functors" in our setting. As an application, we give a direct proof of the fact that the quasi-hereditary covers of generalised Khovanov algebras are Koszul. This is the second of a series of four articles studying various generalisations of Khovanov's diagram algebra. In this article we develop the general theory of Khovanov's diagrammatically defined "projective functors" in our setting. As an application, we give a direct proof of the fact that the quasi-hereditary covers of generalised Khovanov algebras are Koszul. △ Less

Submitted 13 July, 2009; v1 submitted 20 June, 2008; originally announced June 2008.

Comments: Minor changes, extra sections on Kostant modules and rigidity of cell modules added

MSC Class: 17B10; 16S37

Journal ref: Transform. Groups 15 (2010), 1--45

Highest weight categories arising from Khovanov's diagram algebra I: cellularity

Authors: Jonathan Brundan, Catharina Stroppel

Abstract: This is the first of four articles studying some slight generalisations H(n,m) of Khovanov's diagram algebra, as well as quasi-hereditary covers K(n,m) of these algebras in the sense of Rouquier, and certain infinite dimensional limiting versions. In this article we prove that H(n,m) is a cellular symmetric algebra and that K(n,m) is a cellular quasi-hereditary algebra. In subsequent articles, we… ▽ More This is the first of four articles studying some slight generalisations H(n,m) of Khovanov's diagram algebra, as well as quasi-hereditary covers K(n,m) of these algebras in the sense of Rouquier, and certain infinite dimensional limiting versions. In this article we prove that H(n,m) is a cellular symmetric algebra and that K(n,m) is a cellular quasi-hereditary algebra. In subsequent articles, we relate these algebras to level two blocks of degenerate cyclotomic Hecke algebras, parabolic category O and the general linear supergroup, respectively. △ Less

Submitted 6 October, 2010; v1 submitted 9 June, 2008; originally announced June 2008.

Comments: some references added

MSC Class: 17B10; 16S37

Journal ref: Mosc. Math. J. 11 (2011), 685-722

Highest weight theory for finite W-algebras

Authors: Jonathan Brundan, Simon M. Goodwin, Alexander Kleshchev

Abstract: We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type. We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type. △ Less

Submitted 8 January, 2008; originally announced January 2008.

Comments: 38 pages

MSC Class: 17B10; 81R05

Journal ref: Int. Math. Res. Notices 11 (2008), 53pp.

Elementary invariants for centralizers of nilpotent matrices

Authors: Jonathan Brown, Jonathan Brundan

Abstract: We construct an explicit set of algebraically independent generators for the center of the universal envelo** algebra of the centralizer of a nilpotent matrix in the Lie algebra gl_N(C). In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova (math.RT/0610049). We construct an explicit set of algebraically independent generators for the center of the universal envelo** algebra of the centralizer of a nilpotent matrix in the Lie algebra gl_N(C). In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova (math.RT/0610049). △ Less

Submitted 1 November, 2006; originally announced November 2006.

Comments: 12 pages

MSC Class: 17B35

Journal ref: J. Aust. Math. Soc. 86 (2009), 1-15.

Symmetric functions, parabolic category O and the Springer fiber

Authors: Jonathan Brundan

Abstract: We prove that the center of a regular block of parabolic category O for the general linear Lie algebra is isomorphic to the cohomology algebra of a corresponding Springer fiber. This was conjectured by Khovanov. We also find presentations for the centers of singular blocks, which are cohomology algebras of Spaltenstein varieties. We prove that the center of a regular block of parabolic category O for the general linear Lie algebra is isomorphic to the cohomology algebra of a corresponding Springer fiber. This was conjectured by Khovanov. We also find presentations for the centers of singular blocks, which are cohomology algebras of Spaltenstein varieties. △ Less

Submitted 29 August, 2007; v1 submitted 10 August, 2006; originally announced August 2006.

Comments: 33 pages

MSC Class: 20C08

Journal ref: Duke Math. J. 143 (2008), 41-79.

Centers of degenerate cyclotomic Hecke algebras and parabolic category O

Authors: Jonathan Brundan

Abstract: We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is… ▽ More We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal envelo** algebra. △ Less

Submitted 10 August, 2006; v1 submitted 27 July, 2006; originally announced July 2006.

Comments: 26 pages; v3: theorem 2 strengthened slightly to compute dimensions block by block

MSC Class: 20C08; 17B20

Journal ref: Represent. Theory 12 (2008), 236-259.

Schur-Weyl duality for higher levels

Authors: Jonathan Brundan, Alexander Kleshchev

Abstract: We extend Schur-Weyl duality to an arbitrary level $l \geq 1$, the case $l=1$ recovering the classical duality between the symmetric and general linear groups. In general, the symmetric group is replaced by the degenerate cyclotomic Hecke algebra over $\C$ parametrized by a dominant weight of level $l$ for the root system of type $A_\infty$. As an application, we prove that the degenerate analog… ▽ More We extend Schur-Weyl duality to an arbitrary level $l \geq 1$, the case $l=1$ recovering the classical duality between the symmetric and general linear groups. In general, the symmetric group is replaced by the degenerate cyclotomic Hecke algebra over $\C$ parametrized by a dominant weight of level $l$ for the root system of type $A_\infty$. As an application, we prove that the degenerate analogue of the quasi-hereditary cover of the cyclotomic Hecke algebra constructed by Dipper, James and Mathas is Morita equivalent to certain blocks of parabolic category $\mathcal{O}$ for the general linear Lie algebra. △ Less

Submitted 8 August, 2008; v1 submitted 9 May, 2006; originally announced May 2006.

Comments: 50 pages; v3: final version (no major changes)

MSC Class: 17B20

Journal ref: Selecta Math. 14 (2008), 1-57

Good grading polytopes

Authors: Jonathan Brundan, Simon M. Goodwin

Abstract: Let g be a finite dimensional semisimple Lie algebra over C and e be a nilpotent element. Elashvili and Kac have recently classified all good Z-gradings for e. We instead consider good R-gradings, which are naturally parameterized by an open convex polytope in a Euclidean space arising from the reductive part of the centralizer of e in g. As an application, we prove that the isomorphism type of… ▽ More Let g be a finite dimensional semisimple Lie algebra over C and e be a nilpotent element. Elashvili and Kac have recently classified all good Z-gradings for e. We instead consider good R-gradings, which are naturally parameterized by an open convex polytope in a Euclidean space arising from the reductive part of the centralizer of e in g. As an application, we prove that the isomorphism type of the finite W-algebra attached to a good R-grading for e is independent of the particular choice of good grading. △ Less

Submitted 10 October, 2005; originally announced October 2005.

Comments: 27 pages

MSC Class: 17B20

Journal ref: Proc. London Math. Soc. 94 (2007), 155-180.

Dual canonical bases and Kazhdan-Lusztig polynomials

Authors: Jonathan Brundan

Abstract: We derive a formula for the entries of the (unitriangular) transition matrices between the standard monomial and dual canonical bases of the irreducible polynomial representations of U_q(gl_n) in terms of Kazhdan-Lusztig polynomials. We derive a formula for the entries of the (unitriangular) transition matrices between the standard monomial and dual canonical bases of the irreducible polynomial representations of U_q(gl_n) in terms of Kazhdan-Lusztig polynomials. △ Less

Submitted 10 October, 2005; v1 submitted 29 September, 2005; originally announced September 2005.

Comments: 29 pages; v2: some references added

MSC Class: 17B37

Journal ref: J. Algebra 306 (2006), 17-46.

Representations of shifted Yangians and finite W-algebras

Authors: Jonathan Brundan, Alexander Kleshchev

Abstract: We study highest weight representations of shifted Yangians over an algebraically closed field of characteristic 0. In particular, we classify the finite dimensional irreducible representations and explain how to compute their Gelfand-Tsetlin characters in terms of known characters of standard modules and certain Kazhdan-Lusztig polynomials. Our approach exploits the relationship between shifted… ▽ More We study highest weight representations of shifted Yangians over an algebraically closed field of characteristic 0. In particular, we classify the finite dimensional irreducible representations and explain how to compute their Gelfand-Tsetlin characters in terms of known characters of standard modules and certain Kazhdan-Lusztig polynomials. Our approach exploits the relationship between shifted Yangians and the finite W-algebras associated to nilpotent orbits in general linear Lie algebras. △ Less

Submitted 8 May, 2006; v1 submitted 30 July, 2005; originally announced August 2005.

Comments: 109 pages; v3: substantial changes to treatment of Whittaker functor in chapter 8, minor related changes elsewhere including modified definition of the finite W-algebra

MSC Class: 17B37

Journal ref: Mem. Amer. Math. Soc. 196 (2008), 107 pp.

Shifted Yangians and finite W-algebras

Authors: Jonathan Brundan, Alexander Kleshchev

Abstract: We give a presentation for the finite W-algebra associated to a nilpotent matrix inside the general linear Lie algebra over C. In the special case that the nilpotent matrix consists of n Jordan blocks each of the same size l, the presentation is that of the Yangian of level l associated to the Lie algebra gl_n, as was first observed by Ragoucy and Sorba. In the general case, we are lead to intro… ▽ More We give a presentation for the finite W-algebra associated to a nilpotent matrix inside the general linear Lie algebra over C. In the special case that the nilpotent matrix consists of n Jordan blocks each of the same size l, the presentation is that of the Yangian of level l associated to the Lie algebra gl_n, as was first observed by Ragoucy and Sorba. In the general case, we are lead to introduce some generalizations of the Yangian which we call the shifted Yangians. △ Less

Submitted 17 November, 2004; v1 submitted 1 July, 2004; originally announced July 2004.

Comments: 48 pages. Some notational changes, Corollary 11.11 added. To appear in Advances in Math

MSC Class: 17B37

Journal ref: Advances Math. 200 (2006), 136--195.