# Regularity of Symbolic Powers of Polymatroidal Ideals and Supermodular Prime Intersections

Preprint · Chwas Ahmed, Mohammed Rafiq Namiq

- Archive id: arxiv:2610.38655
- Published: 2026-10-28
- arXiv: https://arxiv.org/abs/2610.38655
- Source URL: https://arxiv.org/abs/2610.38655
- PDF: https://arxiv.org/pdf/2610.38655
- Provenance: arxiv

## Abstract

Let $S=\\mathbb{K}\[x\_1,\\ldots,x\_n\]$ be a polynomial ring over a field $\\mathbb{K}$. For a polymatroidal ideal $I\\subseteq S$ generated in degree $d$, we prove $$ω(I^{(s)})=\\operatorname{reg} I^{(s)}=\\operatorname{reg} I^s=sd\\qquad(s\\ge1),$$ where symbolic powers use all associated primes and $ω$ denotes the largest degree of a minimal generator. Thus every symbolic power has a degree resolution. The argument uses a regularity bound for supermodular prime intersections, obtained from Takayama's formula and a homological estimate for noncover complexes. For every nonzero proper squarefree monomial ideal $L$, we also show $\\operatorname{reg} L^{(s)}\\le s\\min\\{m,λ(L)-\\operatorname{ht}L+1\\}$, where $m$ counts the minimal primes and $λ(L)$ is the support size, and obtain equality for skeleton and pure skeleton ideals. Finally, for every $d\\ge3$, we construct a simple graphic matroid whose basis ideal is generated in degree $d$ and has a second symbolic power that is not componentwise linear.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.