Ulrich ideals and 2-AGL rings (Q2174534)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ulrich ideals and 2-AGL rings
scientific article

    Statements

    Ulrich ideals and 2-AGL rings (English)
    0 references
    0 references
    0 references
    0 references
    21 April 2020
    0 references
    Let \((R, \mathfrak m)\) be a Cohen-Macaulay local ring of dimension \(1\) and let \(K_R\) be its canonical module. Let \(I\) be a canonical ideal of \(R\) which means \(I\simeq K_R.\) Let \(Q=(a)\) be a minimal reduction of \(I\). Let \(\mathcal R=\mathcal R(I)\) and \(\mathcal T=\mathcal R(Q)\) be the Rees algebras of \(I\) and \(Q\) respectively. Let \(S_Q(I)=I{\mathcal R}/I {\mathcal T}\) be the Sally module of \(I\) with respect to \(Q.\) For all large \(n,\) the length \(\ell(R/I^{n+1})\) is given by a polynomial \(P_I(n)\) written as \(P_I(n)=e_0(I)\binom{n+1}{1}-e_1(I).\) Here \(e_0(I), e_1(I)\) are called the Hilbert coefficients of \(R\) with respect to \(I.\) The rank of \(S_Q(I)\) is defined to be \(\ell_{T_{\mathfrak p}}[S_Q(I)]_{\mathfrak p}\) where \(\mathfrak p=\mathfrak m {\mathcal T}.\) We say that \(R\) is a 2-AGL ring if \(\text{rank } S_Q(I)=2.\) This is equivalent to \(e_1(I)=e_0(I)-\ell(R/I)+2.\) \textit{T. D. M. Chau} et al. [J. Algebra 521, 299--330 (2019; Zbl 1454.13043)] obtained several characterisations of 2-AGL rings in terms of reduction number of \(I\) with respect to \(Q\) and co-length of the canonical fractional ideal \(K\) and the conductor ideal \(\mathcal C\) of \(R[K]\) into \(R.\) The authors consider the minimal presentations of \(K\) to characterise 2-AGL rings. It is proved that \(R\) is a 2-AGL ring if and only if the finer product \(R\times_{R/\mathcal C} R\) is so. Ulrich ideals are studied in 2-AGL rings. Let \(R\) be a 2-AGL ring with minimal multiplicity and let \(K\) be its canonical fractional ideal. If \(K/R\) is \(R/{\mathcal C}\)-free then \({\mathcal C}\) and \(\mathfrak m\) are the only Ulrich ideals of \(R.\) In case \(K/R\) is not \(R/{\mathcal C}\)-free then the only Ulrich ideal is \(\mathfrak m.\)
    0 references
    0 references
    0 references
    0 references
    0 references
    Cohen-Macaulay ring
    0 references
    canonical ideal
    0 references
    Ulrich ideal
    0 references
    almost Gorenstein ring
    0 references
    2-AGL ring
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references