More reduced obstruction theories (Q2346003)

This note studies Artin stacks with a fixed 1-perfect obstruction theory. It develops a formalism to remove factors, which is originating from a technique of \textit{M. Manetti} [in: Algebraic geometry, Seattle 2005. Proceedings of the 2005 Summer Research Institute, Seattle, WA, USA, July 25--August 12, 2005. Providence, RI: American Mathematical Society (AMS). 785--810 (2009; Zbl 1190.14007)] for the local case. The global one presented here gives rise to additional technical difficulties finding compatible morphisms between obstruction spaces: The main point is the commutativity of corresponding diagrams in the derived category -- which is automatic in Manettis case but here not even sufficient without supplementary information on the homotopies making them commute. These details are available for 1-perfect obstruction spaces which (together with their morphisms) are induced by derived moduli spaces in the sense of Toën-Vezzosi and Lurie. The result can be applied to a wide range of moduli spaces appearing in enumerative geometry. The author uses his formalism to construct a reduced 1-perfect obstruction theory for the moduli space of morphisms \(C\to S\) from a curve to a surface satisfying some condition of a recent paper of \textit{M. Kool} and \textit{R. Thomas} [Algebr. Geom. 1, No. 3, 334--383 (2014; Zbl 1322.14085)].