Derived Azumaya Algebras and the Brauer Problem

par Guglielmo Nocera (IHES)

jeudi 23 janv. 2025, 11:00 → 12:30 Europe/Paris

Amphithéâtre Léon Motchane (IHES)

Séminaire de géométrie arithmétique

The Brauer group $\mathrm{B}\mathrm{r}(X)$ of an algebraic variety $X$ is defined as the group of Azumaya algebras on $X$ up to Morita equivalence. There is an injective map (the Brauer map) $\mathrm{B}\mathrm{r}(X)\hookrightarrow {\mathrm{H}}_{\text{ét}}^2(X,{\mathbb{G}}_m)$. Understanding the image of this map constitutes the so-called Brauer problem.

Toën introduced the notion of derived Azumaya algebra, later also developed by Lurie. Derived Azumaya algebras modulo Morita equivalence form the derived Brauer group dBr(X), which contains Br(X) and admits a map $\varphi :\mathrm{B}\mathrm{r}(X)\hookrightarrow {\mathrm{H}}_{\text{ét}}^2(X,{\mathbb{G}}_m)$ extending the classical Brauer map. Unlike that, however, $\varphi$ is an isomorphism, and thus offers a natural way to describe those cohomology classes not contained in the image of the Brauer map.

With Michele Pernice (KTH Stockholm) we gave a more concrete description of $\varphi$ and its inverse, by using the interpretation of ${\mathrm{H}}_{\text{ét}}^2(X,{\mathbb{G}}_m)$ via ${\mathbb{G}}_m$-gerbes and by implementing the notion of twisted sheaves in the derived setting.

I will explain this result and give some perspectives on ongoing work regarding the interaction of the derived Brauer group with Beilinson’s theory of adèles, in the case of a curve.

 

========

Pour être informé des prochains séminaires vous pouvez vous abonner à la liste de diffusion en écrivant un mail à sympa@listes.math.cnrs.fr avec comme sujet: "subscribe seminaire_mathematique PRENOM NOM"
(indiquez vos propres prénom et nom) et laissez le corps du message vide.