Semi-perfect obstruction theory and Donaldson-Thomas invariants of derived objects (Q429265): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.4310/CAG.2011.v19.n4.a6 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.4310/CAG.2011.V19.N4.A6 / rank
 
Normal rank

Latest revision as of 17:18, 9 December 2024

scientific article
Language Label Description Also known as
English
Semi-perfect obstruction theory and Donaldson-Thomas invariants of derived objects
scientific article

    Statements

    Semi-perfect obstruction theory and Donaldson-Thomas invariants of derived objects (English)
    0 references
    0 references
    0 references
    26 June 2012
    0 references
    The purpose of the paper under review is to introduce the notion of a semi-perfect obstruction theory of a Deligne-Mumford stack and to construct an associated virtual cycle. The authors begin by studying the local situation. Roughly, one considers a pure dimension smooth Artin stack \(\mathcal{M}\) with a morphism from a scheme of finite type \(U\) to it. The notion of a (truncated) perfect (relative) obstruction theory of \(U\rightarrow\mathcal{M}\) is known and is, roughly, a morphism (satisfying some properties) in \(D(U)\), the derived category of \(U\), from a perfect complex \(E\) of amplitude contained in \([-1,0]\) to the truncation of the relative cotangent complex of \(U\rightarrow\mathcal{M}\). Given any coherent sheaf on \(U\), one has the associated sheaf stack and it makes sense to talk about integral cycles in this stack. In particular, this applies to \(h^1(E^\vee)\). The authors construct a cycle associated to the perfect obstruction theory and built from the intrinsic normal cone, and show that it is independent, in a suitable sense, from the obstruction theory chosen. Section 3 deals with the ``global'' setting. Let \(\mathcal{M}\) be as before and \(X\) be a Deligne-Mumford stack locally of finite type with a morphism \(X\rightarrow\mathcal{M}\). A semi-perfect obstruction theory \(\phi\) of \(X\rightarrow\mathcal{M}\) consists of an étale covering of \(X\) by affine schemes and truncated perfect relative obstruction theories associated to this cover, subject to some natural gluing conditions. In particular, one gets an obstruction sheaf of the semi-perfect obstruction theory on \(X\), denoted by \(\text{Ob}_\phi\). Yet again, there is a cycle group \(Z_*\text{Ob}_\phi\) of this sheaf and a natural cycle living in it. Using a Gysin map \(Z_*\text{Ob}_\phi\rightarrow A_*X\), one in fact gets a virtual cycle of \(X\), an element in \(A_*X\). This virtual cycle is then proven to be deformation invariant. In the following section the authors construct a semi-perfect obstruction theory of the moduli of objects in the derived category of a projective Calabi-Yau threefold. If the moduli space has an open proper Deligne-Mumford substack, one can define a Donaldson-Thomas invariant of this moduli space and the above results ensure that this number is deformation invariant.
    0 references
    0 references
    algebraic stack
    0 references
    obstruction theory
    0 references
    derived category
    0 references
    virtual cycle
    0 references
    Donaldson-Thomas invariant
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references