Galois theory of thick subcategories in modular representation theory (Q1582251): Difference between revisions

Let \(B\) be a finite-dimensional cocommutative Hopf algebra over a field \(K\). A full subcategory \(\mathcal C\) of the category \(B\)-mod of finitely generated \(B\)-modules is called thick if it is closed under direct summands and satisfies the following condition: whenever \(0\to M'\to M\to M''\to 0\) is a short exact sequence in \(B\)-mod and two of the modules \(M,M',M''\) are in \(\mathcal C\) then so is the third. Moreover, \(\mathcal C\) is called tensor-closed provided \(M\otimes N\in\mathcal C\) whenever \(M\in\mathcal C\) and \(N\in B\text{-mod}\). The paper is concerned with the lattice \({\mathcal L}^\otimes_{\text{thick}}(B)\) of tensor-closed thick subcategories of \(B\)-mod. The \(K\)-algebra \(R=\text{Ext}^*_B(K,K)\) is a Noetherian graded commutative ring. Its non-maximal homogeneous prime ideals form a topological space \(\text{Proj }(R)\) with respect to the Zariski topology. A subset \(T\) of \(\text{Proj }(R)\) is said to be closed under specialization if it is a union of closed sets. The subsets of \(\text{Proj }(R)\) that are closed under specialization form a lattice \(J(R)\). The authors construct an injective map \(f\colon J(R)\to{\mathcal L}^\otimes_{\text{thick}}(B)\) and conjecture (together with N.~Strickland) that \(f\) is always an isomorphism. The main result of the paper under review is a descent theorem: The conjecture holds for \(B\) if it holds for \(B\otimes L\) where \(L\) is a normal field extension of \(K\). It follows that their conjecture holds for group algebras of finite groups over \(K\). This extends a theorem of \textit{D.~J.~Benson, J.~F.~Carlson} and \textit{J.~Rickard} [Fundam. Math. 153, No. 1, 59-80 (1997; Zbl 0886.20007)] from algebraically closed fields to arbitrary fields.