Equivariant primary decomposition and toric sheaves (Q967647)

Let \(X\) be a scheme locally of finite type over an algebraically closed field \(k\) of characteristic 0 and \(\mathcal M\) a coherent sheaf on \(X\). Recall that \(\text{Ass}(\mathcal M)\) consists of the irreducible closed subsets \(Y\) of \(X\) such that, for every affine open subset \(U\) of \(X\), \({\mathcal I}_Y(U) \in \text{Ass}_{{\mathcal O}_X(U)}({\mathcal M}(U))\). The first main result of the paper under review asserts that if \(\sigma : G \times X \rightarrow X\) is an action of a connected linear algebraic group over \(k\) on \(X\), if \(\mathcal M\) is \(G\)-equivariant and if \(\mathcal N \subset \mathcal M\) is a \(G\)-equivariant coherent subsheaf then: (1) every \(Y \in \text{Ass} (\mathcal M/\mathcal N)\) is \(G\)-invariant, and (2) there exists, for every \(Y \in \text{Ass}(\mathcal M/\mathcal N)\), a \(G\)-equivariant coherent subsheaf \({\mathcal Q}_Y\) of \(\mathcal M\) such that \(\text{Ass}(\mathcal M/{\mathcal Q}_Y) = \{ Y\}\) and \(\mathcal N = \bigcap_{Y\in \text{Ass}(\mathcal M)}{\mathcal Q}_Y\). This is called a \(G\)-equivariant primary decomposition of \(\mathcal N\) in \(\mathcal M\). Let, now, \(\sigma : G\times Z \rightarrow Z\) be an action of \(G\) on an integral \textit{affine} scheme \(Z\), \(W \subset Z\) a union of \(G\)-invariant affine open subsets of \(Z\) and \(H \subset G\) a diagonalizable closed normal subgroup of \(G\) such that there exists a good quotient \(\pi : W \rightarrow W//H =: X\). If \(\mathcal F\) is a \(H\)-equivariant coherent sheaf on \(Z\) then one has a natural decomposition \({\pi}_{\ast}(\mathcal F\, | \, W) = \bigoplus_{\chi \in X(H)}{\pi}_{\ast}(\mathcal F\, | \, W)_{\chi}\), where \(X(H)\) is the group character of \(H\). The second main result of the paper asserts that if \(H\) \textit{acts freely} on \(W\), if \(\mathcal F \subset \mathcal E\) are \(G\)-equivariant coherent sheaves on \(Z\) and if \(\mathcal F = \bigcap_{Y\in \text{Ass}(\mathcal E/\mathcal F)} {\mathcal Q}_Y\) is a \(G\)-equivariant primary decomposition of \(\mathcal F\) in \(\mathcal E\) then: \[ {\pi}_{\ast}(\mathcal F\, | \, W)_0 = \bigcap _{\substack{ Y\in \text{Ass}(\mathcal E/\mathcal F)\\ Y\cap W\neq \emptyset }} {\pi}_{\ast}({\mathcal Q}_Y\, | \, W)_0 \subset {\pi}_{\ast}(\mathcal E\, | \, W)_0 \] is a \(G/H\)-equivariant primary decomposition on \(X\). The authors illustrate this result with some examples of equivariant primary decompositions on toric varieties.