---
title: Derived Brauer Group in Algebraic Geometry
url: https://www.emergentmind.com/topics/derived-brauer-group
type: topic
---

# Derived Brauer Group in Algebraic Geometry

The derived Brauer group is the Morita-theoretic extension of classical Brauer theory obtained by replacing ordinary Azumaya algebras with derived Azumaya algebras, or equivalently with invertible linear stable $\infty$-categories. In derived algebraic geometry it is used to encode twisting data beyond the strictly classical setting, including cohomological classes that need not be torsion. Its modern study combines étale descent, higher Artin geometry, and categorical Morita theory, and its behavior depends strongly on the ambient context: connective derived schemes, spectral Deligne–Mumford stacks, and strict differential graded models over a field lead to related but distinct theories [1210.0290] [2107.03914] [2210.15743] [2308.08980].

## 1. Definitions and scope

Following Toën’s framework as presented in later work, a derived Azumaya algebra on a derived scheme $X$ is an object $A\in \mathrm{Alg}(\mathrm{Perf}(X))$ such that the natural map
\[
A\otimes_{\mathcal O_X}A^{\mathrm{op}}\to \operatorname{End}_{\mathcal O_X}(A)
\]
is an equivalence and $A$ is a compact generator for $QCoh(X)$. Up to Morita equivalence, such objects define the derived Brauer group. For a quasi-compact, quasi-separated $X$, one has the homotopical description
\[
\mathrm{dBr}(X)\simeq \pi_0 \operatorname{Map}_{dSt}\!\bigl(X,(B^2\mathbb G_m)\times (B\mathbb Z)\bigr)
\simeq H^2_{\mathrm{ét}}(X,\mathbb G_m)\times H^1_{\mathrm{ét}}(X,\mathbb Z),
\]
so every class in $H^2_{\mathrm{ét}}(X,\mathbb G_m)$, not only torsion classes, is represented by a possibly derived Azumaya algebra [2107.03914].

Antieau and Gepner use a closely related formulation for a connective $E_\infty$-ring or a qcqs derived scheme: an Azumaya $R$-algebra is an $R$-algebra $A$ that is a compact generator of $\mathrm{Mod}_R$ and satisfies
\[
A\otimes_R A^{\mathrm{op}}\xrightarrow{\sim}\mathrm{End}_R(A).
\]
Its Brauer group is the set of Morita-equivalence classes of such algebras. In that setting, for qcqs derived schemes $X$, they prove
\[
\mathrm{Br}(X)=\operatorname{Br}'(X),
\qquad
\operatorname{Br}'(X)=H^2_{\mathrm{ét}}(X,\mathbb G_m)_{\mathrm{tors}},
\]
so every torsion cohomological Brauer class is represented by a derived Azumaya algebra [1210.0290].

This suggests that the literature uses related but not identical conventions: some authors reserve “Brauer group” for the torsion Azumaya-representable part, while others use “derived Brauer group” for the fuller object detected by $(B^2\mathbb G_m)\times(B\mathbb Z)$.

| Notion | Defining objects | Characteristic feature |
|---|---|---|
| Classical Brauer group | Morita classes of Azumaya algebras | Classically tied to $H^2_{\mathrm{ét}}(X,\mathbb G_m)_{\mathrm{tors}}$ |
| Derived Brauer group $\mathrm{dBr}(X)$ | Morita classes of derived Azumaya algebras | For qcqs $X$: $H^2_{\mathrm{ét}}(X,\mathbb G_m)\times H^1_{\mathrm{ét}}(X,\mathbb Z)$ |
| Local Brauer group $\mathrm{LBr}(R)$ | Étale-locally trivial spectral Azumaya classes | Proper subgroup of $\mathrm{Br}(R)$ in general spectral settings |
| dg Brauer group $\mathrm{dgBr}(K)$ | Central simple dg $K$-algebras modulo stabilization by dg endomorphism algebras | Over a field: $\mathrm{dgBr}(K)\cong \mathrm{Br}(K)$ |

## 2. Morita theory, étale local triviality, and representability

A fundamental structural result is that derived Azumaya algebras are Morita-theoretic objects: $A$ is Azumaya if and only if $\mathrm{Mod}_A$ is invertible in the symmetric monoidal $\infty$-category of compactly generated $R$-linear categories [1210.0290]. This recasts Brauer theory in categorical terms and makes invertibility, rather than presentation by a literal algebra object, the primary invariant.

