Search

Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ \rangle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of $DR_W$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $DR_W$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory which applies to the exterior algebra $\wedge (V \oplus V^*)$., Comment: 16 pages

Two partial orders on a reflection group, the codimension order and the prefix order, are together called the absolute order when they agree. We show that in this case the absolute order on a complex reflection group has the strong Sperner property, except possibly for the Coxeter group of type $D_n$, for which this property is conjectural. The Sperner property had previously been established for the noncrossing partition lattice $NC_W$, a certain maximal interval in the absolute order, but not for the entire poset, except in the case of the symmetric group. We also show that neither the codimension order nor the prefix order has the Sperner property for general complex reflection groups., Comment: 12 pages, comments welcome; v2: minor edits and journal reference

We enumerate factorizations of a Coxeter element in a well generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of $W$-noncrossing partitions., Comment: 43 pages including a 9 page appendix, 6 figures, v2. minor changes including expanded introduction

Given a complex reflection group W we compute the support of the spherical irreducible module of the rational Cherednik algebra of W in terms of the simultaneous eigenfunction of the Dunkl operators and Schur elements for finite Hecke algebras., Comment: 21 pages

Using the geometry of the associated Calogero-Moser space, R. Rouquier and the author have attached to any finite complex reflection group $W$ several notions (Calogero-Moser left, right or two-sided cells, Calogero-Moser cellular characters), completing the notion of Calogero-Moser families defined by Gordon. If moreover $W$ is a Coxeter group, they conjectured that these notions coincide with the analogous notions defined using the Hecke algebra by Kazhdan and Lusztig (or Lusztig in the unequal parameters case). In the present paper, we aim to investigate these conjectures whenever $W$ is a dihedral group., Comment: 28 pages

We complete the computation of the integral homology of the generalized braid group $B$ associated to an arbitrary irreducible complex reflection group $W$ of exceptional type. In order to do this we explicitely computed the recursively-defined differential of a resolution of $\mathbf{Z}$ as a $\mathbf{Z} B$-module, using parallel computing. We also deduce from this general computation the rational homology of the Milnor fiber of the singularity attached to most of these reflection groups.

We define and study generalized nil-Coxeter algebras associated to Coxeter groups. Motivated by a question of Coxeter (1957), we construct the first examples of such finite-dimensional algebras that are not the 'usual' nil-Coxeter algebras: a novel 2-parameter type $A$ family that we call $NC_A(n,d)$. We explore several combinatorial properties of $NC_A(n,d)$, including its Coxeter word basis, length function, and Hilbert-Poincare series, and show that the corresponding generalized Coxeter group is not a flat deformation of $NC_A(n,d)$. These algebras yield symmetric semigroup module categories that are necessarily not monoidal; we write down their Tannaka-Krein duality. Further motivated by the Broue-Malle-Rouquier (BMR) freeness conjecture [J. reine angew. math. 1998], we define generalized nil-Coxeter algebras over all discrete real or complex reflection groups $W$, finite or infinite. We provide a complete classification of all such algebras that are finite-dimensional. Remarkably, these turn out to be either the usual nil-Coxeter algebras, or the algebras $NC_A(n,d)$. This proves as a special case - and strengthens - the lack of equidimensional nil-Coxeter analogues for finite complex reflection groups. In particular, generic Hecke algebras are not flat deformations of $NC_W$ for $W$ complex., Comment: Final version, published in Transactions of the AMS

Following an idea of Gon\c{c}alvez, Guaschi and Ocampo on the usual braid group we construct crystallographic and Bieberbach groups as (sub)quotients of the generalized braid group associated to an arbitrary complex reflection group., Comment: 13 pages. V2 : minor improvements

