Local cohomology and Lyubeznik numbers of \(F\)-pure rings (Q2219016)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Local cohomology and Lyubeznik numbers of \(F\)-pure rings
scientific article

    Statements

    Local cohomology and Lyubeznik numbers of \(F\)-pure rings (English)
    0 references
    0 references
    0 references
    18 January 2021
    0 references
    Although local cohomology modules are not in general finitely generated, they often have some nice finiteness properties. For example if \(S\) is an equicharacteristic regular ring, \(H^i_I(S)\) has finitely many associated primes and all Bass numbers are finite. In this nice article, the authors study the local cohomology modules of \(F\)-finite \(F\)-pure rings \(R\) which are quotients of a regular ring \(S\) by an ideal \(I\). Much of the paper focuses on determining some Lyubeznik numbers \(\lambda_{i,j}(R)\) which are Bass numbers \(\mu^i(S/\mathfrak{n},H^{n-j}_I(S))\) where \(\mathfrak{n}\) is either the maximal ideal ideal (or graded maximal ideal) of \(S\). In particular, they determine that the Lyubeznik numbers \(\lambda_{i,j}(R)\) vanish for \(i\leq s-1\) and \(j\leq s\) where \(s\) is the dimension of \(R/ \mathcal{P}(R)\) with \(\mathcal{P}(R)\) is the splitting prime of \(R\). When \(S\) is given the standard grading and \(I\) is a homogeneous ideal, they show that the \((i,j)\)-th Lyubeznik number of \(R\) is just the \(S/\mathfrak{n}\)-vector space dimension of the degree zero piece of the module \(\mathrm{Ext}^{n-i}_S(\mathrm{Ext}^{n-j}_S(R,S),S)\). If \(R\) is further and equidimensional Cohen-Macaulay ring, they determine all the Lyubeznik numbers of \(R\). They additionally show that the associated primes of the local cohomology modules \(H^i_I(S)\) when extended to \(R\) are compatible for all elements of \(\mathrm{Hom}_R(F^e_*(R),R)\). In addition to these results, the authors include some helpful examples of Lyubeznik tables, for some binomial edge ideals.
    0 references
    \(F\)-pure rings
    0 references
    Lyubeznik numbers
    0 references
    local cohomology
    0 references
    compatible ideals
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers