Character formulas and Bernstein-Gelfand-Gelfand resolutions for Cherednik algebra modules

Stephen Griffeth,Emily Norton

DOI: https://doi.org/10.1112/plms/pdw044

2015-11-03

Abstract:We study blocks of category O for the Cherednik algebra having the property that every irreducible module in the block admits a BGG resolution, and as a consequence prove a character formula conjectured by Oblomkov-Yun.

Representation Theory

What problem does this paper attempt to address?

Macdonald polynomials as characters of Cherednik algebra modules

Stephen Griffeth

DOI: https://doi.org/10.1007/s00209-013-1257-3

2013-12-01

Mathematische Zeitschrift

Abstract:We prove that Macdonald polynomials are characters of irreducible Cherednik algebra modules.

mathematics
BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra

Fan Zhou

2024-02-10

Abstract:In this paper we homologically construct a (functorial) BGG resolution of the finite-dimensional simple module of the nilBrauer algebra by using infinity-categorical methods following the reconstruction-from-stratification philosophy, e.g. appearing in Ayala-Mazel-Gee-Rozenblyum. To do so, we prove a fact of independent interest, that half of the nilBrauer algebra is Koszul. This BGG resolution categorifies a character formula of Brundan-Wang-Webster. More generally, we have a (functorial) ``BGG spectral sequence'' which converges to any desired module; this spectral sequence is secretly a resolution when the desired module is finite-dimensional. This spectral sequence also categorifies the character formulae of Brundan-Wang-Webster for any (possibly infinite-dimensional) simple module. We expect the methods used here for producing BGG resolutions to be applicable to other (graded) triangular-based algebras also, especially diagrammatic ones.

Representation Theory,Quantum Algebra
Combinatorics of irreducible characters for Lie superalgebra $\frak{gl}(m,n)$

Alexander Sergeev

2024-02-07

Abstract:In this paper we give a new formula for characters of finite dimensional irreducible $\frak{gl}(m,n)$ modules. We use two main ingredients: Su-Zhang formula and Brion's theorem.

Representation Theory,Combinatorics
Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Fang Li,Chang Ye

DOI: https://doi.org/10.1007/s10468-014-9512-9

2014-01-01

Algebras and Representation Theory

Abstract:In this article, we introduce a class of generalized matrix algebras, in which each algebra is called a normally upper triangular gm algebra, and characterise Gorenstein projective modules over this class of algebras. Moreover, a sufficient condition of strongly Gorenstein projective modules over normally upper triangular gm algebras is given. The importance of normally upper triangular gm algebras for us is that it includes the so-called path algebras of quivers over algebras and generalized path algebras. Due to this, we characterize Gorenstein projective modules and strongly Gorenstein projective modules over path algebras of quivers over algebras and generalized path algebras as applications of the main results on normally upper triangular gm algebras. At last, we give an example to show how all indecomposable Gorenstein projective modules over a given algebra are constructed by the result on generalized path algebras.
Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Roman Bezrukavnikov,Victor Kac,Vasily Krylov

2024-03-27

Abstract:Let $\mathfrak{g}$ be a simple finite dimensional complex Lie algebra and let $\widehat{\mathfrak{g}}$ be the corresponding affine Lie algebra. Kac and Wakimoto observed that in some cases the coefficients in the character formula for a simple highest weight $\widehat{\mathfrak{g}}$-module are either bounded or are given by a linear function of the weight. We explain and generalize this observation using Kazhdan-Lusztig theory, by computing values at $q=1$ of certain (parabolic) affine inverse Kazhdan-Lusztig polynomials. In particular, we obtain explicit character formulas for some $\widehat{\mathfrak{g}}$-modules of negative integer level $k$ when $\mathfrak g$ is of type $D_n$, $E_6$, $E_7$, $E_8$ and $k \geqslant -2, -3, -4, -6$ respectively, as conjectured by Kac and Wakimoto. The calculation relies on the explicit description of the canonical basis in the cell quotient of the anti-spherical module over the affine Hecke algebra corresponding to the subregular cell. We also present an explicit description of the corresponding objects in the derived category of equivariant coherent sheaves on the Springer resolution, they correspond to irreducible objects in the heart of a certain $t$-structure related to the so called non-commutative Springer resolution.

Representation Theory,Algebraic Geometry
Gelfand-Tsetlin Modules: Canonicity and Calculations

Silverthorne, Turner,Webster, Ben

