We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: The derived Brauer map via twisted sheaves

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.
Comments: 23 pages
Subjects: Algebraic Geometry (math.AG)
Cite as: arXiv:2205.07789 [math.AG]
  (or arXiv:2205.07789v1 [math.AG] for this version)

Submission history

From: Michele Pernice [view email]
[v1] Mon, 16 May 2022 16:24:43 GMT (21kb)

Link back to: arXiv, form interface, contact.