arXiv++ Combinatorics

In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of diagonal Gröbner degenerations of matrix Schubert varieties, counted with scheme-theoretic multiplicity. This indexing was conjectured by Hamaker, Pechenik, and Weigandt (2022). This result establishes that bumpless pipe dreams are dual to and as geometrically natural as classical pipe dreams, for which an analogous anti-diagonal theory was developed by Knutson and Miller (2005).

We prove that the random flag complex has a probability regime where the probability of nonvanishing homology is asymptotically bounded away from zero and away from one. Related to this main result we also establish new bounds on a sharp threshold for the fundamental group of a random flag complex to be a free group. In doing so we show that there is an intermediate probability regime in which the random flag complex has fundamental group which is neither free nor has Kazhdan's property (T).

This paper is the sequel to ``$B_{n-1}$-bundles on the flag variety, I". We continue our study of the orbits of a Borel subgroup $B_{n-1}$ of $G_{n-1}=GL(n-1)$ (resp. $SO(n-1)$) acting on the flag variety $\mathcal{B}_{n}$ of $G=GL(n)$ (resp. $SO(n)$). We begin by using the results of the first paper to obtain a complete combinatorial model of the $B_{n-1}$-orbits on $\mathcal{B}_{n}$ in terms of partitions into lists. The model allows us to obtain explicit formulas for the number of orbits as well as the exponential generating functions for the sequences $\{|B_{n-1}\backslash \mathcal{B}_{n}|\}_{n\geq 1}$ . We then use the combinatorial description of the orbits to construct a canonical set of representatives of the orbits in terms of flags. These representatives allow us to understand an extended monoid action on $B_{n-1}\backslash \mathcal{B}_{n}$ using simple roots of both $\mathfrak{g}_{n-1}$ and $\mathfrak{g}$ and show that the closure ordering on $B_{n-1}\backslash \mathcal{B}_{n}$ is the standard ordering of Richardson and Springer.

After proving that every Schubert variety in the full flag variety of a complex reductive group $G$ is a general Hessenberg variety, we show that not all such Schubert varieties are adjoint Hessenberg varieties. In fact, in types A and C, we provide pattern avoidance criteria implying that the proportion of Schubert varieties that are adjoint Hessenberg varieties approaches zero as the rank of $G$ increases. We show also that in type A, some Schubert varieties are not isomorphic to any adjoint Hessenberg variety.

Let $P$ be a graded poset of rank $r$ and let $\mathbf{c}$ be a $c$-element chain. For an order ideal $I$ of $P \times \mathbf{c}$, its rowmotion $ψ(I)$ is the smallest ideal containing the minimal elements of the complementary filter of $I$. The map $ψ$ defines invertible dynamics on the set of ideals. We say that $P$ has NRP ("not relatively prime") rowmotion if no $ψ$-orbit has cardinality relatively prime to $r+c+1$. In work with R. Patrias (2020), we proved a 1995 conjecture of P. Cameron and D. Fon-Der-Flaass by establishing NRP rowmotion for the product $P = \mathbf{a} \times \mathbf{b}$ of two chains, the poset whose order ideals correspond to the Schubert varieties of a Grassmann variety $\mathrm{Gr}_a(\mathbb{C}^{a+b})$ under containment. Here, we initiate the general study of posets with NRP rowmotion. Our first main result establishes NRP rowmotion for all minuscule posets $P$, posets whose order ideals reflect the Schubert stratification of minuscule flag varieties. Our second main result is that NRP promotion depends only on the isomorphism class of the comparability graph of $P$.

The feasible region $Ω_{\rm ind}(F)$ of a graph $F$ is the collection of points $(x,y)$ in the unit square such that there exists a sequence of graphs whose edge densities approach $x$ and whose induced $F$-densities approach $y$. A complete description of $Ω_{\rm ind}(F)$ is not known for any $F$ with at least four vertices that is not a clique or an independent set. The feasible region provides a lot of combinatorial information about $F$. For example, the supremum of $y$ over all $(x,y)\in Ω_{\rm ind}(F)$ is the inducibility of $F$ and $Ω_{\rm ind}(K_r)$ yields the Kruskal-Katona and clique density theorems. We begin a systematic study of $Ω_{\rm ind}(F)$ by proving some general statements about the shape of $Ω_{\rm ind}(F)$ and giving results for some specific graphs $F$. Many of our theorems apply to the more general setting of quantum graphs. For example, we prove a bound for quantum graphs that generalizes an old result of Bollobás for the number of cliques in a graph with given edge density. We also consider the problems of determining $Ω_{\rm ind}(F)$ when $F=K_r^-$, $F$ is a star, or $F$ is a complete bipartite graph. In the case of $K_r^-$ our results sharpen those predicted by the edge-statistics conjecture of Alon et. al. while also extending a theorem of Hirst for $K_4^-$ that was proved using computer aided techniques and flag algebras. The case of the 4-cycle seems particularly interesting and we conjecture that $Ω_{\rm ind}(C_4)$ is determined by the solution to the triangle density problem, which has been solved by Razborov.

