Brauer groups for commutative \(S\)-algebras (Q1936107): Difference between revisions

In the article the authors export the algebraic notion of an Azumaya algebra into the context of brave new algebra. Azumaya algebras in this context are defined to be \(R\)-algebras \(A\) over a commutative \(S\)-algebra \(R\) in the sense of \textit{A. D. Elmendorf} et al. [Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Providence, RI: American Mathematical Society (1997; Zbl 0894.55001)] which satisfy the following three properties: they must be dualizable, the canoncial map \(A \wedge_{R} A^{\mathrm{op}} \to \mathrm{Hom}_{R}(A,A)\) must be a weak equivalence, and \(A\) must be faithful as an \(R\)-module. Similiar definitions already have been considered in [\textit{N. Johnson}, J. Homotopy Relat. Struct. 9, No. 2, 465--493 (2014; Zbl 1316.18013)] and [\textit{B. Toën}, Invent. Math. 189, No. 3, 581--652 (2012; Zbl 1275.14017)]. Besides giving the basic definitions and deriving some general properties for brave new Azumaya algebras in the above sense the authors focus on examples. Examples which are covered e.g. come from Galois extensions of commutative \(R\)-algebras in the the sense of \textit{J. Rognes} [Mem. Am. Math. Soc. 898, 1--97 (2008; Zbl 1166.55001)], or group algebras over commutative \(S\)-algebras. Further examples are derived from the context of Lubin-Tate theory, for the latter e.g. see [\textit{A. Baker} and \textit{B. Richter}, Homology Homotopy Appl. 10, No. 3, 27--43 (2008; Zbl 1175.55007)]. The whole set-up of brave new Azumaya algebras given here is well designed in the sense that the notions fit well with existing notions for honest commutative rings when replacing the honest commutative ring \({\mathcal R}\) in the algebraic setting by its Eilenberg-MacLane spectrum \(H{\mathcal R}\) in the context brave new algebra. In particular the authors also introduce the Brauer group \(\mathrm{Br}(A)\) for a brave new Azumaya algebra \(A\) and establish some properties of this Brauer group. E.g. they show that the Brauer group \(\mathrm{Br}(k)\) for an algebraically closed field \(k\) in the sense of [\textit{J. Rognes}, loc. cit.] is trivial, while they also provide interesting examples where the Brauer group is non-trivial. A spacified version of the Brauer group at hand has been studied by \textit{M. Szymik} in [\textit{M. Szymik}, Brauer spaces for commutative rings and structured ring spectra, Preprint \url{arXiv: 1110.2956}].