Projective generation of ideals in polynomial extensions
For a commutative Noetherian ring (containing \(\mathbb{Q}\)), set \(\mathcal{P}_n (R)\) the set of (isomorphism classes of) projective \(R\) modules of rank \(n\). The paper is mainly devoted prove two results. The first one states that if \(R\) is an affine \(k\)-algebra of dimension \(n \geq 3\) (\(k\) is a characteristic zero field), \(L \in \mathcal{P}_1 (R)\) and \(I \subset R[t]\) a local complete intersection ideal of height \(n\) such that \(\mathrm{ht}(I(0)) \geq n\), and one also assume that there exists \(Q \in \mathcal{P}_n (R)\) with determinant \(L\) and a surjection \(Q[t] \rightarrow I/I^2 \cap (t)\), then there exists \(P \in \mathcal{P}_n (R[t])\) with determinant \(L[t]\) and a surjection \(P \rightarrow I\). The second result is the following one. Let \(R\) be a reduced affine \(k\)-algebra of dimension \(n \geq 3\) and \(L \in \mathcal{P}_1 (R)\). Let \(I \subset R[t]\) be an ideal of height \(n\) such that \(\mathrm{ht}(I(0)) \geq n\). Assume that \((I, \omega_I)\) belongs to the Euler class group \(\mathrm{E}(R[t],L)\) when \(n\geq 4\) and \((I, \omega_I)\) is in the restricted Euler class group of \(R[t]\) when \(n=3\). Also assume that there exists \(Q \in \mathcal{P}_n (R)\) with determinant \(L/tL\) and an isomorphism \(f: L/tL \rightarrow \bigwedge^n (Q)\) such that \(e(Q,f) =(I(0), \omega_{I(0)})\) in \(\mathrm{E\mathrm{}}(R,L/tL)\). Then, there exists \(P \in \mathcal{P}_n (R[t])\) with determinant \(L\) and an isomorphism \(f_1: L\rightarrow \bigwedge^n (P)\) such that \(e(P,f_1)=(I,\omega)\) in \(\mathrm{E}(R[t],L)\). The authors also deduce a corollary that improves results of the references [\textit{S. M. Bhatwadekar} and \textit{M. K. Das}, Int. Math. Res. Not. 2015, No. 4, 960--980 (2015; Zbl 1342.13012)] and [\textit{S. M. Bhatwadekar} and \textit{R. Sridharan}, \(K\)-Theory 15, No. 3, 293--300 (1998; Zbl 0951.13006)] in the paper.
- Projective generation of ideals in a certain ring
- Projective modules and efficient generation of ideals over Laurent polynomial rings
- Projective generation of curves in polynomial extensions of an affine domain. II
- Projective generation of curves in polynomial extensions of an affine domain and a question of Nori
- Projective generation of curves. III.
- ``Strong Euler class of a stably free module of odd rank
- A cancellation theorem for projective modules over affine algebras over \(C_{1}\)-fields.
- Cancellation theorems for projective modules over a two-dimensional ring and its polynomial extensions
- Euler class construction
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 1506001 (Why is no real title available?)
- scientific article; zbMATH DE number 3215167 (Why is no real title available?)
- On a question of Roitman
- On efficient generation of ideals
- On invariance of the Euler class groups under a subintegral base change
- Projective generation of curves in polynomial extensions of an affine domain and a question of Nori
- Projective generation of curves in polynomial extensions of an affine domain. II
- Projective generation of curves. III.
- Projective generation of maximal ideals in polynomial rings
- Projective modules and complete intersections
- Projective modules over polynomial rings
- Revisiting Nori's question and homotopy invariance of Euler class groups
- Some theorems about projective modules over polynomial rings
- The Bass-Quillen conjecture in dimension three but characteristic 2,3 via a question of A. Suslin
- The Conjectures of Eisenbud and Evans
- The Euler class group of a polynomial algebra with coefficients in a line bundle
- The Euler class group of a polynomial algebra.
- The Euler class group of a polynomial algebra. II
- Addition and subtraction of ideals
- The Euler class group of a polynomial algebra.
- A question of Nori: Projective generation of ideals
- Projective generation of ideals in a certain ring
- Projective generation of maximal ideals in polynomial rings
- A criterion for splitting of a projective module in terms of its generic sections
- Projective generation of curves. III.
- Monic inversion principle and complete intersection
This page was built for publication: Projective generation of ideals in polynomial extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199712)
