{"id":"arxiv/2609.03566","url":"https://arxiv.org/abs/2609.03566","tags":["math.AC"],"score":0,"title":"Cohen--Macaulayness of $\\mathrm{Inc}(\\mathbb{N})$-Invariant Chains of Edge Ideals","domain":"math.AC","source":"arxiv","authors":["Imran Anwar","Mughees Ghayas","Azhar Javed"],"reviews":0,"subject":"math.AC","summary":"Let $(G_n)_{n\\ge n_0}$ be a family of graphs on $[n]$ whose edge ideals $I_n\\subseteq R_n=k[x_1,\\dots,x_n]$ form an $\\mathrm{Inc}(\\mathbb{N})$-invariant chain, $I_{n+r}=\\mathrm{Inc}(\\mathbb{N})_{n,n+r}(I_n)$ for $n\\ge n_0,\\ r\\ge0$. We determine which pairs $(n,r)$ make $R_{n+r}/I_{n+r}$ Cohen--Macaulay, for five classical families: line graphs $L_n$, complements of line graphs $L_n^c$, complete graphs $K_n$, cyclic graphs $C_n$, and complements of cyclic graphs $C_n^c$. For line graphs we give the generators of $I_{n+r}$, the height and Krull dimension of $R_{n+r}/I_{n+r}$, and a complete…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}