Title:Reduced obstruction theory for $K3$-surfaces and derived algebraic geometry

Abstract:Let S be a projective algebraic complex K3-surface, g a nonnegative integer, and \beta \neq 0 in $H_{2}(S,\mathbb{Z})$ a curve class. We construct a derived stack $\mathbb{R}\bar{\mathbf{M}}^{\textrm{red}}_{g}(S;\beta)$ whose truncation is the usual stack $\bar{\mathbf{M}}_{g}(S;\beta)$ of stable maps from curves of genus g to S hitting the class \beta, and such that the inclusion $\bar{\mathbf{M}}_{g}(S;\beta)\hookrightarrow \mathbb{R}\bar{\mathbf{M}}^{\textrm{red}}_{g}(S;\beta)$ induces on $\bar{\mathbf{M}}_{g}(S;\beta)$ a perfect obstruction theory whose tangent and obstruction spaces coincide with the corresponding reduced spaces of Okounkov-Maulik-Pandharipande-Thomas. We also give the obvious $n$-pointed variant. The approach we present here yields not only a full rigorous proof of the existence of a reduced obstruction theory, not relying on any result on semiregularity maps, but also a new global geometric interpretation. An important ingredient of our construction is a perfect determinant map from the stack of perfect complexes to the stack of line bundles whose tangent morphism is Illusie's trace map for perfect complexes. We expect that this determinant map might be useful in other contexts as well.