Deformations of modules of maximal grade and the Hilbert scheme at determinantal schemes
Journal article, Peer reviewed
“ n o t i c e: this is the author’s version of a work that was accepted for publication in journal of algebra. changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. changes may have been made to this work since it was submitted for publication. a definitive version was subsequently published in kleppe, j. o. (2014). deformations of modules of maximal grade and the hilbert scheme at determinantal schemes. journal of algebra, 407, 246-274. http://dx.doi.org/10.1016/j.jalgebra.2014.03.007”
![Thumbnail](/oda-xmlui/bitstream/handle/10642/2206/1149167nr1.pdf.jpg?sequence=6&isAllowed=y)
View/ Open
Date
2014-04-04Metadata
Show full item recordCollections
Original version
Kleppe, J. O. (2014). Deformations of modules of maximal grade and the Hilbert scheme at determinantal schemes. Journal of Algebra, 407, 246-274. http://dx.doi.org/10.1016/j.jalgebra.2014.03.007Abstract
Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R). Suppose X:= Proj(R/I_t(\cA)) is smooth in a sufficiently large open subset and dim X > 0. Then we prove that the local graded deformation functor of M is isomorphic to the local Hilbert (scheme) functor at X \subset Proj(R) under a weak assumption which holds if dim X > 1. Under this assumption we get that the Hilbert scheme is smooth at (X), and we give an explicit formula for the dimension of its local ring. As a corollary we prove a conjecture of R.M. Miro-Roig and the author that the closure of the locus of standard determinantal schemes with fixed degrees of the entries in a presentation matrix is a generically smooth component V of the Hilbert scheme. Also their conjecture on the dimension of V is proved for dim X > 0. The cohomology H^i_{*}(\shN_X) of the normal sheaf of X in Proj(R) is shown to vanish for 0 < i < dim X - 1. Finally the mentioned results, slightly adapted, remain true replacing R by any Cohen-Macaulay quotient of a polynomial ring.