The triangulations of a surface $Σ$ with a prescribed set of vertices can be endowed with a graph structure $\mathcal{F}(Σ)$. Its edges connect two triangulations that differ by a single arc. It is known that, when $Σ$ is a convex polygon or a topological surface, the subgraph $\mathcal{F}_\varepsilon(Σ)$ induced in $\mathcal{F}(Σ)$ by the triangulations that contain a given arc $\varepsilon$ is strongly convex in the sense that all the geodesic paths between two such triangulations remain in that subgraph. Here, we provide a related result that involves a triangle instead of an arc, in the case when $Σ$ is a convex polygon. We show that, when the three edges of a triangle $τ$ appear in (possibly distinct) triangulations along a geodesic path, $τ$ must belong to a triangulation in that path. More generally, we prove that certain $3$-dimensional triangulations related to the geodesics in $\mathcal{F}(Σ)$ are flag when $Σ$ is a convex polygon with flat vertices, and provide two consequences. The first is that $\mathcal{F}_\varepsilon(Σ)$ is not always strongly convex when $Σ$ is a convex polygon with either two flat vertices or two punctures. The second is that the number of arc crossings between two triangulations of a topological surface $Σ$ does not allow to approximate their distance in $\mathcal{F}(Σ)$ by a factor of less than $3/2$.

In this paper we study the role of planarity in generalized scattering amplitudes, through several closely interacting structures in combinatorics, algebraic and tropical geometry. The generalized biadjoint scalar amplitude, introduced recently by Cachazo-Early-Guevara-Mizera (CEGM), is a rational function of homogeneous degree $-(k-1)(n-k-1)$ in $\binom{n}{k}-n$ independent variables; its poles can be constructed directly from the rays of the positive tropical Grassmannian. We introduce for each pair of integers $(k,n)$ with $2\le k\le n-2$ a system of generalized positive roots which arises as a specialization of the planar basis of kinematic invariants. We prove that the higher root polytope $\mathcal{R}^{(k)}_{n-k}$ has volume the k-dimensional Catalan number $C^{(k)}_{n-k}$, via a flag unimodular triangulation into simplices, in bijection with noncrossing collections of $k$-element subsets. We also give a bijection between certain positroidal subdivisions, called tripods, of the hypersimplex $Δ_{3,n}$ and noncrossing pairs of 3-element subsets that are not weakly separated. We show that the facets of the Planar Kinematics (PK) polytope, introduced recently by Cachazo and the author, are exactly the $\binom{n}{k}-n$ generalized positive roots. We show that the PK specialization of the generalized biadjoint amplitude evaluates to $C^{(k)}_{n-k}$. Looking forward, we give defining equations and conjecture explicit solutions using $(\mathbb{CP}^{n-k-1})^{\times (k-1)}$ via a notion of compatibility degree for noncrossing collections, for a two parameter family of generalized worldsheet associahedra $\mathcal{W}^+_{k,n}$. These specialize when $k=2$ to a certain dihedrally invariant partial compactification of the configuration space $M_{0,n}$ of $n$ distinct points in $\mathbb{CP}^{1}$. Many detailed examples are given throughout to motivate future work.

We study the generalized double $β$-Grothendieck polynomials for all types. We study the Cauchy formulas for them. Using this, we deduce the K-theoretic version of the comodule structure map $α^*: K(G/B)\to K(G)\otimes K(G/B)$ induced by the group action map for reductive group $G$ and its flag variety $G/B$. Furthermore, we give a combinatorial formula to compute the localization of Schubert classes as a generalization of Billey's formula.

We associate with every pure flag simplicial complex $Δ$ a standard graded Gorenstein $\mathbb{F}$-algebra $R_Δ$ whose homological features are largely dictated by the combinatorics and topology of $Δ$. As our main result, we prove that the residue field $\mathbb{F}$ has a $k$-step linear $R_Δ$-resolution if and only if $Δ$ satisfies Serre's condition $(S_k)$ over $\mathbb{F}$, and that $R_Δ$ is Koszul if and only if $Δ$ is Cohen-Macaulay over $\mathbb{F}$. Moreover, we show that $R_Δ$ has a quadratic Gröbner basis if and only if $Δ$ is shellable. We give two applications: first, we construct quadratic Gorenstein $\mathbb{F}$-algebras which are Koszul if and only if the characteristic of $\mathbb{F}$ is not in any prescribed set of primes. Finally, we prove that whenever $R_Δ$ is Koszul the coefficients of its $γ$-vector alternate in sign, settling in the negative an algebraic generalization of a conjecture by Charney and Davis.

We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rings.

In previous work we equipped quiver Grassmannians for nilpotent representations of the equioriented cycle with an action of an algebraic torus. We show here that the equivariant cohomology ring is acted upon by a product of symmetric groups and we investigate this permutation action via GKM techniques. In the case of (type A) flag varieties, or Schubert varieties therein, we recover Tymoczko's results on permutation representations.

