arXiv++ Combinatorics

The Euler characteristic, thought of as a function that assigns a numerical value to every finite simplicial complex, is locally determined in both a combinatorial sense and a geometric sense. In this note we show that not every function that assigns a numerical value to every finite simplicial complex via a linear combination of the numbers of simplices in each dimension is locally determined in either sense. In particular, the Charney-Davis quantity $λ(L)$ is not locally determined in either sense if it is defined on a set of simplicial complexes that includes all flag spheres of a given odd dimension.

Grothendieck polynomials are important objects in the study of the $K$-theory of flag varieties. Their many remarkable properties have been studied in the context of algebraic geometry and tableaux combinatorics. We explore a new tool, similar to generating sequences, which we call the iterated residue technique. We prove new formulas on the calculus of iterated residues and use them to prove straightening laws and multiplication formulas for stable Grothendieck polynomials. As a further application of our method, we give new proofs that the $K$-Pieri rule and the expansions of Grothendieck polynomials in the Schur basis both exhibit alternating signs. As a consequence, we observe that our method implies a new combinatorial statement of the $K$-Pieri rule. Our results indicate that the iterated residue technique should be further explored as a new line of attack on open conjectures regarding positivity and stability, for example of quiver polynomials and Thom polynomials, in $K$-theory.

A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced rationally smooth Schubert varieties are smooth. Taken together, our results give a fairly complete geometric description of smooth and rationally smooth Schubert varieties using primarily combinatorial methods.

We apply crystal theory to affine Schubert calculus, Gromov-Witten invariants for the complete flag manifold, and the positroid stratification of the positive Grassmannian. We introduce operators on decompositions of elements in the type-$A$ affine Weyl group and produce a crystal reflecting the internal structure of the generalized Young modules whose Frobenius image is represented by stable Schubert polynomials. We apply the crystal framework to products of a Schur function with a $k$-Schur function, consequently proving that a subclass of 3-point Gromov-Witten invariants of complete flag varieties for $\mathbb C^n$ enumerate the highest weight elements under these operators. Included in this class are the Schubert structure constants in the (quantum) product of a Schubert polynomial with a Schur function $s_λ$ for all $|λ^\vee|< n$. Another by-product gives a highest weight formulation for various fusion coefficients of the Verlinde algebra and for the Schubert decomposition of certain positroid classes.

The topology of spaces of Hermitian operators in $C^n$ with non-simple spectra was studied by V.Arnold in a relation with the theory of adiabatic connections and the quantum Hall effect. The natural filtration of these spaces by the sets of operators with fixed numbers of eigenvalues defines the spectral sequence, providing interesting combinatorial and homological information on this stratification. We construct a different spectral sequence, also counting the homology groups of these spaces and based on the universal techniques of {\em topological order complexes} and resolutions of algebraic varieties, generalizing the combinatorial inclusion-exclusion formula and similar to the construction of finite degree knot invariants. This spectral sequence degenerates at the term $E_1$, is (conjecturally) multiplicative, and as $n$ grows then it converges to a stable spectral sequence counting the cohomology of the space of infinite Hermitian operators without multiple eigenvalues, all whose terms $E^{p,q}_r$ are finitely generated. It allows us to define the finite degree cohomology classes of this space, and to apply the well-known facts and methods of the topological theory of flag manifolds to the problems of geometrical combinatorics, especially concerning the continuous partially ordered sets of subspaces and flags.

The flow polytope $\mathcal{F}_{\widetilde{G}}$ is the set of nonnegative unit flows on the graph $\widetilde{G}$. The subdivision algebra of flow polytopes prescribes a way to dissect a flow polytope $\mathcal{F}_{\widetilde{G}}$ into simplices. Such a dissection is encoded by the terms of the so called reduced form of the monomial $\prod_{(i,j)\in E(G)}x_{ij}$. We prove that we can use the subdivision algebra of flow polytopes to construct not only dissections, but also regular flag triangulations of flow polytopes. We prove that reduced forms in the subdivision algebra are generalizations of $h$-polynomials of the triangulations of flow polytopes. We deduce several corollaries of the above results, most notably proving certain cases of a conjecture of Kirillov about the nonnegativity of reduced forms in the noncommutative quasi-classical Yang-Baxter algebra.

Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the second author, in the context of the Toda lattice and the moment map on the flag variety. In this paper we study combinatorial aspects of Bruhat interval polytopes. For example, we give an inequality description and a dimension formula for Bruhat interval polytopes, and prove that every face of a Bruhat interval polytope is a Bruhat interval polytope. A key tool in the proof of the latter statement is a generalization of the well-known lifting property for Coxeter groups. Motivated by the relationship between the lifting property and R-polynomials, we also give a generalization of the standard recurrence for R-polynomials. Finally, we define a more general class of polytopes called Bruhat interval polytopes for G/P, which are moment map images of (closures of) totally positive cells in the non-negative part of G/P, and are a special class of Coxeter matroid polytopes. Using tools from total positivity and the Gelfand-Serganova stratification, we show that the face of any Bruhat interval polytope for G/P is again a Bruhat interval polytope for G/P.

