Equivariant Paving Matroids

• Equivariant paving matroids are matroids whose paving property is preserved under group actions, intertwining combinatorial structure with symmetry.
• They are central in tropical geometry and are classified via tropical ideals and invariant d-partitions, offering concrete construction methods.
• Equivariant invariants, such as Kazhdan–Lusztig and Z-polynomials, provide representation-theoretic insights and verify positivity and log-concavity properties.

An equivariant paving matroid is a matroid endowed with a group action under which its paving property is preserved and tracked through associated equivariant algebraic invariants. This structure emerges at the intersection of matroid theory, tropical geometry, and representation theory, particularly in analyzing tropical ideals, d-partitions, and equivariant (inverse) Kazhdan–Lusztig and Z-polynomials. The primary focus is on classifying and computing invariants for matroids—primarily paving matroids—with additional symmetry, implemented via group actions, and understanding the combinatorial and representation-theoretic implications of these symmetries, both in tropical and classical settings.

1. Paving Matroids and Equivariant Actions

A matroid $M = (E, \mathcal{B})$ of rank $k$ is paving if every circuit has size at least $k$, which is equivalent to every flat of rank $k-1$ (hyperplane) having the property that all its $k$-element subsets are circuits ("stressed hyperplanes"). If a finite group $W$ acts on the ground set $E$ and preserves the collection of bases $\mathcal{B}$, then $W \curvearrowright M$ is called an equivariant matroid. All matroidal objects—bases, circuits, flats—decompose into $W$-orbits.

The paving condition interacts with equivariance through the structure of stressed hyperplanes and their $W$-orbits. Relaxation along orbits of stressed hyperplanes yields new paving matroids naturally remaining $W$-equivariant. This operation is essential in constructing and classifying equivariant paving matroids and their associated invariants. The generalization applies across combinatorial geometries admitting suitable group actions (Gao et al., 24 Jan 2026).

2. Ties to Tropical Ideals and Invariant d-Partitions

The concept of paving matroids is central in the study of zero-dimensional tropical ideals—subsets $I \subset B[x_1^{\pm 1}, \ldots, x_n^{\pm 1}]$ (with $B = \{0, \infty\}$—the Boolean semiring) satisfying the tropical monomial-elimination axiom and encoding matroidal structure via polynomial supports. The underlying matroid $M(I)$ is defined by setting $A \subset \mathbb{Z}^n$ independent if no $f \in I$ has $\operatorname{supp}(f) \subseteq A$; the circuits correspond to minimal polynomial supports in $I$.

A zero-dimensional tropical ideal is "paving" of degree $d+1$ if all its circuits have size $d+1$ or $d+2$; equivalently, the matroid $M(I)$ has rank $d+1$ and all its circuits have cardinality $d+1$ or $d+2$. These paving tropical ideals are classified by $\mathbb{Z}^n$-invariant $d$-partitions of $\mathbb{Z}^n$: collections $\mathcal{P}$ of blocks (subsets) such that (1) each block has size at least $d$, (2) every $d$-element subset of $\mathbb{Z}^n$ lies in exactly one block, (3) $|\mathcal{P}| \geq 2$, and $\mathbb{Z}^n$ acts by translation preserving $\mathcal{P}$. There is a bijection between degree-$(d+1)$ paving tropical ideals and $\mathbb{Z}^n$-invariant $d$-partitions, linking paving matroids and equivariant combinatorics in tropical geometry (Anderson et al., 2021).

Concrete algebraic and combinatorial consequences arise, such as a full classification of degree-3 paving tropical ideals in terms of sublattices $L \subset \mathbb{Z}^n$ and invariant $2$-partitions of $\mathbb{Z}^n/L$, providing both constructions of uncountably many such ideals and explicit families of non-realizable matroids.

3. Equivariant Kazhdan–Lusztig and Z-Polynomials

For a matroid $M$ with a finite group $W$ acting on $E$, representation-theoretic invariants are encoded in equivariant Kazhdan–Lusztig polynomials $P^W_M(t)$, equivariant inverse Kazhdan–Lusztig polynomials $Q^W_M(t)$, and equivariant Z-polynomials $Z^W_M(t)$, all elements of $\mathrm{Rep}(W)[t]$ (the Grothendieck ring of finite-dimensional complex $W$-representations with polynomial grading).

Key definitions include:

• $P^W_M(t)$ characterized by initial conditions and recursive palindromicity.
• $$Z^W_M(t) = \sum_{[S] \in 2^E/W} t^{\operatorname{rk}(S)} \operatorname{Ind}_{W_S}^W P^{W_S}_{M_S}(t)$$, where $W_S$ is the setwise stabilizer of $S$, and $M_S$ is the matroid contraction.
• $Q^W_M(t)$ determined by orthogonality relations with $P^W_M(t)$ via localizations and contractions.

Under relaxation—adding all $k$-subsets of a $W$-orbit of stressed hyperplanes as new bases—each of these polynomials is updated by an explicit, universal Specht-module correction term. This determines the behavior of equivariant polynomials for arbitrary paving matroids by inductively applying the relaxation formula, starting from uniform matroids. Notably, these steps preserve the honesty of coefficients (i.e., all coefficients are honest representations) and encode equivariant positivity bounds such as Gedeon’s conjecture for paving matroids (Karn et al., 2022).

4. Equivariant Inverse Z-Polynomials and Log-Concavity

The equivariant inverse $Z$-polynomial $Y^W_M(t)$ extends Kazhdan–Lusztig theory for matroids with group actions. Explicitly,

