Polymatroidal Ideals: Structure & Applications

Updated 11 June 2026

Polymatroidal ideals are equigenerated monomial ideals whose minimal generators correspond to the bases of discrete polymatroids, embodying key combinatorial exchange properties.
Their defining exchange property ensures linear resolutions, persistence of associated primes, and predictable behavior of both symbolic and ordinary powers.
Applications span computational commutative algebra, toric geometry, and combinatorial optimization, bridging algebraic theory with combinatorial methods.

A polymatroidal ideal is a monomial ideal in a polynomial ring, equigenerated in one degree, such that its minimal generators correspond to the bases of a discrete polymatroid. The core combinatorial property, the polymatroidal exchange property, models algebraic and combinatorial features such as shellability, linear resolutions, and strong asymptotic stability of homological and prime invariants. This article systematically presents the structure theory, algebraic and combinatorial characterizations, homological behavior, symbolic and ordinary powers, as well as generalizations and algebraic applications, based on the contemporary literature.

1. Definitions and Characterizations

Let $S = K[x_1, \dots, x_n]$ be a polynomial ring over a field. A monomial ideal $I \subset S$ is equigenerated of degree $d$ if all generators have degree $d$ . The set of minimal generators is denoted $G(I)$ .

Polymatroidal Exchange Property:

$I$ is called polymatroidal if for all $u, v \in G(I)$ , and every index $i$ with $\deg_{x_i}(u) > \deg_{x_i}(v)$ , there is a $j$ so that $I \subset S$ 0 and $I \subset S$ 1. This property aligns with the exchange axiom for discrete polymatroids: the exponent vectors of $I \subset S$ 2 form precisely the set of bases of some discrete polymatroid on $I \subset S$ 3 (Bandari et al., 2012, Bandari et al., 2018).

Strong exchange property (SEP): Some subclasses (notably Veronese type ideals) satisfy the strong exchange property: whenever $I \subset S$ 4 and $I \subset S$ 5, the cross-swap $I \subset S$ 6 (Bandari et al., 2021, Herzog et al., 2020).

Matroidal ideals are the squarefree case, i.e., all minimal generators are squarefree monomials.

Alternative Characterizations

Linear Quotients: $I \subset S$ 7 is polymatroidal if and only if, for every permutation of the variables, the minimal generators ordered by the induced graded lex order give rise to linear quotients: all colon ideals $I \subset S$ 8 are generated by variables (Bandari et al., 2018).
Monomial localizations: For monomial ideals generated in one degree, $I \subset S$ 9 is polymatroidal if and only if all its monomial localizations $d$ 0 (for monomial primes $d$ 1) have linear resolutions (Bandari et al., 2012, Mafi et al., 2018).
Componentwise polymatroidal: $d$ 2 is componentwise polymatroidal if each degree-homogeneous part $d$ 3 is polymatroidal (Ficarra, 2023, Bandari et al., 2012).
Reverse-lex characterization (conjecture): It is conjectured that polymatroidal ideals are precisely those with linear quotients for every reverse-lex order on the generators; this is established in many cases: degree 2, at most three variables, and so on (Bandari et al., 2018).

2. Basic Algebraic Properties

Polymatroidal ideals enjoy a suite of algebraic regularities:

Linear resolutions and linear quotients: Every polymatroidal ideal has a linear resolution, as the linear quotients property holds for appropriate orderings (Bandari et al., 2021, Bandari et al., 2018).
Persistence property: The associated primes of powers exhibit the persistence property: $d$ 4 for all $d$ 5 (Herzog et al., 2011).
Integrally closed: Every polymatroidal ideal is integrally closed in the sense of the integral closure of monomial ideals (Abdolmaleki et al., 5 Jun 2026). In two variables, equigenerated ideals are polymatroidal if and only if they are integrally closed.
Product and sum closure: The product of polymatroidal ideals is again polymatroidal (Bandari et al., 2021, Barbiera et al., 2024).
Componentwise polymatroidal closure: For componentwise polymatroidal ideals, linear quotients persist, and shellability of the associated multicomplex follows (Ficarra, 2023).
Symbolic powers: For many classes, symbolic powers coincide with ordinary powers, particularly for ideals with the maximal ideal as an associated prime and for "packed" matroidal ideals (Ficarra et al., 27 Feb 2025).

3. Homological and Syzygetic Structure

Homological shift ideals

Given a minimal free resolution of $d$ 6: $d$ 7 the $d$ 8th homological shift ideal $d$ 9 is generated by monomials corresponding to the multigraded shifts in $d$ 0.

