Integral closure of powers of edge ideals and their regularity (Q2168809)

Let \(I\subseteq K\) be two monomial ideals (of a standard graded polynomial ring over an arbitrary field). An ideal of the form \(I+(f_1,\dots,f_t)\), where \(\{f_1,\dots,f_t\}\) is a subset of the minimal monomial generating set of \(K\), is called an intermediate ideal of \(I\subseteq J\). In the main result of this article, the authors show that, for \(I\) the edge ideal of a simple graph and for \(s=1,2,3,4\), the regularities of any intermediate ideal of the containment of \(I^s\) in its integral closure coincide (Theorem 1.1). In Theorem 4.1, for \(I\) the Stanley-Reisner ideal of a non-normal, one-dimensional simplicial complex, the authors give an explicit formula for the common value of the regularities of the intermediate ideals of the containment of \(I^s\) in its integral closure. Finally, in section 5, based on an example in [\textit{K. Dalili} and \textit{M. Kummini}, Commun. Algebra 42, No. 2, 563--570 (2014; Zbl 1296.13013)] of an edge ideal \(J\) whose regularity depends on the characteristic of the field, the authors construct an example of an edge ideal \(I\) such that \[ \operatorname{reg} I^s = \operatorname{reg} I^{(s)} = \operatorname{reg} \overline{I^s} = \operatorname{reg} J + 2s, \] or all \(s\geq 1\).