$$Y^W_M(t) = (-1)^{\operatorname{rk}(M)} \sum_{[F] \in \mathcal{L}(M)/W} (-1)^{\operatorname{rk}(F)} t^{\operatorname{rk}(M/F)} \operatorname{Ind}^W_{W_F}\left( Q^{W_F}_{M|_F}(t) \otimes \mu_{M/F}^{W_F}\right)$$

where $Q^{W_F}_{M|_F}(t)$ is the equivariant inverse Kazhdan–Lusztig polynomial of the restriction, and $\mu_{M/F}^{W_F}$ is the equivariant Möbius invariant of the contraction. For paving matroids, $Y^W_M(t)$ is computed via a sequence of relaxations, with each step involving induction and restriction of known Specht module expressions from the uniform case.

Fundamental properties for paving matroids include:

• All coefficients in $Y^W_M(t)$ are honest representations (not merely virtual) (Gao et al., 24 Jan 2026).
• $Y^W_M(t)$ is palindromic: $t^{\operatorname{rk}(M)} Y^W_M(t^{-1}) = Y^W_M(t)$.
• For uniform and $q$-niform matroids, the coefficients are equivariantly unimodal and strongly inductively log-concave; for general paving matroids, $Y^W_{U_{k,E}}(t) - Y^W_M(t) \in \mathrm{Rep}(W)[t]$.

Table: Key Properties of Equivariant Invariants for Paving Matroids

Invariant	Coefficient Property	Combinatorial/Geometric Interpretation
$P^W_M(t)$	Honest, positive	Equivariant Kazhdan-Lusztig polynomial
$Z^W_M(t)$	Honest, palindromic	Encodes contraction structure, palindromic by design
$Q^W_M(t)$	Honest, conjecturally log-concave	Inverse Kazhdan–Lusztig invariant
$Y^W_M(t)$	Honest, palindromic, unimodal$^*$	Equivariant inverse $Z$-polynomial

$^*$Unimodality and log-concavity are proved for uniform, $q$-niform, and conjectured for general paving matroids (Gao et al., 24 Jan 2026).

5. Computation via Orbitwise Relaxation

The essential combinatorial operation generating all equivariant paving matroids is relaxation along $W$-orbits of stressed hyperplanes. Given a representative hyperplane $H_j$ of size $h_j$ and stabilizer $W_{H_j}$, and denoting $Y^{S_{h_j}}_{U_{k, h_j}}(t)$ as the known uniform-matroid polynomial, the relaxation formula iteratively subtracts induced-restricted correction terms: $$Y^W_M(t) = Y^W_{U_{k,E}}(t) - \sum_j \operatorname{Ind}^W_{W_{H_j}} \operatorname{Res}^{S_{h_j}}_{W_{H_j}} \left( Y^{S_{h_j}}_{U_{k, h_j}}(t) - \frac{1+(-1)^k}{2} V_{(h_j-k+2, 2^{k/2-1})} t^{k/2} \right)$$ Each step preserves equivariance and honesty, and the resulting polynomial reflects the full combinatorial and representation-theoretic complexity of the paving matroid with symmetry (Gao et al., 24 Jan 2026, Karn et al., 2022).

Applications include explicit computations for large structures with interesting symmetry, such as Steiner systems with Mathieu group actions, where representation-theoretic invariants can be decomposed in terms of irreducible characters of $M_{24}$ (Karn et al., 2022).

6. Classification, Realizability, and Open Problems

Equivariant paving matroids admit a classification in the tropical setting via invariant d-partitions under group actions. For $G$ acting freely on $E$, $G$-invariant paving matroids of rank $d+1$ correspond to $G$-invariant $d$-partitions, generalizing the bijections for $\mathbb{Z}^n$ and linking matroid theory with tropical and combinatorial geometry (Anderson et al., 2021).

Major unresolved questions include:

• Characterization of realizable versus non-realizable equivariant paving matroids: which $G$-invariant partitions arise from classical, field-representable ideals remains largely open.
• Existence of natural bases realizing Schur-positivity or real-rootedness of equivariant (inverse) Kazhdan–Lusztig and Z-polynomials beyond the paving case.
• Categorical and geometric interpretations of equivariant inverse Z-polynomials and their connection to recent developments in Soergel bimodules and representation theory (Gao et al., 24 Jan 2026).

This suggests a broader framework relating group actions on combinatorial geometries to the structure and representation theory of associated algebraic invariants, not only for matroids but for other combinatorial and tropical objects.

7. Extensions and Future Directions

Research into equivariant paving matroids extends to:

• Alternative group actions, including those by finite abelian, nonabelian, or lattice groups, with correspondences to $G$-invariant partitions and the possibility of extending classification theorems.
• Positive-dimensional tropical ideals and the search for analogous equivariant descriptions in higher dimensions.
• Behavior of invariants over richer semirings (e.g., min-plus reals) and how the algebraic structure influences the partition classification under group actions.
• Asymptotic and probabilistic questions: with most matroids conjecturally paving, investigation continues into the “generic” behavior of equivariant invariants for random paving matroids, including their statistical and representation-theoretic properties.

The current mathematical understanding—both combinatorial and algebraic—of equivariant paving matroids positions them as fundamental objects for the intersection of tropical geometry, matroid theory, and the theory of group representations, with deep open problems and broad potential for interdisciplinary advances (Anderson et al., 2021, Karn et al., 2022, Gao et al., 24 Jan 2026).