Syzygy theorems via comparison of order ideals on a hypersurface (Q659885): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:54, 5 March 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
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