Local Euler obstructions and Chern-Mather classes of determinantal varieties

From MaRDI portal



Abstract: For mgeqn, Let K be an algebraic closed base field, and define aum,n,k to be the set of mimesn matrices over K with kernel dimension geqk. This is a projective subvariety of mathbbPmn−1, and is usually called determinantal variety. In most cases aum,n,k is singular with singular locus aum,n,k+1. In this paper we compute the local Euler obstruction of aum,n,k, and we prove that the characteristic cycle of the intersection cohomology complex of aum,n,k is irreducible. We also give an explicit formula for the Chern-Mather class of aum,n,k as a class in projective space. The irreducibility of the intersection cohomology characteristic cycle follows from the explicit computation of the local Euler obstruction, a study of the `Tjurina transforms' of determinantal varieties, and the Kashiwara-Dubson's microlocal index theorem. Our explicit formulas are based on calculations of degrees of certain Chern classes of the universal bundles over the Grassmannian. We use The Schubert 2 package in Macaulay2 to exhibit examples of the Chern-Mather class and the class of the characteristic cycle of aum,n,k for some small values of m,n,k. Over the complex numbers, the local Euler obstruction of aum,n,k was recently computed by N.~Grulha, T.~Gaffney and M.~Ruas by methods in complex geometry.






Describes a project that uses

Uses Software






This page was built for publication: Local Euler obstructions and Chern-Mather classes of determinantal varieties

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