# Powers of componentwise linear ideals: the Herzog–Hibi–Ohsugi conjecture and related problems

Powers of componentwise linear ideals: the Herzog–Hibi–Ohsugi conjecture and related problems In 1999, Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal I is componentwise linear if for all nonnegative integers d, the ideal generated by the homogeneous elements of degree d in I has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen–Macaulay for the corresponding simplicial complexes. In general, the property of being componentwise linear is not preserved by taking powers. In 2011, Herzog, Hibi, and Ohsugi conjectured that if I is the cover ideal of a chordal graph, then Is\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$I^s$$\end{document} is componentwise linear for all s≥1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$s \ge 1$$\end{document}. We survey some of the basic properties of componentwise linear ideals and then specialize to the progress on the Herzog–Hibi–Ohsugi conjecture during the last decade. We also survey the related problem of determining when the symbolic powers of a cover ideal are componentwise linear http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Research in the Mathematical Sciences Springer Journals

# Powers of componentwise linear ideals: the Herzog–Hibi–Ohsugi conjecture and related problems

, Volume 9 (2) – Jun 1, 2022
26 pages

/lp/springer-journals/powers-of-componentwise-linear-ideals-the-herzog-hibi-ohsugi-v2MMQApTEC
Publisher
Springer Journals
Copyright © The Author(s), under exclusive licence to Springer Nature Switzerland AG 2022
eISSN
2197-9847
DOI
10.1007/s40687-022-00316-4
Publisher site
See Article on Publisher Site

### Abstract

In 1999, Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal I is componentwise linear if for all nonnegative integers d, the ideal generated by the homogeneous elements of degree d in I has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen–Macaulay for the corresponding simplicial complexes. In general, the property of being componentwise linear is not preserved by taking powers. In 2011, Herzog, Hibi, and Ohsugi conjectured that if I is the cover ideal of a chordal graph, then Is\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$I^s$$\end{document} is componentwise linear for all s≥1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$s \ge 1$$\end{document}. We survey some of the basic properties of componentwise linear ideals and then specialize to the progress on the Herzog–Hibi–Ohsugi conjecture during the last decade. We also survey the related problem of determining when the symbolic powers of a cover ideal are componentwise linear

### Journal

Research in the Mathematical SciencesSpringer Journals

Published: Jun 1, 2022

Keywords: Componentwise linear ideals; Linear quotients; powers of ideals; Symbolic powers; Cover ideals; Edge ideals; Simplicial complexes; Primary: 13D02 Secondary: 05E40; 13F20

### References

Access the full text.