Irreducible representations of rational Cherednik algebras for exceptional Coxeter groups, part II: some decomposition matrices of $H_c(E_8)$ and $H_c(F_4)$
This paper contains the decomposition matrices for blocks of defect at most $2$ in Category $\mathcal{O}_c(W)$ of the rational Cherednik algebra when $W=E_8$ or $F_4$ with equal parameters $c=1/d$, $d>2$ a regular number of $W$. A corollary of the result is a classification of the dimensions of support of the irreducible modules $L(τ)$ in $\mathcal{O}_{1/d}(W)$ except in the following cases: $W=E_8$, $d=4$ or $6$ and $L(τ)$ is in the principal block, or $d=2$ or $3$; $W=F_4$, $d=2$. In particular, this classifies the finite-dimensional modules of $H_c(E_8)$ when $d\neq 2,3,4,6$.
This paper and its sequel describe the irreducible representations of the rational Cherednik algebra $H_c(W)$ for a finite Coxeter group $W$ of type $H_4$, $F_4$ with equal parameters, $E_6$, $E_7$, and $E_8$, when $c$ is not a half-integer. Herein appear the decomposition matrices of Category $\mathcal{O}_c(W)$ for $W=H_4$, $E_6$, and $E_7$, as well as a classification of finite-dimensional representations of $H_c(W)$ for these groups and for $H_c(F_4)$ with equal parameters.
We introduce and study deformations of finite-dimensional modules over rational Cherednik algebras. Our main tool is a generalization of usual harmonic polynomials for Coxeter groups -- the so-called quasiharmonic polynomials. A surprising application of this approach is the construction of canonical elementary symmetric polynomials and their deformations for all Coxeter groups.
We determine the support of the irreducible spherical representation (i.e., the irreducible quotient of the polynomial representation) of the rational Cherednik algebra of a finite Coxeter group for any value of the parameter c. In particular, we determine for which values of c this representation is finite dimensional. This generalizes a result of Varagnolo and Vasserot, arXiv:0705.2691, who classified finite dimensional spherical representations in the case of Weyl groups and equal parameters (i.e., when c is a constant function). As an application, we compute the zero set of the kernel of t…
This paper describes irreducible representations in category O of the rational Cherednik algebra H_c(H_3,h) associated to the exceptional Coxeter group H_3 and any complex parameter c. We compute the characters of all these representations explicitly. As a consequence, we classify all the finite dimensional irreducible representations of H_c(H_3,h).
We finish the classification of finite-dimensional irreducible representations of rational Cherednik algebras $H_c(W)$ with equal parameters for exceptional Coxeter groups by resolving the last open case: when $W=E_8$ and the denominator of $c$ is $3$.
For a complex reflection group $W$ with reflection representation $\mathfrak{h}$, we define and study a natural filtration by Serre subcategories of the category $\mathcal{O}_c(W, \mathfrak{h})$ of representations of the rational Cherednik algebra $H_c(W, \mathfrak{h})$. This filtration refines the filtration by supports and is analogous to the Harish-Chandra series appearing in the representation theory of finite groups of Lie type. Using the monodromy of the Bezrukavnikov-Etingof parabolic restriction functors, we show that the subquotients of this filtration are equivalent to categories of …
We construct a quotient ring of the ring of diagonal coinvariants of the complex reflection group $W=G(m,p,n)$ and determine its graded character. This generalises a result of Gordon for Coxeter groups. The proof uses a study of category $\cO$ for the rational Cherednik algebra of $W$.
Using the representation theory of Cherednik algebras at $t=0$ and a Galois covering of the Calogero-Moser space, we define the notions of left, right and two-sided Calogero-Moser cells for any finite complex reflection group. To each Caloger-Moser two-sided cell is associated a Calogero-Moser family, while to each Calogero-Moser left cell is associated a Calogero-Moser cellular representation. We study properties of these objects and we conjecture that, whenever the reflection group is real (i.e. is a Coxeter group), these notions coincide with the one of Kazhdan-Lusztig left, right and two-s…
In this paper we prove the existence of the Dunkl weight function $K_{c, λ}$ for any irreducible representation $λ$ of any finite Coxeter group $W$, generalizing previous results of Dunkl. In particular, $K_{c, λ}$ is a family of tempered distributions on the real reflection representation of $W$ taking values in $\text{End}_\mathbb{C}(λ)$, with holomorphic dependence on the complex multi-parameter $c$. When the parameter $c$ is real, the distribution $K_{c, λ}$ provides an integral formula for Cherednik's Gaussian inner product $γ_{c, λ}$ on the Verma module $Δ_c(λ)$ for the rational Cheredni…
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 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{…
We consider ideals of polynomials vanishing on the W-orbits of the intersections of mirrors of a finite reflection group W. We determine all such ideals which are invariant under the action of the corresponding rational Cherednik algebra hence form submodules in the polynomial module. We show that a quantum integrable system can be defined for every such ideal for a real reflection group W. This leads to known and new integrable systems of Calogero-Moser type which we explicitly specify. In the case of classical Coxeter groups we also obtain generalized Calogero-Moser systems with added quadra…
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 determi…
We present a way to associate an algebra $B_G (Υ) $ with every pseudo reflection group $G$. When $G$ is a Coxeter group of simply-laced type we show $B_G (Υ)$ is isomorphic to the generalized Brauer algebra of simply-laced type introduced by Cohen,Gijsbers and Wales[10]. We prove $B_G (Υ)$ has a cellular structure and be semisimple for generic parameters when $G$ is a rank 2 Coxeter group. In the process of construction we introduce a Cherednik type connection for BMW algebras and a generalization of Lawrence-Krammer representation to complex braid groups associated with all pseudo reflection …
Between 1994 and 1998, the work of M. Broué, G. Malle, and R. Rouquier generalized in a natural way the definition of the Hecke algebra associated to a finite Coxeter group, for the case of an arbitrary complex reflection group. Attempting to also generalize the properties of the Coxeter case, they stated a number of conjectures concerning these Hecke algebras. One specific example of importance regarding those yet unsolved conjectures is the so-called BMR freeness conjecture. This conjecture is known to be true apart from 16 cases, that are almost all the exceptional groups of rank 2. These e…
In 1979, Kazhdan and Lusztig developed a combinatorial theory associated with Coxeter groups. They defined in particular partitions of the group in left and two-sided cells. In 1983, Lusztig generalized this theory to Hecke algebras of Coxeter groups with unequal parameters. We propose a definition of left cells and two-sided cells for complex reflection groups, based on ramification theory for Calogero-Moser spaces. These spaces have been defined via rational Cherednik algebras by Etingof and Ginzburg. We conjecture that these coincide with Kazhdan-Lusztig cells, for real reflection groups. C…
The descent algebra of a finite Coxeter group $W$ is a basic algebra, and as such it has a presentation as quiver with relations. In recent work, we have developed a combinatorial framework which allows us to systematically compute such a quiver presentation for a Coxeter group of a given type. In this article, we use that framework to determine quiver presentations for the descent algebras of the Coxeter groups of exceptional or non-crystallographic type, i.e., of type $E_6$, $E_7$, $E_8$, $F_4$, $H_3$, $H_4$ or $I_2(m)$.
We develop representation theory of the rational Cherednik algebra H associated to a finite Coxeter group W in a vector space h. It is applied to show that, for integral values of parameter `c', the algebra H is simple and Morita equivalent to D(h)#W, the cross product of W with the algebra of polynomial differential operators on h. We further study an algebra Q of quasi-invariant polynomials on h introduced by Chalykh, Feigin, and Veselov [CV], [FV], such that C[h]^W \subset Q \subset C[h]. We prove that the algebra D(Q) of differential operators on quasi-invariants is a simple algebra, Morit…
The irreducible representations of full support in the rational Cherednik category $\mathcal{O}_c(W)$ attached to a Coxeter group $W$ are in bijection with the irreducible representations of an associated Iwahori-Hecke algebra. Recent work has shown that the irreducible representations in $\mathcal{O}_c(W)$ of arbitrary given support are similarly governed by certain generalized Hecke algebras. In this paper we compute the parameters for these generalized Hecke algebras in the remaining previously unknown cases, corresponding to the parabolic subgroup $B_n \times S_k$ in $B_{n+k}$ for $k \geq …
Poincare-Birkhoff-Witt (PBW) Theorems have attracted significant attention since the work of Drinfeld (1986), Lusztig (1989), and Etingof-Ginzburg (2002) on deformations of skew group algebras $H \ltimes {\rm Sym}(V)$, as well as for other cocommutative Hopf algebras $H$. In this paper we show that such PBW theorems do not require the full Hopf algebra structure, by working in the more general setting of a "cocommutative algebra", which involves a coproduct but not a counit or antipode. Special cases include infinitesimal Hecke algebras, as well as symplectic reflection algebras, rational Cher…
Exceptional sequences are important sequences of quiver representations in the study of representation theory of algebras. They are also closely related to the theory of cluster algebras and the combinatorics of Coxeter groups. We combinatorially classify exceptional sequences of a family of type D Dynkin quivers, and we show how our model for exceptional sequences connects to the combinatorics of type D noncrossing partitions.
We study the hyperplane arrangements associated, via the minimal model programme, to symplectic quotient singularities. We show that this hyperplane arrangement equals the arrangement of CM-hyperplanes coming from the representation theory of restricted rational Cherednik algebras. We explain some of the interesting consequences of this identification for the representation theory of restricted rational Cherednik algebras. We also show that the Calogero-Moser space is smooth if and only if the Calogero-Moser families are trivial. We describe the arrangements of CM-hyperplanes associated to sev…
We show that exceptional sequences for hereditary algebras are characterized by the fact that the product of the corresponding reflections is the inverse Coxeter element in the Weyl group. We use this result to give a new combinatorial characterization of clusters tilting sets in the cluster category in the case where the hereditary algebra is of finite type.
Using the representation theory of Cherednik algebras at t=0 and a Galois covering of the Calogero-Moser space, we define the notions of left, right and two-sided Calogero-Moser cells for any finite complex reflection group. To each Caloger-Moser two-sided cell is associated a Calogero-Moser family, while to each Calogero-Moser left cell is associated a Calogero-Moser cellular representation. We study properties of these objects and we conjecture that, whenever the reflection group is real (i.e. is a Coxeter group), these notions coincide with the one of Kazhdan-Lusztig left, right and two-sid…
We study the rational cohomology groups of the real De Concini-Procesi model corresponding to a finite Coxeter group, generalizing the type-A case of the moduli space of stable genus 0 curves with marked points. We compute the Betti numbers in the exceptional types, and give formulae for them in types B and D. We give a generating-function formula for the characters of the representations of a Coxeter group of type B on the rational cohomology groups of the corresponding real De Concini-Procesi model, and deduce the multiplicities of one-dimensional characters in the representations, and a for…
The universal enveloping algebra $U(\mathfrak{tr}_n)$ of a Lie algebra associated to the classical Yang-Baxter equation was introduced in [BEER06] where it was shown to be Koszul. This algebra appears as the $A_{n-1}$ case in a general class of braided Hopf algebras in [BB09] for any complex reflection group. In this paper, we show that the algebras corresponding to the series $B_n$ and $D_n$, which are again universal enveloping algebras, are Koszul. We further show how results of [BB09] can be used to produce pairs of adjoint functors between categories of rational Cherednik algebra represen…
We consider the polynomial representation S(V*) of the rational Cherednik algebra H_c(W) associated to a finite Coxeter group W at constant parameter c. We show that for any degree d of W and nonnegative integer m the space S(V*) contains a single copy of the reflection representation V of W spanned by the homogeneous singular polynomials of degree d-1+hm, where h is the Coxeter number of W; these polynomials generate an H_c(W) submodule with the parameter c=(d-1)/h+m. We express these singular polynomials through the Saito polynomials that are flat coordinates of the Saito metric on the orbit…
In recent papers we have refined a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group $W$ acting on the $p$th graded component of its Orlik-Solomon algebra as a sum of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture relates the character above to a component of a decomposition of the regular character of $W$ related to Solomon's descent algebra of $W$. The refined conjecture has been proved for symmetric and dihedral groups, as well as finite Coxeter groups of rank three and four. In this paper, the second in…
Lowest-weight modules over the spherical subalgebra of a rational Cherednik algebra
Université Thomas Sankara（托马斯·桑卡拉大学）；IUFIC；Départément d’économie et de mathématiques appliquées（应用经济与数学系）；Laboratoire de Sciences et Technologies (LaST)（科学与技术实验室）
We discuss a Clifford algebra framework for discrete symmetry groups (such as reflection, Coxeter, conformal and modular groups), leading to a surprising number of new results. Clifford algebras allow for a particularly simple description of reflections via `sandwiching'. This extends to a description of orthogonal transformations in general by means of `sandwiching' with Clifford algebra multivectors, since all orthogonal transformations can be written as products of reflections by the Cartan-Dieudonné theorem. We begin by viewing the largest non-crystallographic reflection/Coxeter group $H_4…
We construct a full strongly exceptional collection in the triangulated category of graded matrix factorizations of a polynomial associated to a non-degenerate regular system of weights whose smallest exponents are equal to -1. In the associated Grothendieck group, the strongly exceptional collection defines a root basis of a generalized root system of sign (l,0,2) and a Coxeter element of finite order, whose primitive eigenvector is a regular element in the expanded symmetric domain of type IV with respect to the Weyl group.
A finite subgroup of $GL(n,\mathbb C)$ is involutory if the sum of the dimensions of its irreducible complex representations is given by the number of absolute involutions in the group. A uniform combinatorial model is constructed for all non-exceptional irreducible complex reflection groups which are involutory including, in particular, all infinite families of finite irreducible Coxeter groups.
Given a finite generating set $T=\{g_0,\dots, g_n\}$ of a group $G$, and a representation $ρ$ of $G$ on a Hilbert space $V$, we investigate how the geometry of the set $D(T,ρ)=\{ [x_0 : \dots : x_n] \in\mathbb C\mathbb P^n \mid \sum x_iρ(g_i) \text{ not invertible} \}$ reflects the properties of $ρ$. When $V$ is finite-dimensional this is an algebraic hypersurface in $\mathbb C\mathbb P^n$. In the special case $T=G$ and $ρ=$ the left regular representation of $G$, this hypersurface is defined by the \emph{group determinant}, an object studied extensively in the founding work of Frobenius that …
We construct two-dimensional non-commutative topological quantum field theories (TQFTs), one for each Hecke algebra corresponding to a finite Coxeter system. These TQFTs associate an invariant to each ciliated surface, which is a Laurent polynomial for punctured surfaces. There is a graphical way to compute the invariant using minimal colored graphs. We give explicit formulas in terms of the Schur elements of the Hecke algebra and prove positivity properties for the invariants when the Coxeter group is of classical type, or one of the exceptional types $H_3$, $E_6$ and $E_7$.
The Calogero-Moser families are partitions of the irreducible characters of a complex reflection group derived from the block structure of the corresponding restricted rational Cherednik algebra. It was conjectured by Martino in 2009 that the generic Calogero-Moser families coincide with the generic Rouquier families, which are derived from the corresponding Hecke algebra. This conjecture is already proven for the whole infinite series G(m,p,n) and for the exceptional group G4. A combination of theoretical facts with explicit computations enables us to determine the generic Calogero-Moser fami…
Associated to every complex reflection group, we construct a lattice of quotients of its braid monoid-algebra, which we term nil-Hecke algebras, and which are obtained by killing all braid words that are "sufficiently long", as well as some integer power of each generator. These include usual nil-Coxeter algebras, nil-Temperley-Lieb algebras, and their variants, and lead to symmetric semigroup module categories which necessarily cannot be monoidal. Motivated by classical work of Coxeter (1957) and the Broue-Malle-Rouquier freeness conjecture [Crelle 1998], and continuing beyond work of the sec…
The most general construction of double affine Artin groups (DAAG) and Hecke algebras (DAHA) associates such objects to pairs of compatible reductive group data. We show that DAAG/DAHA always admit a faithful action by automorphisms of a finite index subgroup of the Artin group of type $A_{2}$, which descends to a faithful outer action of a congruence subgroup of $SL(2,\mathbb{Z})$ or $PSL(2,\mathbb{Z})$. This was previously known only in some special cases and, to the best of our knowledge, not even conjectured to hold in full generality. The structural intricacies of DAAG/DAHA are captured b…
Let $G$ be an exceptional simple algebraic group over an algebraically closed field $k$ and suppose that the characteristic $p$ of $k$ is a good prime for $G$. In this paper we classify the maximal Lie subalgebras $\mathfrak{m}$ of the Lie algebra $\mathfrak{g}={\rm Lie}(G)$. Specifically, we show that one of the following holds: $\mathfrak{m}={\rm Lie}(M)$ for some maximal connected subgroup $M$ of $G$, or $\mathfrak{m}$ is a maximal Witt subalgebra of $\mathfrak{g}$, or $\mathfrak{m}$ is a maximal $\it{\mbox{exotic semidirect product}}$. The conjugacy classes of maximal connected subgroups o…
This paper considers the geometry of $E_8$ from a Clifford point of view in three complementary ways. Firstly, in earlier work, I had shown how to construct the four-dimensional exceptional root systems from the 3D root systems using Clifford techniques, by constructing them in the 4D even subalgebra of the 3D Clifford algebra; for instance the icosahedral root system $H_3$ gives rise to the largest (and therefore exceptional) non-crystallographic root system $H_4$. Arnold's trinities and the McKay correspondence then hint that there might be an indirect connection between the icosahedron and …
We introduce quasi-invariant polynomials for an arbitrary finite complex reflection group W. Unlike in the Coxeter case, the space Q_k of quasi-invariants of a given multiplicity is not, in general, an algebra but a module over the coordinate ring of some (singular) affine variety X_k. We extend the main results of Etingof, Ginzburg and the first author (see [BEG]) to this setting: in particular, we show that the variety X_k and the module Q_k are Cohen-Macaulay, and the rings of differential operators on X_k and Q_k are simple rings, Morita equivalent to the Weyl algebra A_n(C), where n = dim…
