The almost Gorenstein Rees algebras of parameters (Q5964501): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / 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
    0 references
    0 references
    0 references
    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

    Identifiers