arXiv++ Combinatorics

A sequence of $S_n$-representations $\{V_n\}$ is said to be uniformly representation stable if the decomposition of $V_n = \bigoplus_μ c_{μ,n} V(μ)_n$ into irreducible representations is independent of $n$ for each $μ$---that is, the multiplicities $c_{μ,n}$ are eventually independent of $n$ for each $μ$. Church-Ellenberg-Farb proved that the cohomology of flag varieties (the so-called diagonal coinvariant algebra) is uniformly representation stable. We generalize their result from flag varieties to all Springer fibers. More precisely, we show that for any increasing subsequence of Young diagrams, the corresponding sequence of Springer representations form a graded co-FI-module of finite type (in the sense of Church-Ellenberg-Farb). We also explore some combinatorial consequences of this stability.

We investigate arithmetic, geometric and combinatorial properties of symmetric edge polytopes. We give a complete combinatorial description of their facets. By combining Gröbner basis techniques, half-open decompositions and methods for interlacing polynomials we provide an explicit formula for the $h^\ast$-polynomial in case of complete bipartite graphs. In particular, we show that the $h^\ast$-polynomial is $γ$-positive and real-rooted. This proves Gal's conjecture for arbitrary flag unimodular triangulations in this case, and, beyond that, we prove a strengthing due to Nevo and Petersen (2011).

Let $V$ be an $n$-dimensional vector space over the finite field of order $q$. The spherical building $X_V$ associated with $GL(V)$ is the order complex of the nontrivial linear subspaces of $V$. Let $\mathfrak{g}$ be the local coefficient system on $X_V$, whose value on the simplex $σ=[V_0 \subset \cdots \subset V_p] \in X_V$ is given by $\mathfrak{g}(σ)=V_0$. Following the work of Lusztig and Dupont, we study the homology module $D^k(V)=\tilde{H}_{n-k-1}(X_V;\mathfrak{g})$. Our results include a construction of an explicit basis of $D^1(V)$, and the following twisted analogue of a result of Smith and Yoshiara: For any $1 \leq k \leq n-1$, the minimal support size of a non-zero $(n-k-1)$-cycle in the twisted homology $\tilde{H}_{n-k-1}(X_V;\wedge^k \mathfrak{g})$ is $\frac{(n-k+2)!}{2}$.

The closure of a generic torus orbit in the flag variety $G/B$ of type $A_{n-1}$ is known to be a permutohedral variety and well studied. In this paper we introduce the notion of a generic torus orbit in the Schubert variety $X_w$ $(w\in \mathfrak{S}_n)$ and study its closure $Y_w$. We identify the maximal cone in the fan of $Y_w$ corresponding to a fixed point $uB$ $(u\le w)$, associate a graph $Γ_w(u)$ to each $u\le w$, and show that $Y_w$ is smooth at $uB$ if and only if $Γ_w(u)$ is a forest. We also introduce a polynomial $A_w(t)$ for each $w$, which agrees with the Eulerian polynomial when $w$ is the longest element of $\mathfrak{S}_n$, and show that the Poincaré polynomial of $Y_w$ agrees with $A_w(t^2)$ when $Y_w$ is smooth.

For $x\in End(K^n)$ satisfying $x^2 = 0$ let $F_x$ be the variety of full flags stable under the action of $x$ (Springer fiber over $x$). The full classification of the components of $F_x$ according to their smoothness was provided in a paper of Fresse-Melnikov in terms of both Young tableaux and link patterns. Moreover in a paper of Fresse the purely combinatorial algorithm to compute the singular locus of a singular components of $F_x$ is provided. However this algorithm involves the computation of the graph of the component, and the complexity of computations grows very quickly, so that in practice it is impossible to use it. In this paper, we construct another algorithm, derived from the algorithm of Fresse, providing all the components of the singular locus of a singular component of $F_x$ in terms of link patterns constructed straightforwardly from its link pattern.

We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Greene and Lascoux-Schutzenberger; 4) the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman-Greene insertion algorithm; 5) the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; 6) equivariant Pieri rules for the homology of the infinite Grassmannian; 7) homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.

