Derived Azumaya algebras and generators for twisted derived categories

TL;DR

This paper introduces derived Azumaya algebras over schemes, establishing a classification via étale cohomology and proving the existence of compact generators in twisted derived categories, thus generalizing classical results.

Contribution

It defines derived Azumaya algebras over schemes and proves a bijective correspondence with certain étale cohomology classes, extending the theory to twisted derived categories with local systems.

Findings

Derived Azumaya algebras classify certain étale cohomology classes.

Existence of compact generators in twisted derived categories is established.

Generalization of classical results on derived categories of quasi-coherent sheaves.

Abstract

We introduce a notion of derived Azumaya's algebras over rings and schemes. We prove that any such algebra $B$ on a scheme $X$ provides a class $\phi(B)$ in $H^{1}_{et}(X,\mathbb{Z})\times H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that for $X$ a quasi-compact and quasi-separated scheme $\phi$ defines a bijective correspondence, and in particular that any class in $H^{2}_{et}(X,\mathbb{G}_{m})$, torsion or not, can be represented by a derived Azumaya's algebra on $X$. Our result is a consequence of a more general theorem about the existence of compact generators in \emph{twisted derived categories, with coefficients in any local system of reasonable dg-categories}, generalizing the well known existence of compact generators in derived categories of quasi-coherent sheaves of \cite{bv} (corresponding to the trivial local system of dg-categories). A huge part of this paper concerns the correct treatment of these twisted derived categories, as well as the proof that the existence of compact generators locally for the fppf topology implies the existence of a global compact generator.