Modules with injective cohomology, and local duality for a finite group (Q5947945): Difference between revisions

The goal of this paper is to provide a representation theoretic interpretation of two spectral sequences which involve local cohomology of a finite group \(G\) over a field \(k\) of prime characteristic and then provide some applications of these interpretations. The first spectral sequence is due to \textit{J. P. C. Greenlees} [J. Pure Appl. Algebra 98, No. 2, 151-162 (1995; Zbl 0826.55012)] and has \(E_2\)-term being the local cohomology of \(H^*(G,k)\) with respect to the maximal ideal and converging to the homology \(H_*(G,k)\). The author constructs a double complex involving Rickard idempotent modules (cf. \textit{J. Rickard}'s article [in J. Lond. Math. Soc., II. Ser. 56, No. 1, 149-170 (1997; Zbl 0910.20034)]) whose spectral sequence is isomorphic to the Greenlees spectral sequence from the \(E_1\)-page on. This spectral sequence is then used to find further information about a certain cohomology element called the ``last survivor'' in work of \textit{D. J. Benson} and \textit{J. F. Carlson} [Trans. Am. Math. Soc. 342, No. 2, 447-488 (1994; Zbl 0816.20044)]. The cohomology ring \(H^*(G,k)\) is finitely generated over a polynomial subring \(k[x_1,x_2,\dots,x_n]\) and the last survivor is an element which does not lie in the ideal generated by the \(x_i\) and is not annihilated by any nonzero element of \(k[x_1,x_2,\dots,x_n]\). The second spectral sequence under consideration is a localized version of the Greenless spectral sequence due to \textit{J. P. C. Greenlees} and \textit{G. Lyubeznik} [J. Pure Appl. Algebra 149, No. 3, 267-285 (2000; Zbl 0965.13012)]. Here the \(E_2\)-term is the local cohomology of the cohomology ring localized at a homogeneous prime ideal \(P\) and it converges to the injective hull of \(H^*(G,k)/P\) (as an \(H^*(G,k)\)-module). The author constructs a spectral sequence with the same \(E_2\)-page but which converges to the Tate cohomology of a module \(\kappa_P\). (Kappa modules were introduced in work of \textit{D. J. Benson, J. F. Carlson}, and \textit{J. Rickard} [Math. Proc. Camb. Philos. Soc. 120, No. 4, 597-615 (1996; Zbl 0888.20003)].) The author conjectures that the spectral sequences are isomorphic in which case their abutments would also be isomorphic. This would allow one to compare the kappa modules \(\kappa_P\) with modules \(T(I_P)\) introduced by \textit{D. Benson} and \textit{H. Krause} [in J. Reine Angew. Math. 542, 23-51 (2002; Zbl 0987.20026)]. A conjecture is made about this relationship and is proven in some situations.