nLab
Azumaya algebra

Definition

Traditional

Given a commutative unital ring $R$, an Azumaya $R$-algebra is a (noncommutative in general) $R$-algebra $A$ which is finitely generated faithful projective as an $R$-module and the canonical morphism $A{\otimes }_R{A}^{\mathrm{op}}\to {\mathrm{End}}_R(A)$ is an isomorphism. This definition extends the notion of a central simple algebra? over a field.

More generally, Grothendieck defines an Azumaya algebra over a scheme $X$ as a sheaf $𝒜$ of ${𝒪}_X$-algebras such that for each point $x\in X$, the corresponding stalk ${𝒜}_x$ is an Azumaya ${𝒪}_{X,x}$-algebra.

The Brauer group $\mathrm{Br}(X)$ classifies Azumaya algebras over $X$ up to a suitably defined equivalence relation: $𝒜\sim ℬ$ if $𝒜{\otimes }_{{𝒪}_X}\mathrm{End}(ℰ)\cong 𝒜{\otimes }_{{𝒪}_X}\mathrm{End}(ℱ)$ for some locally free sheaves of ${𝒪}_X$-modules $ℰ$ and $ℱ$ of finite rank. The group operation of $\mathrm{Br}(X)$ is induced by the tensor product. The Brauer group can be reexpressed in terms of second nonabelian cohomology; indeed a sheaf of Azumaya algebras over $X$ determines an ${𝒪}_X^{*}$-gerbe (or $U(1)$-gerbe in the manifold context).

Brauer groups and Azumaya algebras are closely related to Morita theory? and they make sense in the context of algebras and bimodules in the context of braided monoidal categories. Karoubi K-theory involves an element in a Brauer group and in the original Karoubi–Donovan paper is related to a twisting with a “local system” which involves Azumaya algebras.

In terms of (derived) étale cohomology

For $R$ a ring and $H_{\mathrm{et}}^n(-,-)$ the etale cohomology, ${𝔾}_m$ the multiplicative group of the affine line; then

• $H_{\mathrm{et}}^0(R,{𝔾}_m)=R^{\times }$ (group of units)

• $H_{\mathrm{et}}^1(R,{𝔾}_m)=\mathrm{Pic}(R)$ (Picard group: iso classes of invertible $R$-modules)

• $H_{\mathrm{et}}^2(R,{𝔾}_m{)}_{\mathrm{tor}}=\mathrm{Br}(R)$ (Brauer group Morita classes of Azumaya $R$-algebras)

More generally, this works for $R$ a (connective) E-infinity ring (the following is due to Benjamin Antieau and David Gepner).

Let ${\mathrm{GL}}_1(R)$ be its infinity-group of units. If $R$ is connective, then the first Postikov stage of the Picard infinity-groupoid

$$\mathrm{Pic}(R)≔\mathrm{Mod}(R{)}^{\times }$$Pic(R) \coloneqq Mod(R)^\times

is

$$\begin{array}{ccc}{B}_{\mathrm{et}}{\mathrm{GL}}_1(-)& \to & \mathrm{Pic}(-)\\ & & \downarrow \\ & & \mathbb{Z}\end{array},$$\array{ \mathbf{B}_{et} GL_1(-) &\to& Pic(-) \\ && \downarrow \\ && \mathbb{Z} } \,,

where the top morphism is the inclusion of locally free $R$-modules.

so $H_{\mathrm{et}}^1(R,{\mathrm{GL}}_1)$ is not equal to ${\pi }_0\mathrm{Pic}(R)$, but it is off only by $H_{\mathrm{et}}^0(R,\mathbb{Z})={\prod }_{\mathrm{components}\mathrm{of}R}\mathbb{Z}$.

Let ${\mathrm{Mod}}_R$ be the (infinity,1)-category of $R$-modules.

There is a notion of ${\mathrm{Mod}}_R$-enriched (infinity,1)-category, of ”$R$-linear $(\mathrm{\infty },1)$-categories”.

${\mathrm{Cat}}_R≔{\mathrm{Mod}}_R$-modiles in presentable (infinity,1)-categories.

Forming module $(\mathrm{\infty },1)$-categories is then an (infinity,1)-functor

