arXiv++ Combinatorics

We analyze the monodromy action, over the rationals, on the first homology group of the Milnor fiber, for arbitrary subarrangements of Coxeter arrangements. We propose a combinatorial formula for the monodromy action, involving Aomoto complexes in positive characteristic. We verify the formula, in cases A, B and D.

In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a vast literature on q-Eulerian polynomials which involve other combinations of Mahonian and Eulerian permutation statistics, but the combination of major index and excedance number seems to have been completely overlooked until now. We use symmetric function theory to prove our formula. In particular, we prove a symmetric function version of our formula, which involves an intriguing new class of symmetric functions. We also present connections with representations of the symmetric group on the homology of a poset recently introduced by Björner and Welker and on the cohomology of the toric variety associated with the Coxeter complex of the symmetric group, studied by Procesi, Stanley, Stembridge, Dolgachev and Lunts.

We prove that if G is a string C-group of rank 4 and G is isomorphic to L_2(q) with q a prime power, then q must be 11 or 19. The polytopes arising are Grunbaum's 11-cell of type {3,5,3} for L_2(11) and Coxeter's 57-cell of type {5,3,5} for L_2(19), each a locally projective regular 4-polytope.

It is shown that every connected vertex-transitive graph of order $4p$, where $p$ is a prime, is hamiltonian with the exception of the Coxeter graph which is known to possess a Hamilton path.

For a finite Coxeter group W and a Coxeter element c of W, the c-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of W. Its maximal cones are naturally indexed by the c-sortable elements of W. The main result of this paper is that the known bijection cl_c between c-sortable elements and c-clusters induces a combinatorial isomorphism of fans. In particular, the c-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for W. The rays of the c-Cambrian fan are generated by certain vectors in the W-orbit of the fundamental weights, while the rays of the c-cluster fan are generated by certain roots. For particular ("bipartite") choices of c, we show that the c-Cambrian fan is linearly isomorphic to the c-cluster fan. We characterize, in terms of the combinatorics of clusters, the partial order induced, via the map cl_c, on c-clusters by the c-Cambrian lattice. We give a simple bijection from c-clusters to c-noncrossing partitions that respects the refined (Narayana) enumeration. We relate the Cambrian fan to well known objects in the theory of cluster algebras, providing a geometric context for g-vectors and quasi-Cartan companions.

We prove that, apart from some well-known low-dimensional examples, any compact hyperbolic Coxeter polytope has a pair of disjoint facets. This is one of very few known general results concerning combinatorics of compact hyperbolic Coxeter polytopes. We also obtain a similar result for simple non-compact polytopes.

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 study the projective objects in an exact category naturally associated to a Coxeter system. We discuss an analog of the Kazhdan-Lusztig conjecture and show how it follows from a "genericity" conjecture and how the latter follows from a "Hard Lefschetz" conjecture.

We show that the Coxeter-sortable elements in a finite Coxeter group W are the minimal congruence-class representatives of a lattice congruence of the weak order on W. We identify this congruence as the Cambrian congruence on W, so that the Cambrian lattice is the weak order on Coxeter-sortable elements. These results exhibit W-Catalan combinatorics arising in the context of the lattice theory of the weak order on W.

We prove that the weak order on an infinite Coxeter group contains infinite antichains if and only if the group is not affine.

We present an alternative construction of Soergel's category of bimodules associated to a reflection faithful representation of a Coxeter system. We show that its objects can be viewed as sheaves on the associated moment graph. We introduce an exact structure and show that Soergel's "special" bimodules are the projective objects. Then we construct the indecomposable projectives by both a global and a local method, discuss a version of the Kazhdan-Lusztig conjecture and prove it for universal Coxeter systems.

