Arithmetic of normal Rees algebras

Ideals and multiplicative ideal theory in commutative rings (13A15) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Class groups (13C20)

Review text

The authors study the arithmetical properties of Rees algebras and of symmetric algebras of modules. Precisely: Theorem 2.3.1. Let \(R\) be a normal domain, \(I\subset R\) a normal ideal of height at least two, \(P_ 1,\ldots,P_ r\subset R[It]\) the height one primes containing \(IR[It]\) and let \(P(R)\) denote the set of height one prime ideals of \(R\). Set \({\mathfrak p}_ i=P_ i\cap R\) for \(1\leq i\leq r\). Then the following conditions are equivalent: (a) The fundamental sequence of divisor class groups splits: \[ 0\to\mathbb{Z} Cl(IR[It])\to Cl(R[It])\to Cl(R[It,t^{-1}])\to 0. \] (b) For all \(i=1,\ldots,r\) there exists a map \(\pi_ i:{\mathcal P}(R)\to\mathbb{Z}\) so that \(v_{P_ i}(x)=\sum_{{\mathfrak p}\in{\mathcal P}(R)}v_{{\mathfrak p}}(x)\pi_ i({\mathfrak p})\) for all \(0\neq x\in R\). Suppose, moreover, that \(\text{gr}_ 1(R)\) is reduced and that \({\mathfrak p}_ i\not\subset {\mathfrak p}_ j\) for all \(i\neq j\). Then, in condition (b) one can replace \(v_{P_ i}\) by \(v_{{\mathfrak p}_ i}\). Theorem 3.2.1. Let \(R\) be a universally catenarian ring and let \(E\) be a finitely generated \(R\)-module such that \(S(E)\) is a normal domain. Then: (i) There is an exact sequence \(0\to F\to Cl(S(E))\to Cl(R)\to 0\), where \(F\) is a free (abelian) group of rank equal to the \(f\)-number of \(E\) [The notion of \(f\)-number was introduced previously by the authors in Commutative algebra, Proc. Conf., Trento/Italy 1981, Lect. Notes Pure Appl. Math. 84, 79-169 (1983; Zbl 0499.13002)]. (ii) The exact sequence in (i) splits if and only if there exist maps \(\pi_{{\mathfrak p}}:{\mathcal P}(R)\to\mathbb{Z}\), one for each \({\mathfrak p}\subset R\) with \(\text{ht}(T({\mathfrak p}))=1\), such that \(v_{{\mathfrak p}}(x)=\sum_{p\in{\mathcal P}(R)}v_ p(x)\pi_{{\mathfrak p}}(p)\) for all \(0\neq x\in R\), where \(T({\mathfrak p})\) means the \({\mathfrak p}\)-torsion of \(S(E)\). Corollary 4.2.3. Let \(R\) be a Cohen-Macaulay normal domain, residue of a Gorenstein local ring, and let \(I\subset R\) be an ideal of height at least two satisfying the following conditions: (i) \(I\) is radical and generically a complete intersection; (ii) \(\text{gr}_ I(R)\) is torsionfree over \(R/I\); (iii) \(R[It]\) is Cohen-Macaulay. Then the following conditions are equivalent: (1) \(\text{gr}_ I(R)\) is a Gorenstein ring. (2) \(I\) is an unmixed ideal. Theorem 4.4.3. Let \(R\) be a local Cohen-Macaulay ring of type 2 with canonical module \(\omega\) and let \(I\) be a Cohen-Macaulay ideal of height one, generated by two elements. If, for a given \(t\geq 2\), \(S_ t(I)\) is Cohen-Macaulay, then \(t=2\) and \(I\simeq\omega\). Theorem 4.4.5. Let \(R\) be a normal Cohen-Macaulay ring of type 2. Then \(R[\omega t]\) is Cohen-Macaulay of type 3.

Recommendations

Cites work

Cited in

(23)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Arithmetic of normal Rees algebras

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