The strong Lefschetz property of the coinvariant ring of the Coxeter group of type H4

Strong Lefschetz elements of the coinvariant rings of finite Coxeter groups

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.

Lefschetz theory for exterior algebras and fermionic diagonal coinvariants

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…

Rational Cherednik algebras and diagonal coinvariants of G(m,p,n)

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$.

Relative hard Lefschetz for Soergel bimodules

We prove the relative hard Lefschetz theorem for Soergel bimodules. It follows that the structure constants of the Kazhdan-Lusztig basis are unimodal. We explain why the relative hard Lefschetz theorem implies that the tensor category associated by Lusztig to any 2-sided cell in a Coxeter group is rigid and pivotal.

Simple transitive 2-representations of small quotients of Soergel bimodules

In all finite Coxeter types but $I_2(12)$, $I_2(18)$ and $I_2(30)$, we classify simple transitive $2$-rep\-re\-sen\-ta\-ti\-ons for the quotient of the $2$-category of Soergel bimodules over the coinvariant algebra which is associated to the two-sided cell that is the closest one to the two-sided cell containing the identity element. It turns out that, in most of the cases, simple transitive $2$-representations are exhausted by cell $2$-representations. However, in Coxeter types $I_2(2k)$, where $k\geq 3$, there exist simple transitive $2$-representations which are not equivalent to cell $2$-r…

四元数商奇点的零纤维

Zero fibers of quaternionic quotient singularities

本文将 Haiman 关于实反射群对角 coinvariant 环的猜想推广到四元数反射群，研究商映射零纤维的函数环，证明其在高秩情形具有来自辛反射代数不可约表示的 $(g+1)^n$ 维商，并猜想该结论普遍成立。