arXiv++ Combinatorics

When the standard representation of a crystallographic Coxeter group $Γ$ is reduced modulo an odd prime $p$, a finite representation in some orthogonal space over $\mathbb{Z}_p$ is obtained. If $Γ$ has a string diagram, the latter group will often be the automorphism group of a finite regular polytope. In Part I we described the basics of this construction and enumerated the polytopes associated with the groups of rank 3 and the groups of spherical or Euclidean type. In this paper, we investigate such families of polytopes for more general choices of $Γ$, including all groups of rank 4. In particular, we study in depth the interplay between their geometric properties and the algebraic structure of the corresponding finite orthogonal group.

We consider noncrossing partitions of [n] under the action of (i) the reflection group (of order 2), (ii) the rotation group (cyclic of order n) and (iii) the rotation/reflection group (dihedral of order 2n). First, we exhibit a bijection from rotation classes to bicolored plane trees on n edges, and consider its implications. Then we count noncrossing partitions of [n] invariant under reflection and show that, somewhat surprisingly, they are equinumerous with rotation classes invariant under reflection. The proof uses a pretty involution originating in work of Germain Kreweras. We conjecture that the "equinumerous" result also holds for arbitrary partitions of [n].

We give a combinatorial description (including explicit differential-form bases) for the cohomology groups of the space of n distinct nonzero complex numbers, with coefficients in rank-one local systems which are of finite monodromy around the coordinate hyperplanes and trivial monodromy around all other hyperplanes. In the case where the local system is equivariant for the symmetric group, we write the cohomology groups as direct sums of inductions of one-dimensional characters of subgroups. This relies on an equivariant description of the Orlik-Solomon algebras of full monomial reflection groups (wreath products of the symmetric group with a cyclic group). The combinatorial models involved are certain representations of these wreath products which possess bases indexed by labelled trees.

We prove a conjecture of F. Chapoton relating certain enumerative invariants of (a) the cluster complex associated by S. Fomin and A. Zelevinsky to a finite root system and (b) the lattice of noncrossing partitions associated to the corresponding finite real reflection group.

These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of root systems, generalized associahedra, and the combinatorics of clusters. Lectures 1-2 cover classical material: root systems, finite reflection groups, and the Cartan-Killing classification. Lectures 3-4 provide an introduction to cluster algebras from a combinatorial perspective. Lecture 5 is devoted to related topics in enumerative combinatorics.

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 complex reflection groups G(r,p,n). By considering these groups as subgroups of the wreath products Z_r wr S_n, and by using Clifford theory, we define combinatorial parameters and descent representations of G(r,p,n), previously known for classical Weyl groups. One of these parameters is the flag major index, which also has an important role in the decomposition of these representations into irreducibles. A Carlitz type identity relating the combinatorial parameters with the degrees of the group, is presented.

We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type $D_n$ and those of exceptional type and rank at least three.

Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(Ω,σ)$ and appropriate spaces of functions inside $L^2(Ω,σ)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups.

For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.

The purpose of this paper is to give an explicit description of the irreducible decomposition of the multigraded S_n-module of coinvariants of S_n x S_n. Many of the results presented can be extended to analogous questions for other finite reflection group.

Let X be a space of constant curvature and P be a convex polyhedron in X. A Coxeter decomposition of the polyhedron P is a decomposition of P into finitely many Coxeter polyhedra, such that any two polyhedra having a common facet are symmetric with respect to this facet. In this paper we classify Coxeter decompositions of simplices in hyperbolic space of dimension greater than 3. The problem is close to the classification of the finite index subgroups in the discrete hyperbolic reflection groups.

