Subrings of polynomial rings and the conjectures of Eisenbud and Evans

DOI10.1016/J.JALGEBRA.2023.10.039MaRDI QIDQ6187301zbMATH OpenOpenAlexFDO

Publication date 15 January 2024

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

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

basic element cancellation generalized dimension function Quillen patching

Projective and free modules and ideals in commutative rings (13C10) Stability for projective modules (19A13) Efficient generation of modules (19A15)

Abstract: Let

R

be a commutative Noetherian ring of dimension

d

. In 1973, Eisenbud and Evans proposed three conjectures on the polynomial ring

R [T]

. These conjectures were settled in the affirmative by Sathaye, Mohan Kumar and Plumstead. One of the primary objectives of this article is to investigate the validity of these conjectures over Noetherian subrings of

R [T]

of dimension

d + 1

, containing

R

. We formulate a class of such rings, which includes polynomial rings, Rees algebras, Rees-like algebras and Noetherian symbolic Rees algebras, and exhibit that all three conjectures hold for rings belonging to this class.

Review text

Let \(R\) be a commutative Noetherian ring of dimension \(d\). Eisenbud and Evans formulated in 1973 three conjectures on the polynomial ring \(R[T]\), later proved by Sathaye, Mohan Kumar and Plumstead. In this paper, the author shows that these conjectures are valid on a certain class of subrings of \(R[T]\), which includes polynomial rings, Rees algebras, Rees-like algebras and Noetherian symbolic Rees algebras. Let \(f\in R[T]\setminus R\) be a non-zero divisor and \(n \in Z\). A Noetherian subring \(A\) of \(R[T, f^n]\) containing \(R\), is called a geometric subring of \(R[T, f^n]\), if there exists a non-zero divisor \(s\in R\) such that \(A_s=R_s[T, f^n]\) and \(\dim(A)=d+1\). The main results of the paper read as follows. Let \(A\) be a geometric subring of \(R[T]\), and let \(M\) be an \(A\)-module such that \(\mu_\mathfrak{p}(M) \ge \dim(A/\mathfrak{p})\) for all minimal prime ideal \(\mathfrak{p} \in \mathrm{Spec}(A)\); then \(M\) has a basic element. Let \(f\in R[T] \setminus R\) be a non-zero divisor, let \(A\) be a geometric subring of \(R[T,f^n]\), where \(n \in Z\), and let \(P\) be a projective \(A\)-module such that \(\mathrm{rank}(P)\ge d +1\); then the projective module \(P\) is cancellative. Let \(A\) be a geometric subring of \(R[T]\); then any \(A\)-module \(M\) is generated by \(e(M)\) elements, where \(e(M) = \sup \{\mu_\mathfrak{p}(M) + \dim(R[T]/\mathfrak{p} \mid \mathfrak{p} \in \mathrm{Spec}(R[T]) \textrm{ such that } \dim(R[T]/\mathfrak{p} \le d\}\).

Recommendations

Cites work

Cited in

(1)

On projective modules over graded \(R\)-subalgebras of \(R[X, 1/X]\)

This page was built for publication: Subrings of polynomial rings and the conjectures of Eisenbud and Evans

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