Iterated local cohomology groups and Lyubeznik numbers for determinantal rings (Q2212129)

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.