Powers of componentwise linear ideals: the Herzog-Hibi-Ohsugi conjecture and related problems (Q2125272)

A homogeneous ideal \(I\) in a polynomial ring is said to be componentwise linear if, for every \(d\geq 0\), the ideal generated by the degree \(d\) elements of \(I\) has a linear resolution. This article surveys the existing literature, with a special interest for the problem of the componentwise linearity of powers of a componentwise linear ideal. Section 2 covers the basic results on componentwise linear ideals. These include the relations with the Castelnuovo-Mumford regularity, the generic initial ideal, the Koszul module and the linear quotients property. In Section 3, the case of monomial ideals, mainly the Stanley-Reisner ideal of a simplicial complex, is the focus, but results on non-squarefree monomial ideals are also reviewed. In Section 4, the authors review the results on componentwise linearity of regular powers of homogeneous ideals, especially in the case of a cover ideal of a graph. The main motivation for this is a conjecture of Herzog, Hibi and Ohsugi stating that the regular powers of the cover ideal of a chordal graph are componentwise linear. [\textit{J. Herzog} et al., Abel Symp. 6, 49--60 (2011; Zbl 1317.13009).] Section 5 introduces the question of componentwise linearity of the symbolic powers of an ideal. The authors include here an original result establishing the componentwise linearity of the symbolic powers of the \emph{edge ideal} of a graph, subject to a condition on the primary components of this ideal (Theorem 5.21). The proof of this uses a result of [\textit{F. Mohammadi} and \textit{S. Moradi}, Osaka J. Math. 47, No. 3, 627--636 (2010; Zbl 1203.13017)] which establishes the componentwise linearity of an intersection of Veronese ideals, under some assumptions. Finally, in Section 6, the authors include a list of 8 research questions on the linear resolution and componentwise linear properties of powers of cover ideals and edge ideals.