The resolution property via Azumaya algebras (Q2030081): Difference between revisions

Let \(k\) be a ground field of characteristic \(p\geq 0\). The main result of this paper that many low-dimensional Artin stacks \(\mathscr{X}\) that are separated and of finite type satisfy the resolution property. The latter means that every coherent sheaf is the quotient of a locally free sheaf of finite rank. The stacks \(\mathscr{X}\) in question are either of dimension \(n=1\) with no further condition on the singularities, or of dimension \(n=2\) and normal. Moreover, they are \emph{tame}, a notation that is more general than Deligne-Mumford stacks in characteristic \(p>0\), but retains many of their crucial properties. [\textit{D. Abramovich} et al., Ann. Inst. Fourier 58, No. 4, 1057--1091 (2008; Zbl 1222.14004)]. As an application, the author extends the equality of the Brauer group with the torsion part of the second étale cohomology, from schemes that are one-dimensional, or two-dimensional and regular, to like-wise Artin stacks satisfying suitable assumptions. This application actually figures as step in the arguments for the resolution property. The main idea to establish the resolution property is to improve the situation by writing the Artin stack \(\mathscr{X}\) as a gerbe over another stack \(\mathscr{X}\), where the inertia becomes generically trivial. The resolution property is first settled for the coarse moduli space \(X'\), which is an algebraic space, by combining established methods that work for schemes with the so-called \textit{flat Mayer-Vietoris squares}. [\textit{J. Hall} and \textit{D. Rydh}, ``Mayer-Vietoris squares in algebraic geometry'', Preprint, \url{arXiv:1606.08517}]. Then Mathur uses the strong relation between the coarse moduli space \(X'\) and the tame Artin stack \(\mathscr{X}'\) to conclude the result for \(\mathscr{X}'\), and finally uses techniques for Azumaya algebras to extend the result to the original stack \(\mathscr{X}\).