arXiv++ Combinatorics

The present work develops the results of the series of papers by Buchstaber and Terzić on the standard actions of the compact torus $T^n = (S^1)^n$ on the complex Grassmann manifolds $G_{n,2}$. In those works, a hyperplane arrangement in $\mathbb{R}^n$ was introduced that determines the chamber decomposition of the hypersimplex $Δ_{n,2}$ for the $T^n$-action on $G_{n,2}$. We introduce a notion of admissible graph for the standard action of the torus $T^n$ on the complex Grassmannian $G_{n,2}$. In terms of admissible graphs, we give a complete inductive description (with respect to $n \ge 4$) of the admissible polytopes in $Δ_{n,2}$, as well as of the toric varieties arising as closures of $(\mathbb{C}^*)^n$-orbits on $G_{n,2}$ under the standard $(\mathbb{C}^*)^n$-action. We consider the $T^n$-equivariant Plücker embedding $G_{n,2} \hookrightarrow \mathbb{C}P^{N_2}$, where $N_2 = \binom{n}{2}-1$. Using admissible graphs, for the considered $T^n$-actions, we describe hyperplane arrangements in $\mathbb{R}^n$ that determine the chambers in $Δ_{n,2}$ for the $T^n$-actions on $G_{n,2}$ and $\mathbb{C}P^{N_2}$. Gel'fand, Kapranov, and Zelevinsky introduced the notions of secondary polytopes and secondary fans in connection with the problem of describing triangulations of a given convex polytope, which is closely related to the Newton polytopes of discriminants and resultants. For the $T^n$-action on $\mathbb{C}P^{N_2}$, we show that the cones in $\mathbb{R}^n$ with vertex at the origin spanned by the chambers form the secondary fan of the cone spanned by the vertices of $Δ_{n,2}$.

We construct an explicit equivariant quantum Satake map for Grassmannians, which enables us to express their torus-equivariant quantum cohomology in terms of that of projective space. We then consider the exterior algebra of the latter, which admits a canonical identification with a Clifford algebra. We describe the resulting action in several complementary ways: first, from a geometric perspective via push-pull maps, and second, in terms of the shuffle product, which also arises in the simplest cohomological Hall algebra associated with the $A_1$-quiver. Exploiting the Clifford algebra structure, we derive new recurrence relations among equivariant Gromov-Witten invariants, yielding a new method for their computation in terms of Wick's Theorem. As an application, we provide combinatorial proofs of Graham positivity for both equivariant quantum Pieri rules, and in one case extend these results to quantum triple Schubert calculus.

