The almost Gorenstein Rees algebras of parameters (Q5964501): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 01:31, 30 January 2024
scientific article; zbMATH DE number 6547269
Language | Label | Description | Also known as |
---|---|---|---|
English | The almost Gorenstein Rees algebras of parameters |
scientific article; zbMATH DE number 6547269 |
Statements
The almost Gorenstein Rees algebras of parameters (English)
0 references
29 February 2016
0 references
In the context of one dimensional analytically unramified local rings, the class of almost Gorentein local rings was introduced by \textit{V. Barucci} and \textit{R. Fröberg} [J. Algebra 188, No. 2, 418--442, Art. No. JA966837 (1997; Zbl 0874.13018)]. In 2015, Goto, Takahashi and Taniguchi [\textit{S. Goto} et al., J. Pure Appl. Algebra 219, No. 7, 2666--2712 (2015; Zbl 1319.13017)] generalized this concept for local and graded rings of any dimension. In the graded case, the relevant case for our discussion, if \(R=\oplus_{n \geq 0}R_n\) is a graded Cohen-Macaulay ring, \(R_0\) is local, and \(R\) has a canonical module \(K_R\), then \(R\) is said to be almost Gorenstein if there exists an exact sequence \(0 \to R \to K_R(-a) \to C \to 0\) with \(a=a(R)\), the \(a\)-invariant of \(R\), such that the multiplicity of \(C\) with respect to the maximal homogeneous ideal of \(R\) coincides with the minimal number of generators for \(C\). In this paper the authors study when the Rees algebras of certain classes of ideals are almost Gorenstein. In the first case, if \(A\) is a local Gorenstein ring, \(a_1,\ldots, a_r\) (\(r \geq 3\)) are part of a system of parameters and \(I=(a_1,\ldots, a_r)\), the authors prove that the Rees algebra \(A[It]\) is an almost Gorenstein graded ring if and only if \(A\) is a regular local ring and \(a_1,\ldots, a_r\) are part of a regular system of parameters. In the second case, if \((A,m)\) is a regular local ring with infinite residue field and dimension \(d \geq 3\) , \(Q\) is a parameter ideal (\(Q \neq m\)), and \(I=Q:m\), then the Rees algebra \(A[It]\) is an almost Gorenstein graded ring if and only if either \(I=m\) or \(d=3\) and \(I=(x) + m^2\) for some regular parameter \(x\).
0 references
almost Gorenstein ring
0 references
Cohen Macaulay ring
0 references
canonical module
0 references
parameter ideal
0 references
multiplicity
0 references
a-invariant
0 references