Hodge ideals for the determinant hypersurface
-
Michael Perlman [1] ; Claudiu Raicu [1]
-
[1] University of Notre Dame
University of Notre Dame
Township of Portage, Estados Unidos
-
- Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 27, Nº. 1, 2021
- Idioma: inglés
- DOI: 10.1007/s00029-020-00616-z
- Enlaces
-
Resumen
We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module OX(∗Z) of regular functions on the space X of n×n matrices, with poles along the divisor Z of singular matrices. The composition factors for the weight filtration on OX(∗Z) are pure Hodge modules with underlying D-modules given by the simple GL-equivariant D-modules on X, where GL is the natural group of symmetries, acting by row and column operations on the matrix entries. By taking advantage of the GL-equivariance and the Cohen–Macaulay property of their associated graded, we describe explicitly the possible Hodge filtrations on a simple GL-equivariant D-module, which are unique up to a shift determined by the corresponding weights. For non-square matrices, OX(∗Z) is replaced by the local cohomology modules H∙Z(X,OX), which turn out to be pure Hodge modules. By working out explicitly the Decomposition Theorem for some natural resolutions of singularities of determinantal varieties, and using the results on square matrices, we determine the weights and the Hodge filtration for these local cohomology modules.
