Generalized nil-Coxeter algebras over discrete complex reflection groups

TL;DR

This paper introduces new finite-dimensional generalized nil-Coxeter algebras associated with complex reflection groups, expanding understanding of their structure, properties, and classifications, and demonstrating their differences from traditional nil-Coxeter algebras.

Contribution

It constructs novel 2-parameter nil-Coxeter algebras, classifies all finite-dimensional cases over complex reflection groups, and explores their algebraic and combinatorial properties.

Findings

Introduction of the $NC_A(n,d)$ family of algebras.

Complete classification of finite-dimensional generalized nil-Coxeter algebras.

Proof that these algebras are either classical or the new $NC_A(n,d)$ types.

Abstract

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.