On the complete intersection conjecture of Murthy

DOI10.1016/J.JALGEBRA.2016.03.022MaRDI QIDQ290421zbMATH OpenOpenAlexWikidataFDO

Authors Satyagopal Mandal

Publication date 1 June 2016

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.08534

zbMATH Keywords

complete intersectionshomotopyidealspolynomials

Mathematics Subject Classification ID

Commutative rings and modules of finite generation or presentation; number of generators (13E15) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) (K)-theory of forms (19G99)

Abstract: Suppose $A=k[X_1,X_2,ldots,X_n]$ is a polynomial ring over a field $k$ and $I$ is an ideal in $A$. Then M. P. Murthy conjectured that $mu(I)=mu(I/I^2)$, where $mu$ denotes the minimal number of generators. Recently, Fasel cite{F} settled this conjecture, affirmatively, when $k$ is an infinite perfect field, with $1/2ink$ { m (always)}. We are able to do the same, when $k$ is an infinite field. In fact, we prove similar results for ideals $I$ in a polynomial ring $A=R[X]$, that contains a monic polynomial and $R$ is essentially finite type smooth algebra over an infinite field $k$, or $R$ is a regular ring over a perfect field $k$.

Review text

In the paper under review the author focuses on one of the aspects of the Murthy's Conjecture [\textit{A. V. Geramita} (ed.), Conference on commutative algebra - 1975. Ontario, Canada: Queen's University (1975; Zbl 0317.00002)]. Suppose \(A = k[X_1,X_2, \dots,X_n]\) is a polynomial ring over a field \(k\). Then, for any ideal \(I\) in \(A\), the conjecture states that \(\mu(I) = \mu(I/I^2)\), where \(\mu\) denotes the minimal number of generators. Fasel recently confirmed this conjecturefor infinite perfect fields \(k\) with \(1/2 \in k\) in his much celebrated paper [Ann. Math. (2) 184, No. 1, 315--331 (2016; Zbl 1372.13014)], the author of the current work shows that if \(R\) is a regular ring containing an infinite field \(k\), with \(1/2 \in k\), and if \(R\) is smooth and essentially finite over \(k\) or \(k\) is perfect, then for the polynomial ring \(A = R[X]\) and an ideal \(I\) in \(A\) that contains a monic polynomial, \(\mu(I) = \mu(I/I^22)\). Murthy's Conjecture for infinite fields containing \(1/2\) then follows, as explained in the paper. Some additional results that relate to the matter investigated are also discussed.

Recommendations

• On a conjecture of Murthy
• scientific article; zbMATH DE number 558869
• Monomial conjecture and complete intersections
• On the number of generators of ideals in polynomial rings
• Complete intersection points on affine varieties

Cites work

• Generating ideals in polynomial rings
• Homotopy invariance of non-stable \(K_{1}\)-functors
• scientific article; zbMATH DE number 48964 (Why is no real title available?)
• scientific article; zbMATH DE number 3550874 (Why is no real title available?)
• scientific article; zbMATH DE number 1405838 (Why is no real title available?)
• Lectures on expansion techniques in algebraic geometry. With notes by Balwant Singh
• Letter to the editor: General Néron desingularization and approximation
• On efficient generation of ideals
• On the Bass-Quillen conjecture concerning projective modules over polynomial rings
• On the number of generators of ideals in polynomial rings
• On two conjectures about polynomial rings
• Projective modules and complete intersections
• Rationally trivial torsors in -homotopy theory
• The epimorphism theorem and its generalizations
• The general linear group of polynomial rings over regular rings

Cited in

(9)

• On the FKB conjecture for disjoint intersections
• On a conjecture of Murthy
• Erratum to: ``On the complete intersection conjecture of Murthy
• A note on the Eisenbud-Mazur conjecture
• On the number of generators of ideals in polynomial rings
• The homotopy obstructions in complete intersections
• Complete intersection points on affine varieties
• scientific article; zbMATH DE number 4033901 (Why is no real title available?)
• On Last’s intersection spectrum conjecture

This page was built for publication: On the complete intersection conjecture of Murthy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290421)