Back to Search Start Over

On the number of generators of ideals in polynomial rings

Authors :
Jean Fasel
Institut Fourier (IF)
Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)
Institut Fourier (IF )
Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])
Source :
Annals of Mathematics, Annals of Mathematics, Princeton University, Department of Mathematics, 2016, 184 (1), pp.315-331. ⟨10.4007/annals.2016.184.1.3⟩
Publication Year :
2016
Publisher :
HAL CCSD, 2016.

Abstract

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation $\sum x_iy_i=z(1-z)$. We associate with the pair $(I,\omega_I)$ an obstruction in the set of homomorphisms $\mathrm{Hom}_{\mathbb{A}^1}(\mathrm{Spec}(R),Q_{2n})$ up to naive homotopy whose vanishing is sufficient for $\omega_I$ to lift to a surjection $R^n\to I$. Subsequently, we prove that the obstruction vanishes in case $R=k[T_1,\ldots,T_m]$ for $m\in \mathbb{N}$ where $k$ is an infinite perfect field having characteristic different from $2$ thus resolving an old conjecture of M. P. Murthy.<br />Comment: Paper withdrawn. Due to an error in Lemma 3.2.3, the proof of the main result collapses

Details

Language :
English
ISSN :
0003486X
Database :
OpenAIRE
Journal :
Annals of Mathematics, Annals of Mathematics, Princeton University, Department of Mathematics, 2016, 184 (1), pp.315-331. ⟨10.4007/annals.2016.184.1.3⟩
Accession number :
edsair.doi.dedup.....a9a0b72f017518b453ec49106d13f6f8