arXiv++ Combinatorics

We study universal derived equivalences between diagram categories indexed by finite posets. Starting from a construction of Ladkani, we give an intrinsic criterion for determining when a finite poset admits a decomposition to which this construction can be applied. This leads to the notion of an admissible cut, formulated entirely in terms of the order structure of the poset. Our main result therefore provides a method for producing, from a given finite poset admitting such a cut, a new poset that is universally derived equivalent to it. The construction is reversible once the partition is retained, so that the original mixed order relations can be recovered from the transformed poset. As applications, we show that every finite poset of height at most one is universally derived equivalent to its opposite, give a criterion characterizing source-to-sink transformations at minimal elements, and recover the universal derived equivalence of all orientations of a finite tree through sequences of such local transformations. These results are also applied to persistence modules indexed by finite posets and to extensions obtained by adjoining further finite parameters.

The $F$-invariant in cluster algebras is a combinatorial invariant that unifies the $E$-invariant from additive categorification and the $\mathfrak{d}$-invariant from monoidal categorification. In this paper, we study its refinement, the partial $F$-invariant, and establish its mutation formula under changes of the initial seed. As an application, we prove a conjecture of Reading, which asserts that the non-compatible cluster variables can be separated by sign-coherence of $g$-vectors upon varying the initial seed. We further show that, for cluster monomials, the partial $F$-invariants coincide with both the partial $E$-invariants for reachable decorated representations of quivers with potentials and the pole orders of normalized $R$-matrices (or partial $\mathfrak{d}$-invariants) for finite-dimensional reachable simple modules over quantum affine algebras. As consequences, we obtain a combinatorial formula for the pole orders for reachable simple modules in terms of $q$-characters; we verify the conjectural explicit formula for the pole orders between Kirillov--Reshetikhin modules.

We give several characterizations of an inhomogeneous basis of the ring of symmetric functions whose evaluations are the character values of the irreducible representations of the rook monoid (symmetric inverse semigroup). Using Schur--Weyl duality, we show that the transition coefficients of this basis with the power symmetric basis are the characters of the propagating partition algebra (dual symmetric inverse monoid algebra). In addition, the structure coefficients of this basis are equal to the coefficients in the smash (or Heisenberg) product of Schur functions.

Let $G$ be a finite group acting properly by lattice automorphisms on a complete simplicial fan $Σ$. An open question due to Stanley asked whether the (ungraded) representation carried by the cohomology $H^*(X_Σ)$ of the associated toric variety $X_Σ$ is isomorphic to a permutation representation of $G$. We prove that Stanley's question has an affirmative answer for all smooth projective toric varieties without the properness assumption on the action. The proof is inspired by toric mirror symmetry.

For irreducible components $C_σ$ of Lusztig's nilpotent varieties of type $A$ with graded dimension $(1,2,\dots,n,n-1,\dots,1)$ arising from permutations $σ\in S_n$, we characterize the property that $C_σ\oplus C_σ$ is an irreducible component combinatorially in terms of $σ$. The permutations that occur, which we call \emph{pseudosmooth}, are described by a recursion on direct sums and deleting suitable corners, whose terminal cases are the permutations obtained from \[ 3412,\quad 4231,\quad 35142,\quad 42513,\quad 45312,\quad 426153,\quad 463152,\quad 526413 \] by inflating the entries into consecutive decreasing blocks. The main new input is a hereditary property valid for decompositions of multisegments with disjoint extreme points.

A finite simple graph $G$ is called a cograph if it does not contain the path on four vertices $P_4$ as an induced subgraph. It is classically known that the family of cographs are well-quasi-ordered by the induced subgraph relation \cite{D}. In preceding work of Knudsen and the third author \cite[Theorem 7.2]{KR}, it was shown that this well-quasi-order statement admitted a categorification, which allowed those authors to prove universal finite generation statements about the homology groups of configuration spaces on cographs \cite[Theorem 1.5]{KR}. In this work, we expand \cite[Theorem 7.2]{KR} to be compatible with the family of polynomial rings on the vertex sets of cographs. By consequence, we are able to prove a number of universality results related with edge and toric ideals of these polynomial ring, partially generalizing and expanding upon work of Kahle \cite{kahle2019binomial}. We also conclude strong restrictions on the kinds of topologies that can arise from graph complexes and anchored configuration spaces associated to cographs, as well as combinatorial constraints on the possible combinatorics of hyperplane arrangements of cographs.

Granville and Ono proved that there is an $e$-core partition of $n$ for every $n\in\mathbb{N}$ if and only if $e\geq 4$, which translates to a statement about the existence of defect $0$ blocks for symmetric groups in positive characteristic and defect $0$ unipotent blocks of finite general linear groups in positive, non-defining characteristic. Motivated by analogous applications to the block theory of finite classical groups, imprimitive spetses, and cyclotomic Hecke algebras, we prove similar positivity statements about different variants of $e$-cores for charged multipartitions.