For connective commutative ring spectra, Antieau and Gepner prove étale local triviality: if $A$ is an Azumaya algebra over a connective commutative ring spectrum $R$, then there exists a faithfully flat étale $R$-algebra $S$ such that $A\otimes_R S$ is Morita equivalent to $S$. In other words, Azumaya algebras are étale locally trivial in this derived setting [1210.0290]. This is one of the main mechanisms allowing cohomological classes to be realized by geometric or categorical objects.

The proof uses geometricity statements for moduli of compact objects. If $C$ is a stable $\infty$-category of finite type, then the moduli space $M_C$ of compact objects is locally geometric, and the sheaf of Morita equivalences from $A$ to $R$ is smooth and surjective over $\operatorname{Spec}R$ [1210.0290]. These higher-geometric properties provide étale local sections and thereby connect categorical invertibility to descent-theoretic triviality.

A second structural ingredient is the local-to-global principle for compact generators. If an $R$-linear category with descent acquires a compact generator after an étale cover $R\to S$, then it already has a compact generator over $R$ [1210.0290]. Combined with étale local triviality, this yields a derived solution to Grothendieck’s $\mathrm{Br}=\mathrm{Br}'$ problem for qcqs derived schemes.

## 3. Brauer spaces and computational machinery

The theory naturally upgrades from a set of equivalence classes to a space, and even a spectrum: the Brauer space $\mathbf{Br}(R)$. Antieau and Gepner describe a descent spectral sequence
\[
E_2^{p,q}=H^p_{\mathrm{ét}}(X,\pi_q\mathbf{Br})\implies \pi_{q-p}\mathbf{Br}(X),
\]
which serves as a principal computational tool [1210.0290].

The homotopy sheaves of the Brauer space are given by
\[
\pi_k\mathbf{Br}=
\begin{cases}
0 & k=0,\\
\mathbb Z & k=1,\\
\mathcal O^\times & k=2,\\
\pi_{k-2}\mathcal O & k\ge 3.
\end{cases}
\]
For a connective $E_\infty$-ring $R$, this yields explicit formulas:
\[
\pi_k \mathbf{Br}(R)=
\begin{cases}
H^1_{\mathrm{ét}}(\operatorname{Spec}\pi_0R,\mathbb Z)\times H^2_{\mathrm{ét}}(\operatorname{Spec}\pi_0R,G_m), & k=0,\\
H^0_{\mathrm{ét}}(\operatorname{Spec}\pi_0R,\mathbb Z)\times H^1_{\mathrm{ét}}(\operatorname{Spec}\pi_0R,G_m), & k=1,\\
\pi_0R^\times, & k=2,\\
\pi_{k-2}R, & k\ge 3.
\end{cases}
\]
These formulas make the passage between étale cohomology and categorical Brauer data explicit [1210.0290].

Several computations follow. The Brauer group of the sphere spectrum $S$ vanishes, $\pi_0\mathbf{Br}(S)=0$, using $H^1_{\mathrm{ét}}(\operatorname{Spec}\mathbb Z,\mathbb Z)=0$ and $H^2_{\mathrm{ét}}(\operatorname{Spec}\mathbb Z,G_m)=0$ [1210.0290]. The same paper also records vanishing for $ko$, $ku$, $MU$, and $tmf$, and gives a nontrivial example
\[
\pi_0\mathbf{Br}(S[1/p])=\mathbb Z/2.
\]
The vanishing of $\mathrm{Br}(S)$ has categorical consequences: all Azumaya algebras over the sphere spectrum are Morita equivalent to $S$, and this is used to prove uniqueness results for the stable homotopy category [1210.0290].

## 4. Spectral Deligne–Mumford stacks and the local Brauer group

In spectral algebraic geometry, especially for nonconnective or periodic objects, the relation between Brauer classes and étale local triviality becomes subtler. For an $\mathbf{E}_\infty$-ring spectrum $R$, the Brauer group $\mathrm{Br}(R)$ is defined through Morita equivalence classes of Azumaya $R$-algebras in the language of stable $\infty$-categories. Because not every spectral Azumaya algebra is étale-locally trivial, one isolates the local Brauer group $\mathrm{LBr}(R)$, the subgroup of classes trivialized by some faithful étale extension $R\to S$ [2210.15743].

