Syzygy theorems via comparison of order ideals on a hypersurface (Q659885)

The authors study the Evans-Griffith syzygy theorem in the case of local rings of unramified mixed characteristic \(p\). They seek to establish relations between order ideals of syzygies over a ring \(R\) and a hypersurface of \(R\). Specifically, they define and apply a weak order ideal property: For a \(k\)-th syzygy module \(E\) over a Noetherian local ring \((R, \mathfrak m)\), \(E\) is said to satisfy the \textit{weak order ideal property} if there exists \(e\) in \(E-\mathfrak mE\) such that the grade of the order ideal \(O_E(e)\) is at least \(k\), and show that this property is sufficient for proving the Syzygy Theorem for syzygies of modules annihilated by powers of \(p\) and syzygies of finite projective dimension modules over \(R/(p^n)\). (This strategy was originally used in the graded setting in [\textit{E.~G.~Evans} and \textit{P.~Griffith}, Syzygies. London Mathematical Society Lecture Note Series, 106. Cambridge etc.: Cambridge University Press (1985; Zbl 0569.13005)].) Their approach is to consider situations in which the weak order ideal property for \(R\)-syzygies can be achieved, assuming that the Order Ideal Theorem holds over the respective hypersurface ring. The two main results, namely the First Weak Order Ideal Theorem and the Weak Order Ideal Theorem, detail two situations when such a conclusion can be reached. Additionally, the authors derive a strong bound on ranks of syzygies for modules annihilated by \(p\), and also via weakly liftable modules in the sense of Auslander.