On the monotonicity of the hilbert function of the sally module (Q4953294)

Let \((R,m)\) be a local CM-ring of positive dimension with \(|R/m|=\infty\), \(I\) an \(m\)-primary ideal, and \(J\) a minimal reduction of \(I\). Then the \(R[Jt]\)-module \(S_J(I)= \bigoplus_{n\geq 1}I^{n+1}/ I\cdot J^n= \bigoplus_{n\geq 1}S_n\) is called the Sally module of \(I\) with respect to \(J\). The two main theorems in this article are: (1) If \(S:J(I)\neq 0\), then \(l(S_n)\) is strictly increasing; and (2) the Hilbert series \(H(\text{gr}_I(R),t)\) of \(\text{gr}_I(R)\) satisfies \[ H\bigl(\text{gr}_I(R), t\bigr) \leq\biggl(l(R/I) +\bigl(l(I/J) -1\bigr)t+ t^2 \biggr)/(1-t)^{\dim R}. \] The first theorem answers a question by Vasconcelos, the second improves a result by Rossi, Valla, and Vasconcelos.