Clans are combinatorial objects indexing the orbits of $GL(\mathbb{C}^p) \times GL(\mathbb{C}^q)$ on the variety of flags in $\mathbb{C}^{p+q}$. This geometry leads to a partial order on the set of clans analogous to weak Bruhat order on the symmetric group, and we study the saturated chains in this order. We prove an analogue of the Matsumoto-Tits theorem on reduced words in a Coxeter group. We also obtain enumerations of reduced word sets for particular clans in terms of standard tableaux and shifted standard tableaux.

This paper gives a survey on the relation between Hibi algebras and representation theory. The notion of Hodge algebras or algebras with straightening laws has been proved to be very useful to describe the structure of many important algebras in classical invariant theory and representation theory. In particular, a special type of such algebras introduced by Hibi provides a nice bridge between combinatorics and representation theory of classical groups. We will examine certain poset structures of Young tableaux and affine monoids, Hibi algebras in toric degenerations of flag varieties, and their relations to polynomial representations of the complex general linear group.

We investigate weighted floating bodies of polytopes. We show that the weighted volume depends on the complete flags of the polytope. This connection is obtained by introducing flag simplices, which translate between the metric and combinatorial structure. Our results are applied in spherical and hyperbolic space. This leads to new asymptotic results for polytopes in these spaces. We also provide explicit examples of spherical and hyperbolic convex bodies whose floating bodies behave completely different from any convex body in Euclidean space.

We prove that among all flag homology $5$-manifolds with $n$ vertices, the join of $3$ circles of as equal length as possible is the unique maximizer of all the face numbers. The same upper bounds on the face numbers hold for $5$-dimensional flag Eulerian normal pseudomanifolds.

This paper explores the possible use of Schubert cells and Schubert varieties in finite geometry, particularly in regard to the question of whether these objects might be a source of understanding of ovoids or provide new examples. The main result provides a characterization of those Schubert cells for finite Chevalley groups which have the first property (thinness) of ovoids. More importantly, perhaps this short paper can help to bridge the modern language barrier between finite geometry and representation theory. For this purpose, this paper includes very brief surveys of the powerful lattice theory point of view from finite geometry and the powerful method of indexing points of flag varieties by Chevalley generators from representation theory.

The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's "$d$-complete posets" to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$-complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$-theoretic Schubert structure constants in the Kac-Moody setting.

The goal of this paper is to study the link between the topology of the degenerate flag varieties and combinatorics of the Dellac configurations. We define three new classes of algebraic varieties closely related to the degenerate flag varieties of types A and C. The construction is based on the quiver Grassmannian realization of the degenerate flag varieties and odd symplectic and odd and even orthogonal groups. We study basic properties of our varieties; in particular, we construct cellular decomposition in all the three cases above (as well as in the case of even symplectic group). We also compute the Poincaré polynomials in terms of certain statistics on the set of symmetric Dellac configurations.

In this tutorial, we provide an overview of many of the established combinatorial and algebraic tools of Schubert calculus, the modern area of enumerative geometry that encapsulates a wide variety of topics involving intersections of linear spaces. It is intended as a guide for readers with a combinatorial bent to understand and appreciate the geometric and topological aspects of Schubert calculus, and conversely for geometric-minded readers to gain familiarity with the relevant combinatorial tools in this area. We lead the reader through a tour of three variations on a theme: Grassmannians, flag varieties, and orthogonal Grassmannians. The orthogonal Grassmannian, unlike the ordinary Grassmannian and the flag variety, has not yet been addressed very often in textbooks, so this presentation may be helpful as an introduction to type B Schubert calculus. This work is adapted from the author's lecture notes for a graduate workshop during the Equivariant Combinatorics Workshop at the Center for Mathematics Research, Montreal, June 12-16, 2017.

We show that the product in the quantum K-ring of a generalized flag manifold $G/P$ involves only finitely many powers of the Novikov variables. In contrast to previous approaches to this finiteness question, we exploit the finite difference module structure of quantum K-theory. At the core of the proof is a bound on the asymptotic growth of the $J$-function, which in turn comes from an analysis of the singularities of the zastava spaces studied in geometric representation theory. An appendix by H. Iritani establishes the equivalence between finiteness and a quadratic growth condition on certain shift operators.

