As a sequel of \cite{Ou}, in this shot note, we investigate block basis for coinvariants of finite modular pseudo-reflection groups. We are particularly interested in the case where $ G $ is a subgroup of the parabolic subgroups of $ GL_n(q) $ which generalizes the Weyl groups of restricted Cartan type Lie algebra.
For finite complex reflexion groups, we consider the graded $W$-modules of diagonally harmonic polynomials in $r$ sets of variables, and show that associated Hilbert series may be described in a global manner, independent of the value of $r$.
Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynomials in $k[V] \otimes Λ(V)$ for all complex reflection groups, providing an analogue of a classic result of Solomon which describes the invariant super-polynomials in $k[V] \otimes Λ(V^*)$. Using our …
We prove the following theorem. Let $G$ be a finite group generated by unitary reflections in a complex Hermitian space $V=\mathbb{C}^\ell$ and let $G'$ be any reflection subgroup of $G$. Let $\mathcal{H}(G)$ be the space of $G$-harmonic polynomials on $V$. There is a degree preserving isomorphism $ξ:\mathcal{H}(G')\otimes\mathcal{H}(G)^{G'}\overset{\sim}{\longrightarrow}\mathcal{H}$ of graded $\mathcal{N}$-modules, where $\mathcal{N}:=N_{\rm{GL}(V)}(G)\cap N_{\rm{GL}(V)}(G')$ and $\mathcal{H}^{G'}$ is the space of $G'$-fixed points of $\mathcal{H}$. This generalises a result of Douglass and D…
For the coinvariant rings of finite Coxeter groups of types other than H$_4$, we show that a homogeneous element of degree one is a strong Lefschetz element if and only if it is not fixed by any reflections. We also give the necessary and sufficient condition for strong Lefschetz elements in the invariant subrings of the coinvariant rings of Weyl groups.
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$.
We study the coinvariant ring of the complex reflection group $G(r,p,n)$ as a module for the corresponding rational Cherednik algebra $\HH$ and its generalized graded affine Hecke subalgebra $\mathcal{H}$. We construct a basis consisting of non-symmetric Jack polynomials, and using this basis decompose the coinvariant ring into irreducible modules for $\mathcal{H}$. The basis consists of certain non-symmetric Jack polynomials, whose leading terms are the ``descent monomials'' for $G(r,p,n)$ recently studied by Adin, Brenti, and Roichman and Bagno and Biagoli. The irreducible $\mathcal{H}$-subm…
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…
This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we prove for all Shephard--Todd groups $G(m, p, n)$ with $m \neq p$ or $m=1$. Our strongest result gives tight bi-degree bounds and is proven for all $G(m, 1, n)$, which includes the Weyl groups of types $A$ and $B$/$C$. For symmetric groups (i.e. type $A$), this provides new evidence for a recent conjecture of Zabrocki related to the Delta Conjecture of Haglund--…
We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes. By a theorem of Lusztig--Stanley, this classification can be interpreted as determining which irreducible representations of the symmetric group exist in which homogeneous component…
We give a type-independent construction of an explicit basis for the semi-invariant harmonic differential forms of an arbitrary pseudo-reflection group in characteristic zero. Our "top-down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik--Solomon, and Shepler describing (semi-)invariant differential forms. We apply our results to a recent conjecture of Zabrocki which provides a representation theoretic-model for the Delta conjecture of Haglund--Remmel--Wilson in terms of a certain non-commutative coinvariant algebra for the s…
In this paper, we determine the modular invariants of finite modular pseudo-reflection subgroups of the finite general linear group $ \text{GL}_n(q) $ acting on the tensor product of the symmetric algebra $ S^{\bullet}(V) $ and the exterior algebra $ \wedge^{\bullet}(V) $ of the natural $ \text{GL}_n(q) $-module $ V $. We are particularly interested in the case where $ G $ is a subgroup of the parabolic subgroups of $ \text{GL}_n(q) $ which is a generalization of Weyl group of Cartan type Lie algebra.
The category $\mathrm{FI}_G$ was first defined and explored by Sam-Snowden. Here, we develop more of the machinery of $\mathrm{FI}_G$-modules and find numerous examples to apply it to, extending the work of Church-Ellenberg-Farb and Wilson. In particular we develop a notion of character polynomials for $\mathrm{FI}_G$-modules with $G$ finite, a notion of representation stability which we call $K_0$-stability even when $G$ is infinite virtually polycyclic, and apply the notion of finite presentation degree when $G$ is a general infinite group. We use this to analyze numerous families of $(G^n \…
The cluster complex on one hand, parking functions on the other hand, are two combinatorial (po)sets that can be associated to a finite real reflection group. Cluster parking functions are obtained by taking an appropriate fiber product (over noncrossing partitions). There is a natural structure of simplicial complex on these objects, and our main goal is to show that it has the homotopy type of a (pure) wedge of spheres. The unique nonzero homology group (as a representation of the underlying reflection group) is a sign-twisted parking representation, which is the same as Gordon's quotient of…
The Hecke category is at the heart of several fundamental questions in modular representation theory. We emphasise the role of the "philosophy of deformations" both as a conceptual and computational tool, and suggest possible connections to Lusztig's "philosophy of generations". On the geometric side one can understand deformations in terms of localisation in equivariant cohomology. Recently Treumann and Leslie-Lonergan have added Smith theory, which provides a useful tool when considering mod p coefficients. In this context, we make contact with some remarkable work of Hazi. Using recent work…
Shephard groups are unitary reflection groups arising as the symmetries of regular complex polytopes. For a Shephard group, we identify the representation carried by the principal ideal in the coinvariant algebra generated by the image of the product of all linear forms defining reflecting hyperplanes. This representation turns out to have many equivalent guises making it analogous to the sign representation of a finite Coxeter group. One of these guises is (up to a twist) the cohomology of the Milnor fiber for the isolated singularity at 0 in the hypersurface defined by any homogeneous invari…
In his theory of unipotent characters of finite groups of Lie type, Lusztig constructed modular categories from two-sided cells in Weyl groups. Broué,Malle and Michel have extended parts of Lusztig's theory to complex reflection groups. This includes generalizations of the corresponding fusion algebras, although the presence of negative structure constants prevents them from arising from modular categories. We give here the first construction of braided pivotal monoidal categories associated with non-real reflection groups (later reinterpreted by Lacabanne as super modular categories). They ar…
Let $\ell$ be a prime divisor of the order of a finite unitary reflection group. We classify up to conjugacy the parabolic and reflection subgroups that are minimal with respect to inclusion, subject to containing an $\ell$-Sylow subgroup. The classification assists in describing the $\ell$-Sylow subgroups of unitary reflection groups up to group isomorphism. This classification also relates to the modular representation theory of finite groups of Lie type. We observe that unless a parabolic subgroup minimally containing an $\ell$-Sylow subgroup is $G$ itself, the reflection subgroup within th…
We give a modular branching rule for certain wreath products as a generalization of Kleshchev's modular branching rule for the symmetric groups. Our result contains a modular branching rule for the complex reflection groups $G(m,1,n)$ (which are often called the generalized symmetric groups) in splitting fields for $\mathbb{Z}/m\mathbb{Z}$. Especially for $m=2$ (which is the case of the Weyl groups of type $B$), we can give a modular branching rule in any field. Our proof is elementary in that it is essentially a combination of Frobenius reciprocity, Mackey theorem, Clifford's theory and Klesh…
Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also polynomial. This contrasts with the case of \emph{linear and graded} group actions with polynomial rings of invariants, where the classical theorem of Chevalley-Shephard-Todd and Serre requires $G$ to be generated by pseudo-reflections. Our result is part of a general theory of "trace surjective $G$-algebras", which, in the case of $p$-groups, coincide with the Gal…
How far can the elementary description of centralizers of parabolic subalgebras of Hecke algebras of finite real reflection groups be generalized to the complex reflection group case? In this paper we begin to answer this question by establishing results in two directions. First, under conditions closely analogous to those existing for the real case, we give explicit relations between coefficients in an element centralizing a generator. Second, we introduce a tool for dealing with a major challenge of the complex case -- the ``instability'' of certain double cosets -- through the definition an…
We show that the projectivized complex reflection group $Γ$ of the unique $(1+i)$-modular Hermitian $\mathbb{Z}[i]$-module of signature $(9,1)$ is a new arithmetic reflection group in $PU(9,1)$. We find $32$ complex reflections of order four generating $Γ$. The mirrors of these $32$ reflections form the vertices of a sort of Coxeter-Dynkin diagram $D$ for $Γ$ that encode Coxeter-type generators and relations for $Γ$. The vertices of $D$ can be indexed by sixteen points and sixteen affine hyperplanes in $\mathbb{F}_2^4$. The edges of $D$ are determined by the finite geometry of these points and…
In this note we characterize those unitary one-parameter groups U^c which admit euclidean realizations in the sense that they are obtained by the analytic continuation process corresponding to reflection positivity from a unitary representation $U$ of the circle group. These are precisely the ones for which there exists an anti-unitary involution $J$ commuting with $U^c$. This provides an interesting link with the modular data arising in Tomita--Takesaki theory. Introducing the concept of a positive definite function with values in the space of sesquilinear forms, we further establish a link b…
Using the geometry of the projective plane over the finite field F_q, we construct a Hermitian Lorentzian lattice L_q of dimension (q^2 + q + 2) defined over a certain number ring $\cO$ that depends on q. We show that infinitely many of these lattices are p-modular, that is, p L'_q = L_q, where p is some prime in $\cO$ such that |p|^2 = q. The reflection group of the Lorentzian lattice obtained for q = 3 seems to be closely related to the monster simple group via the presentation of the bimonster as a quotient of the Coxeter group on the incidence graph of P^2(F_3). The Lorentzian lattices L_q…
The aim of this note is to study a generalization of theorems by James and Fayers on the modular representations of the symmetric group and its Hecke algebra to the case of the complex reflection groups of type $G(l,1,n)$ and the associated Ariki-Koike algebra.
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…