Canonical modules of Rees algebras

DOI10.1016/J.JPAA.2004.12.017MaRDI QIDQ2570671zbMATH OpenOpenAlexFDO

Authors Winfried Bruns, Gaetana Restuccia

Publication date 28 October 2005

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

canonical moduleclass groupRees algebra

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Integral closure of commutative rings and ideals (13B22) Class groups (13C20) Linkage, complete intersections and determinantal ideals (13C40)

Abstract: We compute the canonical class of certain Rees algebras. Our formula generalizes that of Herzog and Vasconcelos. Its proof relies on the fact that the formation of the canonical module commutes with subintersections in important cases. As an application we treat the classical determinantal ideals and the corresponding algebras of minors.

Review text

Let \(R\) be a regular domain essentially of finite type over a field, and \(I\) an ideal of \(R\). Assume that the Rees algebra \(R(I)=\bigoplus_{n\geq 0} I^n\) is Cohen-Macaulay and normal. Let \(P_1,\dots, P_t\) be the divisorial prime ideals of \(IR(I)\) with \(IR(I)= \bigcap_{i=1} P^{(d_i)}_i\), and suppose that \(v_{P_i}\mid R= v_{p_i}\) with \(p_i= P_i\cap R\) (\(v_{P_i}\)'s are the Rees valuations of \(I\)). Then the main theorem states that a canonical module \(\omega_{R(I)}\) of \(R(I)\) has the class \[ \sum^t_{i=1} (d_i+ 1- \text{ht}(p_i)[P_i]= [IR(I)]+ \sum^t_{i=1} (1- \text{ht}(p_i)[P_i]. \] Moreover, \(R(I)\) is Gorenstein if and only if \(d_i= \text{ht}(p_i)- 1\) for all \(i= 1,\dots, t\). The proof uses the fact that the canonical module commutes with subintersections under certain conditions. The formula is applied to compute the canonical classes of certain determinantal rings.

Recommendations

• Canonical modules and class groups of Rees-like algebras
• On the structure of the canonical module of the Rees algebra and the associated graded ring of an ideal
• The canonical module of an associated graded ring
• Algebras of minors
• What is the Rees algebra of a module?

Cites work

• Algebras defined by powers of determinantal idelas
• Algebras of minors
• Anneaux de Rees intégralement clos.
• Arithmetic of normal Rees algebras
• Asymptotic prime divisors
• Blow-up of Straightening-Closed Ideals in Ordinal Hodge Algebras
• Determinantal rings
• Holomorphe Differentialformen auf algebraischen Varietäten mit Singularitäten. I
• scientific article; zbMATH DE number 3941666 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 579532 (Why is no real title available?)
• scientific article; zbMATH DE number 1021793 (Why is no real title available?)
• scientific article; zbMATH DE number 1130566 (Why is no real title available?)
• scientific article; zbMATH DE number 3807789 (Why is no real title available?)
• scientific article; zbMATH DE number 3404347 (Why is no real title available?)
• Initial algebras of determinantal rings, Cohen-Macaulay and Ulrich ideals
• Invariante reguläre Differentialformen auf Gorenstein-Algebren
• Linkage and the Koszul Homology of Ideals
• On the canonical module of the Rees algebra and the associated graded ring of an ideal
• On the divisor class group of Rees-algebras
• Rees algebra of ideals generated by pfaffians
• Some Results on Normal Homogeneous Ideals
• Special divisors of blowup algebras.
• The divisor class group of ordinary and symbolic blow-ups
• Young diagrams and determinantal varieties
• Young diagrams and ideals of Pfaffians

Cited in

(8)

• Blowup algebras of square-free monomial ideals and some links to combinatorial optimization problems
• Rees algebras of conormal modules
• On the divisor class group of Rees-algebras
• On the structure of the canonical module of the Rees algebra and the associated graded ring of an ideal
• Extremal Rees algebras
• The rees valuations of a module over a two-dimensional regular local ring
• CANONICAL AND -CANONICAL MODULES OF A NOETHERIAN ALGEBRA
• Canonical modules and class groups of Rees-like algebras

Describes a project that uses

Uses Software

• Normaliz

This page was built for publication: Canonical modules of Rees algebras

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