arXiv++ Combinatorics

A recent breakthrough in the theory of (type A) Macdonald polynomials is due to Haglund, Haiman and Loehr, who exhibited a combinatorial formula for these polynomials in terms of a pair of statistics on fillings of Young diagrams. The inversion statistic, which is the more intricate one, suffices for specializing a closely related formula to one for the type A Hall-Littlewood Q-polynomials (spherical functions on p-adic groups). An apparently unrelated development, at the level of arbitrary finite root systems, led to Schwer's formula (rephrased and rederived by Ram) for the Hall-Littlewood P-polynomials of arbitrary type. The latter formula is in terms of so-called alcove walks, which originate in the work of Gaussent-Littelmann and of the author with Postnikov on discrete counterparts to the Littelmann path model. In this paper, we relate the above developments, by deriving a Haglund-Haiman-Loehr type formula for the Hall-Littlewood P-polynomials of type A from Ram's version of Schwer's formula via a "compression" procedure.

We study the cluster combinatorics of $d-$cluster tilting objects in $d-$cluster categories. By using mutations of maximal rigid objects in $d-$cluster categories which are defined similarly for $d-$cluster tilting objects, we prove the equivalences between $d-$cluster tilting objects, maximal rigid objects and complete rigid objects. Using the chain of $d+1$ triangles of $d-$cluster tilting objects in [IY], we prove that any almost complete $d-$cluster tilting object has exactly $d+1$ complements, compute the extension groups between these complements, and study the middle terms of these $d+1$ triangles. All results are the extensions of corresponding results on cluster tilting objects in cluster categories established in [BMRRT] to $d-$cluster categories. They are applied to the Fomin-Reading's generalized cluster complexes of finite root systems defined and studied in [FR2] [Th] [BaM1-2], and to that of infinite root systems [Zh3].

Given a root system $\mathsf{R}$, the vector system $\tilde{\mathsf{R}}$ is obtained by taking a representative $v$ in each antipodal pair $\{v, -v\}$. The matroid $M(\mathsf{R})$ is formed by all independent subsets of $\tilde{\mathsf{R}}$. The automorphism group of a matroid is the group of permutations preserving its independent subsets. We prove that the automorphism groups of all irreducible root systems matroids $M(\mathsf{R})$ are uniquely determined by their independent sets of size 3. As a corollary, we compute these groups explicitly, and thus complete the classification of the automorphism groups of root systems matroids.

For any finite poset P, there is a natural operator $X$ acting on the antichains of P. We discuss conjectural properties of this operator for some graded posets associated with irreducible root systems. In particular, if $Δ^+$ is the set of positive roots and $Π$ is the set of simple roots in $Δ^+$, then we consider the cases $P=Δ^+$ and $Δ^+\setminus Π$. For the root system of type $A_n$, we consider an $X$-invariant integer-valued function on the set of antichains of $Δ^+$ and establish some properties of it.

Let W be an infinite irreducible Coxeter group with (s_1, ..., s_n) the simple generators. We give a simple proof that the word s_1 s_2 ... s_n s_1 s_2 >... s_n ... s_1 s_2 ... s_n is reduced for any number of repetitions of s_1 s_2 >... s_n. This result was proved for simply-laced, crystallographic groups by Kleiner and Pelley using methods from the theory of quiver representations. Our proof only using basic facts about Coxeter groups and the geometry of root systems.

The hypermetric cone $\HYP_{n+1}$ is the parameter space of basic Delaunay polytopes in n-dimensional lattice. The cone $\HYP_{n+1}$ is polyhedral; one way of seeing this is that modulo image by the covariance map $\HYP_{n+1}$ is a finite union of L-domains, i.e., of parameter space of full Delaunay tessellations. In this paper, we study this partition of the hypermetric cone into L-domains. In particular, it is proved that the cone $\HYP_{n+1}$ of hypermetrics on n+1 points contains exactly {1/2}n! principal L-domains. We give a detailed description of the decomposition of $\HYP_{n+1}$ for n=2,3,4 and a computer result for n=5 (see Table \ref{TableDataHYPn}). Remarkable properties of the root system $\mathsf{D}_4$ are key for the decomposition of $\HYP_5$.

For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3. We then form the distributive lattices of order ideals of these posets. Corollary 5.4 gives elegant quotient-of-products expressions for the rank generating functions of these lattices (thereby providing answers to a 1979 question of Stanley). Also, Theorem 5.3 describes how these lattices provide a new combinatorial setting for the Weyl characters of representations of rank two semisimple Lie algebras. Most of these lattices are new; the rest of them (or related structures) have arisen in work of Stanley, Kashiwara, Nakashima, Littelmann, and Molev. In a future paper, one author shows that the posets constructed here form a Dynkin diagram-indexed answer to a combinatorially posed classification question. In a companion paper, some of these lattices are used to explicitly construct some representations of rank two semisimple Lie algebras. This implies that these lattices are strongly Sperner.