We enlarge a Coxeter group into a category, with one object for each finite parabolic subgroup, encoding the combinatorics of double cosets. This category, the singular Coxeter monoid, is connected to the geometry of partial flag varieties. Our main result is a presentation of this category by generators and relations. We also provide a new description of reduced expressions for double cosets. We describe all the braid relations between such reduced expressions, and prove an analogue of Matsumoto's theorem. This gives a proper development of ideas first introduced by Geordie Williamson. In type A we also equip the singular Coxeter monoid with a diagrammatic presentation using webs.

A flag of a finite set $S$ is a set $f$ of non-empty proper subsets of $S$ such that $A\subseteq B$ or $B\subseteq A$ for all $A,B\in f$. The set $\{|A|:A\in f\}$ is called the type of $f$. Two flags $f$ and $f'$ are in general position (with respect to $S$) when $A\cap B=\emptyset$ or $A\cup B=S$ for all $A\in f$ and $B\in f'$. We study sets of flags of a fixed type $T$ that are mutually not in general position and are interested in the largest cardinality of these sets. This is a generalization of the classical Erdös-Ko-Rado problem. We will give some basic facts and determine the largest cardinality in several non-trivial cases. For this we will define graphs whose vertices are flags and the problem is to determine the independence number of these graphs.

The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from the fundamental one to its translation by the given dominant weight. This is established through quantum Yang-Baxter moves, which biject the objects of the model associated with two such alcove paths, and can be viewed as a generalization of jeu de taquin slides to arbitrary root systems. The purpose of this paper is to give a generalization of quantum Yang-Baxter moves to the quantum alcove model corresponding to an arbitrary weight, which was used to express a general Chevalley formula in the equivariant $K$-group of semi-infinite flag manifolds. The generalized quantum Yang-Baxter moves give rise to a "sijection" (bijection between signed sets), and are shown to preserve certain important statistics, including weights and heights. As an application, we prove that the generating function of these statistics does not depend on the choice of a reduced alcove path. Also, we obtain an identity for the graded characters of Demazure submodules of level-zero extremal weight modules over a quantum affine algebra, which can be thought of as a representation-theoretic analogue of the mentioned Chevalley formula. Other applications and some open problems involving "signed crystals" are discussed.

We explore four approaches to the question of defectivity for a complex projective toric variety $X_A$ associated with an integral configuration $A$. The explicit tropicalization of the dual variety $X_A^\vee$ due to Dickenstein, Feichtner, and Sturmfels allows for the computation of the defect in terms of an affine combinatorial invariant $ρ(A)$. We express $ρ(A)$ in terms of affine invariants $ι(A)$ associated to Esterov's iterated circuits and $λ(A)$, an invariant defined by Curran and Cattani in terms of a Gale dual of $A$. Thus we obtain formulae for the dual defect in terms of iterated circuits and Gale duals. An alternative expression for the dual defect of $X_A$ is given by Furukawa-Ito in terms of Cayley decompositions of $A$. We give a Gale dual interpretation of these decompositions and apply it to the study of defective configurations.

Marked chain-order polytopes are convex polytopes constructed from a marked poset, which give a discrete family relating a marked order polytope with a marked chain polytope. In this paper, we consider the Gelfand-Tsetlin poset of type A, and realize the associated marked chain-order polytopes as Newton-Okounkov bodies of the flag variety. Our realization connects previous realizations of Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann-Vinberg polytopes as Newton-Okounkov bodies in a uniform way. As an application, we prove that the flag variety degenerates into the irreducible normal projective toric variety corresponding to a marked chain-order polytope. We also construct a specific basis of an irreducible highest weight representation which is naturally parametrized by the set of lattice points in a marked chain-order polytope.

A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties. This establishes a conjecture of the latter two authors, and a new formulation in terms of standard Coxeter elements. Our proof uses the theory of key polynomials (type A Demazure module characters).

Given a permutation $f$, we study the positroid Catalan number $C_f$ defined to be the torus-equivariant Euler characteristic of the associated open positroid variety. We introduce a class of repetition-free permutations and show that the corresponding positroid Catalan numbers count Dyck paths avoiding a convex subset of the rectangle. We show that any convex subset appears in this way. Conjecturally, the associated $q,t$-polynomials coincide with the generalized $q,t$-Catalan numbers that recently appeared in relation to the shuffle conjecture, flag Hilbert schemes, and Khovanov-Rozansky homology of Coxeter links.

We study standard monomial bases for Richardson varieties inside the flag variety. In general, writing down a standard monomial basis for a Richardson variety can be challenging, as it involves computing so-called defining chains or key tableaux. However, for a certain family of Richardson varieties, indexed by compatible permutations, we provide a very direct and straightforward combinatorial rule for writing down a standard monomial basis. We apply this result to the study of toric degenerations of Richardson varieties. In particular, we provide a new family of toric degenerations of Richardson varieties inside flag varieties.