The derived Brauer map via twisted sheaves

DOI10.1007/S40062-023-00329-YMaRDI QIDQ6074863zbMATH OpenOpenAlexFDO

Authors Guglielmo Nocera, M. Pernice

Publication date 19 October 2023

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2205.07789

zbMATH Keywords

gerbesBrauer groupderived Azumaya algebrastwisted sheaves

Mathematics Subject Classification ID

Brauer groups of schemes (14F22) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08)

Abstract: Let $X$ be a quasicompact quasiseparated scheme. The collection of derived Azumaya algebras in the sense of To"en forms a group ${mBr}_{mAz}(X)$, admitting a surjective map ${mBr}_{mAz}(X)o{mH}^2(X,mathbbGm)$ (which we call derived Brauer map) with a section. Let $mBr(X)$ be the image of this section. There is therefore an isomorphism $mBr(X)simeq{mH}^2(X,mathbbGm)$. 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 $mMap(X,mK(mathbbGm,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.

Recommendations

• The bigger Brauer group and twisted sheaves
• Twisted derived equivalences for affine schemes
• Moduli of twisted sheaves
• Derived moduli of schemes and sheaves
• Equivariant hom-Lie algebras and twisted derivations on (arithmetic) schemes
• Derived categories of twisted sheaves on elliptic threefolds
• Brauer groups and étale cohomology in derived algebraic geometry
• Derived deformations of schemes
• The derived moduli space of stable sheaves
• On the Ubiquity of Twisted Sheaves

Cites work

• scientific article; zbMATH DE number 3297825 (Why is no real title available?)
• scientific article; zbMATH DE number 3358638 (Why is no real title available?)
• Algebraic spaces and stacks
• Brauer groups and étale cohomology in derived algebraic geometry
• Decompositions of derived categories of gerbes and of families of Brauer-Severi varieties
• Derived Azumaya algebras and generators for twisted derived categories
• Perfect complexes on algebraic stacks
• Sheaves of categories and the notion of 1-affineness
• Tame stacks in positive characteristic
• The period-index problem for the Brauer group of an algebraic surface
• Twisted sheaves and the period-index problem

Cited in

(2)

• Brauer spaces of spectral algebraic stacks
• Brauer groups and étale cohomology in derived algebraic geometry

This page was built for publication: The derived Brauer map via twisted sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6074863)