English

Square-free powers of Cohen-Macaulay forests, cycles, and whiskered cycles

Commutative Algebra 2024-11-05 v2 Combinatorics

Abstract

Let I(G)[k]I(G)^{[k]} denote the kthk^{th} square-free power of the edge ideal I(G)I(G) of a graph GG. In this article, we provide a precise formula for the depth of I(G)[k]I(G)^{[k]} when GG is a Cohen-Macaulay forest. Using this, we show that for a Cohen-Macaulay forest GG, the kthk^{th} square-free power of I(G)I(G) is always Cohen-Macaulay, which is quite surprising since all ordinary powers of I(G)I(G) can never be Cohen-Macaulay unless GG is a disjoint union of edges. Next, we give an exact formula for the regularity and tight bounds on the depth of square-free powers of edge ideals of cycles. In the case of whiskered cycles, we obtain tight bounds on the regularity and depth of square-free powers, which aids in identifying when such ideals have linear resolutions. Additionally, we compute depth of I(G)[2]I(G)^{[2]} when GG is a cycle or whiskered cycle, and regularity of I(G)[2]I(G)^{[2]} when GG is a whiskered cycle.

Keywords

Cite

@article{arxiv.2409.06021,
  title  = {Square-free powers of Cohen-Macaulay forests, cycles, and whiskered cycles},
  author = {Kanoy Kumar Das and Amit Roy and Kamalesh Saha},
  journal= {arXiv preprint arXiv:2409.06021},
  year   = {2024}
}

Comments

Conjecture 6.1 of the previous version is now Theorem 4.2 and the rest of the paper has been revised accordingly