We prove a Haglund--Haiman--Loehr type combinatorial formula for the torus fixed point classes $I_{μ,w}$ in the equivariant $K$-theory $K_{\mathbb{C}^{*}\times\mathbb{C}^{*}}(\operatorname{PFH}_{n,n-k})$ of parabolic flag Hilbert schemes. Under the identification of Bechtloff Weising and Orr, our result gives an HHL type formula for modified partially symmetric Macdonald functions in terms of weighted partial Dyck paths. When $w=\emptyset$, it specializes to the classical HHL formula. The proof relies essentially on the Carlsson--Gorsky--Mellit action of the Carlsson--Mellit algebra $\mathbb{A}_{q,t}$.

We prove a necessary condition conjecture ([27, Conjecture B]) for the maximal singularity of the Hilbert scheme of points in 3D for a large class of degrees, which in particular implies the 1978 Briançon-Iarrobino Conjecture for a tetrahedral degree, and vastly generalises the result in [19]. The novelty lies in introducing a new upper bound on the dimensions of the tangent spaces of the claimed non-maximally singular ideals, constructing canonical ideals that satisfy the claimed maximal singularity condition, providing a lower bound on the dimension of their tangent spaces, and finally comparing the two cases.

Using a bijection between the lattice points in a lecture hall polytope and Lakshimibai-Seshadri (L-S) paths, we prove the Koszul property of lecture hall polytopes in complete generality, and give new proofs for their Integral Decomposition Property and for a criterion on Gorenstein property.

We determine the measures (in the sense of Harman--Snowden) on the Fraïssé class of partially ordered sets: the space of measures is a union of a plane, eight lines, and 15 isolated points. This is the first case where the space is not equidimensional, and the first primitive case in which it has dimension at least two. ChatGPT was used to obtain many arguments. The writing was done entirely by the author.

It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994. In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order. These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.

Kashiwara--Nakashima tableaux and Gelfand--Tsetlin patterns of orthogonal type are famous as combinatorial models of the finite-dimensional irreducible representations of the special orthogonal Lie algebras $\mathfrak{so}_N$. The former is constructed based on the representation theory of quantum groups, especially the theory of crystals, while the latter based on the branching rule for $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$. In the present paper, we construct a natural bijection between them by means of the representation theory of quantum symmetric pairs corresponding to $(\mathfrak{so}_N,\mathfrak{so}_{N-1})$.

We classify Schur positivity in two families of symmetric functions $f_n^T$ introduced by Sundaram. For $k\ge2$, $f_n^{\{1,k\}}$ fails to be Schur-positive exactly when $n=k$ and $k$ is an even integer greater than $2$. For $T_k=\{k^i:i\ge0\}$, $f_n^{T_k}$ fails to be Schur-positive exactly when $k$ is an even integer greater than $2$ and $n=k^a$ for some $a\ge1$. In every exceptional degree, the coefficient of $s_{(1^n)}$ is $-1$, and all other Schur coefficients are nonnegative. Together with Sundaram's product implication, these classifications settle her Conjectures~1--3. We also recast Sundaram's plethystic identities in divisor-indexed coordinates and classify nonnegative Foulkes coordinates in each fixed degree and globally. If a composite $k$ divides $n$, both $f_n^{\{1,k\}}$ and $f_n^{T_k}$ have a negative Foulkes coordinate even when they are Schur-positive. Extending Hou's bounded-interval argument, we prove a uniform criterion for real divisor weights for $n\ge18$. If $1\in T$ and the Möbius weight $ψ^T$ satisfies the required bounds, $f_n^T$ is Schur-positive for every odd $n\ge18$. For even $n\ge18$, it fails exactly when $n\in T$ and $n/2\notin T$; then $s_{(1^n)}$ indexes the unique negative Schur coefficient, equal to $-1$. Finally, for $k=q^s$ with $q$ prime, $s\ge2$, $k\mid n$, and $n>k$, we derive major-index residue inequalities and classify all equality cases. For $n\ge18$, we also obtain a uniform quantitative estimate for partitions whose first row and first column each have length at most $n/2$.

We study Fulton's universal Schubert polynomials $\mathfrak S_w(c)$ as regular functions on the upper unitriangular group $U_N$. The standard triangular cluster structure associates a Schubert $\sf g$-vector to every permutation. Their convex hull is unimodularly equivalent to $Δ_1\times\cdots\timesΔ_{N-1}$, and their root-degree fibers are parabolic Bruhat intervals realized by the strata of staircase quiver Grassmannians. The geometric (i.e., generic, canonical, and Mirković--Vilonen) elements indexed by these vectors form integral bases of Fulton's standard-elementary module. We prove that $\mathfrak S_w(c)$ is homogeneous under diagonal conjugation if and only if it is the corresponding canonical element, and that homogeneity of $\mathfrak S_w(c)$ implies $Λ_Q$-rigidity of $Z_{\sf g_w}$. We also classify simultaneously the unit columns of the geometric-to-Schubert transitions, determine support components of the PBW-to-geometric and code-to-Schubert transitions, and exhibit a permutation $w\in S_{10}$ for which the three geometric basis elements are distinct.