We prove the affine Pieri rule for the cohomology of the affine flag variety conjectured by Lam, Lapointe, Morse and Shimozono. We study the cap operator on the affine nilHecke ring that is motivated by Kostant and Kumar's work on the equivariant cohomology of the affine flag variety. We show that the cap operators for Pieri elements are the same as Pieri operators defined by Berg, Saliola and Serrano. This establishes the affine Pieri rule.

It is known that the normalized volume of standard hypersimplices (defined as some slices of the unit hypercube) are the Eulerian numbers. More generally, a recent conjecture of Stanley relates the Ehrhart series of hypersimplices with descents and excedences in permutations. This conjecture was proved by Nan Li, who also gave a generalization to colored permutations. In this article, we give another generalization to colored permutations, using the flag statistics introduced by Foata and Han. We obtain in particular a new proof of Stanley's conjecture, and some combinatorial identities relating pairs of Eulerian statistics on colored permutations.

This note computes a Gröbner basis for the ideal defining a union of Schubert varieties. More precisely, it computes a Gröbner basis for unions of schemes given by northwest rank conditions on the space of all matrices of a fixed size. Schemes given by northwest rank conditions include classical determinantal varieties and matrix Schubert varieties--closures of Schubert varieties lifted from the flag manifold to the space of matrices.

If $T$ is an $n$-vertex tournament with a given number of $3$-cycles, what can be said about the number of its $4$-cycles? The most interesting range of this problem is where $T$ is assumed to have $c\cdot n^3$ cyclic triples for some $c>0$ and we seek to minimize the number of $4$-cycles. We conjecture that the (asymptotic) minimizing $T$ is a random blow-up of a constant-sized transitive tournament. Using the method of flag algebras, we derive a lower bound that almost matches the conjectured value. We are able to answer the easier problem of maximizing the number of $4$-cycles. These questions can be equivalently stated in terms of transitive subtournaments. Namely, given the number of transitive triples in $T$, how many transitive quadruples can it have? As far as we know, this is the first study of inducibility in tournaments.

We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form.

The main result of this note gives an explicit presentation of the $S^1$-equivariant cohomology ring of the $(n-k,k)$ Springer variety (in type $A$) as a quotient of a polynomial ring by an ideal $I$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety.

We study a natural generalization of the noncrossing relation between pairs of elements in [n] to k-tuples in [n] that was first considered by Petersen, Pylyavskyy, Speyer (2010). We give an alternative approach to their result that the flag simplicial complex on $\binom{[n]}{k}$ induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product $[k]\times[n-k]$ of two chains (also called Gelfand-Tsetlin polytope), and that it is the join of a simplex and a sphere (that is, it is a Gorenstein triangulation). We then observe that this already implies the existence of a flag simplicial polytope generalizing the dual associahedron, whose Stanley-Reisner ideal is an initial ideal of the Graßmann-Plücker ideal, while previous constructions of such a polytope did not guarantee flagness nor reduced to the dual associahedron for k=2. On our way we provide general results about order polytopes and their triangulations. We call the simplicial complex the noncrossing complex, and the polytope derived from it the dual Graßmann associahedron. We extend results of Petersen, Pylyavskyy, Speyer (2010) showing that the non-crossing complex and the Graßmann associahedron naturally reflect the relations between Graßmannians with different parameters, in particular the isomorphism $G_{k,n} \cong G_{n-k,n}$. Moreover, our approach allows us to show that the adjacency graph of the noncrossing complex admits a natural acyclic orientation that allows us to define a Graßmann-Tamari order on maximal noncrossing families. Finally, we look at the precise relation of the noncrossing complex and the weak separability complex of Leclerc, Zelevinsky (1998) and show that the weak separability complex is the cyclically invariant part of the noncrossibg complex.

