The resolution property for schemes and stacks (Q4832097)

This paper contains some fundamental results on coherent sheaves on algebraic stacks, which are also interesting in the special case the algebraic stack in question is a scheme. One says that an algebraic stack has the resolution property if any coherent sheaf on it is the quotient of a locally free coherent sheaf. The first main result is as follows: Suppose \(X\) is an algebraic stack that is normal, noetherian, and whose stabilizer groups at closed points are affine. Then \(X\) has the resolution property if and only if \(X\) is the quotient of a quasiaffine scheme by some GL\((n)\)-action. In the special case that \(X\) is of finite type over a field, this is also equivalent to the condition that \(X\) is the quotient of an affine scheme of finite type by some action of an affine group scheme of finite type. The second main result deals with Deligne--Mumford stacks: Suppose that \(X\) is Deligne--Mumford stack over a field that is smooth, has finite and generically trivial stabilizer group, and whose coarse moduli space \(B\) is a scheme with affine diagonal. Then the stack \(X\) has the resolution property. The proofs make clever use of results on algebraic stacks from the book of \textit{G. Laumon} and \textit{L. Moret-Bailly} [``Algebraic spaces''. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, 39 (Springer, Berlin) (2000; Zbl 0945.14005)], the work of \textit{D. Edidin, B. Hassett, A. Kresch}, and \textit{A. Vistoli} [Am. J. Math. 123, 761--777 (2001; Zbl 1036.14001)], of \textit{S. Keel} and \textit{S. Mori} [Ann. Math. (2) 145, 193--213 (1997; Zbl 0881.14018)], and of \textit{R. W. Thomason} [Adv. Math. 65, 16--34 (1987; Zbl 0624.14025)]. The paper also contains results and examples on the relation of naive \(K\)-groups of locally free sheaves and the true \(K\)-groups of perfect complexes.