arXiv++ Combinatorics

We classify the invariant prime ideals of a quantum partial flag variety under the action of the related maximal torus. As a result we construct a bijection between them and the torus orbits of symplectic leaves of the standard Poisson structure on the corresponding flag variety. It was previously shown by K. Goodearl and the author that the latter are precisely the Lusztig strata of the partial flag variety.

We give a new description of the flag major index, introduced by Adin and Roichman, by using a major index defined by Reiner. This allows us to establish a connection between an identity of Reiner and some more recent results due to Chow and Gessel. Furthermore we generalize the main identity of Chow and Gessel by computing the four-variate generating series of descents, major index, length, and number of negative entries over Coxeter groups of type $B$ and $D$.

Let $u$ be a nilpotent endomorphism of a finite dimensional $\mathbb{C}$-vector space. The set ${\mathcal F}_u$ of $u$-stable complete flags is a projective algebraic variety called a Springer fiber. Its irreducible components are parameterized by a set of standard tableaux. We provide three characterizations of the singular components of ${\mathcal F}_u$ in the case $u^2=0$. First, we give the combinatorial description of standard tableaux corresponding to singular components. Second, we prove that a component is singular if and only if its Poincaré polynomial is not palindromic. Third, we show that a component is singular when it has too many intersections of codimension one with other components. Finally, relying on the second criterion, we infer that, for $u$ general, whenever ${\mathcal F}_u$ has a singular component, it admits a component whose Poincaré polynomial is not palindromic. This work relies on a previous criterion of singularity for components of ${\mathcal F}_u$ in the case $u^2=0$ by the first author and on the description of the $B$-orbit decomposition of orbital varieties of nilpotent order two by the second author.

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.

We present examples of flag homology spheres whose $γ$-vectors satisfy the Kruskal-Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron and to the cyclohedron. In these cases, we construct explicit simplicial complexes whose $f$-vectors are the $γ$-vectors in question. In another direction, we show that if a flag $(d-1)$-sphere has at most $2d+2$ vertices its $γ$-vector satisfies the Kruskal-Katona inequalities. We conjecture that if $Δ$ is a flag homology sphere then $γ(Δ)$ satisfies the Kruskal-Katona inequalities. This conjecture is a significant refinement of Gal's conjecture, which asserts that such $γ$-vectors are nonnegative.

Peterson varieties are a special class of Hessenberg varieties that have been extensively studied e.g. by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley-Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety $Y$ in type $A_{n-1}$, with respect to a natural $S^1$-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculus beyond the realm of Kac-Moody flag varieties $G/P$. Our main results are as follows. First, we identify a computationally convenient basis of $H^*_{S^1}(Y)$, which we call the basis of Peterson Schubert classes. Second, we derive a manifestly positive, integral Chevalley-Monk formula for the product of a cohomology-degree-2 Peterson Schubert class with an arbitrary Peterson Schubert class. Both $H^*_{S^1}(Y)$ and $H^*(Y)$ are generated in degree 2. Finally, by using our Chevalley-Monk formula we give explicit descriptions (via generators and relations) of both the $S^1$-equivariant cohomology ring $H^*_{S^1}(Y)$ and the ordinary cohomology ring $H^*(Y)$ of the type $A_{n-1}$ Peterson variety. Our methods are both directly from and inspired by those of GKM (Goresky-Kottwitz-MacPherson) theory and classical Schubert calculus. We discuss several open questions and directions for future work.

Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.

Motivated by the Caccetta-Haggkvist Conjecture, we prove that every digraph on n vertices with minimum outdegree 0.3465n contains an oriented triangle. This improves the bound of 0.3532n of Hamburger, Haxell and Kostochka. The main new tool we use in our proof is the theory of flag algebras developed recently by Razborov.

For positive $q\neq1$, the $q$-exchangeability of an infinite random word is introduced as quasi-invariance under permutations of letters, with a special cocycle which accounts for inversions in the word. This framework allows us to extend the $q$-analog of de Finetti's theorem for binary sequences---see Gnedin and Olshanski [Electron. J. Combin. 16 (2009) R78]---to general real-valued sequences. In contrast to the classical case of exchangeability ($q=1$), the order on $\mathbb{R}$ plays a significant role for the $q$-analogs. An explicit construction of ergodic $q$-exchangeable measures involves random shuffling of $\mathbb{N}=\{1,2,...\}$ by iteration of the geometric choice. Connections are established with transient Markov chains on $q$-Pascal pyramids and invariant random flags over the Galois fields.

We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of orthogonal flag varieties. We use these polynomials to describe the arithmetic Schubert calculus on these spaces. We also give a method to compute the natural arithmetic intersection numbers which arise, and prove that they are all rational numbers.

