Tensor product of dualizing complexes over a field (Q1657981)

In the paper under review, the author studies dualizing complexes over a fibre product of schemes or formal schemes over a field. The following result is the main result of this paper. Theorem. Let \(k\) be a field, and let \(A, B\) be commutative Noetherian \(k\)-algebras. Assume that \(A\) and \(B\) have dualizing complexes. Then, the ring \(A\otimes_k B\) has a dualizing complex if and only if \(A\otimes_k B\) is noetherian of finite Krull dimension. In that case, for every dualizing complex \(R_A\) over \(A\) and \(R_B\) over \(B\), the complex \(R_A\otimes_k R_B\) is a dualizing complex over \(A\otimes_k B\). Finally, the author gives a generalization of the above theorem to formal schemes.