The Moduli of Sections Has a Canonical Obstruction Theory

Abstract

We give a detailed proof that locally Noetherian moduli stacks of sections carry canonical obstruction theories. As part of the argument we construct a dualizing sheaf and trace map, in the lisse-etale topology, for families of tame twisted curves, when the base stack is locally Noetherian.