Abstract:Let $X$ be a quasicompact quasiseparated scheme. The collection of derived Azumaya algebras in the sense of Toën forms a group, which contains the classical Brauer group of $X$ and which we call $Br^\dagger(X)$ following Lurie. Toën introduced a map $\phi:Br^\dagger(X)\to H^2_{et}(X,\mathbb G_m)$ which extends the classical Brauer map, but instead of being injective, it is surjective. In this paper we study the restriction of $\phi$ to a subgroup $Br(X)\subset Br^\dagger(X)$, which we call the "derived Brauer group", on which $\phi$ becomes an isomorphism $Br(X)\simeq H^2_{et}(X,\mathbb G_m)$. This map may be interpreted as a derived version of the classical Brauer map which offers a way to "fill the gap" between the classical Brauer group and the cohomogical Brauer group. The group $Br(X)$ was introduced by Lurie by making use of the theory of prestable $\infty$-categories. There, the mentioned isomorphism of abelian groups was deduced from an equivalence of $\infty$-categories between the "Brauer space" of invertible presentable prestable $\mathcal O_X$-linear categories, and the space $Map(X,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 connective trivializations, and its inverse via connective twisted sheaves. We also prove that this equivalence carries a symmetric monoidal structure, thus proving a conjecture of Binda an Porta.

Algebra and Combinatorics of the Brion map on Generalized Permutahedra

Monoidal Functors on the Category of Representations of a Triangular Hopf Algebra

Hopf monoids and generalized permutahedra

Birational Maps to Grassmannians, Representations and Poset Polytopes

The derived Brauer map via twisted sheaves

Hopf braces and semi-abelian categories

Submodular functions, generalized permutahedra, conforming preorders, and cointeracting bialgebras

Gorenstein Global Dimension and Hopf Algebroid Actions

Mapping class group dynamics and the holonomy of branched affine structures

Commutator-central maps, brace blocks, and {H}opf-{G}alois structures on {G}alois extensions

The Equivariant Brauer Group of a Cocommutative Hopf Algebra

Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

The polytope algebra of generalized permutahedra

Algebraic properties of the maps

Structure theorems for braided Hopf algebras

Quandles as pre-Lie skew braces, set-theoretic Hopf algebras & universal R-matrices

The Harer-Zagier and Jackson formulas and new results for one-face bipartite maps

Non-manifold monodromy spaces of branched coverings between manifolds

Central Hopf Monads and Braided Commutative Algebras

The Hopf algebra of integer binary relations