arXiv++ Combinatorics

Let $U$ be a tensor product of highest weight modules of $GL_n(\mathbb C)$ corresponding to multiples of fundamental weights (i.e. rectangles). We consider three ways to stratify $U^{\otimes k}$ into components: using isotypic components of the cyclic action on tensor factors, using a generalization of the charge statistic, and using certain generalizations of Assaf's dual equivalence graphs. We conjecture that all three ways coincide, and we prove that the latter two ways coincide. The Kirillov-Reshetikhin dual equivalence graphs (KR DEGs) we introduce for this purpose are defined on $0$-weight spaces of tensor products of Kirillov-Reshetikhin crystals. They generalize Kazhdan-Lusztig dual equivalence graphs (KL DEGs) that previously appeared in the study of Kazhdan-Lusztig cells in affine type A. While the tensor products of Kirillov-Reshetikhin crystals are connected as affine crystals, the KR DEGs in general are not.

A natural unit interval order is a naturally labelled partially ordered set that avoids patterns ${\bf 3} + {\bf 1}$ and $\bf 2 + 2$. To each natural unit interval order one can associate a symmetric function. The Stanley-Stembridge conjecture states that each such symmetric function is positive in the basis of complete homogenous symmetric functions. This conjecture has connections to cohomology rings of Hessenberg varieties, and to Kazhdan-Lusztig theory. We use a diagrammatic technique to re-prove the special case of the conjecture for unit interval orders additionally avoiding pattern $\bf 2 + 1 + 1$. Originally this special case is due to Gebhard and Sagan.

A numerical semigroup is a cofinite subset of $\mathbb Z_{\ge 0}$ containing $0$ and closed under addition. Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in the Kunz cone $\mathcal C_m \subseteq \mathbb R^{m-1}$, and the face of $\mathcal C_m$ containing that integer point determines certain algebraic properties of $S$. In this paper, we introduce the Kunz fan, a pure, polyhedral cone complex comprised of a faithful projection of certain faces of $\mathcal C_m$. We characterize several aspects of the Kunz fan in terms of the combinatorics of Kunz nilsemigroups, which are known to index the faces of $\mathcal C_m$, and our results culminate in a method of "walking" the face lattice of the Kunz cone in a manner analogous to that of a Gröbner walk. We apply our results in several contexts, including a wealth of computational data obtained from the aforementioned "walks" and a proof of a recent conjecture concerning which numerical semigroups achieve the highest minimal presentation cardinality when one fixes the smallest positive element and the number of generators.

We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for quickly computing homological invariants of such varieties, finding the components of an ASM variety, and checking if a union of matrix Schubert varieties is an ASM variety.