English

Local Cohomology of Certain Determinantal Thickenings

Commutative Algebra 2022-09-15 v1

Abstract

Let R=C[{xij}]R=\mathbb{C}[\{x_{ij}\}] be the ring of polynomial functions in mnmn variables where m>nm> n. Set XX to be the m×nm\times n matrix in these variables and I:=In(X)I:=I_n(X) the ideal of maximal minors of XX. We consider the rings R/ItR/I^t; for t0t\gg 0 the depth of R/ItR/I^t is equal to n21n^2-1, and we show that each local cohomology module Hmn21(R/It)H^{n^2-1}_{\frak{m}}(R/I^t) is a cyclic RR-module. We also compute the annihilator of Hmn21(R/It)H^{n^2-1}_{\frak{m}}(R/I^t) thereby completely determining its RR-module structure. In the case that XX is a n×(n1)n\times (n-1) matrix we describe a map between the Koszul complex of the tt-powers of the maximal minors and a free resolution of R/ItR/I^t. We use this map to explicitly describe the modules ExtRn(R/It,R)\operatorname{Ext}_R ^n(R/I^t,R) as submodules of the top local cohomology module HIn(R)H_I^n(R). Moreover, we can realize the filtration iExtRn(R/It,R)=HIn(R)\bigcup_i\operatorname{Ext}_R ^n(R/I^t,R)= H_I^n(R) in terms of differential operators. Utilizing this description, along with an explicit isomorphism HIn(R)Hmn(n1)(R)H_I^n(R) \cong H_{\frak{m}}^{n(n-1)}(R), we determine the annihilator of ExtRn(R/It,R)\operatorname{Ext}_R ^n(R/I^t,R) and hence by graded local duality give another computation of the annihilator of Hm(n1)21(R/It)H^{(n-1)^2-1}_{\frak{m}}(R/I^t).

Keywords

Cite

@article{arxiv.2209.06738,
  title  = {Local Cohomology of Certain Determinantal Thickenings},
  author = {Hunter Simper},
  journal= {arXiv preprint arXiv:2209.06738},
  year   = {2022}
}

Comments

23 pages