arXiv++ Combinatorics

We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.

We collect Atiyah-Bott Combinatorial Dreams (A.B.C.Ds) in Schubert calculus. One result relates equivariant structure coefficients for two isotropic flag manifolds, with consequences to the thesis of C. Monical. We contextualize using work of N. Bergeron-F. Sottile, S. Billey-M. Haiman, P. Pragacz, and T. Ikeda-L. Mihalcea-I. Naruse. The relation complements a theorem of A. Kresch-H. Tamvakis in quantum cohomology. Results of A. Buch-V. Ravikumar rule out a similar correspondence in K-theory.

The complex orthogonal and symplectic groups both act on the complete flag variety with finitely many orbits. We study two families of polynomials introduced by Wyser and Yong representing the $K$-theory classes of the closures of these orbits. Our polynomials are analogous to the Grothendieck polynomials representing $K$-classes of Schubert varieties, and we show that like Grothendieck polynomials, they are uniquely characterized among all polynomials representing the relevant classes by a certain stability property. We show that the same polynomials represent the equivariant $K$-classes of symmetric and skew-symmetric analogues of Knutson and Miller's matrix Schubert varieties. We derive explicit expressions for these polynomials in special cases, including a Pfaffian formula relying on a more general degeneracy locus formula of Anderson. Finally, we show that taking an appropriate limit of our representatives recovers the $K$-theoretic Schur $Q$-functions of Ikeda and Naruse.

Recent work of the first author, Negut and Rasmussen, and of Oblomkov and Rozansky in the context of Khovanov--Rozansky knot homology produces a family of polynomials in $q$ and $t$ labeled by integer sequences. These polynomials can be expressed as equivariant Euler characteristics of certain line bundles on flag Hilbert schemes. The $q,t$-Catalan numbers and their rational analogues are special cases of this construction. In this paper, we give a purely combinatorial treatment of these polynomials and show that in many cases they have nonnegative integer coefficients. For sequences of length at most 4, we prove that these coefficients enumerate subdiagrams in a certain fixed Young diagram and give an explicit symmetric chain decomposition of the set of such diagrams. This strengthens results of Lee, Li and Loehr for $(4,n)$ rational $q,t$-Catalan numbers.

Various partial orders related to the structures of dual canonical monoids are investigated. It is shown that the nilpotent variety of a dual canonical monoid is equidimensional; its dimension is found. It is shown in type A that certain intervals of the Putcha poset of a dual canonical monoid are isomorphic to the Renner monoids of matrices. The notion of a two-sided weak order on a normal reductive monoid is introduced. A criterion, in terms of type maps, for the covering relations in a two-sided weak order to have degree 2 is found. It is shown that, for the unique equivariant divisor of a dual canonical monoid (the asymptotic semigroup), the covering relations of the two-sided weak order are always of degree 1. These computations provide new insights for the two-sided weak orders on Coxeter groups. In type A, some enumerative results for the covering relations are presented.

The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus minus theorem, by using a projective transformation. The same tool allows us to derive plus minus analogues of all known affine Tverberg type results. In particular, we prove a plus minus analogue of the optimal colored Tverberg theorem.

The group $G = GL_r(k) \times (k^\times)^n$ acts on $\mathbf{A}^{r \times n}$, the space of $r$-by-$n$ matrices: $GL_r(k)$ acts by row operations and $(k^\times)^n$ scales columns. A matrix orbit closure is the Zariski closure of a point orbit for this action. We prove that the class of such an orbit closure in $G$ equivariant $K$-theory of $\mathbf{A}^{r \times n}$ is determined by the matroid of a generic point. We present two formulas for this class. The key to the proof is to show that matrix orbit closures have rational singularities.

Motivic Chern classes are elements in the K-theory of an algebraic variety $X$, depending on an extra parameter $y$. They are determined by functoriality and a normalization property for smooth $X$. In this paper we calculate the motivic Chern classes of Schubert cells in the (equivariant) K-theory of flag manifolds $G/B$. We show that the motivic class of a Schubert cell is determined recursively by the Demazure-Lusztig operators in the Hecke algebra of the Weyl group of $G$, starting from the class of a point. The resulting classes are conjectured to satisfy a positivity property. We use the recursions to give a new proof that they are equivalent to certain K-theoretic stable envelopes recently defined by Okounkov and collaborators, thus recovering results of Fehér, Rimányi and Weber. The Hecke algebra action on the K-theory of the Langlands dual flag manifold matches the Hecke action on the Iwahori invariants of the principal series representation associated to an unramified character for a group over a nonarchimedean local field. This gives a correspondence identifying the duals of the motivic Chern classes to the standard basis in the Iwahori invariants, and the fixed point basis to Casselman's basis. We apply this correspondence to prove two conjectures of Bump, Nakasuji and Naruse concerning factorizations and holomorphy properties of the coefficients in the transition matrix between the standard and the Casselman's basis.

