Perfect obstruction theory

1. a perfect two-term complex ${\displaystyle E=[E^{-1}\to E^0]}$ in the derived category ${\displaystyle D(\text{Qcoh}(X{)}_{et})}$ of quasi-coherent étale sheaves on X, and
2. a morphism ${\displaystyle \phi :E\to {\mathbf{\text{L}}}_X}$, where ${\displaystyle {\mathbf{\text{L}}}_X}$ is the cotangent complex of X, that induces an isomorphism on ${\displaystyle h^0}$ and an epimorphism on ${\displaystyle h^{-1}}$.

The notion was introduced by Kai Behrend and Barbara Fantechi (1997) for an application to the intersection theory on moduli stacks; in particular, to define a virtual fundamental class.

Examples

Schemes

Consider a regular embedding ${\displaystyle I:Y\to W}$ fitting into a cartesian square

${\displaystyle \begin{array}{ccc}X& \stackrel{j}{\to }& V\\ g\downarrow & & \downarrow f\\ Y& \stackrel{i}{\to }& W\end{array}}$

where ${\displaystyle V,W}$ are smooth. Then, the complex

${\displaystyle E^{\bullet }=[g^{\ast }{N}_{Y/W}^{\vee }\to j^{\ast }{\mathrm{\Omega }}_V]}$ (in degrees ${\displaystyle -1,0}$)

forms a perfect obstruction theory for X. The map comes from the composition

${\displaystyle g^{\ast }{N}_{Y/W}^{\vee }\to g^{\ast }{i}^{\ast }{\mathrm{\Omega }}_W=j^{\ast }{f}^{\ast }{\mathrm{\Omega }}_W\to j^{\ast }{\mathrm{\Omega }}_V}$

This is a perfect obstruction theory because the complex comes equipped with a map to ${\displaystyle {\mathbf{L}}_X^{\bullet }}$ coming from the maps ${\displaystyle g^{\ast }{\mathbf{L}}_Y^{\bullet }\to {\mathbf{L}}_X^{\bullet }}$ and ${\displaystyle j^{\ast }{\mathbf{L}}_V^{\bullet }\to {\mathbf{L}}_X^{\bullet }}$. Note that the associated virtual fundamental class is ${\displaystyle [X,E^{\bullet }]=i^{!}[V]}$

Example 1

Consider a smooth projective variety ${\displaystyle Y\subset {\mathbb{P}}^n}$. If we set ${\displaystyle V=W}$, then the perfect obstruction theory in ${\displaystyle D^{[-1,0]}(X)}$ is

${\displaystyle [N_{X/{\mathbb{P}}^n}^{\vee }\to {\mathrm{\Omega }}_{{\mathbb{P}}^n}]}$

and the associated virtual fundamental class is

${\displaystyle [X,E^{\bullet }]=i^{!}[{\mathbb{P}}^n]}$

In particular, if ${\displaystyle Y}$ is a smooth local complete intersection then the perfect obstruction theory is the cotangent complex (which is the same as the truncated cotangent complex).

Deligne–Mumford stacks

The previous construction works too with Deligne–Mumford stacks.