Set theoretic complete intersection for curves in a smooth affine algebra (Q2502921): Difference between revisions

The author proves that if \(A\) is a regular ring of dimension \(d \geq 3\) containing an infinite field \(k\), \(I\) is an ideal of \(A\) of height \(n\), with \(n\) an even integer such that \(2n \geq d+3\), \(P\) a projective \(A\)-module of rank \(n\) such that \(P \oplus A \sim A^{n+1}\) and there exists a surjection \(\alpha: P \rightarrow I\), then \(I\) is a set theoretic complete intersection ideal in \(A\). As a consequence, if \(A\) is a smooth affine \(\mathbb C\)-algebra of dimension \(d \geq 5\) and \(I \subset A\) is the ideal of a smooth curve with trivial conormal bundle such that \(A/I\) is torsion in the Grothendieck group \(K_0(A)\), then \(I\) is a set theoretic complete intersection in \(A\).