The derived Picard group of an affine Azumaya algebra (Q522671)

Fix a commutative ring \(k\), let \(R\) be a flat \(k\)-algebra and let \(A\) be an Azumaya \(k\)-algebra. The derived Picard group of \(A\), \(\mathrm{DPic}(A)\), is the group of isomorphism classes of invertible objects in the moniodal category \((D^b(A\otimes_k A^{\mathrm{op}}),\otimes^{\mathrm{L}}_A)\), where \(D^b(A\otimes_k A^{\mathrm{op}})\) denotes the bounded derived category of \(A\otimes_k A^{\mathrm{op}}\)-modules, or equivalently, \(k\)-symmetric \((A,A)\)-bimodules. Writing \(X=\mathrm{Spec} R\), the main result of the paper describes \(\mathrm{DPic}(A)\) as \[ (\Gamma(X,\underline{\mathbb{Z}})\times \mathrm{Pic}(X))\rtimes_\alpha \mathrm{Aut}(X)_{[A]}, \] where \(\underline{\mathbb{Z}}\) denotes the constant sheaf, \(\mathrm{Aut}(X)_{[A]}\) is the stablizer of the Brauer class of \(A\) in the \(k\)-automorphisms of \(X\), and \(\alpha\) is a certain \(\mathrm{Pic}(X)\)-valued \(2\)-cocycle of \(\mathrm{Aut}(X)_{[A]}\), depending only on the Brauer class of \(A\). When \(A=R\), the cocycle \(\alpha\) vanishes and the result recovers the structure results for \(\mathrm{DPic}(R)\) given in [\textit{A. Yekutieli}, J. Lond. Math. Soc., II. Ser. 60, No. 3, 723--746 (1999; Zbl 0954.16006)] and [\textit{R. Rouquier} and \textit{A. Zimmermann}, Proc. Lond. Math. Soc. (3) 87, No. 1, 197--225 (2003; Zbl 1058.18007)]. The author applies the result to study the derived Picard group of the affine Weyl algebras \(A_n(k)\) when \(p:=\mathrm{char}(k)>0\). In this case, \(A_n(k)\) is Azumaya of degree \(p^n\) over its center, whose spectrum is isomorphic to \(\mathbb{A}^{2n}_k\). Since \(\mathrm{Pic} (\mathbb{A}^{2n}_k)=0\), the above result implies \(\mathrm{DPic}(A_n(k))=\mathbb{Z}\times \mathrm{Aut}(\mathbb{A}^{2n}_k)_{[A_n(k)]}\). It is then shown that \(\mathrm{Aut}(\mathbb{A}^{2n}_k)_{[A_n(k)]}\) is strictly smaller than \(\mathrm{Aut}(\mathbb{A}^{2n}_k)\), and therefore the embedding \(\mathrm{DPic}(A)\cong \mathbb{Z}\times \mathrm{Aut}(\mathbb{A}^{2n}_k)_{[A_n(k)]}\to \mathbb{Z}\times \mathrm{Aut}(\mathbb{A}^{2n}_k)= \mathrm{DPic}(\mathbb{A}^{2n}_k)\) is not surjective.