arXiv++ Combinatorics

A finite subgroup of $GL(n,\mathbb C)$ is involutory if the sum of the dimensions of its irreducible complex representations is given by the number of absolute involutions in the group. A uniform combinatorial model is constructed for all non-exceptional irreducible complex reflection groups which are involutory including, in particular, all infinite families of finite irreducible Coxeter groups.

In this paper we will give a Möbius number of $NC^{k}(W) \setminus \bf{mins} \cup \{\hat{0} \}$ for a Coxeter group $W$ which contains an affirmative answer for the conjecture 3.7.9 in Armstrong's paper [ Generalized noncrossing partitions and combinatorics of Coxeter groups. arXiv:math/0611106].

Based on the second author's thesis in this article we provide a uniform treatment of abstract involutions of algebraic groups and of Kac-Moody groups using twin buildings, RGD systems, and twisted involutions of Coxeter groups. Notably we simultaneously generalize the double coset decompositions established by Springer and by Helminck-Wang for algebraic groups and by Kac-Wang for certain Kac-Moody groups, we analyze the filtration studied by Devillers-Muhlherr in the context of arbitrary involutions, and we answer a structural question on the combinatorics of involutions of twin buildings raised by Bennett-Gramlich-Hoffman-Shpectorov.

We give an explicit nonrecursive complete matching for the Hasse diagram of the strong Bruhat order of any interval in any Coxeter group. This yields a new derivation of the Mobius function, recovering a classical result due to Verma.

We give a new proof of the Macdonald-Mehta-Opdam integral identity for finite Coxeter groups. This identity was conjectured by Macdonald and proved by Opdam in 1993 using the theory of multivariable Bessel functions, but in non-crystallographic cases the proof relied on a computer calculation by F. Garvan. Our proof is somewhat more elementary (in particular, it does not use multivariable Bessel functions), and uniform (does not refer to the classification of finite Coxeter groups and does not use computers).

We consider a particular class of n-dimensional homogeneous diffusions all of which have an identity diffusion matrix and a drift function that is piecewise constant and scale invariant. Abstract stochastic calculus immediately gives us general results about existence and uniqueness in law and invariant probability distributions when they exist. These invariant distributions are probability measures on the $n$-dimensional space and can be extremely resistant to a more detailed understanding. To have a better analysis, we construct a polyhedra such that the inward normal at its surface is given by the drift function and show that the finer structures of the invariant probability measure is intertwined with the geometry of the polyhedra. We show that several natural interacting Brownian particle models can thus be analyzed by studying the combinatorial fan generated by the drift function, particularly when these are simplicial. This is the case when the polyhedra is a polytope that is invariant under a Coxeter group action, which leads to an explicit description of the invariant measures in terms of iid Exponential random variables. Another class of examples is furnished by interactions indexed by weighted graphs all of which generate simplicial polytopes with $n !$ faces. We show that the proportion of volume contained in each component simplex corresponds to a probability distribution on the group of permutations, some of which have surprising connections with the classical urn models.

This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection monoids, introduce new examples, and determine their orders.

Hecke algebras are beautiful q-extensions of Coxeter groups. In this paper, we prove several results on their characters, with an emphasis on characters induced from trivial and sign representations of parabolic subalgebras. While most of the results in type A are known, our proofs are of a combinatorial nature, and generalize to (partial) results in types B and C. We also present complete descriptions of such characters for type I.

In a previous work (arXiv:0806.1503v2), we defined a family of subcomplexes of the $n$-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least $k$, and we proved that the homology of such a subcomplex is concentrated in degree $k-1$. This homology group supports a natural action of the Coxeter group $W(D_n)$ of type $D$. In this paper, we explicitly determine the characters (over ${\Bbb C}$) of these homology representations, which turn out to be multiplicity free. Regarded as representations of the symmetric group $S_n$ by restriction, the homology representations turn out to be direct sums of certain representations induced from parabolic subgroups. The latter representations of $\sym_n$ agree (over ${\Bbb C}$) with the representations of $\sym_n$ on the $(k-2)$-nd homology of the complement of the $k$-equal real hyperplane arrangement.

