Reduction of derived Hochschild functors over commutative algebras and schemes (Q1047673): Difference between revisions

Let \(K\) be a commutative noetherian ring and \(\sigma:K\to S\) be a commutative essentially of finite type algebra such that \(\text{fd}_KS<\infty.\) Let \(D(S)\) be the derived category of \(S\)-modules and \(P(\sigma)\) the full subcategory of complexes with finite homology that are isomorphic in \(D(K)\) to bounded complexes of flat modules. Then it is shown that there exists a unique up to isomorphism complex \(D^\sigma\in P(\sigma)\) such that for any \(M\in P(\sigma)\) and any \(N\in D(S)\) there exists an isomorphism which is natural in \(M\) and \(N\) \[ \text{RHom}_{S\otimes_K^LS}(S,M\otimes_K^LN)\simeq \text{RHom}_S(\text{RHom}_S(M,D^\sigma),N). \] The complex \(D^\sigma\) is the algebraic version of a relative dualizing complex used in algebraic geometry. This complex is explicitly constructed. Using Grothendieck duality theory, a global version of this result is given.