arXiv++ Combinatorics

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.

We extend the notion of chain algebra, originally defined in \cite{GN} for finite distributive lattices, to that of finite pure posets. We show this algebra corresponds to the Ehrhart ring of a (0,1)-polytope, termed the chain polytope, and characterize the indecomposability of this polytope. Furthermore, we prove the normality of the chain algebra, describe its canonical module, and extend one of main results from \cite{GN} by computing its Krull dimension. For width-2 pure posets, we determine the algebra's regularity and conditions for it to be Gorenstein or nearly Gorenstein.

For a simple graph $G$, assume that $J(G)$ is the vertex cover ideal of $G$ and $J(G)^{(s)}$ is the $s$-th symbolic power of $J(G)$. We prove that $(J(C)^{(s)})=(J(C)^s)$ for all $s\geq 1$ and for all odd cycle $C$. For a simplicial complex $Δ$, we show that $Δ$ is vertex decomposable if $I_Δ^{\vee}$ is weakly polymatroidal. Let $W=G^π$ be a fully clique-whiskering graph, we prove that $J(W)^s$ is weakly polymatroidal for all $s\geq 1$.

This paper studies the co-maximal graph $\Om(R)$, the induced subgraph $\G(R)$ of $\Om(R)$ whose vertex set is $R\setminus (U(R)\cup J(R))$ and a retract $\G_r(R)$ of $\G(R)$, where $R$ is a commutative ring. We show that the core of $\G(R)$ is a union of triangles and rectangles, while a vertex in $\G(R)$ is either an end vertex or a vertex in the core. For a non-local ring $R$, we prove that both the chromatic number and clique number of $\G(R)$ are identical with the number of maximal ideals of $R$. A graph $\G_r(R)$ is also introduced on the vertex set $\{Rx|\,x\in R\setminus (U(R)\cup J(R))\}$, and graph properties of $\G_r(R)$ are studied.