For any complex reflection group $G=G(m,p,n)$, we prove that the $G$-invariants of the division ring of fractions of the $n$:th tensor power of the quantum plane is a quantum Weyl field and give explicit parameters for this quantum Weyl field. This shows that the $q$-Difference Noether Problem has a positive solution for such groups, generalizing previous work by Futorny and the author. Moreover, the new result is simultaneously a $q$-deformation of the classical commutative case, and of the Weyl algebra case recently obtained by Eshmatov et al. Secondly, we introduce a new family of algebras called quantum OGZ algebras. They are natural quantizations of the OGZ algebras introduced by Mazorchuk originating in the classical Gelfand-Tsetlin formulas. Special cases of quantum OGZ algebras include the quantized enveloping algebra of $\mathfrak{gl}_n$ and quantized Heisenberg algebras. We show that any quantum OGZ algebra can be naturally realized as a Galois ring in the sense of Futorny-Ovsienko, with symmetry group being a direct product of complex reflection groups $G(m,p,r_k)$. Finally, using these results we prove that the quantum OGZ algebras satisfy the quantum Gelfand-Kirillov conjecture by explicitly computing their division ring of fractions., Comment: 13 pages. v2: minor corrections

Let V be an 2n-dimensional vector space over an algebraically closed field of odd characteristic. Let G = GL(V), and H = Sp(V) the symplectic group contained in G. For a positive integer r > 1, we conisder the variety X = G/H \times V^{r-1}, on which H acts diagonally. X is called the exotic symmetric space of level r. Let W_{n,r} be the complex reflection group G(r,1,n). In this paper, generalizing the result for the case where r = 2, we show that there exists a natural bijective correspondence (Springer correspondence) between the set of irreducible representations of W_{n,r} and a certain set of H-equivariant simple perverse sheaves on X_{uni}$, where X_{uni} is the "unipotent part" of X. We also consider a similar problem for G \times V^{r-1}, where G = GL(V) for a finite dimensional vector space V., 69 pages

In this article we prove that the lattice of noncrossing partitions is EL-shellable when associated with the well-generated complex reflection group of type $G(d,d,n)$, for $d,n\geq 3$, or with the exceptional well-generated complex reflection groups which are no real reflection groups. This result was previously established for the real reflection groups and it can be extended to the well-generated complex reflection group of type $G(d,1,n)$, for $d,n\geq 3$, as well as to three exceptional groups, namely $G_{25},G_{26}$ and $G_{32}$, using a braid group argument. We thus conclude that the lattice of noncrossing partitions of any well-generated complex reflection group is EL-shellable. Using this result and a construction by Armstrong and Thomas, we conclude further that the poset of $m$-divisible noncrossing partitions is EL-shellable for every well-generated complex reflection group. Finally, we derive results on the M\"obius function of these posets previously conjectured by Armstrong, Krattenthaler and Tomie., Comment: 37 pages, 4 figures. Moved the technical details of the proof of the EL-shellability of $NC_{G(d,d,n)}$ to the appendix. More references added

A generating set for the wreath product $\ZZ_r \wr S_n$ which leads to a nicely behaved weak order is presented, and properties of the resulting order are studied., Comment: 20 pages, 2 figures; corrected and added proofs and explanations

In this paper, we study representations of the rational Cherednik algebra associated to the complex reflection group $G_4$. In particular, we classify the irreducible finite dimensional representations and compute their characters., Comment: 21 pages, 1 figure

It is shown that, under mild conditions, a complex reflection group $G(r,p,n)$ may be decomposed into a set-wise direct product of cyclic subgroups. This property is then used to extend the notion of major index and a corresponding Hilbert series identity to these and other closely related groups.

Motivated by permutation statistics, we define for any complex reflection group W a family of bivariate generating functions. They are defined either in terms of Hilbert series for W-invariant polynomials when W acts diagonally on two sets of variables, or equivalently, as sums involving the fake degrees of irreducible representations for W. It is also shown that they satisfy a ``bicyclic sieving phenomenon'', which combinatorially interprets their values when the two variables are set equal to certain roots of unity., Comment: Final version to appear in J. London Math. Soc

The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture. While the proof relies on the computer for extensive guidance, the proof itself is traditional., Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper35.abs.html

We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is the (finite) Iwahori-Hecke algebra associated to W. We prove that the Knizhnik-Zamolodchikov functor induces an equivalence between O/O_tor, the quotient of O by the subcategory of A-modules supported on the discriminant and the category of finite-dimensional H-modules. The standard A-modules go, under this equivalence, to certain modules arising in Kazhdan-Lusztig theory of ``cells'', provided W is a Weyl group and the Hecke algebra H has equal parameters. We prove that the category O is equivalent to the module category over a finite dimensional algebra, a generalized "q-Schur algebra" associated to W., Comment: 28 pp., LaTeX, final version, to appear in Invent. Math