For any polymatroidal ideal, $d$ 1 is again polymatroidal (Ficarra, 2022).
For matroidal ideals, all homological shift ideals $d$ 2 are matroidal (Ficarra, 2022, Bayati, 2023).
Bandari–Bayati–Herzog conjecture: All (higher) homological shift ideals of polymatroidal ideals are themselves polymatroidal. This was recently resolved affirmatively in full generality (Cid-Ruiz et al., 17 Jul 2025).

Betti numbers and resolutions

The minimal free resolution and graded Betti numbers of a polymatroidal ideal can be described combinatorially using the base polytope of the associated polymatroid; explicit formulas for projective dimension and Betti numbers arise in the case of representable polymatroids and certain mixed product ideals (Conca et al., 2019, Barbiera et al., 2024).

Socle ideals and maximal shifts

The top homological shift ideal $d$ 3 relates to the socle ideal: if $d$ 4, then $d$ 5. It is conjectured that the socle ideal of a polymatroidal ideal is again polymatroidal (Ficarra, 2022).

4. Asymptotic, Symbolic, and Power Behavior

Persistence and stabilization

For polymatroidal ideals, the sequences $d$ 6 and $d$ 7 stabilize, with precise stabilization indices known in key cases:

Matroidal: $d$ 8; holds if $d$ 9 is a product of primes with disjoint supports (Mafi et al., 2021).
Almost square-free Veronese: $G(I)$ 0, for specific degree–variable combinations (Mafi et al., 2021).

Symbolic powers and conjectures

Notably, for polymatroidal ideals,

Componentwise linearity: The conjecture is that every symbolic power $G(I)$ 1 is componentwise linear (Ficarra et al., 27 Feb 2025).
Equality of regularities: $G(I)$ 2 for all $G(I)$ 3 in families such as matroidal, squarefree Veronese, transversal, and principal Borel ideals.
Packing: For matroidal ideals, symbolic and ordinary powers are equal for all $G(I)$ 4 if and only if $G(I)$ 5 is packed, i.e., a product of monomial primes with disjoint support (Ficarra et al., 27 Feb 2025).

Quasi-additivity

For classes of polymatroidal ideals (e.g., those satisfying SEP, degree 2, or principal Borel), the homological shifts are quasi-additive: $G(I)$ 6 (Bayati, 2023).

Power operations

Polymatroidal property is preserved under taking powers and generalized mixed product operations under mild constraints; the regularity and projective dimension can be computed explicitly in large classes (Herzog et al., 2011, Barbiera et al., 2024).

5. Combinatorial and Toric Geometry Connections

Discrete polymatroids

The exponents of the minimal generators of a polymatroidal ideal are the bases of a discrete polymatroid (Bandari et al., 2018, Bandari et al., 2021, Cid-Ruiz et al., 17 Jul 2025).
A discrete polymatroid on ground set $G(I)$ 7 is a finite subset $G(I)$ 8 stable under taking coordinatewise sub-vectors and satisfying the exchange property.

Toric ideals

The toric ideal associated to a lattice path polymatroid is generated by quadratic symmetric exchange binomials, and these form a Gröbner basis under a combinatorially defined order (Schweig, 2010).
The associated base polytope and the "cave polynomial" (whose support is again a polymatroid) afford valuative and $G(I)$ 9-theoretic interpretations, and encode homological invariants of the ideal (Cid-Ruiz et al., 17 Jul 2025).

Dilworth truncation

The minimal free resolutions of "subspace arrangement ideals" associated to representable polymatroids are supported on the Dilworth truncation of the polymatroid, with Betti numbers given in terms of the truncated polymatroid (Conca et al., 2019).

6. Structural, Local, and Low-Dimensional Properties

Componentwise polymatroidal and non-pure exchange

Componentwise polymatroidal ideals satisfy a non-pure exchange property (N-PDEP) (Abdolmaleki et al., 5 Jun 2026). In two variables, integrally closed ideals, polymatroidal ideals, componentwise polymatroidal, and componentwise linear all coincide.
In $I$ 0, for Borel ideals, N-PDEP can be verified by checking inequalities involving only the principal Borel generators (Abdolmaleki et al., 5 Jun 2026).
In $I$ 1, all integrally closed monomial ideals are polymatroidal, and every product of integrally closed monomial ideals is polymatroidal; this coincides with Zariski's classical product theorem (Abdolmaleki et al., 5 Jun 2026).

Equidimensionality and Cohen–Macaulay property

