### References & Citations

# Mathematics > Algebraic Geometry

# Title: The derived Brauer map via twisted sheaves

(Submitted on 16 May 2022)

Abstract: Let $X$ be a quasicompact quasiseparated scheme. The collection of derived Azumaya algebras in the sense of To\"en forms a group ${\rm Br}_{{\rm Az}}(X)$, admitting a surjective map ${\rm Br}_{{\rm Az}}(X)\to {\rm H}^2(X,\mathbb{G}m)$ (which we call derived Brauer map) with a section. Let ${\rm Br}(X)$ be the image of this section. There is therefore an isomorphism ${\rm Br}(X)\simeq {\rm H}^2(X,\mathbb{G}m)$. Using the theory of prestable $\infty$-categories, Jacob Lurie was able to lift this isomorphism of abelian groups to an equivalence of $\infty$-categories between the Brauer space of invertible presentable prestable $\mathcal{O}_X$-linear categories and the space ${\rm Map}(X,{\rm K}(\mathbb{G}m,2))$. We offer an alternative proof of this equivalence of $\infty$-categories, characterizing the functor from the left to the right via gerbes of positive trivializations, and its inverse via connective twisted sheaves. We also emphasize that this equivalence carries a symmetric monoidal structure.

Link back to: arXiv, form interface, contact.