Let $q$ be a positive integer. In our recent paper, we proved that the cardinality of the complement of an integral arrangement, after the modulo $q$ reduction, is a quasi-polynomial of $q$, which we call the characteristic quasi-polynomial. In this paper, we study general properties of the characteristic quasi-polynomial as well as discuss two important examples: the arrangements of reflecting hyperplanes arising from irreducible root systems and the mid-hyperplane arrangements. In the root system case, we present a beautiful formula for the generating function of the characteristic quasi-polynomial which has been essentially obtained by Ch. Athanasiadis and by A. Blass and B. Sagan. On the other hand, it is hard to find the generating function of the characteristic quasi-polynomial in the mid-hyperplane arrangement case. We determine them when the dimension is less than six.

We give a short, case-free and combinatorial proof of de Concini and Procesi's formula for the volume of the simplicial cone spanned by the simple roots of any finite root system. The argument presented here also extends their formula to include the non-crystallographic root systems.

We introduce multivariate generalizations of the Bernstein-Szego polynomials, which are associated to the root systems of the complex simple Lie algebras. The multivariate polynomials in question generalize Macdonald's Hall-Littlewood polynomials associated with root systems. For the root system of type A1 (corresponding to the Lie algebra SL (2;C)) the classic Bernstein-Szego polynomials are recovered.

In this paper we show that for a simply-laced root system a choice of $C$ gives rise to a natural construction of the Dynkin diagram, in which vertices of the diagram correspond to $C$-orbits in $R$; moreover, it gives an identification of $R$ with a certain subset $Ihat$ of $I x Z_{2h}$, where $h$ is the Coxeter number. The set $Ihat$ has a natural quiver structure; we call it the periodic Auslander-Reiten quiver. This gives a combinatorial construction of the root system associated with the Dynkin diagram $I$: roots are vertices of $Ihat$, and the root lattice and the inner product admit an explicit description in terms of $Ihat$. Finally, we relate this construction to the theory of quiver representations.

The notion of cyclic sieving phenomenon is introduced by Reiner, Stanton, and White as a generalization of Stembridge's $q=-1$ phenomenon. The generalized cluster complexes associated to root systems are given by Fomin and Reading as a generalization of the cluster complexes found by Fomin and Zelevinsky. In this paper, the faces of various dimensions of the generalized cluster complexes in type $A_n$, $B_n$, $D_n$, and $I_2(a)$ are shown to exhibit the cyclic sieving phenomenon under a cyclic group action. For the cluster complexes of exceptional type $E_6$, $E_7$, $E_8$, $F_4$, $H_3$, and $H_4$, a verification for such a phenomenon on their maximal faces is given.

We classify isomorphic classes of the homomorphisms of a root system $Ξ$ to a root system $Σ$ which do not change Cartan integers. We examine several types of isomorphic classes defined by the Weyl group of $Σ$, that of $Ξ$ and the automorphisms of $Σ$ or $Ξ$ etc. We also distinguish the subsystem generated by a subset of a fundamental system. We introduce the concept of the dual pair for root systems which helps to study the action of the outer automorphism of $Ξ$ on the homomorphisms.

We extend the idea of interval pattern avoidance defined by Yong and the author for $S_n$ to arbitrary Weyl groups using the definition of pattern avoidance due to Billey and Braden, and Billey and Postnikov. We show that, as previously shown by Yong and the author for $GL_n$, interval pattern avoidance is a universal tool for characterizing which Schubert varieties have certain local properties, and where these local properties hold.

Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map the lattice onto itself. Replacing the group of euclidean motions by the group $G$ one can define the notion of regular lattice polytopes. More precisely, a lattice polytope is said to be regular if the subgroup of $G$ which preserves the polytope acts transitively on the set of its complete flags. Recently, Karpenkov obtained a classification of the regular lattice polytopes. Here we obtain this classification by a more conceptual method. Another difference is that Karpenkov uses in an essential way the classification of the euclidean regular polytopes, but we don't.

We examine certain maps from root systems to vector spaces over finite fields. By choosing appropriate bases, the images of these maps can turn out to have nice combinatorial properties, which reflect the structure of the underlying root system. The main examples are E_6 and E_7.

In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. The present paper features three different multivariable generalizations of the above result. These are extracted from Gustafson's A_r and C_r extensions and of the author's recent A_r extension of Bailey's 6-psi-6 summation formula. By combining these new multidimensional matrix inverses with A_r and D_r extensions of Jackson's 8-phi-7 summation theorem three balanced very-well-poised 8-psi-8 summation theorems associated with the root systems A_r and C_r are derived.

We express the averages of products of characteristic polynomials for random matrix ensembles associated with compact symmetric spaces in terms of Jack polynomials or Heckman and Opdam's Jacobi polynomials depending on the root system of the space. We also give explicit expressions for the asymptotic behavior of these averages in the limit as the matrix size goes to infinity.

We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.

We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of faithful permutation representations of Weyl groups. Examples include the standard representations of affine Weyl groups as permutations of ${\Bbb Z}$ and geometrical examples such as the realization of the Weyl group of type $E_6$ as permutations of 27 lines on a cubic surface; in the latter case, we also show how to recover the incidence relations between the lines from the structure of the heap. Another class of examples involves the action of certain Weyl groups on sets of pairs $(t, f)$, where $t \in {\Bbb Z}$ and $f$ is a function from a suitably chosen set to the two-element set $\{+, -\}$. Each of the permutation representations corresponds to a module for a Kac--Moody algebra, and gives an explicit basis for it.