Abstract
For an ideal $I$ in a noetherian ring $R$, let $\mu(I)$ be the minimal number of generators of $I$. It is well known that there is a sequence of inequalities $\mu(I/I^2)\leq \mu(I)\leq \mu(I/I^2)+1$ that are strict in general. However, Murthy conjectured in 1975 that $\mu(I/I^2)=\mu(I)$ for ideals in polynomial rings whose height equals $\mu(I/I^2)$. The purpose of this article is to prove a stronger form of the conjecture in case the base field is infinite of characteristic different from $2$: Namely, the equality $\mu(I/I^2)=\mu(I)$ holds for any ideal $I$, irrespective of its height.
-
[Abhyankar73]
S. S. Abhyankar, "On Macaulay’s example," in Conf. Comm. Algebra, New York: Springer-Verlag, 1973, vol. 311, pp. 1-16.@incollection{Abhyankar73,
author = {Abhyankar, S. S.},
title = {On {M}acaulay's example},
booktitle = {Conf. Comm. Algebra},
venue = {Univ. Kansas, Lawrence, Kan., 1972},
series = {Lecture Notes in Math.},
volume = {311},
publisher = {Springer-Verlag},
address = {New York},
pages = {1--16},
year = {1973},
mrnumber = {0466156},
zblnumber = {0259.13010},
doi = {10.1007/BFb0068914},
} -
[Asok14] A. Asok, B. Doran, and J. Fasel, Smooth models of motivic spheres, 2014.
@misc{Asok14,
author = {Asok, A and Doran, B and Fasel, J.},
title = {Smooth models of motivic spheres},
arxiv = {1408.0413},
year = {2014},
} -
[Asok15b] A. Asok, M. Hoyois, and M. Wendt, Affine representability results in ${\mathbb A}^1$-homotopy theory II: principal bundles and homogeneous spaces, 2015.
@misc{Asok15b,
author = {Asok, A. and Hoyois, M. and Wendt, M.},
title = {Affine representability results in {${\mathbb A}^1$}-homotopy theory {II}: principal bundles and homogeneous spaces},
arxiv = {1507.08020},
year = {2015},
} -
[Calmes14a] B. Calmès and F. Fasel, "Groupes classiques," in Autour des Schémas en Groupes, Calmés, B., Chaudouard, P. -H., Conrad, B., Demarche, C., and Fasel, J., Eds., Paris: Soc. Math. France, 2016, vol. 46, pp. 1-333.
@incollection{Calmes14a,
author = {Calmès, B. and Fasel, F.},
title = {Groupes classiques},
booktitle = {Autour des Schémas en Groupes},
NOTE={École d'été ``Schémas en Groupes,'' Group Schemes, A celebtraion of SGA3, Volume II},
editor={Calmés, B. and Chaudouard, P.-H. and Conrad, B. and Demarche, C. and Fasel, J.},
SERIES={Panoramas et {S}ynthèses},
VOLUME={46},
PAGES={1--333},
PUBLISHER={Soc. Math. France},
ADDRESS={Paris},
year = {2016},
} -
[Cohn66] P. M. Cohn, "On the structure of the ${ GL}_{2}$ of a ring," Inst. Hautes Études Sci. Publ. Math., vol. 30, pp. 5-53, 1966.
@article{Cohn66, mrkey = {0207856},
author = {Cohn, P. M.},
title = {On the structure of the {${\rm GL}\sb{2}$} of a ring},
journal = {Inst. Hautes Études Sci. Publ. Math.},
fjournal = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
volume = {30},
year = {1966},
pages = {5--53},
issn = {0073-8301},
mrclass = {20.70 (16.48)},
mrnumber = {0207856},
mrreviewer = {I. Reiner},
url = {http://www.numdam.org/item?id=PMIHES_1966__30__5_0},
zblnumber = {0144.26301},
} -
[Fasel08b] J. Fasel, "Some remarks on orbit sets of unimodular rows," Comment. Math. Helv., vol. 86, iss. 1, pp. 13-39, 2011.
@article{Fasel08b, mrkey = {2745274},
author = {Fasel, Jean},
title = {Some remarks on orbit sets of unimodular rows},
journal = {Comment. Math. Helv.},
fjournal = {Commentarii Mathematici Helvetici. A Journal of the Swiss Mathematical Society},
volume = {86},
year = {2011},
number = {1},
pages = {13--39},
issn = {0010-2571},
mrclass = {13C10 (13D15 19A13 19G38)},
mrnumber = {2745274},
mrreviewer = {Manoj Kumar Keshari},
doi = {10.4171/CMH/216},
zblnumber = {1205.13013},
} -
[Forster64] O. Forster, "Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring," Math. Z., vol. 84, pp. 80-87, 1964.
@article{Forster64, mrkey = {0163932},
author = {Forster, Otto},
title = {Über die {A}nzahl der {E}rzeugenden eines {I}deals in einem {N}oetherschen {R}ing},
journal = {Math. Z.},
fjournal = {Mathematische Zeitschrift},
volume = {84},
year = {1964},
pages = {80--87},
issn = {0025-5874},
mrclass = {13.20 (16.00)},
mrnumber = {0163932},
mrreviewer = {Y. Nakai},
doi = {10.1007/BF01112211},
zblnumber = {0126.27303},
} -
[Fulton98] W. Fulton, Intersection Theory, Second ed., New York: Springer-Verlag, 1998, vol. 2.
@book{Fulton98, mrkey = {1644323},
author = {Fulton, William},
title = {Intersection Theory},
series = {Ergeb. Math. Grenzgeb.},
volume = {2},
edition = {Second},
publisher = {Springer-Verlag},
year = {1998},
pages = {xiv+470},
isbn = {3-540-62046-X; 0-387-98549-2},
mrclass = {14C17 (14-02)},
mrnumber = {1644323},
doi = {10.1007/978-1-4612-1700-8},
address = {New York},
zblnumber = {0885.14002},
} -
[Kneser02] M. Kneser, Quadratische Formen, New York: Springer-Verlag, 2002.
@book{Kneser02, mrkey = {2788987},
author = {Kneser, Martin},
title = {Quadratische {F}ormen},
publisher = {Springer-Verlag},
year = {2002},
pages = {viii+164},
isbn = {3-540-64650-7},
mrclass = {11-02 (11Exx 11H55)},
mrnumber = {2788987},
doi = {10.1007/978-3-642-56380-5},
address = {New York},
zblnumber = {1001.11014},
} -
[Lindel81] H. Lindel, "On the Bass-Quillen conjecture concerning projective modules over polynomial rings," Invent. Math., vol. 65, iss. 2, pp. 319-323, 1981/82.
@article{Lindel81, mrkey = {0641133},
author = {Lindel, Hartmut},
title = {On the {B}ass-{Q}uillen conjecture concerning projective modules over polynomial rings},
journal = {Invent. Math.},
fjournal = {Inventiones Mathematicae},
volume = {65},
year = {1981/82},
number = {2},
pages = {319--323},
issn = {0020-9910},
coden = {INVMBH},
mrclass = {13C10},
mrnumber = {0641133},
mrreviewer = {Jean-Luc Chabert},
doi = {10.1007/BF01389017},
zblnumber = {0477.13006},
} -
[Mandal15] S. Mandal, On the complete intersection conjecture of Murthy, 2015.
@misc{Mandal15,
author={Mandal, S.},
TITLE={On the complete intersection conjecture of {M}urthy},
ARXIV={1509.08534},
YEAR={2015},
} -
[Mohan77] N. Mohan Kumar, "Complete intersections," J. Math. Kyoto Univ., vol. 17, iss. 3, pp. 533-538, 1977.
@article{Mohan77, mrkey = {0472851},
author = {Mohan Kumar, N.},
title = {Complete intersections},
journal = {J. Math. Kyoto Univ.},
fjournal = {Journal of Mathematics of Kyoto University},
volume = {17},
year = {1977},
number = {3},
pages = {533--538},
issn = {0023-608X},
mrclass = {14M10},
mrnumber = {0472851},
mrreviewer = {Allen B. Altman},
zblnumber = {0384.14016},
url = {http://projecteuclid.org/euclid.kjm/1250522714},
} -
[Mohan78] N. Mohan Kumar, "On two conjectures about polynomial rings," Invent. Math., vol. 46, iss. 3, pp. 225-236, 1978.
@article{Mohan78, mrkey = {0499785},
author = {Mohan Kumar, N.},
title = {On two conjectures about polynomial rings},
journal = {Invent. Math.},
fjournal = {Inventiones Mathematicae},
volume = {46},
year = {1978},
number = {3},
pages = {225--236},
issn = {0020-9910},
coden = {INVMBH},
mrclass = {13C15 (13F20)},
mrnumber = {0499785},
mrreviewer = {J. W. Brewer},
doi = {10.1007/BF01390276},
zblnumber = {0395.13009},
} -
[Murthy75] P. M. Murthy, "Complete Intersections," in Conference on Commutative Algebra–1975, Kingston, Ont.: Queen’s Univ., 1975, vol. 42, pp. 196-211.
@incollection{Murthy75, mrkey = {0396591},
author = {Murthy, M. Pavaman},
title = {Complete Intersections},
booktitle = {Conference on {C}ommutative {A}lgebra--1975},
venue = {{Q}ueen's {U}niv., {K}ingston, {O}nt., 1975},
pages = {196--211},
series = {Queen's Papers on Pure and Applied Math.},
volume = {42},
publisher = {Queen's Univ.},
address = {Kingston, Ont.},
year = {1975},
mrclass = {14M10 (13A15)},
mrnumber = {0396591},
mrreviewer = {Melvin Hochster},
zblnumber = {0354.14015},
} -
[Murthy94] P. M. Murthy, "Zero cycles and projective modules," Ann. of Math., vol. 140, iss. 2, pp. 405-434, 1994.
@article{Murthy94, mrkey = {1298718},
author = {Murthy, M. Pavaman},
title = {Zero cycles and projective modules},
journal = {Ann. of Math.},
fjournal = {Annals of Mathematics. Second Series},
volume = {140},
year = {1994},
number = {2},
pages = {405--434},
issn = {0003-486X},
coden = {ANMAAH},
mrclass = {13C10 (13D15 14C17 14C25)},
mrnumber = {1298718},
mrreviewer = {N. Mohan Kumar},
doi = {10.2307/2118605},
zblnumber = {0839.13007},
} -
[Morel99] F. Morel and V. Voevodsky, "${\bf A}^1$-homotopy theory of schemes," Inst. Hautes Études Sci. Publ. Math., vol. 90, pp. 45-143 (2001), 1999.
@article{Morel99, mrkey = {1813224},
author = {Morel, Fabien and Voevodsky, Vladimir},
title = {{${\bf A}\sp 1$}-homotopy theory of schemes},
journal = {Inst. Hautes Études Sci. Publ. Math.},
fjournal = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
volume = {90},
year = {1999},
pages = {45--143 (2001)},
issn = {0073-8301},
coden = {PMIHA6},
mrclass = {14F35 (19E08)},
mrnumber = {1813224},
mrreviewer = {Marc Levine},
zblnumber = {0395.13009},
doi = {10.1007/BF02698831},
} -
[Popescu89] D. Popescu, "Polynomial rings and their projective modules," Nagoya Math. J., vol. 113, pp. 121-128, 1989.
@article{Popescu89, mrkey = {0986438},
author = {Popescu, Dorin},
title = {Polynomial rings and their projective modules},
journal = {Nagoya Math. J.},
fjournal = {Nagoya Mathematical Journal},
volume = {113},
year = {1989},
pages = {121--128},
issn = {0027-7630},
coden = {NGMJA2},
mrclass = {13C10 (13H05 14B12 14B25)},
mrnumber = {0986438},
mrreviewer = {Liam O'Carroll},
url = {http://projecteuclid.org/euclid.nmj/1118781189},
zblnumber = {0663.13006},
} -
[Quillen76] D. Quillen, "Projective modules over polynomial rings," Invent. Math., vol. 36, pp. 167-171, 1976.
@article{Quillen76, mrkey = {0427303},
author = {Quillen, Daniel},
title = {Projective modules over polynomial rings},
journal = {Invent. Math.},
fjournal = {Inventiones Mathematicae},
volume = {36},
year = {1976},
pages = {167--171},
issn = {0020-9910},
mrclass = {13C10},
mrnumber = {0427303},
mrreviewer = {Daniel Lazard},
doi = {10.1007/BF01390008},
zblnumber = {0337.13011},
} -
[Sathaye78] A. Sathaye, "On the Forster-Eisenbud-Evans conjectures," Invent. Math., vol. 46, iss. 3, pp. 211-224, 1978.
@article{Sathaye78, mrkey = {0499784},
author = {Sathaye, Avinash},
title = {On the {F}orster-{E}isenbud-{E}vans conjectures},
journal = {Invent. Math.},
fjournal = {Inventiones Mathematicae},
volume = {46},
year = {1978},
number = {3},
pages = {211--224},
issn = {0020-9910},
coden = {INVMBH},
mrclass = {13C15 (13F20)},
mrnumber = {0499784},
mrreviewer = {J. W. Brewer},
doi = {10.1007/BF01390275},
zblnumber = {0382.13004},
} -
[Stavrova14] A. Stavrova, "Homotopy invariance of non-stable $K_1$-functors," J. K-Theory, vol. 13, iss. 2, pp. 199-248, 2014.
@article{Stavrova14, mrkey = {3189425},
author = {Stavrova, A.},
title = {Homotopy invariance of non-stable {$K\sb 1$}-functors},
journal = {J. K-Theory},
fjournal = {Journal of K-Theory. K-Theory and its Applications in Algebra, Geometry, Analysis \& Topology},
volume = {13},
year = {2014},
number = {2},
pages = {199--248},
issn = {1865-2433},
mrclass = {19B28 (14L35 20G07 20G15)},
mrnumber = {3189425},
doi = {10.1017/is013006012jkt232},
zblnumber = {1314.19002},
} -
[Swan72] R. G. Swan, "Some relations between higher $K$-functors," J. Algebra, vol. 21, pp. 113-136, 1972.
@article{Swan72, mrkey = {0313361},
author = {Swan, Richard G.},
title = {Some relations between higher {$K$}-functors},
journal = {J. Algebra},
fjournal = {Journal of Algebra},
volume = {21},
year = {1972},
pages = {113--136},
issn = {0021-8693},
mrclass = {18F25},
mrnumber = {0313361},
mrreviewer = {H. Bass},
doi = {10.1016/0021-8693(72)90039-7},
zblnumber = {0243.18020},
} -
[Taddei86] G. Taddei, "Normalité des groupes élémentaires dans les groupes de Chevalley sur un anneau," in Applications of Algebraic $K$-theory to Algebraic Geometry and Number Theory, Part I, II, Providence, RI: Amer. Math. Soc., 1986, vol. 55, pp. 693-710.
@incollection{Taddei86, mrkey = {0862660},
author = {Taddei, Giovanni},
title = {Normalité des groupes élémentaires dans les groupes de {C}hevalley sur un anneau},
booktitle = {Applications of Algebraic {$K$}-theory to Algebraic Geometry and Number Theory, {P}art {I},
{II}},
venue = {{B}oulder, {C}olo., 1983},
series = {Contemp. Math.},
volume = {55},
pages = {693--710},
publisher = {Amer. Math. Soc.},
address = {Providence, RI},
year = {1986},
mrclass = {20G35 (17B20 18F25 19B10)},
mrnumber = {0862660},
mrreviewer = {Hartmut Roloff},
doi = {10.1090/conm/055.2/1862660},
zblnumber = {0602.20040},
} -
[Vorst81] T. Vorst, "The general linear group of polynomial rings over regular rings," Comm. Algebra, vol. 9, iss. 5, pp. 499-509, 1981.
@article{Vorst81, mrkey = {0606650},
author = {Vorst, Ton},
title = {The general linear group of polynomial rings over regular rings},
journal = {Comm. Algebra},
fjournal = {Communications in Algebra},
volume = {9},
year = {1981},
number = {5},
pages = {499--509},
issn = {0092-7872},
coden = {COALDM},
mrclass = {13B10 (13D15 13E99 20G35)},
mrnumber = {0606650},
mrreviewer = {Andy R. Magid},
doi = {10.1080/00927878108822596},
zblnumber = {0602.20040},
} -
[Vavilov08] N. A. Vavilov and V. A. Petrov, "On overgroups of ${ EO}(n,R)$," Algebra i Analiz, vol. 19, iss. 2, pp. 10-51, 2007.
@article{Vavilov08, mrkey = {2333895},
author = {Vavilov, N. A. and Petrov, V. A.},
title = {On overgroups of {${\rm EO}(n,R)$}},
journal = {Algebra i Analiz},
fjournal = {Rossiĭskaya Akademiya Nauk. Algebra i Analiz},
volume = {19},
year = {2007},
number = {2},
pages = {10--51},
issn = {0234-0852},
mrclass = {20H25},
mrnumber = {2333895},
mrreviewer = {Igor V. Erovenko},
doi = {10.1090/S1061-0022-08-00992-8},
}
Full Article