arXiv++ Combinatorics

The k-Schur functions were first introduced by Lapointe, Lascoux and Morse (2003) in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono (2010) as the weighted generating function of starred strong tableaux which correspond with labeled saturated chains in the Bruhat order on the affine symmetric group modulo the symmetric group. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian of type A by Lam (2008), and, at t = 1, it is equivalent to the k-tableaux characterization of Lapointe and Morse (2007). In this paper, we extend Haiman's (1992) dual equivalence relation on standard Young tableaux to all starred strong tableaux. The elementary equivalence relations can be interpreted as labeled edges in a graph which share many of the properties of Assaf's dual equivalence graphs. These graphs display much of the complexity of working with k-Schur functions and the interval structure on affine Symmetric Group modulo the Symmetric Group. We introduce the notions of flattening and squashing skew starred strong tableaux in analogy with jeu da taquin slides in order to give a method to find all isomorphism types for affine dual equivalence graphs of rank 4. Finally, we make connections between k-Schur functions and both LLT and Macdonald polynomials by comparing the graphs for these functions.

Rival and Zaguia showed that the antichain cutsets of a finite Boolean lattice are exactly the level sets. We show that a similar characterization of antichain cutsets holds for any strongly connected poset of locally finite height. As a corollary, we get such a characterization for semimodular lattices, supersolvable lattices, Bruhat orders, locally shellable lattices, and many more. We also consider a generalization to strongly connected hypergraphs having finite edges.

This paper provides a unifying and simplifying approach to Bruhat order in which the usual Bruhat order, parabolic Bruhat order, and Bruhat order for symmetric pairs are shown to have combinatorially analogous and relatively simple descriptions. Such analogies are valuable as they permit the study of PGB and KGB by reducing to BGB rather than by introducing additional machinery. A concise definition for reduced expressions and a simple proof of the exchange condition for PGB are provided as applications of this philosophy. A geometric argument for spherical subgroups, which includes all of the cases considered, shows that Bruhat order has property Z and therefore satisfies the subexpression property. Thus, Bruhat order can be described using only simple relations, and it is the simple relations which we simplify combinatorially. A parametrization of KGP is a simple consequence of understanding the Bruhat order of KGB restricted to a P-orbit.

The charge is an intricate statistic on words, due to Lascoux and Schutzenberger, which gives positive combinatorial formulas for Lusztig's q-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As these concepts are defined for all Lie types, it has been a long-standing problem to express them based on a generalization of charge. I present a method for addressing this problem in classical Lie types, based on the recent Ram-Yip formula for Macdonald polynomials and the quantum Bruhat order on the corresponding Weyl group. The details of the method are carried out in type A (where we recover the classical charge) and type C (where we define a new statistic).

We give two contructions of sets of masks on cograssmannian permutations that can be used in Deodhar's formula for Kazhdan-Lusztig basis elements of the Iwahori-Hecke algebra. The constructions are respectively based on a formula of Lascoux-Schutzenberger and its geometric interpretation by Zelevinsky. The first construction relies on a basis of the Hecke algebra constructed from principal lower order ideals in Bruhat order and a translation of this basis into sets of masks. The second construction relies on an interpretation of masks as cells of the Bott-Samelson resolution. These constructions give distinct answers to a question of Deodhar.

Let $W$ be a finite reflection group. For a given $w \in W$, the following assertion may or may not be satisfied: (*) The principal Bruhat order ideal of $w$ contains as many elements as there are regions in the inversion hyperplane arrangement of $w$. We present a type independent combinatorial criterion which characterises the elements $w\in W$ that satisfy (*). A couple of immediate consequences are derived: (1) The criterion only involves the order ideal of $w$ as an abstract poset. In this sense, (*) is a poset-theoretic property. (2) For $W$ of type $A$, another characterisation of (*), in terms of pattern avoidance, was previously given in collaboration with Linusson, Shareshian and Sjöstrand. We obtain a short and simple proof of that result. (3) If $W$ is a Weyl group and the Schubert variety indexed by $w \in W$ is rationally smooth, then $w$ satisfies (*).

In this paper we consider the rank generating function of a separable permutation $π$ in the weak Bruhat order on the two intervals $[\text{id}, π]$ and $[π, w_0]$, where $w_0 = n,(n-1),..., 1$. We show a surprising result that the product of these two generating functions is the generating function for the symmetric group with the weak order. We then obtain explicit formulas for the rank generating functions on $[\text{id}, π]$ and $[π, w_0]$, which leads to the rank-symmetry and unimodality of the two graded posets.

The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary condition for a Schubert variety in the flag variety to be smooth.

We study three aspects of commutation classes of reduced decompositions: the number of commutation classes, the structures of their corresponding graphs, and the enumeration of subnetworks, a concept recently introduced by Warrington [21]. Our bound for the number of commutation classes generalizes the works of Knuth[12], Green and Losonczy [7], and Tenner [19]. We analyze the structure of the graph G(w) using pattern avoidance, which provides an application of Tenner's characterization of vexillary permutations in [19]. We also discuss some connections between our work and recent developments in the strong Bruhat order and the higher Bruhat order.

