Cohomology of \(G\)-sheaves in positive characteristic (Q5919867): Difference between revisions

Let \(G\) be a finite group. The main object of the well written paper under review is to develop a tool computing the (modular) representations of \(G\) arising as spaces of global sections of coherent \(G\)-sheaves on a proper scheme \(X\) defined over an algebraically closed field \(k\) of positive characteristic \(p\) and endowed with an action of \(G\). While the equivariant Euler characteristic of a coherent \(G\)-sheaf on \(X\) a priori takes values in the Brauer characters group of \(G\) and therefore only determines the Jordan-Hölder series if \(p\) divides the order of \(G\), the author's theory attempts to compute the actual \(k[G]\)-isomorphism class of the space of global sections. To this end, the author constructs a refinement of equivariant \(K\)-theory which he calls modular \(K\)-theory. More precisely, he introduces, for each full subcategory \(\mathcal A\) of the category of \(k[G]\)-modules of finite type, the notion of an \(\mathcal A\)-sheaf on \(X\). Roughly speaking, this a sheaf of modules over the Auslander algebra \({\mathcal A}_X\), itself defined as a certain sheaf of algebras with several objects over the quotient scheme \(Y = X/G\), obtained by mimicking the functorial definition of the \textit{M. Auslander} algebra of \(k[G]\), see [Commun. Algebra~1, 177--310 (1974; Zbl 0285.16028)] and [Commun. Algebra 1, 269--310 (1974; Zbl 0285.16029)]. Now the modular \(K\)-groups \(K_i({\mathcal A},X)\) are defined as the (Quillen) \(K\)-theory of the abelian category of coherent \({\mathcal A}\)-sheaves. Every \(G\)-sheaf \({\mathcal F}\) gives rise to an \(\mathcal A\)-sheaf \(\underline{\mathcal F}\). In the extreme case \(X=\text{Spec}(k)\), the class \([\underline{V}]\) in \(K_0({\mathcal A}, \text{Spec} (k))\) of any \(k[G]\)-module \(V\) of finite type determines its isomorphism class if all \(p\)-Sylow subgroups of \(G\) are cyclic. The author also studies Morita equivalence, localization and further \(K\)-theoretical properties of modular \(K\)-groups. Most useful for applications is a formula for the modular Euler characteristic \(\chi({\mathcal A}, \underline{\mathcal F})\) in terms of ordinary non-equivariant Euler characteristics of certain sheaves on the quotient scheme. The author also proves comparison results between \(H^i(X, \underline{\mathcal F})\) and \(\underline{H^i(X,{\mathcal F})}\). The paper finishes with several interesting applications of modular \(K\)-theory. For example, if \(G\) is a cyclic \(p\)-group, \(X\) is a projective curve and \({\mathcal L}\) is an invertible \(G\)-module on \(X\) with \(\text{deg}({\mathcal L})\) sufficiently big, the author gives explicit expressions for the \(k[G]\)-isomorphism class of \(H^0(X,{\mathcal L})\) involving the ramification jumps of the corresponding cover. Modular \(K\)-theory is used to reduce this result to the case of a cyclic group of order \(p\) which is basically \textit{S. Nakajima}'s result [J. Pure Appl. Algebra~42, 85--94 (1986; Zbl 0607.14022)]. The reader interested in this type of questions may also wish to consult the reviewer's paper [Am.\ J.\ Math.~126, No. 5, 1085--1107 (2004; Zbl 1095.14027)] where \(H^0(X,{\mathcal L})\) is computed for an arbitrary group \(G\) in the case the corresponding cover is weakly ramified.