Generalized Lyubeznik numbers

DOI10.1215/00277630-2741026MaRDI QIDQ2926248zbMATH OpenOpenAlexFDO

Authors Luis Núñez-Betancourt, Emily E. Witt

Publication date 31 October 2014

Published in Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.5500, https://projecteuclid.org/euclid.nmj/1406130497

zbMATH Keywords

\(D\)-modulelocal cohomologyLyubeznik number

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45) Local rings and semilocal rings (13H99) Commutative rings of differential operators and their modules (13N10)

Abstract: Given a local ring containing a field, we define and investigate a family of invariants that includes the Lyubeznik numbers, but that captures finer information. These "generalized Lyubeznik numbers" are defined as lengths of certain iterated local cohomology modules in a category of D-modules, and in order to define them, we develop the theory of a functor Lyubeznik utilized in proving that his original invariants are well defined. In particular, this functor gives an equivalence of categories with a category of D-modules. These new invariants are indicators of F-regularity and F-rationality in characteristic p>0, and have close connections with characteristic cycle multiplicities in characteristic zero. We compute the generalized Lyubeznik numbers associated to monomial ideals using interpretations as lengths in a category of straight modules, as well as provide examples of these invariants associated to certain determinantal ideals.

Review text

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.

Recommendations

• Properties of Lyubeznik numbers under localization and polarization
• A survey on the Lyubeznik numbers
• Lyubeznik numbers of almost complete intersection and linked ideals
• Lyubeznik numbers in mixed characteristic
• Lyubeznik numbers and injective dimension in mixed characteristic
• On the highest Lyubeznik number
• Lyubeznik numbers, F-modules and modules of generalized fractions
• Generalized Eulerian 𝒟-modules in char p > 0
• Lyubeznik numbers of projective schemes
• On set theoretically and cohomologically complete intersection ideals

Cites work

• A partial survey of local cohomology.
• Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules
• Bass numbers of local cohomology modules with supports in monomial ideals.
• Bernstein–Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements
• Characteristic cycles of local cohomology modules of monomial ideals
• Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
• Finiteness properties of local cohomology modules (an application of D- modules to commutative algebra)
• Finiteness properties of local cohomology modules: A characteristic-free approach
• scientific article; zbMATH DE number 708654 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• Injective dimension of \(D\)-modules: A characteristic-free approach
• La théorie du polynôme de Bernstein-Sato pour les algèbres de Tate et de Dwork-Monsky-Washnitzer
• Local cohomology at monomial ideals
• Local cohomology multiplicities in terms of étale cohomology
• Local cohomology with support in ideals of maximal minors
• Local cohomology, arrangements of subspaces and monomial ideals.
• Lyubeznik numbers of monomial ideals
• On direct and inverse images of \(\mathcal D\)-modules in prime characteristic
• On the highest Lyubeznik number
• On the highest Lyubeznik number of a local ring
• On the Lyubeznik numbers of a local ring
• On the Structure and Ideal Theory of Complete Local Rings
• Some numerical invariants of local rings
• Test ideals in quotients of F-finite regular local rings
• The global homological dimension of some algebras of differential operators
• The intersection homology D-module in finite characteristic
• Topological computation of local cohomology multiplicities
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(12)

• Cohomological dimension, Lyubeznik numbers, and connectedness in mixed characteristic
• Properties of Lyubeznik numbers under localization and polarization
• Lyubeznik numbers in mixed characteristic
• Lyubeznik numbers of local rings and linear strands of graded ideals
• A survey on the Lyubeznik numbers
• On the de Rham homology and cohomology of a complete local ring in equicharacteristic zero
• D-module and F-module length of local cohomology modules
• Lyubeznik numbers, F-modules and modules of generalized fractions
• scientific article; zbMATH DE number 7199605 (Why is no real title available?)
• On the de Rham homology of affine varieties in characteristic 0
• Lyubeznik numbers of projective schemes
• On generalized Frame-Stewart numbers

This page was built for publication: Generalized Lyubeznik numbers

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