We use the connective formal group law to define a one-parameter ($β$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $β$-deformation specializes to the motivic Segre classes of Schubert cells when $β=1$ and to the Segre-Schwartz-MacPherson classes of Schubert cells when $β=0$. We define rational function representatives for the $β$-deformed classes in the $d=1$ case in terms of a solvable lattice model, and we prove a combinatorial formula for the structure constants in the $β$-deformed basis in the $d=1$ case using Knutson-Tao puzzles. The proof of the puzzle formula involves intertwiners for representations of the multi-parameter quantum group of type $\widehat{a}_2$. We show that our $β$-deformations can be viewed as quotients of canonical elements in a quotient of the equivariant algebraic cobordism ring of the cotangent bundle of the flag variety by proving that the canonical elements satisfy a GKM type condition.

An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable pure set and the countable dense linear order without endpoints have this property. We generalise these results to (a) any structure approximated by finite substructures with few orbits, provided the field is of characteristic zero, and (b) any Fraïssé limit with free amalgamation in a finite vocabulary consisting of unary and binary relations, possibly expanded with a generic total order. As a special case, we deduce the finite length property of the Rado graph using both methods. We also describe some connections with function spaces, weighted register automata, and orbit-finite systems of linear equations.

We classify measures on $\{0,1\}^{\mathbb{Z}^d}$, $d \geq 3$, the space of subsets of $\mathbb{Z}^d$, which are invariant under all affine special linear transformations. In other words, we classify simple point processes on $\mathbb{Z}^d$ whose law is invariant under affine special linear transformations. We show that every such process is built from a random equivariant polynomial together with independent random sampling, a higher-order generalisation of the cut-and-project method: a random polynomial map is drawn from a distribution invariant under a natural action of $\mathrm{SL}_d(\mathbb{Z})$, each site is then retained independently with a probability determined by a measurable function of the polynomial's value, and the classical cut-and-project construction is recovered in the degree-one case. As a corollary, when the underlying $\mathbb{Z}^d$-action is weakly mixing the measure must be a convex combination of Bernoulli shifts, in the spirit of de Finetti's theorem on exchangeable processes. Our theorem also makes precise how the Howe--Moore theorem fails for the pair $(\mathrm{ASL}_d(\mathbb{Z}), \mathrm{SL}_d(\mathbb{Z}))$. Motivated by this classification, we formulate a conjecture for $\mathrm{ASL}_d(\mathbb{R})$-invariant point processes on $\mathbb{R}^d$, predicting that any such set decomposes into a Poisson part and a quasicrystal part. The proofs rely on the interaction between the Host--Kra theory of characteristic factors, Zimmer's theory of dynamical cocycles of simple Lie groups, and the dynamics of $\mathrm{SL}_d(\mathbb{Z})$-actions on homogeneous spaces.

We derive a graded character formula for the action of any finite group on the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan, which is given by an equivariant version of the classical h-polynomial. This gives the graded character formula for the representation of the group on the cohomology of the associated toric variety when the fan is rational. As an application, we use a navel tool, which we called hybrid fan, to compute the Poincaré polynomial of the invariants of the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan under a finite reflection group action. This implies that the Poincaré polynomial of the quotient of a compact toric orbifold by any finite reflection group is equal to the Poincaré polynomial of the compact toric orbifold associated to the hybrid fan.

We study the cross-index of free \(G\)-posets as a combinatorial analogue of the equivariant topological index. We demonstrate that the cross-index exhibits many structural properties closely paralleling those of the topological index, while its behavior with respect to unions displays a pronounced dichotomy depending on the acting group. Specifically, if \(P = A \cup B\) is a union of \(G\)-invariant subposets, then for \(G = \mathbb{Z}_2\) we obtain the sharp inequality \[ \operatorname{xind} P \le \operatorname{xind} A + \operatorname{xind} B + 1, \] which is directly analogous to the classical union inequality for the topological index. In contrast, for every group \(G\neq \mathbb{Z}_2\), this phenomenon fails in general, and we establish the best possible weaker estimate \[ \operatorname{xind} P \le \operatorname{xind} A + 2(\operatorname{xind} B+1). \] This reveals a fundamental distinction between the \(\mathbb{Z}_2\)-equivariant and non-\(\mathbb{Z}_2\)-equivariant settings at the purely combinatorial level. As further consequences, we compare the cross-index with both the topological index and the simplicial index, showing in particular that the gap between the cross-index and the topological index can be arbitrarily large. These results clarify the role of the cross-index as a combinatorial analogue of the equivariant topological index and further strengthen the interplay between equivariant topological methods and combinatorial structures endowed with symmetry.

We resolve a problem of Anderson and Fulton by providing a symmetric and positive product rule for the equivariant cohomology of projective space.

An equivariant characteristic quasi-polynomial is a quasi-polynomial in $q$ consisting of the permutation character on the mod $q$ complement of the corresponding Coxeter arrangement. This concept is a refinement of the conventional characteristic quasi-polynomials of root systems. In this paper, we will show equivariant-theoretic refinements of the some properties of characteristic quasi-polynomials of root systems. Furthermore, we will explicitly compute equivariant characteristic quasi-polynomials of all irreducible reduced root systems and discuss the relationship with root systems constructed by the folding of the extended Dynkin diagrams.

For a finite group $G$, $N_\infty$ operads encode collections of norm maps, and by work of Blumberg--Hill and Rubin their homotopy category is equivalent to the poset of $G$--transfer systems on the subgroup lattice of $G$. In \cite{ABB+25} the authors defined the \emph{width} $w(G)$ as the minimal size of a generating set for the complete $G$--transfer system and identified it with the number of conjugacy classes of proper meet irreducible subgroups of $G$, and the \emph{complexity} $c(G)$ as the maximum, over all transfer systems $T$, of the size of a minimal generating set for $T$. We compute $w(G)$ for the semidihedral groups $\SD_{2^n}$ ($n\ge 4$) and the affine Frobenius groups $\AGL(1,p^n)\cong \mathbb{F}_{p^n}\rtimes \mathbb{F}_{p^n}^\times$, extending existing calculations and highlighting how subgroup lattice structure governs equivariant multiplicative complexity. We also compute $c(D_{p^n})$ for dihedral groups of order $2p^n$ with $p$ an odd prime, establishing $c(D_{p^n})=\lfloor 3n/2\rfloor+1$, and derive the lower bound $c(\SD_{2^n})\ge\lfloor 5(n-1)/2\rfloor$.

We give a concrete combinatorial interpretation of the coefficients of the Kazhdan-Lusztig polynomials of Dowling geometries, a family of matroids which generalizes braid matroids of types A and B. Furthermore, we interpret the coefficients of the equivariant Kazhdan-Lusztig polynomials and the equivariant Z-polynomials of Dowling geometries associated to non-trivial groups with respect to their full automorphism groups.

We define a torus $U \subset T = (\mathbb{C}^\times)^K$ which acts on the $Δ$-Springer varieties $Y_{n,λ,s}$ defined by Griffin-Levinson-Woo and give a Borel-style presentation for the equivariant cohomology ring $H^*_U(Y_{n,λ,s})$. Our presentation arises from the orbit harmonics deformation technique, and uses methods of Chou-Matsumura-Rhoades and Abe-Horiguchi.

We establish a colorful, and more generally matroidal, solution to the problem of Goodman and Pollack on the existence of an $\mathbb{F}$-affine $k$-dimensional transversal to a family of convex sets in $\mathbb{F}^d$, where $0 \le k \le d - 1$ is an integer and $\mathbb{F} \in \{\mathbb{R}, \mathbb{C}\}$ is a field. Our results unify several classical and recent theorems. In the case $k=0$, we recover the colorful Helly theorem of Bárány and Lovász, together with a matroidal extension due to Kalai and Meshulam. In the opposite extremal case $k=d-1$, we obtain Holmsen's colorful and matroidal generalization of the Goodman-Pollack-Wenger theorem. Additionally, we extend the recent noncolorful solution of the Goodman-Pollack problem by McGinnis and the author. Our methods are topological. We introduce matroidal joins, defined as homotopy colimits of diagrams indexed by face posets of matroidal complexes, and derive estimates on their connectivity. The proof also relies on adaptations of nonexistence results for equivariant maps from Stiefel manifolds to spheres.

We study independent sets in strong powers of circulant graphs using a transfer matrix formulation. The compatibility constraints separate into intra-layer and inter-layer components, yielding a transfer operator that is equivariant under the dihedral group action. The characteristic polynomial of the transfer operator factors into an \emph{anomalous} component (arising from the trivial isotypic component, with rational coefficients) and a \emph{cyclotomic} component (arising from nontrivial Fourier modes, splitting over the maximal real cyclotomic subfield). We show that the spectral radius is attained in the trivial isotypic component, so the dominant exponential growth is governed by a low-dimensional orbit-compressed operator. The independence polynomial is computed exactly for strong cylinders and tori, with the cyclotomic sector contributing a sparse correction confined to high-weight coefficients. All results are verified for $C_7$.

We develop a topological framework for proving lower bounds on sign-rank via $\mathbb{Z}_2$-equivariant topology, and use it to resolve the sign-rank of the Gap Hamming Distance problem up to lower-order terms. For every (partial) sign matrix $A$, we associate a free $\mathbb{Z}_2$-simplicial complex $S(A)$ and show that sign-rank of $A$ is characterized by the linear analog of $\mathbb{Z}_2$-index of $S(A)$. As a consequence, the classical $\mathbb{Z}_2$-index of $S(A)$ lower bounds the sign-rank of $A$, which reduces sign-rank lower bounds to topological obstructions. This reduction allows us to use various tools from $\mathbb{Z}_2$-equivariant topology, particularly in regimes where classical lower-bound techniques break down. As the main application, we consider the Gap Hamming Distance function $\mathrm{GHD}_k^n$ (defined for $k < n/2$), which distinguishes pairs of strings in $\{0,1\}^n$ with Hamming distance at most $k$ from pairs with distance at least $n-k$. We prove an essentially tight lower bound and show that for any $k$, \[ \text{sign-rank}(\mathrm{GHD}_k^n) = (1-o_k(1)) 2k. \] where the $o_k(1)$ term is $O\left(\sqrt{\frac{\log k}{k}}\right)$. This improves on the previous lower bound of Hatami, Hosseini, and Meng (STOC 2023) who proved that sign-rank of $\mathrm{GHD}_k^n$ is at least $Ω(k/\log(n/k))$. A key technical ingredient is a new analysis of the $\mathbb{Z}_2$-coindex (which lower bounds $\mathbb{Z}_2$-index) of the Vietoris-Rips complex of the hypercube in the sparse regime which yields an essentially tight lower bound. Previously, no results were known in the sparse regime.

Transfer systems are a combinatorial model for $N_{\infty}$-operads, which encode commutative structures in equivariant homotopy theory. Blumberg--Hill and Chan gave criteria for when two transfer systems are a compatible pair, meaning they encode the additive transfers and multiplicative norms of a ring-type structure. In this paper, given a transfer system encoding an additive structure, we give explicit formulae for the maximal transfer system it is compatible with. Our formulae simplify for disklike transfer systems, which typically encode additive structures. Further, we prove that (maximal) compatibility is functorial with respect to the inflation map induced by a quotient of groups, letting us compute maximal compatible transfer systems as inflations of connected transfer systems.

We develop neutral-fermionic constructions for the factorial $gp$- and $gq$-functions introduced by Nakagawa and Naruse, which are respectively dual to the factorial $GQ$- and $GP$-functions of Ikeda and Naruse. In particular, we realize the factorial $GP$-, $GQ$- and $gq$-functions as vacuum expectation values. As applications, we obtain, Jacobi--Trudi type determinantal formulas for the transition coefficients between functions with different equivariant parameters for $gq$ and its dual $GP$, as well as a Pfaffian formula for the factorial $gq$-functions. We further prove a remarkable coincidence among the transition coefficients for parameter changes for $gp$, $gq$, $GQ$, and $GP$. These coefficients admit a description in terms of factorial Grothendieck polynomials of type A.

Motivated by classical problems in extremal graph theory, we study a chromatic analogue of Roth-type questions for linear equations over $\mathbb F_p$. Given a homogeneous equation $\mathcal L:\sum_{i=1}^k c_i x_i=0$ with $k\ge 3$, we study $\mathcal L$-solution-free sets $A\subseteq \mathbb F_p$ through the chromatic number of the Cayley graph $\mathsf{Cay}(\mathbb F_p,A)$. We introduce the \emph{chromatic threshold} $δ_χ(\mathcal L)$, the minimum density that guarantees bounded chromatic number of $\mathsf{Cay}(\mathbb F_p,A)$ among all $\mathcal L$-solution-free sets $A$, and determine exactly when $δ_χ(\mathcal L)=0$. We prove that $δ_χ(\mathcal L)=0$ if and only if $\mathcal L$ contains a zero-sum subcollection of at least three coefficients. A key ingredient is a quantitative chromatic lower bound for Cayley graphs on $\mathbb Z_p^n$ generated by Hamming balls around the all-ones vector. This is obtained by introducing a new Kneser-type graph that admits a natural embedding into $\mathbb Z_p^n$, together with an equivariant Borsuk--Ulam type argument. As a consequence, we resolve a question of Griesmer. We further relate our classification to the hierarchy of measurable, topological, and Bohr recurrence. In particular, we show that every infinite discrete abelian group admits a set that is topological recurrent but not measurable recurrent, extending the seminal examples of Kříž and Ruzsa.

We prove a Seidel product formula for the torus-equivariant quantum $K$-theory of a generalized flag variety $G/P.$ This is a natural generalization of the corresponding results by Buch, Chaput, and Perrin for the cominuscule flag varieties. Our proof is based on the $K$-theoretic Peterson isomorphism, due to Kato. We also use a version of the $K$-theoretic nil-Hecke algebra associated with the extended affine Weyl group, which was studied by Ikeda, Shimozono, and Yamaguchi.

Previous work has conjectured that the graded $\mathfrak{S}_n$-representations $H^\bullet(\operatorname{Conf}(n,\mathbb{R}^d);\mathbb{Q})$ are strongly equivariantly log concave, and has proven this conjecture in low degrees. By leveraging the theory of representation stability, we are able instead prove a stronger statement about the $\operatorname{FI^\sharp}$-module structure on $H^i(\operatorname{Conf}(n,\mathbb{R}^d);\mathbb{Q})$ which implies the original conjecture up to degree 19. We conjecture that this equivariant log concavity-like property holds in all degrees for the $\operatorname{FI^\sharp}$-modules $H^i(\operatorname{Conf}(n,\mathbb{R}^d);\mathbb{Q})$.