Brauer groups and étale cohomology in derived algebraic geometry (Q2444366): Difference between revisions

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.