Una generalización de cohomología local para complejos de módulos

Abstract

Sean A un anillo conmutativo perfecto, a un ideal de A y φ un conjunto no vacío de ideales de A. Denotemos por D(A) la categoría derivada de la categoría de los A-módulos y por D f<(A) la subcategoría plena de D(A) cuyos objetos son los A-complejos limitados a la izquierda con cohomología nita. En este trabajo introducimos los funtores derivados RΓa,φ(−), LΛ a,φ(−) : D(A) −→ D(A), y probamos que si X• ∈ D(A) e Y• ∈ Df<(A). Entonces existe un isomorsmo natural RHom A(RΓa,φ(X•),Y•) RHomA(X,LΛ a,φ(Y•)). Nuestro resultado es una generalización, en el contexto de los anillos perfectos, del celebrado Teorema de Dualidad de Greenlees-May.