On injective modules over Azumaya algebras over locally Noetherian schemes. (Q858590)

Let \(\mathcal A\) be an Azumaya algebra over a locally Noetherian scheme \(X\). For \(\mathcal I\) a quasi-coherent \(\mathcal O_X\)-module, it is well-known that \(\mathcal A\otimes_{\mathcal O_X}\mathcal I\) is injective in the category of quasi-coherent \(\mathcal A\)-bimodules if and only if \(\mathcal I\) is injective in the category of quasi-coherent \(\mathcal O_X\)-modules. The purpose of this paper is to prove a similar result over the category of all \(\mathcal O_X\)-modules. Specifically, the author proves that \(\mathcal A\otimes_{\mathcal O_X}\mathcal I\) is injective in the category of all \(\mathcal A\)-bimodules if and only if \(\mathcal I\) is injective in the category of \(\mathcal O_X\)-modules; furthermore, these are equivalent to \(\mathcal A\otimes_{\mathcal O_X}\mathcal I\) being injective in the category of all left \(\mathcal A\)-modules. The motivation for this result is to provide a dualizing complex for \(\mathcal A\), that is, a bounded complex of quasi-coherent \(\mathcal A\)-bimodules which are injective in the category of all left \(\mathcal A\)-modules as well as right \(\mathcal A\)-modules satisfying an additional duality condition. Such a complex enables the author to study coherent Hermitian Witt groups of Azumaya algebras with involution over \(X\). In order to prove the theorem above, the strategy is to reduce to the affine case. What is shown is that for \(\mathcal A\) an Azumaya algebra over \(X=\text{Spec\,}R\) and \(\mathcal J\) a quasi-coherent \(\mathcal A\)-bimodule, then \(\mathcal J\) is injective in the category of quasi-coherent left \(\mathcal A\)-modules if and only if it is injective in the category of all left \(\mathcal A\)-modules. As a consequence of the above, \(\mathcal Hom_{\mathcal O_X}(\mathcal{A,I})\) is injective as a left \(\mathcal A\)-module if and only if it is injective as an \(\mathcal A\)-bimodule, which is true if and only if the quasi-coherent \(\mathcal O_X\)-module \(\mathcal I\) is injective as an \(\mathcal O_X\)-module. A portion of this result is generalized to the case where \(\mathcal A\) is a coherent \(\mathcal O_X\)-algebra; namely that if \(\mathcal I\) is a quasi-coherent \(\mathcal O_X\)-module which is injective as an \(\mathcal O_X\)-module, then \(\mathcal Hom_{\mathcal O_X}(\mathcal{A,I})\) is injective as both a left \(\mathcal A\)-module as well as a right \(\mathcal A^{op}\)-module. Hence, a coherent \(\mathcal O_X\)-algebra has a dualizing complex if and only if \(X\) does.