For unmixed polymatroidal ideals, connectedness in codimension one is equivalent to being Cohen–Macaulay (Bandari et al., 2014).
Matroidal ideals are connected in codimension one if and only if they are squarefree Veronese, i.e., uniform matroids (Bandari et al., 2014).
Componentwise polymatroidal and principal Borel ideals in low variables always have linear quotients, and their Betti tables can be explicitly described (Ficarra, 2023).

7. Open Directions and Recent Resolutions

The Bandari–Bayati–Herzog conjecture on the polymatroidality of all homological shifts has been resolved affirmatively (Cid-Ruiz et al., 17 Jul 2025).
The reverse-lex linear quotient characterization is open in full generality but confirmed for degree two, at most three variables, and additional cases (Bandari et al., 2018).
Persistence and stabilization phenomena, as well as the combinatorial description of Betti numbers and the socle for general polymatroidal ideals, remain active areas (Mafi et al., 2021, Ficarra, 2022, Ficarra et al., 15 Sep 2025).
Componentwise polymatroidal ideals always admit linear quotients, confirming the Bandari–Herzog componentwise conjecture (Ficarra, 2023).

Polymatroidal Ideals: Defining Properties and Key Results

Property/Class	Precise Feature	Reference
Polymatroidal ideal	Equigenerated, exchange property, bases of a discrete polymatroid	(Bandari et al., 2018, Bandari et al., 2012)
Matroidal ideal	Squarefree polymatroidal	(Herzog et al., 2011)
Linear quotients	Holds for lex/reverse-lex orderings of generators	(Bandari et al., 2018)
Integrally closed	All polymatroidal ideals, in $I$ 2, coincide with equigenerated integrally closed ideals	(Abdolmaleki et al., 5 Jun 2026)
Componentwise polymatroidal	All graded pieces polymatroidal, always has linear quotients	(Ficarra, 2023)
Homological shifts	$I$ 3 polymatroidal for all $I$ 4, for all polymatroidal ideals	(Cid-Ruiz et al., 17 Jul 2025)
Symbolic/ordinary power equality	Holds for all k if and only if matroidal ideal is packed (product of disjoint-prime powers)	(Ficarra et al., 27 Feb 2025)
Regularity matches for symbolic/ordinary powers	Holds for matroidal, squarefree Veronese, transversal, and principal Borel	(Ficarra et al., 27 Feb 2025)

References

(Schweig, 2010) A. Schweig, "Toric Ideals of Lattice Path Matroids and Polymatroids"
(Herzog et al., 2011) J. Herzog, A. Rauf, M. Vladoiu, "The stable set of associated prime ideals of a polymatroidal ideal"
(Bandari et al., 2012) Bandari–Herzog, "Monomial localizations and polymatroidal ideals"
(Bandari et al., 2014) Bandari–Jafari, "On certain equidimensional polymatroidal ideals"
(Bandari et al., 2018) Bandari–Rahmati-Asghar, "On the polymatroidal property of monomial ideals with a view towards orderings of minimal generators"
(Mafi et al., 2018) Mafi–Naderi, "A note on linear resolution and polymatroidal ideals"
(Conca et al., 2019) Conca–Tsakiris, "Resolution of ideals associated to subspace arrangements"
(Bandari et al., 2021) Bandari–Qureshi, "Ideals with linear quotients and componentwise polymatroidal ideals"
(Mafi et al., 2021) Mafi–Naderi, "A note on stability properties of powers of polymatroidal ideals"
(Ficarra, 2022) Ficarra, "Homological shifts of polymatroidal ideals"
(Bayati, 2023) Bayati, "A quasi-additive property of homological shift ideals"
(Ficarra, 2023) Ficarra, "Shellability of Componentwise Discrete Polymatroids"
(Barbiera et al., 2024) La Barbiera–Moghimipor, "Polymatroidal property of generalized mixed product ideals"
(Ficarra et al., 27 Feb 2025) Ficarra–Moradi, "Symbolic powers of polymatroidal ideals"
(Cid-Ruiz et al., 17 Jul 2025) Cid-Ruiz, Matherne, Shapiro, "Syzygies of polymatroidal ideals"
(Ficarra et al., 15 Sep 2025) Ficarra–Lu, "Polymatroidal ideals and their asymptotic syzygies"
(Abdolmaleki et al., 5 Jun 2026) Abdolmaleki–Kumashiro, "The Non-Pure Dual Exchange Property in Low Dimensions"

The current state of the theory positions polymatroidal ideals as a central class for exploring the combinatorial–homological interface in commutative algebra, with increasingly rich connections to algebraic geometry, toric ideals, and combinatorial optimization.