Projectively full ideals in noetherian rings (Q853905): Difference between revisions

The authors continue their work on projectively full ideals started in [J. Algebra 282, 140--156 (2004; Zbl 1059.13001)]. In the quoted paper they defined an ideal \(I\) of a commutative ring \(R\) to be projectively full if the set of integrally closed ideals projectively equivalent to \(I\) consists of the integral closures of the powers of \(I\). Recall that two ideals \(I\) and \(J\) are projectively equivalent (in the sense of Samuel) if they have some powers \(I^i\) and \(J^j\) with the same integral closure. The set \(\mathbb P(I)\) of an ideal \(I\) is said to be projectively full if there exists a projectively full ideal that is projectively equivalent to \(I\). Let \(A\) be a (commutative) algebra over a noetherian ring \(R\), and let \(I\) be a proper regular ideal of \(R\). The authors deal with the questions when \(I\) (respectively \(\mathbb P(I)\)) being projectively full implies that \(IA\) (respectively \(\mathbb P(IA)\)) is projectively full and conversely. For example, if \(A\) is a polynomial ring \(R[X_1,\dots,X_g]\), then \(I\) (respectively \(\mathbb P(I)\)) is projectively full in \(R\) iff \(IA\) (respectively \(\mathbb P(IA)\)) is projectively full in \(A\). If \(I\) is a regular proper ideal in a noetherian ring \(R\), \(A\) is a faithfully flat noetherian extension of \(R\), and \(IA\) is projectively full, then \(I\) is projectively full. A normal ideal \(I\) in a local ring \((R,M)\) is projectively full if \(I\) is not contained in \(M^2\) and if both the associated graded ring \(G(M)\) and the fiber cone ring \(F(I) =\bigoplus_{n\geq0}I^n/MI^n\) are reduced. If \(I\) is a nonzero proper invertible ideal of an integrally closed noetherian domain \(R\), then \(\mathbb P(I)\) is projectively full. The authors present examples of normal local domains of altitude \(2\) for which the maximal ideal is not projectively full.