arXiv++ Combinatorics

We develop a calculus for $S_n$-equivariant Euler characteristics of moduli spaces of stable curves and stable maps. Our approach involves an enrichment of Pólya's cycle index polynomial of a graph to a certain algebra $Λ^{[2]}$ of wreath product symmetric functions. Building on foundational work of Macdonald, we prove that $Λ^{[2]}$ may be viewed as the Grothendieck ring of the category of polynomial functors which map symmetric sequences of vector spaces to vector spaces. This interpretation gives rise to an action of $Λ^{[2]}$ on the ordinary ring of symmetric functions $Λ$, which is described concretely in terms of Adams operations and skewing by power sums. This action lets us deduce appealing formulas, involving only ordinary symmetric functions, for generating functions of $S_n$-equivariant Euler characteristics.

In this paper, we study $6$-dimensional GKM manifolds with $4$ fixed points. We classify all possible GKM graphs, and for each type of graph we construct a manifold, proving the existence. We show that six types occur. (P1) complex projective space $\mathbb{C} P^3$ with standard complex structure (P2) blow up of $S^6$ at a fixed point, diffeomorphic to $\mathbb{C} P^3$ (P3) $\mathbb{C} P^3$ as the homogeneous space $\mathrm{Sp}(2)/(\mathrm{U}(1) \times \mathrm{Sp}(1))$ with non-standard almost complex structure (Q1) complex quadric $Q_3$ with standard complex structure (Q2) blow up of $S^6$ along isotropy $2$-sphere, diffeomorphic to $Q_3$ (S) $S^2 \times S^4$, obtained as equivariant gluing along orbits of two $S^6$'s

The thagomizer matroid, realized as the graphic matroid of the complete tripartite graph $K_{1,1,n}$, has full automorphism group isomorphic to the hyperoctahedral group whenever $n \ge 2$. In the equivariant setting for this action, we compute both the Kazhdan--Lusztig polynomial and the inverse Kazhdan--Lusztig polynomial in the sense of Proudfoot's Kazhdan--Lusztig--Stanley theory, and we show that each coefficient is an honest representation with a multiplicity-free irreducible decomposition. Our main idea is to exploit the palindromicity of the equivariant $Z$-polynomial, reducing the computation to the already established symmetric-group equivariant Kazhdan--Lusztig theory for the graphic matroids of cycle graphs, and then to apply Proudfoot's equivariant Kazhdan--Lusztig--Stanley inversion identity to obtain the inverse polynomial. Passing to dimensions recovers the previously known nonequivariant thagomizer polynomials, while the coefficient formulas admit a natural expression in terms of the wreath product Frobenius characteristic for the hyperoctahedral group.

We study the manifold $Q_{Γ, λ}$ of isospectral real skew-symmetric matrices with a prescribed sparsity pattern determined by a graph $Γ$. The compact torus $T^n$ acts naturally on $Q_{Γ,λ}$ by conjugation, and this action can be studied using GKM theory. We prove two results about this manifold and its GKM graph. The first theorem describes how the GKM graph of $Q_{Γ, λ}$ is obtained from the GKM graph of the corresponding manifold $M_{Γ, λ}$ of isospectral Hermitian matrices. The second theorem gives a criterion for equivariant formality of $Q_{Γ, λ}$.

We study $\mathbb{S}_n$-equivariant topological and weight-graded compactly-supported Euler characteristics of the universal Picard stack $\mathrm{Pic}_{g, n}^d \to \mathcal{M}_{g, n}$ of degree-$d$ line bundles over $\mathcal{M}_{g, n}$. We prove that in the weight-zero and topological cases, the generating function for Euler characteristics of $\mathrm{Pic}_{g, n}^d$ is obtained from the corresponding one for $\mathcal{M}_{g, n}$ by an extremely simple combinatorial transformation. This lets us deduce closed formulas for the two generating functions, taking as input the Chan--Faber--Galatius--Payne formula in the weight-zero case and Gorsky's formula in the topological case. As a corollary, we also obtain a closed formula for the topological Euler characteristic of $\mathrm{Pic}^d_g$. Our weight-zero calculation is a corollary of a general result passing from the weight-graded Euler characteristics of $\mathcal{M}_{g, n}$ to those of $\mathrm{Pic}_{g,n}^d$.

