show/hide this revision's text 2 added 2 characters in body

Suppose that I and J are homogeneous ideals of $S=K[x_1,...,x_n]$ and set $d =\dim Tor_1(S/I,S/J)$. prove that for $d\geq d\leq 2$ $$reg(IJ)^sat $reg(IJ)^{sat} \leq reg I+reg J$$

show/hide this revision's text 1

Castelnuvo-Mumford regularity of Saturation

Suppose that I and J are homogeneous ideals of $S=K[x_1,...,x_n]$ and set $d =\dim Tor_1(S/I,S/J)$. prove that for $d\geq 2$ $$reg(IJ)^sat \leq reg I+reg J$$