Derived category of squarefree modules and local cohomology with monomial ideal support (Q1876315)

Let \(S=k[x_1,\dots,x_n]\) be a polynomial ring and let \(\omega_S\) be its canonical module. In J. Algebra 225, 630--645 (2000; Zbl 0981.13011), \textit{K. Yanagawa} defined squarefree \(\mathbb{N}^n\)-graded \(S\)-modules to study free resolutions and cohomology of squarefree monomial ideals. We say a finitely generated \(\mathbb N^n\)-graded \(S\)-module \(M=\bigoplus_{\mathbf{a}\in\mathbb{N}^n} M_{\mathbf{a}}\) is squarefree, if the multiplication map \(M_{\mathbf{a}}\ni y\mapsto x_iy\in M_{\mathbf{a}+(0,\ldots,1,0,\ldots,0)}\) is bijective for all \(\mathbf{a}\in \mathbb{N}^n\) and all \(i\in \text{supp} (\mathbf{a}).\) A Stanley-Reisner ring \(k[\Delta]\), its syzygy module Syz\(_i(k[\Delta]),\) and Ext\(_{S}^{i}(k[\Delta], \omega_S)\) are always squarefree. In the paper under review, the author studies the derived category of squarefree modules. Let \(\mathbf{Sq}_S\) be the category of squarefree \(S\)-modules and their degree preserving maps. Then \(\mathbf{Sq}_S\) is equivalent to the category of finitely generated left \(\Lambda\)-modules, where \(\Lambda\) is the incidence algebra of the Boolean lattice \(2^{\{1,\dots,n\}}.\) Let \(D^b(\mathbf{Sq}_S)\) be the derived category of bounded complexes in \(\mathbf{Sq}_S.\) We have contravariant functors \(\mathbb{D}\) and \(\mathbb{A}\) from \(D^b(\mathbf{Sq}_S)\) to itself satisfying \(\mathbb{D}^{2}\cong \mathbb{A}^{2} \cong \text{Id}_{D^b(\mathbf{Sq}_S)}\) and we have the following relation: \(\mathbb{D}\circ\mathbb{A}\circ \mathbb{D}\circ\mathbb{A}\circ \mathbb{D}\circ\mathbb{A} \cong \mathbb{T}^{2n}\), where \(\mathbb{T}\) is the translation functor. \textit{T. Römer} [Osaka J. Math. 38, 469--485 (2001; Zbl 0995.13008)] defined squarefree modules over the exterior algebra \(E\). The category \(\mathbf{Sq}_E\) of squarefree \(E\)-modules is equivalent to the category \(\mathbf{Sq}_S.\) \textit{I. N. Bernstein, I. M. Gel'fand} and \textit{S. I. Gel'fand} [Funkts. Anal. Prilozh. 12, 66--67 (1978; Zbl 0402.14005)] establish the famous Bernstein-Gel'fand-Gel'fand correspondence between the bounded derived category of finitely generated \(\mathbb Z\)-graded \(S\)-modules and the bounded derived category of finitely generated \(\mathbb Z\)-graded left \(E\)-modules. The functors \(\mathbb{D}\) and \(\mathbb{A}\) are also related to the previous correspondence. The author studies also modules over the Weyl algebra \(k\langle x_1,\dots, x_n,\partial_1, \dots, \partial_n\rangle\) associated to squarefree modules when the characteristic of the field \(k\) is \(0\).