Let \(I\) be an ideal of height \(g\) in a Noetherian domain \(R\), and assume that the associated graded ring \(R/I\oplus I/I^2\oplus\ldots\) is a domain. Let \(S\) be the Rees algebra \(R[It]\), \(t\) an indeterminate. Let \(\text{CL}(S)\) and \(\text{CL}(R)\) be the class groups of \(S\) and \(R\). If \(J\) is a divisorial ideal in \(R\) or \(S\), \([J]\) will be its class. The main result of this paper shows the following. (i) If \(g=1\), then \(\text{CL}(R)\) and \(\text{CL}(S)\) are isomorphic. (ii) If \(g\geq 2\), there is an exact sequence \(0\to \mathbb Z\cdot [IS]\to \text{CL}(S)\to \text{CL}(R)\to 0,\) and \([IS]\) has infinite order \((\mathbb Z\) is the integers). If \(R\) is factorial, or \(I\) is generically a complete intersection, then \(\text{CL}(S)\simeq \text{CL}(R)\oplus \mathbb Z\cdot [IS]\). (iii) Let \([\omega_S]\) be the canonical class of \(S\). Suppose \(R\) is an epimorphic image of a regular local ring. If \(g\geq 2\), also suppose \(R\) is factorial or \(I\) is generically a complete intersection. Then \([\omega_S] = [\omega_R]-(g-2)\cdot [IS]\). (iv) If \(R\) is a local Gorenstein ring, and \(I\) is generically a complete intersection, then \(\omega_S\simeq (1,t)^{-1}\).
- A note on the symmetric algebras which are gorenstein rings
- Complete intersections and symmetric algebras
- Criteria for equality of ordinary and symbolic powers of primes
- Divisor Class Groups and Deformations
- Graded algebras of powers of ideals generated by A-sequences
- scientific article; zbMATH DE number 3786941 (Why is no real title available?)
- scientific article; zbMATH DE number 3790589 (Why is no real title available?)
- scientific article; zbMATH DE number 3404347 (Why is no real title available?)
- Linkage and the Koszul Homology of Ideals
- On the Arithmetic and Homology of Algebras of Linear Type
- On the associated graded ring of an ideal
- On the Distribution of Prime Elements in Polynomial Krull Domains
- Symbolic powers of prime ideals and special graded algebras
- On the canonical module of the Rees algebra and the associated graded ring of an ideal
- The canonical module of an associated graded ring
- Free resolutions of certain codimension three perfect radical ideals
- Rees algebras and Koszul homology
- Arithmetic of normal Rees algebras
- Symbolic powers, Serre conditions and Cohen-Macaulay Rees algebras
- The limiting behavior on the restriction of divisor classes to hypersurfaces.
- Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers
- Filtered rings, filtered blowing-ups and normal two-dimensional singularities with ``star-shaped resolution
- Stability of the divisor class group upon completion
- Products of Borel fixed ideals of maximal minors
- Canonical modules of Rees algebras
- Special divisors of blowup algebras.
- scientific article; zbMATH DE number 4146086 (Why is no real title available?)
- scientific article; zbMATH DE number 4148247 (Why is no real title available?)
- On class groups and normality of rees rings
- Extremal Rees algebras
- Divisor Class Groups and Deformations
- scientific article; zbMATH DE number 3952914 (Why is no real title available?)
- On the divisor class groups of a two-dimensional local ring and its form ring
- Linear resolutions of powers and products
- The divisor class group of ordinary and symbolic blow-ups
- Algebras of minors
- Canonical modules and class groups of Rees-like algebras
- On the structure of Noetherian symbolic Rees algebras
This page was built for publication: On the divisor class group of Rees-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266740)