Let $R$ be a commutative ring with identity and $G$ a graph. Extending generalized splines are a further extension of generalized splines by allowing vertex labels of $G$ to lie in varying modules rather than in a fixed ring $R$. Geometrically, this corresponds to the construction of equivariant cohomology by Braden and MacPherson (see [5]). Therefore, characterizing such splines has immediate implications in geometry, particularly in the computation of equivariant cohomology. In this paper, we study extending generalized splines as a $R$- module in which each vertex $v$ is labeled by $M_v = m_v R$ and each edge $e$ is labeled by $M_e = R/r_e R$ together with quotient $R$-module homomorphisms $M_v\to M_e$ for each vertex $v$ incident to the edge $e$, where $R$ is a greatest common divisor domain (GCD). We characterize module bases of such splines in terms of determinants so that it provides a criterion for freeness of spline modules.

Motivated by the notion of the inverse $Z$-polynomial introduced by Ferroni, Matherne, Stevens, and Vecchi, we study the equivariant inverse $Z$-polynomial of a matroid equipped with a finite group. We prove that the coefficients of the equivariant inverse $Z$-polynomials are honest representations and that these polynomials are palindromic. Explicit formulas are obtained for uniform matroids equipped with the symmetric group. The corresponding formulas for $q$-niform matroids are derived using the Comparison Theorem for unipotent representations. For arbitrary equivariant paving matroids, explicit expressions are obtained by relating the polynomials of a matroid to those of its relaxation. We show that these polynomials are equivariantly unimodal and strongly inductively log-concave for both uniform and $q$-niform matroids. Motivated by the properties of equivariant $Z$-polynomials, we conjecture that the coefficients of the equivariant inverse $Z$-polynomials are equivariantly unimodal and strongly equivariantly log-concave.

Consider a unit-intensity point process $Π$ on the vertex set $V$ of a transitive non-amenable unimodular graph. We study invariant matchings between $Π$ and $V$ having small typical matching distances. When $Π$ is either a Poisson process or i.i.d. perturbations of the vertex set, we determine the optimal matching distance and show that it can be attained by a factor matching scheme (that is, a deterministic and equivariant function of $Π$).

We study $\mathbb{S}_n$-equivariant motivic invariants of the moduli space $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ of degree-$d$ maps from $n$-pointed curves of genus $g$ to $\mathbb{P}^r$. In particular, we obtain formulas for the Serre characteristic, which specializes to the Hodge--Deligne polynomial. Fixing $g, r \geq 1$, we prove that an explicit invertible transform of the generating function for the Serre characteristics is rational. We use our formula to prove a stability result for the weight-graded compactly-supported Euler characteristics of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ as $d \to \infty$. In genus one and two, we reduce the calculation of the Serre characteristic of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ to those of the moduli spaces $\mathcal{M}_{g, n}$ of $n$-pointed curves. Formulas for the latter follow from work of Getzler and Petersen, so our formula in particular determines the Serre characteristic of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ for arbitrary $n$, $r$, and $d$ when $g = 1$ and $g = 2$.

Kirillov and Naruse have constructed double Grothendieck polynomials to represent the equivariant K-theory classes of Schubert varieties in the complete flag manifolds of types B, C, and D. We derive a recursive formula for these polynomials, extending certain K-theoretic transition equations known in type A to all classical types. As an application, we obtain an identity that expands the K-Stanley symmetric functions in types B, C, and D into positive linear combinations of K-theoretic Schur P- and Q-functions. We also resolve several positivity conjectures related to the skew generalizations of the latter functions.