Represented Coxeter matroids of types $C_n$ and $D_n$, that is, symplectic and orthogonal matroids arising from totally isotropic subspaces of symplectic or (even-dimensional) orthogonal spaces, may also be represented in buildings of type $C_n$ and $D_n$, respectively. Indeed, the particular buildings involved are those arising from the flags or oriflammes, respectively, of totally isotropic subspaces. There are also buildings of type $B_n$ arising from flags of totally isotropic subspaces in odd-dimensional orthogonal space. Coxeter matroids of type $B_n$ are the same as those of type $C_n$ (since they depend only upon the reflection group, not the root system). However, buildings of type $B_n$ are distinct from those of the other types. The matroids representable in odd dimensional orthogonal space (and therefore in the building of type $B_n$) turn out to be a special case of symplectic (flag) matroids, those whose top component, or Lagrangian matroid, is a union of two Lagrangian orthogonal matroids. These two matroids are called a Lagrangian pair, and they are the combinatorial manifestation of the ``fork'' at the top of an oriflamme (or of the fork at the end of the Coxeter diagram of $D_n$). Here we give a number of equivalent characterizations of Lagrangian pairs, and prove some rather strong properties of them.

In [5] (=Terao, H.: Multiderivations of Coxeter arrangements. Inventiones math., 148 (2002) 659--674), we constructed a basis for the contact-order filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space. Recently M. Yoshinaga constructed another basis for the contact-order filtration in [7] (=Yoshinaga, M.: The primitive derivation and freeness of multi-Coxeter arrangements. preprint 2002). In this note we give an explicit formula relating Yoshinaga's basis to the basis given in [5]. The two bases turn out to be equal (up to a constant matrix).

The Hodge filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space was introduced and studied by K. Saito. The filtration is equivalent data to the flat structure or the Frobenius manifold structure. We will show that the Hodge filtration coincides with the filtration by the order of contacts to the reflecting hyperplanes. Moreover, a standard basis for the Hodge filtration is explicitly given.

Let G be a finite, complex reflection group and f its discriminant polynomial. The fibers of f admit commuting actions of G and a cyclic group. The virtual $G\times C_m$ character given by the Euler characteristic of the fiber is a refinement of the zeta function of the geometric monodromy, calculated in a paper of Denef and Loeser. We compute the virtual character explicitly, in terms of the poset of normalizers of centralizers of regular elements of G, and of the subspace arrangement given by proper eigenspaces of elements of G. As a consequence, we compute orbifold Euler characteristics and find some new "case-free" information about the discriminant.

Let W be a finite group generated by unitary reflections and A be the set of reflecting hyperplanes. We will give a characterization of the logarithmic differential forms with poles along A in terms of anti-invariant differential forms. If W is a Coxeter group defined over the real numbers, then the characterization provides a new method to find a basis for the module of logarithmic differential forms out of basic invariants.

Let $V$ be an $\ell$-dimensional Euclidean space. Let $G \subset O(V)$ be a finite irreducible orthogonal reflection group. Let ${\cal A}$ be the corresponding Coxeter arrangement. Let $S$ be the algebra of polynomial functions on $V.$ For $H \in {\cal A}$ choose $α_H \in V^*$ such that $H = {\rm ker}(α_H).$ For each nonnegative integer $m$, define the derivation module $\sD^{(m)}({\cal A}) = \{θ\in {\rm Der}_S | θ(α_H) \in S α^m_H\}$. The module is known to be a free $S$-module of rank $\ell$ by K. Saito (1975) for $m=1$ and L. Solomon-H. Terao (1998) for $m=2$. The main result of this paper is that this is the case for all $m$. Moreover we explicitly construct a basis for $\sD^{(m)} (\cal A)$. Their degrees are all equal to $mh/2$ (when $m$ is even) or are equal to $((m-1)h/2) + m_i (1 \leq i \leq \ell)$ (when $m$ is odd). Here $m_1 \leq ... \leq m_{\ell}$ are the exponents of $G$ and $h= m_{\ell} + 1$ is the Coxeter number. The construction heavily uses the primitive derivation $D$ which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of $G$.) Some new results concerning the primitive derivation $D$ are obtained in the course of proof of the main result.

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 invariant of minimal degree.

Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and χbe a multiplicative character of G. Let Ω^χbe the R-module of χ-invariant differential forms. We define a multiplication in Ω^χand show that under this multiplication Ω^χhas an exterior algebra structure. We also show how to extend the results to vector fields, and exhibit a relationship between χ-invariant forms and logarithmic forms.