The equivariant Kazhdan-Lusztig polynomial of a matroid was introduced by Gedeon, Proudfoot, and Young. Gedeon conjectured an explicit formula for the equivariant Kazhdan-Lusztig polynomials of thagomizer matroids with an action of symmetric groups. In this paper, we discover a new formula for these polynomials which is related to the equivariant Kazhdan-Lusztig polynomials of uniform matroids. Based on our new formula, we confirm Gedeon's conjecture by the Pieri rule.

We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of $k$ spheres to the unit sphere in a real $(\mathbb{Z}/2)^k$-representation of the same dimension. Our proof method allows us to derive Borsuk--Ulam theorems for certain equivariant maps from Stiefel manifolds, from the corresponding results about products of spheres, leading to alternative proofs and extensions of some results of Fadell and Husseini.

Binomial Eulerian polynomials first appeared in work of Postnikov, Reiner and Williams on the face enumeration of generalized permutohedra. They are $γ$-positive (in particular, palindromic and unimodal) polynomials which can be interpreted as $h$-polynomials of certain flag simplicial polytopes and which admit interesting Schur $γ$-positive symmetric function generalizations. This paper introduces analogues of these polynomials for $r$-colored permutations with similar properties and uncovers some new instances of equivariant $γ$-positivity in geometric combinatorics.

Given a Schubert class on $Gr(k,V)$ where $V$ is a symplectic vector space of dimension $2n$, we consider its restriction to the symplectic Grassmannian $SpGr(k,V)$ of isotropic subspaces. Pragacz gave tableau formulae for positively computing the expansion of these $H^*(Gr(k,V))$ classes into Schubert classes of the target when $k=n$, which corresponds to expanding Schur polynomials into $Q$-Schur polynomials. Coskun described an algorithm for their expansion when $k\leq n$. We give a puzzle-based formula for these expansions, while extending them to equivariant cohomology. We make use of a new observation that usual Grassmannian puzzle pieces are already enough to do some $2$-step Schubert calculus, and apply techniques from quantum integrable systems (``scattering diagrams'').

Motivated by work of Gusein-Zade, Luengo, and Melle-Hernández, we study a specific generating series of arm and leg statistics on partitions, which is known to compute the Poincaré polynomials of Z_3-equivariant Hilbert schemes of points in the plane, where Z_3 acts diagonally. This generating series has a conjectural product formula, a proof of which has remained elusive over the last ten years. We introduce a new combinatorial correspondence between partitions of n and {1,2}-compositions of n, which behaves well with respect to the statistic in question. As an application, we use this correspondence to compute the highest Betti numbers of the Z_3 equivariant Hilbert schemes.

Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.

We study the double Grothendieck polynomials of Kirillov--Naruse for the symplectic and odd orthogonal Grassmannians. These functions are explicitly written as sums of Pfaffian and are identified with the stable limits of the fundamental classes of Schubert varieties in the torus equivariant connective K-theory of these isotropic Grassmannians. We also provide a combinatorial description of the ring formally spanned by double Grothendieck polynomials.

We use geometry to give a short proof of an equivariant Pieri rule in the classical flag manifold. This rule is due to Robinson, who gave an algebraic proof.

Given a partition $V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ of the vertex set of a graph, we are interested in finding multiple disjoint independent sets that contain the correct fraction of vertices of each $V_j$. We give conditions for the existence of $q$ such independent sets in terms of the topology of the independence complex. We relate this question to the existence of $q$-fold points of coincidence for any continuous map from the independence complex to Euclidean space of a certain dimension, and to the existence of equivariant maps from the $q$-fold deleted join of the independence complex to a certain representation sphere of the symmetric group. As a corollary we derive the existence of $q$ pairwise disjoint independent sets accurately representing the $V_j$ in certain sparse graphs for $q$ a power of a prime.

We introduce and study combinatorial equivariant analogues of the Kronheimer--Mrowka homology theory of planar trivalent graphs.

We introduce $q$-analogues of uniform matroids, which we call $q$-niform matroids. While uniform matroids admit actions of symmetric groups, $q$-niform matroids admit actions of finite general linear groups. We show that the equivariant Kazhdan-Lusztig polynomial of a $q$-niform matroid is the unipotent $q$-analogue of the equivariant Kazhdan-Lusztig polynomial of the corresponding uniform matroid, thus providing evidence for the positivity conjecture for equivariant Kazhdan-Lusztig polynomials.

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.