For a spectral Deligne–Mumford stack $(X,O)$, one similarly has $\mathrm{Br}(X,O)$ and a cohomological Brauer group $\mathrm{Br}'(X,O)$, defined as $\pi_0$ of the global sections of the Brauer sheaf. These need not coincide in general. Under suitable hypotheses—existence of a Zariski cover with generation conditions on overlaps and global perfect generators for the relevant twisted categories—every cohomological Brauer class is representable by an Azumaya algebra, and one has
\[
\mathrm{Br}'(X,O)=\mathrm{Br}(X,O),\qquad \mathrm{LBr}'(X,O)=\mathrm{LBr}(X,O)
\]
[2210.15743].

A particularly detailed computation concerns the derived moduli stack of elliptic curves $(M,O)$ and topological modular forms $TMF$. The stack $(M,O)$ is a spectral Deligne–Mumford stack and is $0$-affine:
\[
QCoh(M,O)\simeq \mathrm{Mod}_{TMF}.
\]
Consequently,
\[
\mathrm{Br}(TMF)\cong \mathrm{Br}(M,O)\cong \mathrm{Br}'(M,O)
\]
[2210.15743].

The local Brauer group is computed by a descent spectral sequence
\[
E_2^{s,t}=H^s(\operatorname{Spec}\pi_0R,\pi_t\mathbf{LBr}_O)\Longrightarrow \pi_{t-s}\mathbf{lbr}_O(\operatorname{Spec}R),
\]
together with the exact sequence
\[
0\to H^2(\operatorname{Spec}\pi_0R,G_m)\to \mathrm{LBr}(R)\to H^1(\operatorname{Spec}\pi_0R,\mathbb Z/2k)\to H^3(\operatorname{Spec}\pi_0R,G_m)
\]
for a periodic ring spectrum of period $2k$ [2210.15743].

For $TMF$ and $(M,O)$, the resulting local Brauer groups are torsion groups. Their $3$-primary part is $\mathbb Z/3$, they have no $p$-torsion for $p>3$, and their $2$-primary part surjects onto $(\mathbb Z/2)^\infty$ with kernel of order at most $8$. Moreover, the natural map
\[
LBr(TMF)\to LBr(M,O)
\]
is injective with finite cokernel and becomes an isomorphism after inverting $2$ [2210.15743]. The infinite $2$-torsion is traced to kernels and cokernels of differentials in the sheafified Picard spectral sequence.

## 5. Gluing, completion, and formal GAGA

Derived Brauer theory has a strong formal and descent-theoretic component. A Beauville–Laszlo-type theorem for quasi-coherent sheaves of categories implies a corresponding statement for derived Azumaya algebras. Given a derived pullback square with $S=\operatorname{Spec}(A)$, $T=\operatorname{Spec}(B)$, $U=S\setminus V(I)$, and $T\to S$ inducing an equivalence on $I$-adic completions, one has
\[
\mathsf{Pr}^\omega_S \simeq \mathsf{Pr}^\omega_U\times_{\mathsf{Pr}^\omega_V}\mathsf{Pr}^\omega_T,
\]
and on invertible objects
\[
dAz_S \simeq dAz_U\times_{dAz_V} dAz_T
\]
[2107.03914].

Restricting to units, derived Picard groups, and derived Brauer groups gives a long exact sequence of Mayer–Vietoris type:
\[
0\to \mathcal O(S)^\times \to \mathcal O(U)^\times\oplus \mathcal O(T)^\times \to \mathcal O(V)^\times \to \cdots \to \mathrm{dBr}(S)\to \mathrm{dBr}(U)\oplus \mathrm{dBr}(T)\to \mathrm{dBr}(V).
\]
This is a genuine gluing statement for derived twisted objects, not merely for perfect complexes [2107.03914].

