A question of Nori: Projective generation of ideals (Q1417759): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Shrikaut M. Bhatwadekar / rank | |||
Property / reviewed by | |||
Property / reviewed by: N. Mohan Kumar / rank | |||
Property / author | |||
Property / author: Shrikaut M. Bhatwadekar / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: N. Mohan Kumar / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1026217116072 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2080711696 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:47, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A question of Nori: Projective generation of ideals |
scientific article |
Statements
A question of Nori: Projective generation of ideals (English)
0 references
6 January 2004
0 references
The authors prove the following theorem: Let \(k\) be an infinite perfect field and \(A\) be a regular affine domain over \(k\) of dimension \(d\). Let \(n\) be an integer such that \(2n\geq d+3\). Let \(I\subset A[T]\) be an ideal of height \(n\) and assume that we are given a surjection \(P\to I/I^2T\), where \(P\) is a projective module of rank \(n\) over \(A\). Then one has a surjection \(P[T]\to I\) which is a lift of the given surjection. This answers a question of \textit{M. V. Nori} raised in the appendix (p. 645--646) to a paper of \textit{S. Mandal} [J. Algebr. Geom. 1, No. 4, 639--646 (1992; Zbl 0796.14011)], where Mandal proves this theorem with relaxed hypothesis on the ring, but that \(I\) contains a monic polynomial. The case of \(A\) being a local ring coming from a smooth variety was settled by \textit{S. Mandal} and \textit{P. L. N. Varma} [Commun. Algebra. 25, 451--457 (1997; Zbl 0881.13012)]. \textit{S. M. Bhatwadekar} and \textit{R. Sridharan} proved the result when \(\dim A[T]/I=1\) [Invent. Math. 133, 161--192 (1998; Zbl 0936.13005)]. The main idea of the proof involves, following Quillen's solution to Serre's problem, that a certain multiplicatively closed subset is actually an ideal. Thus, one reduces the problem to the local case, which has been settled by Mandal and Varma.
0 references
generation of ideals
0 references
projective modules
0 references
affine domain
0 references
unimodular elements
0 references
polynomial ring
0 references