Openness of versality via coherent functors (Q504284)

The paper under review presents a revisited version of Artin's criterion on algebraicity of a stack, that leverages on ``coherence'' (in the sense of \textit{M. Auslander} [in: Proc. Conf. Categor. Algebra, La Jolla 1965, 189--231 (1966; Zbl 0192.10902)] of the functors of automorphisms, deformations and obstructions to prove openness of versality. The author works in great generality, and this allows him to get results that have wider applications. The first few sections are devoted to developing the necessary formalism to prove the main theorem, namely homogeneity of groupoids (that, on top of the references that are given, was also recently revisited in [\textit{M. Talpo} and \textit{A. Vistoli}, in: Handbook of moduli. Volume III. Somerville, MA: International Press; Beijing: Higher Education Press. 281--397 (2013; Zbl 1322.14016)], in the context of formal deformation theory), the Exal functors, limit preservation property, formal smoothness and versality, and the groups of automorphisms, deformations and obstructions. The proof of the algebraicity criterion follows in Section 7. To conclude, the author makes use of the main theorem to prove the algebraicity of the stack of coherent sheaves on a fixed algebraic stack, of the Hilbert stack and of the Hom stack, including cases where the structure morphism is not necessarily flat. As is pointed out, this case requires the use of the n-step obstruction theories, introduced earlier in the article. The paper has three appendices, that contain technical results about pushouts of algebraic stacks, Picard categories and Tor functors.