Local Cohomology of Certain Determinantal Thickenings
Let R=C[{xij}] be the ring of polynomial functions in mn variables where m>n. Set X to be the m×n matrix in these variables and I:=In(X) the ideal of maximal minors of X. We consider the rings R/It; for t≫0 the depth of R/It is equal to n2−1, and we show that each local cohomology module Hmn2−1(R/It) is a cyclic R-module. We also compute the annihilator of Hmn2−1(R/It) thereby completely determining its R-module structure. In the case that X is a n×(n−1) matrix we describe a map between the Koszul complex of the t-powers of the maximal minors and a free resolution of R/It. We use this map to explicitly describe the modules ExtRn(R/It,R) as submodules of the top local cohomology module HIn(R). Moreover, we can realize the filtration ⋃iExtRn(R/It,R)=HIn(R) in terms of differential operators. Utilizing this description, along with an explicit isomorphism HIn(R)≅Hmn(n−1)(R), we determine the annihilator of ExtRn(R/It,R) and hence by graded local duality give another computation of the annihilator of Hm(n−1)2−1(R/It).