We study deep loci for the reduced-word Berenstein-Fomin-Zelevinsky cluster atlas on type-A double Bruhat cells. As defined in CGSS24, for a seed collection on a cluster variety X, the deep locus is the complement of the union of all corresponding cluster tori. We focus on double Bruhat cells G(u,v) for G = SL(n). Our main results are several theorems describing the structure of these deep loci, including their interaction with the Poisson structure, the relationships between the deep loci of different cells, and a tracking formula that allows us to compute the reduced-word deep locus of a cell from a lower-dimensional one. The paper also includes explicit low-rank calculations for double Bruhat cells in SL(3) and Borel double Bruhat cells in SL(4). Finally, we discuss the relationship between these results and some general properties of deep loci.

We give a uniform realization of Kirillov-Reshetikhin crystals $B^{r,s}$, in terms of PBW crystals, for all affine types, $s \geq 1$, and nodes $r$ in the orbit of the $0$ node in the Dynkin diagram. Our proof is almost uniform except we prove some technical lemmas by first proving the case when the $r$-th fundamental weight $Λ_r$ is minuscule by using properties of minuscule crystal and then extend this to the case when $Λ_r$ is cominuscule using virtual crystals.

We present a simple combinatorial method for computing the socle of representations of $\mathrm{GL}_n(F)$, where $F$ is a local non-Archimedean field, parabolically induced from two ladder representations. We adapt recent approaches to such problems using the classical Robinson--Schensted--Knuth correspondence (RSK) and introduce a new variant of RSK that we call mixed-RSK. Some combinatorial properties of this map are investigated and then used to resolve a conjecture of Erez Lapid.

In this article, we construct noncommutative cluster varieties, $\mathcal{A}_{R,S}$, for each reduced root system $R$ and marked surface $S$ simultaneously generalizing the cluster varieties of Fock-Goncharov, Li, Goncharov-Shen, Berenstein-Retakh, Goncharov-Kontsevich, and our previously introduced polygonal cluster algebras. Additionally, we define a large class of algebraic groups, we call Jordan split groups. Given a reduced root system $R$ and a family of Jordan algebras, the Lie algebra for $G$ is constructed by unifying the Tits-Kantor-Koecher construction for a single Jordan algebra with the construction of a split Lie algebra. The notion of Jordan split groups is closely related to a grading of its Lie algebra by the root system $R$. We show that these gradings are usually induced by a choice of standard parabolic subalgebra $\mathfrak{p}_Θ$ and we classify $R$-graded pairs $(G,Θ)$ via a condition depending only on the subset $Θ\subset Δ$ of the set of simple roots. Next, we define Jordan algebra points of $\mathcal{A}_{R,S}$ which parameterize $G$-local systems on $S$ with boundary decoration related to cosets $G/U_Θ$ when $G$ is Jordan split of type $R$. When $S$ is a disk, points of $\mathcal{A}_{R,S}$ parameterize configurations of decorated flags. We use this to give noncommutative cluster structures on the double $R$-Bruhat cells of $G$, generalizing the cluster algebras of Berenstein-Fomin-Zelevinsky. When each Jordan algebra is formally real, we say that $G$ has a positive structure with respect to $Θ$. This defines a positive semigroup in $G$. For real algebraic groups, the pairs $(G,Θ)$ which have positive structures are exactly those which admit a positive structure as defined by Guichard-Wienhard and we give algebraic proofs of many of the properties of positive configurations of flags and of positive representations.

A web is a plane graph encoding an invariant vector in a tensor product of fundamental representations of a quantum group. A stranding of an $\mathfrak{sl}_n$ web is a system of colored oriented curves recording one monomial of the vector it encodes. This article focuses on identifying and constructing leading term strandings, those recording the leading term of a web's vector with respect to a lexicographic order on monomials. We show that every open strand of a leading term stranding is clockwise, which constrains the boundary data of such strandings enough to yield a sufficient criterion for a set of webs to form a web basis. From a row-strict tableau, we construct a web with a prescribed leading term, and the resulting webs form a web basis, giving a non-recursive construction of Fontaine's $\mathfrak{sl}_n$ web bases. For $\mathfrak{sl}_3$ webs with no flat vertices, we identify a leading term stranding using the depths of the faces of the web. Finally, we show a leading term stranding for any $\mathfrak{sl}_3$ web can be reached from an arbitrary stranding via a sequence of operations called strand reversals.