Arithmetic of normal Rees algebras (Q1178891): Difference between revisions

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.