DOI: https://doi.org/10.1007/s10468-024-10264-y

2024-03-28

Algebras and Representation Theory

Abstract:In this paper, we give a more down-to-earth introduction to the connection between Gelfand-Tsetlin modules over and diagrammatic KLRW algebras and develop some of its consequences. In addition to a new proof of this description of the category Gelfand-Tsetlin modules appearing in earlier work, we show three new results of independent interest: (1) we show that every simple Gelfand-Tsetlin module is a canonical module in the sense of Early, Mazorchuk and Vishnyakova, and characterize when two maximal ideals have isomorphic canonical modules, (2) we show that the dimensions of Gelfand-Tsetlin weight spaces in simple modules can be computed using an appropriate modification of Leclerc's algorithm for computing dual canonical bases, and (3) we construct a basis of the Verma modules of which consists of generalized eigenvectors for the Gelfand-Tsetlin subalgebra. Furthermore, we present computations of multiplicities and Gelfand-Kirillov dimensions for all integral Gelfand-Tsetlin modules in ranks 3 and 4; unfortunately, for ranks , our computers are not adequate to perform these computations.

mathematics
CHAMP: A Cherednik Algebra Magma Package

Ulrich Thiel

DOI: https://doi.org/10.1112/S1461157015000054

2015-01-20

Abstract:We present a computer algebra package based on Magma for performing computations in rational Cherednik algebras at arbitrary parameters and in Verma modules for restricted rational Cherednik algebras. Part of this package is a new general Las Vegas algorithm for computing the head and the constituents of a module with simple head in characteristic zero which we develop here theoretically. This algorithm is very successful when applied to Verma modules for restricted rational Cherednik algebras and it allows us to answer several questions posed by Gordon in some specific cases. We could determine the decomposition matrices of the Verma modules, the graded G-module structure of the simple modules, and the Calogero-Moser families of the generic restricted rational Cherednik algebra for around half of the exceptional complex reflection groups. In this way we could also confirm Martino's conjecture for several exceptional complex reflection groups.

Representation Theory,Rings and Algebras
Modular Character Sheaves on Reductive Lie Algebras

Colton Sandvik

2024-07-20

Abstract:Mirković introduced the notion of character sheaves on a Lie algebra. Due to their simple geometric characterization, character sheaves on Lie algebras can be thought of as a simplified model for Lusztig's theory of character sheaves on algebraic groups. We extend the theory to the case of modular coefficients. Along the way, we will reprove some of Mirković's results and provide connections with the modular generalized Springer correspondence of Achar, Juteau, Riche, and Williamson.

Representation Theory
Gelfand-Tsetlin modules in the Coulomb context

Ben Webster

2024-08-11

Abstract:This paper gives a new perspective on the theory of principal Galois orders, as developed by Futorny, Ovsienko, Hartwig, and others. Every principal Galois order can be written as $eFe$ for any idempotent $e$ in an algebra $F$, which we call a flag Galois order; and in most important cases we can assume that these algebras are Morita equivalent. These algebras have the property that the completed algebra controlling the fiber over a maximal ideal has the same form as a subalgebra in a skew group ring, which gives a new perspective to a number of results about these algebras. We also discuss how this approach relates to the study of Coulomb branches in the sense of Braverman-Finkelberg-Nakajima, which are particularly beautiful examples of principal Galois orders. These include most of the interesting examples of principal Galois orders, such as $U(\mathfrak{gl}_n)$. In this case, all the objects discussed have a geometric interpretation, which endows the category of Gelfand-Tsetlin modules with a graded lift and allows us to interpret the classes of simple Gelfand-Tsetlin modules in terms of dual canonical bases for the Grothendieck group. In particular, we classify the Gelfand-Tsetlin modules over $U(\mathfrak{gl}_n)$ and relate their characters to a generalization of Leclerc's shuffle expansion for dual canonical basis vectors. Finally, as an application, we disprove a conjecture of Mazorchuk, showing that the fiber over a maximal ideal of the Gelfand-Tsetlin subalgebra appearing in a finite-dimensional representation has an infinite-dimensional module in its fiber for $n\geq 6$.

Representation Theory,Quantum Algebra,Rings and Algebras
Harish-Chandra bimodules for type A rational Cherednik algebras

José Simental

DOI: https://doi.org/10.1016/j.jalgebra.2023.11.041

2023-12-20

