We give a non-negative combinatorial formula, in terms of Littlewood-Richardson numbers, for the homology of the unitary representations of the cyclotomic rational Cherednik algebra, and as a consequence, for the graded Betti numbers for the ideals of a class of subspace arrangements arising from the reflection arrangements of complex reflection groups.
We construct characteristic-free bases and BGG resolutions of unitary simple modules of quiver Hecke algebras and Cherednik algebras. We hence solve and vastly generalise Berkesch-Griffeth-Sam's conjecture, calculate the Castelnuovo-Mumford regularity of ideals of of certain highly symmetric linear subspace arrangements, and compute Dirac homology of Cherednik algebras.
We compare crystal combinatorics of the level $2$ Fock space with the classification of unitary representations of type $B$ rational Cherednik algebras to show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica.
We classify the irreducible unitary modules in category O for the rational Cherednik algebras of type G(r,1,n) and give explicit combinatorial formulas for their graded characters. More precisely, we produce a combinatorial algorithm determining, for each r-partition of n, the closed semi-linear set of parameters for which the contravariant form on the irreducible representation with the given r-partition as lowest weight is positive definite. We use this algorithm to give a closed form answer for the Cherednik algebra of the symmetric group (recovering a result of Etingof-Stoica and the autho…
We study unitarity of lowest weight irreducible representations of rational Cherednik algebras. We prove several general results, and use them to determine which lowest weight representations are unitary in a number of cases. In particular, in type A, we give a complete description of the unitarity locus (justified in Section 5 and appendix by Stephen Griffeth), and resolve a question by Cherednik on the unitarity of the irreducible subrepresentation of the polynomial representation. Also, as a by-product, we establish Kasatani's conjecture in full generality (the previous proof by Enomoto ass…
We consider representations of rational Cherednik algebras which are particular ideals in the ring of polynomials. We investigate convergence of the integrals which express the Gaussian inner product on these representations. We derive that the integrals converge for the minimal submodules in types B and D for the singular values suggested by Cherednik with at most one exception, hence the corresponding modules are unitary. The analogous result on unitarity of the minimal submodules in type A was obtained by Etingof and Stoica, we give a different proof of convergence of the Gaussian product i…
We compare crystal combinatorics of the level 2 Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. First, we show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica. Second, we show that the crystal operators that remov…
Let $\mathfrak{g}$ be a semisimple Lie algebra, $\mathfrak{t}$ its Cartan subalgebra and $W$ the Weyl group. The goal of this paper is to prove an isomorphism between suitable completions of the equivariant Borel-Moore homology of certain affine Springer fibers for $\mathfrak{g}$ and the global sections of a bundle related to a Procesi bundle on the smooth locus of a partial resolution of $(\mathfrak{t}\oplus \mathfrak{t}^*)/W$. We deduce some applications of our isomorphism including a conditional application to the center of the small quantum group. Our main method is to compare certain bimo…
Using the method of Elias-Hogancamp and combinatorics of toric braids we give an explicit formula for the triply graded Khovanov-Rozansky homology of an arbitrary torus knot, thereby proving some of the conjectures of Aganagic-Shakirov, Cherednik, Gorsky-Negut and Oblomkov-Rasmussen-Shende.
We consider the deformed versions of the classical Howe dual pairs $(O(r),\mathfrak{s}\mathfrak{l}(2))$ and $(O(r),\mathfrak{s}\mathfrak{p}\mathfrak{o}(2|2))$ in the context of a rational Cherednik algebra $H_c=H_c(W,\mathfrak{h})$ associated to a finite Coxeter group $W$ at the parameters $c$ and $t=1$. For the first pair, we compute the centraliser of the well-known copy of $\mathfrak{s}\cong\mathfrak{s}\mathfrak{l}(2)$ inside $H_c$. For the second pair, we show that the classical copy of $\mathfrak{g}\cong\mathfrak{s}\mathfrak{p}\mathfrak{o}(2|2)$ inside the Weyl-Clifford algebra $\mathcal{…
This paper continues the study of the poset of eigenspaces of elements of a unitary reflection group (for a fixed eigenvalue), which was commenced in [6] and [5]. The emphasis in this paper is on the representation theory of unitary reflection groups. The main tool is the theory of poset extensions due to Segev and Webb ([16]). The new results place the well-known representations of unitary reflection groups on the top homology of the lattice of intersections of hyperplanes into a natural family, parameterised by eigenvalue.
We show that the partially spherical cyclotomic rational Cherednik algebra (obtained from the full rational Cherednik algebra by averaging out the cyclotomic part of the underlying reflection group) has four other descriptions: (1) as a subalgebra of the degenerate DAHA of type A given by generators; (2) as an algebra given by generators and relations; (3) as an algebra of differential-reflection operators preserving some spaces of functions; (4) as equivariant Borel-Moore homology of a certain variety. Also, we define a new $q$-deformation of this algebra, which we call cyclotomic DAHA. Namel…
We begin the study of unitary representations of Hecke algebras of complex reflections groups. We obtain a complete classification for the Hecke algebra of the symmetric group $\mathfrak{S}_n$ over the complex numbers. Interestingly, the unitary representations in the category $\OO$ for the rational Cherednik algebra of type A studied in \cite{ESG} correspond to the unitary representations of the corresponding Hecke algebra via the KZ functor defined in \cite{GGOR}.
We study deformations of the Howe dual pairs $(\mathrm{U}(n),\mathfrak{u}(1,1))$ and $(\mathrm{U}(n),\mathfrak{u}(2|1))$ to the context of a rational Cherednik algebra $H_{1,c}(G,E)$ associated with a real reflection group $G$ acting on a real vector space $E$ of even dimension. For each pair, we show that the Lie (super)algebra structure of one partner is preserved under the deformation, which leads to a multiplicity-free decomposition of the standard module or its tensor product with a spinor space. For the case where $E$ is two-dimensional and $G$ is a dihedral group, we provide complete de…
We obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type A_{n-1} for c=m/n, and an expression of its quasispherical part (i.e., the isotypic part of "hooks") in terms of the HOMFLY polynomial of a torus knot colored by a Young diagram. We use this formula and the work of Calaque, Enriquez and Et…
The notion of derivatives for smooth representations of $GL(n,\mathbb{Q}_p)$ was defined in [BZ77]. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations in [Sah89] and called the "adduced" representation. In [AGS] derivatives of all orders were defined for smooth admissible Frechet representations (of moderate growth). A key ingredient of this definition is the functor of twisted coinvariants with respect to the nilradical of the mirabolic subgroup. In this paper we prove exactness of this functor and compute it on a certain class of …
We show that Hilbert schemes of planar curve singularities and their parabolic variants can be interpreted as certain generalized affine Springer fibers for $GL_n$, as defined by Goresky-Kottwitz-MacPherson. Using a generalization of affine Springer theory for Braverman-Finkelberg-Nakajima's Coulomb branch algebras, we construct a rational Cherednik algebra action on the homology of the Hilbert schemes, and compute it in examples. Along the way, we generalize to the parahoric setting the recent construction of Hilburn-Kamnitzer-Weekes, which may be of independent interest. In the spherical cas…
We prove that "unitary deformation K-theory" takes products of finitely generated groups to coproducts of algebra spectra over ku, the connective K-theory spectrum. Additionally, we give spectral sequences for computing the homotopy groups of the unitary deformation K-theory of a group G and the cofiber of the Bott map in terms of PU(n)-equivariant K-theory and homology of spaces of G-representations.
The Dunkl--Dirac operator is a deformation of the Dirac operator by means of Dunkl derivatives. We investigate the symmetry algebra generated by the elements supercommuting with the Dunkl--Dirac operator and its dual symbol. This symmetry algebra is realised inside the tensor product of a Clifford algebra and a rational Cherednik algebra associated with a reflection group or root system. For reducible root systems of rank three, we determine all the irreducible finite-dimensional representations and conditions for unitarity. Polynomial solutions of the Dunkl--Dirac equation are given as a real…
In this paper we give two realizations of the restricted Kostka polynomials for $\sl_2$. Firstly we identify the restricted Kostka polynomials with a characters of the zero homology of the current algebra with a coefficients in a certain modules. As a corollary we reobtain the alternating sum formula. Secondly we show that the restricted Kostka polynomials are a $q$-multiplicities of the decomposition of the certain integrable $\hat{\sl}_2$-modules to the irreducible components. This allows to write a kind of fermionic formula for the Virasoro unitary models.
This paper studies the poset of eigenspaces of elements of an imprimitive unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. The study of this poset is suggested by the eigenspace theory of Springer and Lehrer. The posets are shown to be isomorphic to certain subposets of Dowling lattices (the `d-divisible, k-evenly coloured Dowling lattices'). This enables us to prove that these posets are Cohen-Macaulay, and to determine the dimension of their top homology.