Iterated local cohomology groups and Lyubeznik numbers for determinantal rings

DOI10.2140/ANT.2020.14.2533MaRDI QIDQ2212129zbMATH OpenOpenAlexWikidataFDO

Authors Claudiu Raicu, András Lőrincz

Publication date 18 November 2020

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.08895

zbMATH Keywords

determinantal varietiesequivariant \(\mathcal{D}\)-moduleslocal cohomologyLyubeznik numbers

Mathematics Subject Classification ID

Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Local cohomology and commutative rings (13D45) Determinantal varieties (14M12)

Abstract: We give an explicit recipe for determining iterated local cohomology groups with support in ideals of minors of a generic matrix in characteristic zero, expressing them as direct sums of indecomposable D-modules. For non-square matrices these indecomposables are simple, but this is no longer true for square matrices where the relevant indecomposables arise from the pole order filtration associated with the determinant hypersurface. Specializing our results to a single iteration, we determine the Lyubeznik numbers for all generic determinantal rings, thus answering a question of Hochster.

Review text

The authors give an explicit recipe for determining iterated local cohomology groups with support in ideals of minors of a generic matrix in characteristic zero, expressing them as direct sums of indecomposable D-modules. For nonsquare matrices these indecomposables are simple, but this is no longer true for square matrices where the relevant indecomposables arise from the pole order filtration associated with the determinant hypersurface. Theorem 1.1 determines the class in \(\Gamma_D\) of the local cohomology groups of each \(D_p\), thus generalizing the main result of [\textit{C. Raicu} and \textit{J. Weyman}, Algebra Number Theory 8, No. 5, 1231--1257 (2014; Zbl 1303.13018)] which addresses the case \(p = n\). For nonsquare matrices, Theorem 1.1, together with the fact that \(\bmod_{\mathrm{GL}}(D_X )\) is semisimple, gives a description of Lyubeznik numbers. Specializing our results to a single iteration, they determine the Lyubeznik numbers for all generic determinantal rings and prove the vanishing of a range of local cohomology groups. Next, they use the quiver description of the category \(\bmod_{\mathrm{GL}}(D_X )\) in conjunction with the vanishing results to provide an inductive proof of Theorem 1.6.

Recommendations

• Local cohomology with support in generic determinantal ideals
• Hodge ideals for the determinant hypersurface
• Borel–Moore homology of determinantal varieties
• Homological invariants of determinantal thickenings
• Lyubeznik numbers for Pfaffian rings
• Local cohomology with support in ideals of symmetric minors and Pfaffians
• Local Euler obstructions for determinantal varieties
• Complexes associated with trace and evaluation. Another approach to Lascoux's resolution
• $D$-module structure of local cohomology modules of toric algebras
• Local cohomology modules supported at determinantal ideals

Cites work

• A survey on the Lyubeznik numbers
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Characters of equivariant -modules on spaces of matrices
• Determinantal rings
• Elementary construction of perverse sheaves
• Equivariant \(\mathcal{D}\)-modules on binary cubic forms
• Finiteness properties of local cohomology modules (an application of D- modules to commutative algebra)
• Homological invariants of determinantal thickenings
• Local cohomology modules supported at determinantal ideals
• Local cohomology with support in generic determinantal ideals
• Local cohomology with support in ideals of symmetric minors and Pfaffians
• Lyubeznik numbers for nonsingular projective varieties
• Lyubeznik numbers for Pfaffian rings
• Lyubeznik numbers of irreducible projective varieties depend on the embedding
• On categories of equivariant \(\mathcal{D}\)-modules
• On the conormal bundle of the determinantal variety
• On the Lyubeznik numbers of a local ring
• Perverse Sheaves and Finite Dimensional Algebras
• Perverse sheaves on rank stratifications
• Regularity and cohomology of determinantal thickenings
• Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
• The Geometry of Syzygies
• The syzygies of some thickenings of determinantal varieties

Cited in

(19)

• On categories of equivariant \(\mathcal{D}\)-modules
• On Lyubeznik type invariants
• Local Euler obstructions for determinantal varieties
• Hodge ideals for the determinant hypersurface
• Lyubeznik numbers for Pfaffian rings
• Equivariant \(\mathcal{D}\)-modules on \(2 \times 2 \times 2\) hypermatrices
• Local cohomology modules supported at determinantal ideals
• scientific article; zbMATH DE number 40574 (Why is no real title available?)
• EQUIVARIANT -MODULES ON ALTERNATING SENARY 3-TENSORS
• Local Cohomology—An Invitation
• Lyubeznik numbers of irreducible projective varieties depend on the embedding
• Finiteness properties and numerical behavior of local cohomology
• Local cohomology on a subexceptional series of representations
• Holonomic functions and prehomogeneous spaces
• Differential operators, retracts, and toric face rings
• Equivariant \(\mathcal{D} \)-modules on \(2\times 2\times n\) hypermatrices
• Local cohomology with support in Schubert varieties
• Filtrations of \(\mathscr{D}\)-modules along semi-invariant functions
• Net determinant over a local Bezout ring

This page was built for publication: Iterated local cohomology groups and Lyubeznik numbers for determinantal rings

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