Cohomology theories based on flats (Q441394): Difference between revisions

Let \(A\) be a unital associative ring. The pure derived category of flats associated to \(A\) is the category \(\mathcal D(\text{Flat}A)=\mathcal K(\text{Flat}A)/\mathcal K_p(\text{Flat}A)\), where \(\mathcal K_p(\text{Flat}A)\) is the category of acyclic complexes with flat kernels introduced by \textit{A. Neeman} [Invent. Math. 174, No. 2, 255--308 (2008; Zbl 1184.18008)], is important since it is equivalent as a derived category to the category \(\mathcal K(\text{Proj}A)\). In fact \(\mathcal K_{p}(\text{Flat}A)\) is the right orthogonal of \(\mathcal K(\text{Proj}A)\) in \(\mathcal K (\text{Flat}A)\). The main aim of the present paper is to develop a theory of Tate cohomology in the pure derived category of flats. The main results on this direction are obtained in Section 4. Here the authors define the \(i\)-th Tate cohomology group in this context. They use this cohomology theory to characterize the complexes of finite flat dimension (Theorem 4.5 and Corollary 4.6). Then a complete cohomology theory, compatible with the previous Tate cohomology, is developed in Section 5. This is also useful in a characterization of some complexes of finite flat dimension (Theorem 5.5). In the end of the paper the authors show that their methods can be applied also to semi-separated noetherian schemes (Section 6).