Local cohomology with support in ideals of maximal minors (Q456790): Difference between revisions

Let \(k\) be a field and \({\mathbf X}=(X_{ij})\) an \(r\times s\) matrix of indeterminates, where \(r<s\). Let \(R=k[{\mathbf X}]\) be the polynomial ring over \(k\) in the variables \(\{X_{ij}\mid 1\leq i\leq r, \;\;l\leq j\leq s\}\) and \(I\) the ideal of \(R\) generated by the maximal minors of \({\mathbf X}\). The paper under review investigates the vanishing of the local cohomology modules \(H_I^i(R)\). When \(k\) has prime characteristic, it is known that \(i=s-r+1\) is the only index that \(H_I^i(R) \neq 0\). Also, in the case the characteristic of \(k\) is zero, it is known that \(i=s-r+1\) and \(i=r (s-r)+1\) are respectively the minimum and maximum indices that \(H_I^i(R)\neq 0\). Assume that \(k\) has characteristic zero, \(E_R(k)\) denotes the injective envelope of \(k\) and \(d:=r(s-r)+1\). The main result of this paper asserts that \(H_I^d(R)\cong E_R(k)\) and that \(H_I^i(R)\neq 0\) if and only if \(i=(r-t)(s-r)+1\) for some \(0\leq t<r\).