Generalized Lyubeznik numbers (Q2926248)

Let \(R\) be a Noetherian local ring of equicharacteristic or a finitely generated algebra over a field. Lyubeznik numbers are invariants of \(R\) introduced by \textit{G. Lyubeznik} [Invent. Math. 113, No. 1, 41--55 (1993; Zbl 0795.13004)]. In the present paper, the authors define a new family of invariants of \(R\), called generalized Lyubeznik numbers.NEWLINENEWLINEAssume that \(\hat R\) is a homomorphic image of regular local ring \(S\) (resp.\ \(R\) is a homomorphic image of a polynomial ring \(S\) over a field \(K\)) of dimension \(n\). Let \(i_1\), \dots, \(i_s\) be non-negative integers, \(I_1\), \dots, \(I_s\) ideals of \(R\) and \(J_1\), \dots, \(J_s \subset S\) contractions of \(I_1\), \dots, \(I_s\). The generalized Lyubeznik number \(\lambda_{I_s \dots I_1}^{i_s \dots i_1}(R; K')\) (resp.\ \(\lambda_{I_s \dots I_1}^{i_s \dots i_1}(R)\)) is defined to be the length of \(H_{J_s}^{i_s} \dots H_{J_2}^{i_2} H_{J_1}^{n - i_1}(S)\) as a module over the ring \(D(S, K')\) (resp.\ \(D(S, K)\)) of differential operators where \(K'\) is a coefficient field of \(\hat R\). The original Lyubeznik number \(\lambda_{ij}(R)\) equals to \(\lambda_{\mathfrak m (0)}^{ij}(R)\). The authors study \(D\)-modules to show that these invariants are well-defined and explicitly compute these invariants if \(I_1\), \dots, \(I_s\) are all determinantal ideals or if they are all monomial ideals.