We present a discrete Morse-theoretic method for proving that a regular CW complex is homeomorphic to a sphere. We use this method to define bisimplices, the cells of a class of regular CW complexes we call bisimplicial complexes. The 1-skeleta of bisimplices are complete bipartite graphs making them suitable in constructing higher dimensional skeleta for bipartite graphs. We show that the flag bisimplicial completion of a finite bipartite bi-dismantlable graph is collapsible. We use this to show that the flag bisimplicial completion of a quadric complex is contractible and to construct a compact K(G,1) for G a torsion-free quadric group.

We prove that graded $k$-Schur functions are $G$-equivariant Euler characteristics of vector bundles on the flag variety, settling a conjecture of Chen-Haiman. We expose a new miraculous shift invariance property of the graded $k$-Schur functions and resolve the Schur positivity and $k$-branching conjectures in the strongest possible terms by providing direct combinatorial formulas using strong marked tableaux.

We show that the Chow covectors of a linkage matching field define a bijection between certain degree vectors and lattice points, and we demonstrate how one can recover the linkage matching field from this bijection. This resolves two open questions from Sturmfels and Zelevinsky (1993) on linkage matching fields. For this, we give an explicit construction that associates a bipartite incidence graph of an ordered partition of a common set to each lattice point in a dilated simplex. Given a triangulation of a product of two simplices encoded by a set of spanning trees on a bipartite node set, we similarly prove that the bijection from left to right degree vectors of the trees is enough to recover the triangulation. As additional results, we show a cryptomorphic description of linkage matching fields and characterise the flip graph of a linkage matching field in terms of its prodsimplicial flag complex. Finally, we relate our findings to transversal matroids through the tropical Stiefel map.

Grünbaum, Barnette, and Reay in 1974 completed the characterization of the pairs $(f_i,f_j)$ of face numbers of $4$-dimensional polytopes. Here we obtain a complete characterization of the pairs of flag numbers $(f_0,f_{03})$ for $4$-polytopes. Furthermore, we describe the pairs of face numbers $(f_0,f_{d-1})$ for $d$-polytopes; this description is complete for even $d\ge6$ except for finitely many exceptional pairs that are "small" in a well-defined sense, while for odd $d$ we show that there are also "large" exceptional pairs. Our proofs rely on the insight that "small" pairs need to be defined and to be treated separately; in the $4$-dimensional case, these may be characterized with the help of the characterizations of the $4$-polytopes with at most $8$ vertices by Altshuler and Steinberg (1984).

We introduce the notion of a \emph{Whitney dual} of a graded poset. Two posets are Whitney duals to each other if (the absolute value of) their Whitney numbers of the first and second kind are interchanged between the two posets. We define new types of edge and chain-edge labelings which we call \emph{Whitney labelings}. We prove that every graded poset with a Whitney labeling has a Whitney dual. Moreover, we show how to explicitly construct a Whitney dual using a technique involving quotient posets. As applications of our main theorem, we show that geometric lattices, the lattice of noncrossing partitions, the poset of weighted partitions studied by González D'León-Wachs, and most of the R$^*$S-labelable posets studied by Simion-Stanley all have Whitney duals. Our technique gives a combinatorial description of a Whitney dual of the noncrossing partition lattice in terms of a family of noncrossing Dyck paths. Our method also provides an explanation of the Whitney duality between the poset of weighted partitions and a poset of rooted forests studied by Reiner and Sagan. An integral part of this explanation is a new chain-edge labeling for the poset of weighted partitions which we show is a Whitney labeling. Finally, we show that a graded poset with a Whitney labeling admits a local action of the $0$-Hecke algebra of type $A$ on its set of maximal chains. The characteristic of the associated representation is Ehrenborg's flag quasisymmetric function. The existence of this action implies, using a result of McNamara, that when the maximal intervals of the constructed Whitney duals are bowtie-free, they are also snellable. In the case where these maximal intervals are lattices, they are supersolvable.