Abstract:We study Harish-Chandra bimodules for the rational Cherednik algebra associated to the symmetric group $S_{n}$. In particular, we show that for any parameter $c \in \mathbb{C}$, the category of Harish-Chandra $H_{c}$-bimodules admits a fully faithful embedding into the category $\mathcal{O}_{c}$, and describe the irreducibles in the image. We also construct a duality on the category of Harish-Chandra bimodules, and in fact we do this in a greater generality of quantizations of Nakajima quiver varieties. We use this duality, along with induction and restriction functors, to describe, as an abelian category, the smallest Serre subcategory of the category of Harish-Chandra bimodules containing the regular bimodule, as well as to explicitly describe the tensor products of its irreducible objects.

Representation Theory
Representations of the rational Cherednik algebra $H_{t,c}(S_3,\h)$ in positive characteristic

Martina Balagovic,Jordan Barnes

2023-07-13

Abstract:We study the rational Cherednik algebra $H_{t,c}(S_3,\h)$ of type $A_2$ in positive characteristic $p$, and its irreducible category $\mathcal{O}$ representations $L_{t,c}(\tau)$. For every possible value of $p,t,c$, and $\tau$ we calculate the Hilbert polynomial and the character of $L_{t,c}(\tau)$, and give explicit generators of the maximal proper graded submodule of the Verma module.

Representation Theory
Subcomplexes Of Certain Free Resolutions

MAYA BANKS,ALEKSANDRA SOBIESKA

DOI: https://doi.org/10.1017/nmj.2024.7

2024-03-27

Nagoya Mathematical Journal

Abstract:We invoke the Bernstein–Gel fand–Gel fand (BGG) correspondence to study subcomplexes of free resolutions given by two well-known complexes, the Koszul and the Eagon–Northcott. This approach provides a complete characterization of the ranks of free modules in a subcomplex in the Koszul case and imposes numerical restrictions in the Eagon–Northcott case.

mathematics
Charmenability and stiffness of arithmetic groups

Uri Bader,Itamar Vigdorovich

DOI: https://doi.org/10.4171/jems/1535

2024-09-09

Journal of the European Mathematical Society

Abstract:We characterize charmenability among arithmetic groups and deduce dichotomy statements pertaining to normal subgroups, characters, dynamics, representations and associated operator algebras. We do this by studying the stationary dynamics on the space of characters of the amenable radical, and in particular we establish stiffness: any stationary probability measure is invariant. This generalizes a classical result of Furstenberg for dynamics on the torus. Under a higher rank assumption, we show that any action on the space of characters of a finitely generated virtually nilpotent group is stiff.

mathematics, applied
A generalisation of the category $\mathcal{O}$ of Bernstein-Bernstein-Gelfand

Guillaume Tomasini

DOI: https://doi.org/10.48550/arXiv.0912.3242

2009-12-17

Abstract:Given a reductive Lie algebra over the complex numbers, we introduce a family of category which generalises the BGG category $\mathcal{O}$. We also classify the simple modules for some of these categories and prove a semisimplicity result.

Representation Theory
Categorification via blocks of modular representations II

Vinoth Nandakumar,Gufang Zhao

DOI: https://doi.org/10.48550/arXiv.2005.08248

2022-10-10

Abstract:Bernstein, Frenkel and Khovanov have constructed a categorification of tensor products of the standard representation of $\mathfrak{sl}_2$ using singular blocks of category $\mathcal{O}$ for $\mathfrak{sl}_n$. In earlier work, we construct a positive characteristic analogue using blocks of representations of $\mathfrak{sl}_n$ over a field $\textbf{k}$ of characteristic $p > n$, with zero Frobenius character, and singular Harish-Chandra character. In the present paper, we extend these results and construct a categorical $\mathfrak{sl}_k$-action, following Sussan's approach, by considering more singular blocks of modular representations of $\mathfrak{sl}_n$. We consider both zero and non-zero Frobenius central character. In the former setting, we construct a graded lift of these categorifications which are equivalent to a geometric construction of Cautis, Kamnitzer and Licata. We establish a Koszul duality between two geometric categorificatons constructed in their work, and resolve a conjecture of theirs. For non-zero Frobenius central characters, we show that the geometric approach to categorical symmetric Howe duality by Cautis and Kamnitzer can be used to construct a graded lift of our categorification using singular blocks of modular representations of $\mathfrak{sl}_n$.

Representation Theory
A geometric model for blocks of Frobenius kernels

Pramod N. Achar,Simon Riche

2024-03-25

