Polymatroidal ideals and their asymptotic syzygies

Let $I$ be a polymatroidal ideal. In this paper, we study the asymptotic behavior of the homological shift ideals of powers of polymatroidal ideals. We prove that the first homological shift algebra $\text{HS}_1(\mathcal{R}(I))$ of $I$ is generated in degree one as a module over the Rees algebra $\mathcal{R}(I)$ of $I$. We conjecture that the $i$th homological shift algebra $\text{HS}_i(\mathcal{R}(I))$ of $I$ is generated in degrees $\le i$, and we confirm it in many significant cases. We show that $I$ has the $1$st homological strong persistence property, and we conjecture that the sequence $\{\text{Ass}\,\text{HS}_i(I^k)\}_{k>0}$ of associated primes of $\text{HS}_i(I^k)$ becomes an increasing chain for $k\ge i$. This conjecture is established when $i=1$ and for many families of polymatroidal ideals. Finally, we explore componentwise polymatroidal ideals, and we prove that $\text{HS}_1(I)$ is again componentwise polymatroidal, if $I$ is componentwise polymatroidal.