Local cohomology and Lyubeznik numbers of F-pure rings

From MaRDI portal
Publication:2219016



Abstract: In this article, we study certain local cohomology modules over F-pure rings. We give sufficient conditions for the vanishing of some Lyubeznik numbers, derive a formula for computing these invariants when the F-pure ring is standard graded and, by its means, we provide some new examples of Lyubeznik tables. We study associated primes of certain Ext-modules, showing that they are all compatible ideals. Finally, we focus on properties that Lyubeznik numbers detect over a globally F-split projective variety.


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.



Cites work



Describes a project that uses

Uses Software






This page was built for publication: Local cohomology and Lyubeznik numbers of \(F\)-pure rings

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