The notion of Rees product of posets was introduced by Björner and Welker, where they study connections between poset topology and commutative algebra. Björner and Welker conjectured and Jonsson proved that the dimension of the top homology of the Rees product of the truncated Boolean algebra $B_n \setminus \{0\}$ and the $n$-chain $C_n$ is equal to the number of derangements in the symmetric group $\mathfrak S_n$. Here we prove a refinement of this result, which involves the Eulerian numbers, and a $q$-analog of both the refinement and the original conjecture, which comes from replacing the Boolean algebra by the lattice of subspaces of the $n$-dimensional vector space over the $q$ element field, and involves the $(\maj,\exc)$-$q$-Eulerian polynomials studied in previous papers of the authors. Equivariant versions of the refinement and the original conjecture are also proved, as are type BC versions (in the sense of Coxeter groups) of the original conjecture and its $q$-analog.

We prove that the Stanley--Reisner ideal of the Alexander dual of the subword complexes in Coxeter groups has linear quotients with respect to the lexicographical order of the minimal monomial generators. As a consequence, we obtain a shelling order on the facets of the subword complex. We relate some invariants of the subword complexes or of their dual with invariants of the word. For a particular class of subword complexes, we prove that the Stanley--Reisner ring is a complete intersection ring.

Consider a graph with vertex set S. A word in the alphabet S has the intervening neighbours property if any two occurrences of the same letter are separated by all its graph neighbours. For a Coxeter graph, words represent group elements. Speyer recently proved that words with the intervening neighbours property are irreducible if the group is infinite and irreducible. We present a new and shorter proof using the root automaton for recognition of irreducible words.

We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups, generalizing Saliola's results for a right regular band. Right regular bands of groups come up in the representation theory of wreath products with symmetric groups in much the same way that right regular bands appear in the representation theory of finite Coxeter groups via the Solomon-Tits algebra of its Coxeter complex. In particular, we compute the quiver of Hsiao's algebra, which is related to the Mantaci-Reutenauer descent algebra.

The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. Combinatorial reasoning is used to show that those connected graphs with negative integer amplitudes for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. This strengthens a result originally due to the second author. A more general result is obtained when certain real number amplitudes are allowed. The resulting graphs are in families, each family corresponding to a finite irreducible Coxeter group. These results are used to demonstrate that the only generalized Cartan matrices for which there exist finite edge-colored ranked posets enjoying a certain structure property are the Cartan matrices for the finite-dimensional complex semisimple Lie algebras. In this setting, classifications of the finite-dimensional Kac--Moody algebras and of the finite Coxeter and Weyl groups are re-derived.

Let $W$ be a finite irreducible real reflection group, which is a Coxeter group. We explicitly construct a basis for the module of differential 1-forms with logarithmic poles along the Coxeter arrangement by using a primitive derivation. As a consequence, we extend the Hodge filtration, indexed by nonnegative integers, into a filtration indexed by all integers. This filtration coincides with the filtration by the order of poles. The results are translated into the derivation case.

The descent algebra of a finite Coxeter group $W$ is a basic algebra, and as such it has a presentation as quiver with relations. In recent work, we have developed a combinatorial framework which allows us to systematically compute such a quiver presentation for a Coxeter group of a given type. In this article, we use that framework to determine quiver presentations for the descent algebras of the Coxeter groups of exceptional or non-crystallographic type, i.e., of type $E_6$, $E_7$, $E_8$, $F_4$, $H_3$, $H_4$ or $I_2(m)$.

Soergel bimodule category B is a categorification of the Hecke algebra of a Coxeter system (W,S). We find a presentation of B (as a tensor category) by generators and relations when W is a right-angled Coxeter group.

We introduce the notions of boundary vertex, linear equivalence and effective boundary vertex in the context of Viennot's heaps of pieces. We prove that in the heap of a fully commutative element in a star reducible Coxeter group, every boundary vertex is linearly equivalent to an effective boundary vertex. Using this result, we establish Property W (in the sense of math.QA/0509363) for star reducible Coxeter groups; this corrects a mistake in the latter paper.

We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $μ_1,μ_2,μ_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(μ_1\vec{x})$, $K(μ_2\vec{x})$, and $K(μ_3\vec{x})$, provided no two of the $μ_j$'s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$. The set of $({|M_K|/|G_K|\atop 3})=({32\atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(μ_1,μ_2,μ_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $μ_j$'s, which in turn is defined in terms of the expression of the $μ_j$'s as words in the Coxeter group generators. Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.

We extend the short presentation due to [Borel '53] of the cohomology ring of a generalized flag manifold to a relatively short presentation of the cohomology of any of its Schubert varieties. Our result is stated in a root-system uniform manner by introducing the essential set of a Coxeter group element, generalizing and giving a new characterization of [Fulton '92]'s definition for permutations. Further refinements are obtained in type A.