$${\mathrm{Alg}}_R\stackrel{\mathrm{Mod}}{\to }{\mathrm{Cat}}_R$$Alg_R \stackrel{Mod}{\to} Cat_R

Write $\mathrm{Cat}{\prime }_R\hookrightarrow {\mathrm{Car}}_R$ for the image of $\mathrm{Mod}$. Then define the Brauer infinity-group to be

$$\mathrm{Br}(R)≔(\mathrm{Cat}{\prime }_R{)}^{\times }$$Br(R) \coloneqq (Cat'_R)^\times

One shows (Antieau-Gepner) that this is exactly the Azumaya $R$-algebras modulo Morita equivalence.

Theorem (B. Antieau, D. Gepner)

1. For $R$ a connective $E_{\mathrm{\infty }}$ ring, any Azumaya $R$-algebra $A$ is étale locally trivial: there is an etale cover $R\to S$ such that $A{\wedge }_{R}S\stackrel{\mathrm{Morita}\simeq }{\to }S$.

   (Think of this as saying that an Azumaya $R$-algebra is étale-locally a Matric algebra, hence Morita-trivial: a “bundle of compact operators” presenting a (torsion) ${\mathrm{GL}}_1(R)$-2-bundle).

2. $\mathrm{Br}:{\mathrm{CAlg}}_R^{\ge 0}\to {\mathrm{Gpd}}_{\mathrm{\infty }}$ is a sheaf for the etale cohomology.

Corollary

1. $\mathrm{Br}$ is connected. Hence $\mathrm{Br}\simeq B_{\mathrm{et}}\Omega \mathrm{Br}$.

2. $\Omega \mathrm{Br}\simeq \mathrm{Pic}$, hence $\mathrm{Br}\simeq B_{\mathrm{et}}\mathrm{Pic}$

Postnikov tower for ${\mathrm{GL}}_1(R)$:

$$\mathrm{for}n>0:{\pi }_n{\mathrm{GL}}_1(S)\simeq {\pi }_n$$for\; n \gt 0: \pi_n GL_1(S) \simeq \pi_n

hence for $R\to S$ étale

$${\pi }_{n}S\simeq {\pi }_{n}R{\otimes }_{{\pi }_{0}R}{\pi }_{0}S$$\pi_n S \simeq \pi_n R \otimes_{\pi_0 R} \pi_0 S

This is a quasi-coherent sheaf on ${\pi }_{0}R$ of the form $\tilde{N}$ (quasicoherent sheaf associated with a module), for $N$ an ${\pi }_{0}R$-module. By vanishing theorem of higher cohomology for quasicoherent sheaves

$$H_{\mathrm{et}}^1({\pi }_{0}R,\tilde{N})=0;\mathrm{for}p>0$$H_{et}^1(\pi_0 R, \tilde N) = 0; for p \gt 0

For every (infinity,1)-sheaf $G$ of infinity-groups, there is a spectral sequence

$$H_{\mathrm{et}}^p({\pi }_{0}R;{\tilde{\pi }}_{q}G)\Rightarrow {\pi }_{q-p}G(R)$$H_{et}^p(\pi_0 R; \tilde \pi_q G) \Rightarrow \pi_{q-p} G(R)

(the second argument on the left denotes the $\mathrm{qth}$ Postnikov stage). From this one gets the following.

• ${\tilde{\pi }}_0\mathrm{Br}\simeq *$

• ${\tilde{\pi }}_1\mathrm{Br}\simeq \mathbb{Z}$;

• ${\tilde{\pi }}_2\mathrm{Br}\simeq {\tilde{\pi }}_1\mathrm{Pic}\simeq {\pi }_0{\mathrm{GL}}_1\simeq {𝔾}_m$

• ${\tilde{\pi }}_n\mathrm{Br}$ is quasicoherent for $n>2$.

there is an exact sequence

$$0\to H_{\mathrm{et}}^2({\pi }_{0}R,{𝔾}_m)\to {\pi }_0\mathrm{Br}(R)\to H_{\mathrm{et}}^1({\pi }_{0}R,\mathbb{Z})\to 0$$0 \to H_{et}^2(\pi_0 R, \mathbb{G}_m) \to \pi_0 Br(R) \to H_{et}^1(\pi_0 R, \mathbb{Z}) \to 0

(notice the inclusion $\mathrm{Br}({\pi }_{0}R)\hookrightarrow H_{\mathrm{et}}^2({\pi }_{0}R,{𝔾}_m)$)

this is split exact and so computes ${\pi }_0\mathrm{Br}(R)$ for connective $R$.

Now some more on the case that $R$ is not connective.

Suppose there exists $R\stackrel{\varphi }{\to }S$ which is a faithful Galois extension for $G$ a finite group.

Examples

1. (real into complex K-theory spectrum) $\mathrm{KO}\to \mathrm{KU}$ (this is ${\mathbb{Z}}_2$)

2. tmf $\to \mathrm{tmf}(3)$

Give $R\to S$, have a fiber sequence

$${\mathrm{Gl}}_1(R/S)\stackrel{\mathrm{fib}}{\to }{\mathrm{GL}}_1(R)\to {\mathrm{GL}}_1(S)\to \mathrm{Pic}(R/S)\stackrel{\mathrm{fib}}{\to }\mathrm{Pic}(R)\to \mathrm{Pic}(S)\to \mathrm{Br}(R/S)\stackrel{\mathrm{fib}}{\to }\mathrm{Br}(R)\to \mathrm{Br}(S)\to \cdots$$Gl_1(R/S) \stackrel{fib}{\to} GL_1(R) \to GL_1(S) \to Pic(R/S) \stackrel{fib}{\to} Pic(R) \to Pic(S) \to Br(R/S) \stackrel{fib}{\to} Br(R) \to Br(S) \to \cdots

Theorem (descent theorems) (Tyler Lawson, David Gepner) Given $G$-Galois extension $R\stackrel{\simeq }{\to }{S}^{\mathrm{hG}}$ (homotopy fixed points?)

1. ${\mathrm{Mod}}_R\stackrel{\simeq }{\to }{\mathrm{Mod}}_S^{\mathrm{hG}}$

2. ${\mathrm{Alg}}_R\stackrel{\simeq }{\to }{\mathrm{Alg}}_S^{\mathrm{hG}}$

it follows that there is a homotopy fixed points spectral sequence

$$H^p(G,{\pi }_{•}{\Sigma }^n{\mathrm{GL}}_1(S))\Rightarrow {\pi }_{-n}{\mathrm{GL}}_1(S)$$H^p(G, \pi_\bullet \Sigma^n GL_1(S)) \Rightarrow \pi_{-n} GL_1(S)

Conjecture The spectral sequence gives an Azumaya $\mathrm{KO}$-algebra $Q$ which is a nontrivial element in $\mathrm{Br}(\mathrm{KO})$ but becomes trivial in $\mathrm{Br}(\mathrm{KU})$.

Related concepts

• group of units, Picard group, Brauer group

References

• G. Cortiñas, Charles Weibel, Homology of Azumaya algebras, Proc. AMS 121, 1, pp. 1994 (jstor)

• John Duskin, The Azumaya complex of a commutative ring, in Categorical Algebra and its Appl., Lec. Notes in Math. 1348 (1988) doi:10.1007/BFb0081352

• Alexander Grothendieck, Le groupe de Brauer I, II, III, in Dix exposes sur la cohomologie des schemas (I: Algèbres d’Azumaya et interprétations diverses) North-Holland Pub. Co., Amsterdam (1969)

• Max Karoubi, Peter Donovan, Graded Brauer groups and $K$-theory with local coefficients (pdf)

• M-A. Knus, M. Ojanguren, Théorie de la descente et algèbres d’Azumaya, Lec. Notes in Math. 389, Springer 1974, doi:10.1007/BFb0057799, MR0417149

• J. Milne, Étale cohomology, Princeton Univ. Press

• Ross Street, Descent, Oberwolfach preprint (sec. 6, Brower groups) pdf; Some combinatorial aspects of descent theory, Applied categorical structures 12 (2004) 537-576, math.CT/0303175 (sec. 12, Brower groups)

• Enrico Vitale, A Picard-Brauer exact sequence of categorical groups, pdf

See also

• wikipedia page

• Category Cafe 2006: Picard and Brauer 2-groups