This article, based on joint work with Gabriel Carroll, Andy Itsara, Ian Le, Gregg Musiker, Gregory Price, Dylan Thurston, and Rui Viana, presents a combinatorial model based on perfect matchings that explains the symmetries of the numerical arrays that Conway and Coxeter dubbed frieze patterns. This matchings model is a combinatorial interpretation of Fomin and Zelevinsky's cluster algebras of type A. One can derive from the matchings model an enumerative meaning for the Markoff numbers, and prove that the associated Laurent polynomials have positive coefficients as was conjectured (much more generally) by Fomin and Zelevinsky. Most of this research was conducted under the auspices of REACH (Research Experiences in Algebraic Combinatorics at Harvard).

Let $W$ be a finite coxeter group, let $W_I$, $W_J$ be standard parabolic subgroups, let $u$, $v$ be minimal double cosets representatives of double cosets in $W_I W / W_J$ and let $u'$, $v'$ be the maximal representatives of those same two cosets. We show that $u < v$ if and only if $u' < v'$ for the Bruhat order.

We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polytope) and compare them to the permutahedron of type A_n and B_n respectively. The coordinates are obtained by an algorithm which uses an oriented Coxeter graph of type A_n or B_n respectively as only input and which specialises to a procedure presented by J.-L. Loday for a certain orientation of A_n. The described realizations have cambrian fans of type A and B as normal fans. This settles a conjecture of N. Reading for cambrian fans of these types.

We develop some applications of certain algebraic and combinatorial conditions on the elements of Coxeter groups, such as elementary proofs of the positivity of certain structure constants for the associated Kazhdan--Lusztig basis. We also explore some consequences of the existence of a Jones-type trace on the Hecke algebra of a Coxeter group, such as simple procedures for computing leading terms of certain Kazhdan--Lusztig polynomials. The sequel to this paper is math.QA/0509363.

We define ``star reducible'' Coxeter groups to be those Coxeter groups for which every fully commutative element (in the sense of Stembridge) is equivalent to a product of commuting generators by a sequence of length-decreasing star operations (in the sense of Lusztig). We show that the Kazhdan--Lusztig bases of these groups have a nice projection property to the Temperley--Lieb type quotient, and furthermore that the images of the basis elements $C'_w$ (for fully commutative $w$) in the quotient have structure constants in ${\Bbb Z}^{\geq 0}[v, v^{-1}]$. We also classify the star reducible Coxeter groups and show that they form nine infinite families (types $A_n$, $B_n$, $D_n$, $E_n$, $F_n$, $H_n$, affine $A_{n-1}$ for $n$ odd, affine $C_{n-1}$ for $n$ even, and the case where the Coxeter graph is complete), with two exceptional cases (of ranks 6 and 7). This paper is the sequel to math.QA/0509362.

We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies that any interval is Cohen-Macauley. We also give a Galois connection between intervals in this poset and a boolean poset. This allows us to compute the Mobius function for any interval.

Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.

The expected number of Yang-Baxter moves appearing in a reduced decomposition of the longest element of the Coxeter group of type B_n is computed to be 2-4/n. For the same element, the expected number of 0101 or 1010 factors appearing in a reduced decomposition is 2/(n^2-2).

Let (W,S) be a crystallographic Coxeter group (this includes all finite and affine Weyl groups), and J a subset of S. Let $W^J$ denote the set of minimal coset representatives modulo the parabolic subgroup $W_J$. For w in $W^J$, let $f^{w,J}_{i}$ denote the number of elements of length i below w in Bruhat order on $W^J$ (notation simplified to $f^{w}_{i}$ in the case when J=S). We show that $f^{w,J}_{i}$ is less than or equal to $f^{w,J}_{j}$ when i < j and j is less than or equal to the length of w minus i. Furthermore, we express when an initial and final interval of the f's is symmetric around the middle in terms of Kazhdan-Lusztig polynomials. It is also shown that if W is finite then the sequence of f's cannot grow too rapidly. Som result mirroring our first result are obtaind, again in the finite case. The proofs rely for the most part on properties of the cohomology of Kac-Moody Schubert varieties.