Lam, Lee, and Shimozono introduced the double Stanley symmetric functions in their study of the equivariant geometry of the affine Grassmannian. They proved that the associated double Edelman--Greene coefficients, the double Schur expansion coefficients of these functions, are positive, a result later refined by Anderson. They further asked for a combinatorial proof of this positivity. In this paper, we provide the first such proof, together with a combinatorial formula that manifests the finer positivity established by Anderson. Our formula is built from two combinatorial models: bumpless pipedreams and increasing chains in the Bruhat order. The proof relies on three key ingredients: a correspondence between these two models, a natural subdivision of bumpless pipedreams, and a symmetry property of increasing chains.

Let $A$ be a commutative ring, let $k\in\mathbb{Z}^+$, and let $\vec{s}=(n_1,\dots,n_k)\in(\mathbb{Z}^+)^k$ with $n=\min_a(n_a)-1$. We attach to $\vec{s}$ a diagonal simplicial tensor module $X_\bullet(\vec{s};A)$ whose $p$-simplices are functions on a cosimplicial index set $I_p(\vec{s})\subseteq \mathbb{N}^k$. This extends Quillen's diagonal on double semi-simplicial groups: $X_\bullet(\vec{s};A)$ is obtained by restricting a $k$-fold simplicial $A$-module along the diagonal $p\mapsto(p,\ldots,p)$. Using a ``missing indices'' description of face kernels, we compute the horn kernels $R_{p,j}(X)$ and show that $R_{p,j}(X)\neq 0$ if and only if $k\ge p$, independently of $j$. Consequently, $X_\bullet(\vec{s};A)$ is an algebraic $n$-hypergroupoid in the sense of Duskin (1979) and Glenn (1982) if and only if $k\le n$, and horn fillers in dimension $n$ are non-unique if and only if $k\ge n$; in particular it is strict precisely when $k=n$. A Horn Non-Degeneracy Lemma shows that, for $p\ge 1$, $R_{p,j}(X)\cap D_p(X)=\{0\}$ and yields a decomposition $X_p=R_{p,j}(X)\oplus D_p(X)$. An explicit shift-and-truncate chain homotopy, equivariant under $\operatorname{Stab}(\vec{s})$ and compatible with a natural filtration, contracts $X_\bullet(\vec{s};A)$ and forces the associated spectral sequence to collapse at $E_1$. When $A$ is an infinite field $K$, we study simplicial submodules generated by a single tensor via kernel sequences and a moduli map to a product of Grassmannians. The moduli map image is an irreducible and unirational constructible subset of a determinantal incidence variety.

The representation theory of left regular band semigroup algebras is well-studied and known to have close connections with combinatorial topology, as established in the work of Margolis--Saliola--Steinberg ('15, '21). In this paper, we investigate the representation theory of the invariant subalgebras of left regular band semigroup algebras carrying the action of a finite group through the lens of group-equivariant combinatorial topology. We characterize when the invariant subalgebra is semisimple or commutative and examine the equivariant structure of the Peirce components of the semigroup algebra. For CW left regular bands, we interpret these Peirce components in terms of the equivariant topology of intervals in the support semilattice, yielding the Cartan invariants of the invariant subalgebras of left regular bands associated to CAT(0)-cube complexes. We also give a topological formula for the Peirce components for left regular bands with hereditary algebras. Finally, in specializing to left regular bands associated to geometric lattices, we explore generalizations of the Desarménién--Wachs derangement representation and their connections to Markov chains.

Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via schemes, with the interpolation constraints -- or so-called GKM-condition -- encoded by gluing along certain closed subschemes. This view provides a local-global principle, with the local pictures retaining the generalized spline structure. Consequently, the behavior of generalized splines over local rings controls certain global phenomena, such as projectivity and often freeness. We introduce an interface between the homological study of local rings and the combinatorial study of generalized splines. We identify precisely how the generalized spline structure coordinates with the existing homological local ring machinery. This is accomplished by two exact sequences that provide a regulatory structure on the local cohomology of a generalized spline module. As an application, we use this to prove that for any edge-labeled graph $G$ with principal ideal labels, and any Cohen-Macaulay ring $R$ of Krull dimension 2 at each maximal ideal, the module of splines $R_G$ is free, provided it has finite projective dimension. As a special case, this implies every generalized spline module over $k[x,y]$ with principal edge labels is free.

