On a consequence of the order ideal conjecture

From MaRDI portal



Abstract: Given a minimal set of generators of an ideal I of height d in a regular local ring (R,m,k) we prove several cases for which the map is the 0-map. As a consequence of the order ideal conjecture we derive several cases for which are 0-maps for ige0.


The following conjecture is due to Dutta which is called ``Order ideal conjecture: Let \((R, \mathfrak{m})\) be a local ring and let \(M\) be a finitely generated \(k\)-th syzygy of finite projective dimension and let \(x\) be a minimal generator of \(M\). Then the order ideal \(\mathcal{O}_M(x)\) has grade at least \(k\). In the paper under review, the author shows several cases for which the map \(K_d(x; R)\otimes k \to \mathrm{Tor}^R_d(R/I, k)\) is the 0-map for a minimal set of generators \(x\) of an ideal \(I\) of height \(d\) in a regular local ring \((R, m, k)\). Then as a consequence of the order ideal conjecture he derives several cases for which \(K_{d+i}(x; R)\otimes k \to \mathrm{Tor}^R_{d+i}(R/I, k)\) are 0-maps for \(i\geq 0\).











This page was built for publication: On a consequence of the order ideal conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472990)