Detecting projectivity in sheaves associated to representations of infinitesimal groups (Q2254335)

Let \(k\) be an algebraically closed field, char \(k=p>0.\) Let \(G\) be an infinitesimal group scheme over \(k\) of height \(r<\infty,\) and let \(\mathbb{P}\left( G\right) \) be its projective support variety. Let \(M\) be a \(G\)-module. Then \(\Theta_{M},\) the global operator corresponding to \(M,\) is constructed. Denote by \(\mathbb{P}\left( G\right) _{M}\) the set of points for which \(\Theta_{M}\) does not give a projective \(K\left[ t\right] /\left( t^{p}\right) \)-module. The associated sheaves of \(M,\) namely the kernel, image, and cokernel sheaves of \(\Theta_{M}^{i},\) \(1\leq i\leq p,\) are constructed. This allows the author to consider the sheaves \(\mathcal{H} ^{\left[ i\right] }\left( M\right) =\ker\Theta_{M}^{i}/\text{im} \Theta_{M}^{p-i}.\) Of interest in this paper is whether \(\mathcal{H}^{\left[ 1\right] }\left( M\right) =0\) if and only if \(M\) is projective (``Question 1''); and whether Supp\(\mathcal{H}^{\left[ i\right] }\left( M\right) =\mathbb{P}\left( G\right) _{M}\) (``Question 2''). A major result provides a partial answer to the first question above. The theorem states, provided \(\mathcal{H}^{\left[ 1\right] }\left( M\right) =0,\) that \(M\) is projective if any one of eight equivalent conditions hold. Additionally, it is shown that Reg \(\mathbb{P}\left( G\right) \cap \mathbb{P}\left( G\right) _{M}\subseteq\)Supp\(\mathcal{H}^{\left[ i\right] }\left( M\right) ,\) where Reg \(\mathbb{P}\left( G\right) \) is the regular locus of \(\mathbb{P}\left( G\right) .\) Hence, if \(\mathbb{P}\left( G\right) \) is smooth and regular, \(\mathbb{P}\left( G\right) _{M} =\)Supp\(\mathcal{H}^{\left[ i\right] }\left( M\right) .\) Furthermore, if \(\mathbb{P}\left( G\right) \) is regular then \(\mathcal{H}^{\left[ 1\right] }\left( M\right) =0\) if and only if \(M\) is projective. It is also shown that both of the questions above are negative in general. Explicit computations of \(\mathbb{P}\left( G\right) \) are given for some examples; these examples focus on the case where \(\mathbb{P}\left( G\right) \) is regular.