We study the torus-equivariant homology $H_*^T(\mathrm{Gr}_G)$ of the affine Grassmannian $\mathrm{Gr}_G$, where $G=\mathrm{Sp}_{2n}(\mathbb{C})$ is the symplectic group. This homology admits a natural ring structure and a Schubert basis, giving rise to a well-defined Schubert calculus. We realize $H_*^T(\mathrm{Gr}_G)$ in terms of symmetric functions. Our first main result introduces a new family of symmetric functions, called the \emph{dual affine Schur $P$-functions}, which represent the Schubert classes. These functions are defined through the action of the affine nil-Hecke algebra, and specialize, in the stable limit as $n\to \infty$, to the dual factorial $P$-functions of Nakagawa and Naruse. Our second main result gives a precise comparison between this symmetric function model and the geometric construction of $H_*^T (\mathrm{Gr}_G)$ due to Ginzburg and Peterson, which identifies it with a coordinate ring of a centralizer family in the Langlands dual group.

In the space of equioriented type $A$ quiver representations, we define subvarieties called "open quiver loci" by placing strict rank conditions on the maps within representations. The closures of these subvarieties are the quiver loci, whose equivariant cohomology classes are the quiver polynomials of Buch and Fulton. We present one geometric formula and two combinatorial formulas that compute equivariant Chern--Schwartz--MacPherson (CSM) classes of open quiver loci; these classes refine the data of the quiver polynomials. The second combinatorial formula is in terms of "chained generic pipe dreams," which modify the pipe dreams of Bergeron and Billey to more strongly resemble the lacing diagrams of Abeasis and Del Fra. We also present two new formulas for quiver polynomials; these are streamlined versions of known formulas due to Knutson, Miller, and Shimozono, in the sense that they contain fewer terms.

In a companion paper, a canonical bijection was established between strong formal subdivisions of lower Eulerian posets and triples consisting of a lower Eulerian poset, a corresponding rank function, and a non-minimal element such that the join with any other element exists. The main goal of this paper is to relate the local $h$-polynomials of a strong formal subdivision to the Kazhdan-Lusztig-Stanley (KLS) invariants associated to its corresponding lower Eulerian poset under this bijection. As an application, we show that Braden and MacPherson's relative $g$-polynomials are alternative encodings of corresponding local $h$-polynomials. We also further develop equivariant KLS theory and give equivariant generalizations of our main results, as well as an application to equivariant Ehrhart theory.

For a finite group $G$, the notion of a $G$-transfer system provides homotopy theorists with a combinatorial way to study equivariant objects. In this paper, we focus on the properties of transfer systems for non-abelian groups. We explicitly describe the width of all dihedral groups, quaternion groups, and dicyclic groups. For a given $G$, the set of all $G$-transfer systems forms a poset lattice under inclusion; these are a useful resource to homotopical combinatorialists for detecting patterns and checking conjectures. We expand the suite of known transfer system lattices for non-abelian groups including those which are dihedral, dicyclic, Frobenius, and alternating.

We study Ehrhart series with coefficients in Abelian group rings. This opens new enumeration applications and unifies earlier variants, in particular, polynomial weighted, $q$-weighted, and equivariant Ehrhart series.

The key information of a model category structure on a poset is encoded in a transfer system, which is a combinatorial gadget, originally introduced to investigate homotopy coherence structures in equivariant homotopy theory. We describe how a transfer system associated with in a model structure on a lattice is affected by left and right Bousfield localization and provide a minimal generating system of morphisms which are responsible for the change in model structure. This leads to new concrete insights into the behavior of model categories on posets in general.