Abstract:Building on a geometric counterpart of Steinberg's tensor product formula for simple representations of a connected reductive algebraic group $G$ over a field of positive characteristic, and following an idea of Arkhipov--Bezrukavnikov--Braverman--Gaitsgory--Mirković, we define and initiate the study of some categories of perverse sheaves on the affine Grassmannian of the Langlands dual group to $G$ that should provide geometric models for blocks of representations of the Frobenius kernel $G_1$ of $G$. In particular, we show that these categories admit enough projective and injective objects, which are closely related to some tilting perverse sheaves, and that they are highest weight categories in an appropriate generalized sense.

Representation Theory
An algebraic geometric realization of the Chern character

Ralph L. Cohen,Paulo Lima-Filho

DOI: https://doi.org/10.48550/arXiv.math/9912152

1999-12-18

Algebraic Topology

Abstract:Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern character map from the "holomorphic K-theory of X to its morphic cohomology (introduced by Friedlander and Lawson). The holomorphic K-theory of $X$, introduced by Lawson, Lima-Filho and Michelsohn and also by Friedlander and Walker, is defined in terms a group-completion of the space of algebraic morphisms from X into BU. It has been further studied by the authors in a companion paper. Holomorphic K-theory sits between algebraic K-theory and topological K-theory in the same way that morphic cohomology sits between motivic cohomology and ordinary cohomology. Our constructions provide a bridge between these two worlds. We also realize Chern classes in the case where X is smooth, and establish a universal relation between the Chern character and the Chern classes. We use classical constructions with algebraic cycles and infinite symmetric products of projective spaces. The latter can be seen as the classifying space for motivic cohomology, and under this perspective our constructions are essentially motivic.
Free resolutions constructed from bigradings on Lie algebras

Xianglong Ni,Jerzy Weyman

2023-04-04

Abstract:We construct two families of free resolutions that resolve the ideals of certain opposite Schubert varieties restricted to the big open cell. We conjecture that these examples have genericity properties translating to structure theorems for perfect ideals with given Betti numbers, extending the well-known theorem of Buchsbaum and Eisenbud on Gorenstein ideals of codimension three.

Commutative Algebra,Algebraic Geometry
Character formulas in Category $\mathcal O_p$

Henning Haahr Andersen

DOI: https://doi.org/10.48550/arXiv.2209.02261

IF: 0.6

2022-09-06

Representation Theory

Abstract:Let $\mathcal O_p$ denote the characteristic $p>0$ version of the ordinary category $\mathcal O$ for a semisimple complex Lie algebra. In this paper we give some (formal) character formulas in $\mathcal O_p$. First we concentrate on the irreducible characters. Here we give explicit formulas for how to obtain all irreducible characters from the characters of the finitely many restricted simple modules as well as the characters of a small number of infinite dimensional simple modules in $\mathcal O_p$ with specified highest weights. We next prove a strong linkage principle for Verma modules which allow us to split $\mathcal O_p$ into a finite direct sum of linkage classes. There are corresponding translation functors and we use these to further cut down the set of irreducible characters needed for determining all others. Then we show that the twisting functors on $\mathcal O$ carry over to twisting functors on $\mathcal O_p$, and as an application we prove a character sum formula for Jantzen-type filtrations of Verma modules with antidominant highest weights. Finally, we record formulas relating the characters of the two kinds of tilting modules in $\mathcal O_p$.

Character formulas and Bernstein-Gelfand-Gelfand resolutions for Cherednik algebra modules

Macdonald polynomials as characters of Cherednik algebra modules

BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra

Combinatorics of irreducible characters for Lie superalgebra $\frak{gl}(m,n)$

Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Gelfand-Tsetlin Modules: Canonicity and Calculations

CHAMP: A Cherednik Algebra Magma Package

Modular Character Sheaves on Reductive Lie Algebras

Gelfand-Tsetlin modules in the Coulomb context

Harish-Chandra bimodules for type A rational Cherednik algebras

Representations of the rational Cherednik algebra $H_{t,c}(S_3,\h)$ in positive characteristic

Subcomplexes Of Certain Free Resolutions

Charmenability and stiffness of arithmetic groups

A generalisation of the category $\mathcal{O}$ of Bernstein-Bernstein-Gelfand

Categorification via blocks of modular representations II

A geometric model for blocks of Frobenius kernels

An algebraic geometric realization of the Chern character

Free resolutions constructed from bigradings on Lie algebras

Character formulas in Category $\mathcal O_p$