Brauer groups and étale cohomology in derived algebraic geometry (Q2444366)

The authors study the Brauer group and Azumaya algebras in the setting of derived algebraic geometry, heavily drawing on work of Lieblich, Toën [\textit{B. Toën}, Invent. Math. 189, No. 3, 581--652 (2012; Zbl 1275.14017)] and [\textit{J. Lurie}, Higher topos theory. Princeton, NJ: Princeton University Press (2009; Zbl 1175.18001)]. The starting point is a connective \(\mathbb{E}_\infty\) ring spectrum \(R\), which is often regarded as an infinitesimal thickening of the underlying commutative ring \(\pi_0(R)\), in a suitable sense. The first three sections discuss and develop the theoretical foundations for modules, algebras, and Azumaya algebras over such \(R\). In Section 4, the authors study sheaves on \(\infty\)-topoi, taking values in complete \(\infty\)-categories, and smooth or étale maps between them. Here the main result is that under suitable assumptions, a smooth map admits sections with respect to the étale topology. In the next Section, it is shown that every Azumaya \(R\)-algebra is becomes Morita equivalent to \(R\) after replacing \(R\) by some faithfully flat étale \(R\)-algebra. Section 6 and 7 deal with some sort of converse: For quasicompact and quasiseparated derived schemes \(X\), it is shown that every Brauer class \(X\rightarrow\mathbf{Br}\), which by definition means a morphism into a suitably defined étale hypersheaf, lifts to a corresponding notion of Azumaya algebra \(X\rightarrow\mathbf{Az}\). In other words, the Brauer group coincides with the cohomological Brauer group, in this setting and with the correct interpretation. The last section contains, among other things, a computation showing that the Brauer group of the sphere spectrum is zero.