The enumerative theory of simplicial subdivisions (triangulations) of simplicial complexes was developed by Stanley in order to understand the effect of such subdivisions on the $h$-vector of a simplicial complex. A key role there is played by the concept of a local $h$-vector. This paper surveys some of the highlights of this theory and some recent developments, concerning subdivisions of flag homology spheres and their $γ$-vectors. Several interesting examples and open problems are discussed.

A driving question in (quantum) cohomology of flag varieties is to find non-recursive, positive combinatorial formulas for expressing the product of two classes in a particularly nice basis, called the Schubert basis. Bertram, Ciocan-Fontanine and Fulton provided a way to compute quantum products of Schubert classes in the Grassmannian of k-planes in complex n-space by doing classical multiplication and then applying a combinatorial rim hook rule which yields the quantum parameter. In this paper, we provide a generalization of this rim hook rule to the setting in which there is also an action of the complex torus. Combining this result with Knutson and Tao's puzzle rule then gives an effective algorithm for computing all equivariant quantum Littlewood-Richardson coefficients. Interestingly, this rule requires a specialization of torus weights modulo n, suggesting a direct connection to the Peterson isomorphism relating quantum and affine Schubert calculus.

In 1987, Kalai proved that stacked spheres of dimension $d\geq 3$ are characterised by the fact that they attain equality in Barnette's celebrated Lower Bound Theorem. This result does not extend to dimension $d=2$. In this article, we give a characterisation of stacked $2$-spheres using what we call the {\em separation index}. Namely, we show that the separation index of a triangulated $2$-sphere is maximal if and only if it is stacked. In addition, we prove that, amongst all $n$-vertex triangulated $2$-spheres, the separation index is {\em minimised} by some $n$-vertex flag sphere for $n\geq 6$. Furthermore, we apply this characterisation of stacked $2$-spheres to settle the outstanding $3$-dimensional case of the Lutz-Sulanke-Swartz conjecture that "tight-neighbourly triangulated manifolds are tight". For dimension $d\geq 4$, the conjecture has already been proved by Effenberger following a result of Novik and Swartz.

In 1990, Lakshmibai and Sandhya published a characterization of singular Schubert varieties in flag manifolds using the notion of pattern avoidance. This was the first time pattern avoidance was used to characterize geometrical properties of Schubert varieties. Their results are very closely related to work of Haiman, Ryan and Wolper, but Lakshmibai-Sandhya were the first to use that language exactly. Pattern avoidance in permutations was used historically by Knuth, Pratt, Tarjan, and others in the 1960's and 1970's to characterize sorting algorithms in computer science. Lascoux and Sch$\text{ü}$tzenberger also used pattern avoidance to characterize vexillary permutations in the 1980's. Now, there are many geometrical properties of Schubert varieties that use pattern avoidance as a method for characterization including Gorenstein, factorial, local complete intersections, and properties of Kazhdan-Lusztig polynomials. These are what we call consequences of the Lakshmibai-Sandhya theorem. We survey the many beautiful results, generalizations, and remaining open problems in this area. We highlight the advantages of using pattern avoidance characterizations in terms of linear time algorithms and the ease of access to the literature via Tenner's Database of Permutation Pattern Avoidance. This survey is based on lectures by the second author at Osaka, Japan 2012 for the Summer School of the Mathematical Society of Japan based on the topic of Schubert calculus.

Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if (the coordinate ring of) X is Cohen-Macaulay, then G(X) is connected. We present two quantitative variants of Hartshorne's result: 1) If X is a Gorenstein subspace arrangement, then G(X) is r-connected, where r is the Castelnuovo-Mumford regularity of X. (The bound is best possible; for coordinate arrangements, it yields an algebraic extension of Balinski's theorem for simplicial polytopes.) 2) If X is a canonically embedded arrangement of lines no three of which meet in the same point, then the diameter of the graph G(X) is not larger than the codimension of X. (The bound is sharp; for coordinate arrangements, it yields an algebraic expansion on the recent combinatorial result that the Hirsch conjecture holds for flag normal simplicial complexes.)

We classify the convex polytopes whose symmetry groups have two orbits on the flags. These exist only in two or three dimensions, and the only ones whose combinatorial automorphism group is also two-orbit are the cuboctahedron, the icosidodecahedron, and their duals. The combinatorially regular two-orbit convex polytopes are certain 2n-gons for each n > 1. We also classify the face-to-face tilings of Euclidean space by convex polytopes whose symmetry groups have two flag orbits. There are finitely many families, tiling one, two, or three dimensions. The only such tilings which are also combinatorially two-orbit are the trihexagonal plane tiling, the rhombille plane tiling, the tetrahedral-octahedral honeycomb, and the rhombic dodecahedral honeycomb.