The face numbers of simplicial complexes without missing faces of dimension larger than $i$ are studied. It is shown that among all such $(d-1)$-dimensional complexes with non-vanishing top homology, a certain polytopal sphere has the componentwise minimal $f$-vector; and moreover, among all such 2-Cohen--Macaulay (2-CM) complexes, the same sphere has the componentwise minimal $h$-vector. It is also verified that the $l$-skeleton of a flag $(d-1)$-dimensional 2-CM complex is $2(d-l)$-CM while the $l$-skeleton of a flag PL $(d-1)$-sphere is $2(d-l)$-homotopy CM. In addition, tight lower bounds on the face numbers of 2-CM balanced complexes in terms of their dimension and the number of vertices are established.

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.

A polygonal complex in euclidean 3-space is a discrete polyhedron-like structure with finite or infinite polygons as faces and finite graphs as vertex-figures, such that a fixed number r of faces surround each edge. It is said to be regular if its symmetry group is transitive on the flags. The present paper and its successor describe a complete classification of regular polygonal complexes in 3-space. In particular, the present paper establishes basic structure results for the symmetry groups, discusses geometric and algebraic aspects of operations on their generators, characterizes the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerates the simply flag-transitive complexes with mirror vector (1,2). The second paper will complete the enumeration.

We give a pattern avoidance criterion to classify the orbits of Sp(p,C) x Sp(q,C) (resp. GL(n,C)) on the flag variety of type C_{p+q} (resp. D_n) with rationally smooth closure. We show that all such orbit closures fiber (with smooth fiber) over a smaller flag variety, and hence are in fact smooth. In addition we prove that the classification is insensitive to isogeny.

For a flag manifold $M=G/B$ with the canonical torus action, the $T-$equivariant cohomology is generated by equivariant Schubert classes, with one class $τ_u$ for every element $u$ of the Weyl group $W$. These classes are determined by their restrictions to the fixed point set $M^T \simeq W$, and the restrictions are polynomials with nonnegative integer coefficients in the simple roots. The main result of this article is a positive formula for computing $τ_u(v)$ in types A, B, and C. To obtain this formula we identify $G/B$ with a generic co-adjoint orbit and use a result of Goldin and Tolman to compute $τ_u(v)$ in terms of the induced moment map. Our formula, given as a sum of contributions of certain maximal ascending chains from $u$ to $v$, follows from a systematic degeneration of the moment map, corresponding to degenerating the co-adjoint orbit. In type A we prove that our formula is manifestly equivalent to the formula announced by Billey in \cite{Bi}, but in type C, the two formulas are not equivalent.

While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the {\em cyclic shifts} of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, and Brown-Goodearl-Yakimov. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call {\em bounded juggling patterns}. We adopt his terminology and call the strata {\em positroid varieties.} We show that positroid varieties are normal and Cohen-Macaulay, and are defined as schemes by the vanishing of Plucker coordinates. We compute their T-equivariant Hilbert series, and show that their associated cohomology classes are represented by affine Stanley functions. This latter fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus. Our principal tools are the Frobenius splitting results for Richardson varieties as developed by Brion, Lakshmibai, and Littelmann, and the Hodge-Grobner degeneration of the Grassmannian. We show that each positroid variety degenerates to the projective Stanley-Reisner scheme of a shellable ball.

For any rank $r$ oriented matroid $M$, a construction is given of a "topological representation" of $M$ by an arrangement of homotopy spheres in a simplicial complex which is homotopy equivalent to $S^{r-1}$. The construction is completely explicit and depends only on a choice of maximal flag in $M$. If $M$ is orientable, then all Folkman-Lawrence representations of all orientations of $M$ embed in this representation in a homotopically nice way.

We prove that the standard Poisson structure on the Grassmannian Gr(k, n) is invariant under the action of the Coxeter element c =(1 2 ... n). In particular, its symplectic foliation is invariant under c. As a corollary, we obtain a second, Poisson geometric proof of the result of Knutson, Lam, and Speyer that the Coxeter element c interchanges the Lusztig strata of Gr(k, n). We also relate the main result to known anti-invariance properties of the standard Poisson structures on cominuscule flag varieties.

We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chains of permutations in the so-called k-Bruhat order. Our work is based on the recent thesis of Beligan, in which he generalizes the classical plactic structure on words to chains in certain intervals in k-Bruhat order. Potential applications of our work include the generalization of the S_3-symmetric Littlewood-Richardson rule due to Thomas and Yong, which is based on Fomin's growth diagrams.

In this paper, we study flag structures of matroid base polytopes. We describe faces of matroid base polytopes in terms of matroid data, and give conditions for hyperplane splits of matroid base polytopes. Also, we show how the cd-index of a polytope can be expressed when a polytope is split by a hyperplane, and apply these to the cd-index of a matroid base polytope of a rank 2 matroid.