Formal geometry provides another major application. If $X$ is proper over $S=\operatorname{Spec}(R)$ with $R$ noetherian and complete along an ideal $I$, and if $\mathfrak X$ denotes the formal completion obtained from the thickenings $X_n=X\times_S \operatorname{Spec}(R/I^{n+1})$, then the restriction on derived Azumaya objects is fully faithful, and passing to connected components yields an injective map
\[
\mathrm{dBr}(X)\hookrightarrow \mathrm{dBr}(\mathfrak X).
\]
This implies injectivity of
\[
H^2_{\mathrm{ét}}(X,\mathbb G_m)\hookrightarrow H^2_{\mathrm{ét}}(\mathfrak X,\mathbb G_m),
\]
and, under a $\varprojlim^1$-vanishing hypothesis on Picard groups, of
\[
\mathrm{Br}(X)\hookrightarrow \varprojlim_n \mathrm{Br}(X_n)
\]
[2107.03914]. A Henselian variant gives injectivity for $\mathrm{dBr}$ under regular geometric fiber hypotheses without the same $\varprojlim^1$ restriction.

The same formalism yields Grothendieck existence for twisted sheaves on arbitrary $\mathbb G_m$-gerbes:
\[
\mathrm{Perf}(\mathfrak A)\longrightarrow \varprojlim_n \mathrm{Perf}(\mathfrak A_n)
\]
is an equivalence for any $\mathbb G_m$-gerbe $\mathfrak A$ on a proper scheme over a noetherian complete base [2107.03914]. This removes the classical dependence on the resolution property.

## 6. Limits, contrasts, and related generalizations

One recurrent misconception is that Brauer-theoretic data should be preserved by derived equivalence of ordinary algebraic varieties. For Calabi–Yau $3$-folds this is false. There exist smooth projective derived-equivalent Calabi–Yau $3$-folds $X$ and $Y$ with distinct Brauer groups, $\Br(X)\not\cong \Br(Y)$ [1306.6538]. The mechanism is topological: for any Calabi–Yau $3$-fold,
\[
0\to H_1(X,\mathbb Z)\to \operatorname{tors}(K^1_{\mathrm{top}}(X))\to \Br(X)\to 0,
\]
so derived equivalence preserves the torsion in topological $K$-theory, not the Brauer group by itself. Consequently,
\[
|H_1(X,\mathbb Z)|\cdot |\Br(X)|=|H_1(Y,\mathbb Z)|\cdot |\Br(Y)|.
\]
In the Gross–Popescu/Bak–Schnell example, $X$ is simply connected with $\Br(X)=(\mathbb Z_8)^2$, whereas the derived-equivalent dual fibration $Y$ has $H_1(Y)=(\mathbb Z_8)^2$ and $\Br(Y)=0$ [1306.6538]. By contrast, for K3 surfaces the Brauer group is a derived invariant.

At the opposite end of the spectrum, strict dg models over a field can be too rigid to produce genuinely new Brauer data. Zimmermann defines the dg Brauer group $\mathrm{dgBr}(K)$ using central simple dg $K$-algebras, with equivalence generated by stabilization:
\[
A\sim B
\quad \Longleftrightarrow \quad
A\otimes_K \operatorname{End}_K^\bullet(C_A)\cong B\otimes_K \operatorname{End}_K^\bullet(C_B)
\]
for bounded complexes of finite-dimensional $K$-vector spaces $C_A$ and $C_B$. The equivalence classes form an abelian group under dg tensor product, with inverse given by the opposite dg algebra, and the main theorem is
\[
\mathrm{dgBr}(K)\cong \mathrm{Br}(K)
\]
[2308.08980]. Over a field, any dg structure on a central simple algebra is therefore trivialized up to this Morita-type equivalence. The same paper notes that homology does not descend well to $\mathrm{dgBr}(K)$, since $H(\operatorname{End}_K^\bullet(C))$ need not equal $\operatorname{End}_K(H(C))$ [2308.08980]. This sharp contrast with the broader derived-Azumaya theory indicates that “derived Brauer group” is sensitive to the chosen model.

A separate line of generalization, related in spirit but not identical in definition, is Sakagaito’s motivic extension via Bloch’s cycle complex. For an equi-dimensional scheme $X$, the generalized Brauer group is defined by
\[
\mathrm{H}_B(X):=H^{i+1}_{\mathrm{ét}}(X,\mathbb Z(i-1))_{\mathrm{tors}},
\]
recovering the usual Brauer group in regular situations and supporting Gersten-type exact sequences in several low-dimensional mixed-characteristic cases [1511.09232]. This is a motivic enlargement rather than a derived-Azumaya one, but it belongs to the same broader effort to reinterpret Brauer theory in higher and more flexible cohomological frameworks.

Source: https://www.emergentmind.com/topics/derived-brauer-group