While the projections of Schubert varieties in a full generalized flag manifold G/B to a partial flag manifold $G/P$ are again Schubert varieties, the projections of Richardson varieties (intersections of Schubert varieties with opposite Schubert varieties) are not always Richardson varieties. The stratification of G/P by projections of Richardson varieties arises in the theory of total positivity and also from Poisson and noncommutative geometry. In this paper we show that many of the geometric properties of Richardson varieties hold more generally for projected Richardson varieties; they are normal, Cohen-Macaulay, have rational singularities, and are compatibly Frobenius split with respect to the standard splitting. Indeed, we show that the projected Richardson varieties are the only compatibly split subvarieties, providing an example of the recent theorem [Schwede, Kumar-Mehta] that a Frobenius split scheme has only finitely many compatibly split subvarieties. (The G/B case was treated by [Hague], whose proof we simplify somewhat.) One combinatorial analogue of a Richardson variety is the order complex of the corresponding Bruhat interval in W; this complex is known to be an EL-shellable ball [Bjorner-Wachs '82]. We prove that the projection of such a complex into the order complex of the Bruhat order on W/W_P is again a shellable ball. This requires extensive analysis of "P-Bruhat order", a generalization of the k-Bruhat order of [Bergeron-Sottile '98]. In the case that G/P is minuscule (e.g. a Grassmannian), we show that its Grobner degeneration takes each projected Richardson variety to the Stanley-Reisner scheme of its corresponding ball.

The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.

Using the notion of series parallel interval order, we propose a unified setting to describe Dyck lattices and Tamari lattices (two well known lattice structures on Catalan objects) in terms of basic notions of the theory of posets. As a consequence of our approach, we find an extremely simple proof of the fact that the Dyck order is a refinement of the Tamari one. Moreover, we provide a description of both the weak and the strong Bruhat order on 312-avoiding permutations, by recovering the proof of the fact that they are isomorphic to the Tamari and the Dyck order, respectively; our proof, which simplifies the existing ones, relies on our results on series parallel interval orders.

The coefficients of the Kazhdan-Lusztig polynomials $P_{v,w}(q)$ are nonnegative integers that are upper semicontinuous on Bruhat order. Conjecturally, the same properties hold for $h$-polynomials $H_{v,w}(q)$ of local rings of Schubert varieties. This suggests a parallel between the two families of polynomials. We prove our conjectures for Grassmannians, and more generally, covexillary Schubert varieties in complete flag varieties, by deriving a combinatorial formula for $H_{v,w}(q)$. We introduce \emph{drift configurations} to formulate a new and compatible combinatorial rule for $P_{v,w}(q)$. From our rules we deduce, for these cases, the coefficient-wise inequality $P_{v,w}(q)\preceq H_{v,w}(q)$.

In theory of Coxeter groups, bigrassmannian elements are well known as elements which have precisely one left descent and precisely one right descent. In this article, we prove formulas on enumeration of bigrassmannian permutations weakly below a permutation in Bruhat order in the symmetric groups. For the proof, we use equivalent characterizations of bigrassmannian permutations by Lascoux-Schutzenberger and Reading.

The Casselman basis of Iwahori fixed vectors in a principal series representation of a p-adic group G is dual to the standard intertwining operators. To compute it one must compute a matrix m(u,v) indexed by pairs of Weyl group elements. This matrix is upper triangular with respect to the Bruhat order. In general this matrix is difficult to compute but it is shown that certain elements have a nice expression. This is also true of the inverse matrix to m(u,v). This leads to interesting conjectures regarding the Bruhat order.

We study in detail the so-called looping case of Mozes's game of numbers, which concerns the (finite) orbits in the reflection representation of affine Weyl groups situated on the boundary of the Tits cone. We give a simple proof that all configurations in the orbit are obtainable from each other by playing the numbers game, and give a strategy for going from one configuration to another. The strategy gives rise to a partition of the finite Weyl group into finitely many graded posets, one for each extending vertex of the associated extended Dynkin diagram. These are selfdual and mutually isomorphic, and dual to the triangulation of the unit hypercube by reflecting hyperplanes, studied by many authors. Unlike the weak and Bruhat orders, the top degree is cubic in the number of vertices of the graph. We explicitly compute the Hilbert polynomial of the poset.

In this note we construct a poset map from a Boolean algebra to the Bruhat order which unveils an interesting connection between subword complexes, sorting orders, and certain totally nonnegative spaces. This relationship gives a new proof of Björner and Wachs' result \cite{BW} that the proper part of Bruhat order is homotopy equivalent to the proper part of a Boolean algebra --- that is, to a sphere. We also obtain a geometric interpretation for sorting orders. We conclude with two new results: that the intersection of all sorting orders is the weak order, and the union of sorting orders is the Bruhat order.

Let G be the group preserving a nondegenerate sesquilinear form on a vector space V, and H a symmetric subgroup of G of the type G1 x G2. We explicitly parameterize the H-orbits in the Grassmannian of r-dimensional isotropic subspaces of V by a complete set of H-invariants. We describe the Bruhat order in terms of the majorization relationship over a diagram of these H-invariants. The inclusion order, the stabilizer, the orbit dimension, the open H-orbits, the decompositions of an H orbit into H\cap G_0 and H_0 orbits are also explicitly described.

Let $G$ be a connected reductive linear algebraic group over $\C$ with an involution $θ$. Denote by $K$ the subgroup of fixed points. In certain cases, the $K$-orbits in the flag variety $G/B$ are indexed by the twisted identities $\iot = \{θ(w^{-1})w\mid w\in W\}$ in the Weyl group $W$. Under this assumption, we establish a criterion for rational smoothness of orbit closures which generalises classical results of Carrell and Peterson for Schubert varieties. That is, whether an orbit closure is rationally smooth at a given point can be determined by examining the degrees in a ``Bruhat graph'' whose vertices form a subset of $\iot$. Moreover, an orbit closure is rationally smooth everywhere if and only if its corresponding interval in the Bruhat order on $\iot$ is rank symmetric. In the special case $K=\Sp_{2n}(\C)$, $G=\SL_{2n}(\C)$, we strengthen our criterion by showing that only the degree of a single vertex, the ``bottom one'', needs to be examined. This generalises a result of Deodhar for type $A$ Schubert varieties.

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.