Syzygy theorems via comparison of order ideals on a hypersurface (Q659885): Difference between revisions

From MaRDI portal
Normalize DOI.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/J.JPAA.2011.07.009 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JPAA.2011.07.009 / rank
 
Normal rank

Latest revision as of 00:11, 10 December 2024

scientific article
Language Label Description Also known as
English
Syzygy theorems via comparison of order ideals on a hypersurface
scientific article

    Statements

    Syzygy theorems via comparison of order ideals on a hypersurface (English)
    0 references
    0 references
    0 references
    24 January 2012
    0 references
    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.
    0 references
    syzygy theorem
    0 references
    hypersurfaces
    0 references
    syzygies
    0 references
    order ideals
    0 references

    Identifiers