Azumaya algebra

In mathematics, an Azumaya algebra is a generalization of central simple algebras to "R"-algebras where "R" need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where "R" is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964-5. There are now several points of access to the basic definitions.

For "R" a local ring, an Azumaya algebra is an "R"-algebra "A" which is free and of finite rank "r" as an "R"-module, and for which the natural action of "A" on itself by left-multiplication, and of "A"^o (the opposite ring) on "A" by right-multiplication, makes their tensor product isomorphic to the "r"×"r" matrix algebra over "R".

For the scheme theory definition, on a scheme "X" with structure sheaf "O"_"X" the definition as in the original Grothendieck seminar is of a sheaf of "O"_"X"-algebras "A" that is locally isomorphic to a matrix algebra sheaf. Milne, "Étale Cohomology", starts instead from the definition that the stalks "A"_"x" are Azumaya algebras over the local rings "O"_"X,x" at each point, in the sense given above. The Brauer group under this definition is defined as eqivalence classes of Azumaya algebras, where two algebras "A"₁ and "A"₂ are equivalent if there exist finite rank locally free sheaves "E"₁ and "E"₂ such that

:$A\_1otimesmathrm\{End\}(E\_1)\; simeq\; A\_2otimesmathrm\{End\}(E\_2).$

Here End("E"_i) denotes the endomorphism sheaf of "E"_i, which is a global matrix algebra. The group operation is given by tensor product, and the inverse by the opposite algebra.

There have been substantive applications of these global Azumaya algebras in diophantine geometry, following work of Yuri Manin. This has helped to clarify the area of obstructions to the Hasse principle.