More reduced obstruction theories

DOI10.4310/MRL.2015.V22.N1.A11MaRDI QIDQ2346003zbMATH OpenFDO

Authors Timo Schürg

Publication date 29 May 2015

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1209.4631

zbMATH Keywords

1-perfect obstruction theoryArtin stackdeformation functorderived categoryderived moduli spaceenumerative geometry

Mathematics Subject Classification ID

Generalizations (algebraic spaces, stacks) (14A20) Formal methods and deformations in algebraic geometry (14D15) Stacks and moduli problems (14D23)

Abstract: This short note first develops a general formalism for globally removing a factor from an obstruction theory. This formalism is then applied to give a construction of a reduced obstruction theory on the moduli of maps from a curve to a surface satisfying a technical condition. This condition was recently identified in work of Kool and Thomas.

Review text

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)].

Recommendations

• Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes
• Obstruction calculus for functors of Artin rings. I
• Deriving Deligne-Mumford stacks with perfect obstruction theories
• K-Theoretic Generalized Donaldson–Thomas Invariants
• Semi-perfect obstruction theory and Donaldson-Thomas invariants of derived objects

Cited in

(4)

• Obstruction calculus for functors of Artin rings. I
• Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes
• The moduli of sections has a canonical obstruction theory
• Simple obstructions and cone reduction

This page was built for publication: More reduced obstruction theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2346003)