Virtual fundamental class

We can understand the motivation for the definition of the virtual fundamental class[5]^{pg 10} by considering what situation should be emulated for a simple case (such as a smooth complete intersection). Suppose we have a variety ${\displaystyle X}$ (representing the coarse space of some moduli problem ${\displaystyle {\mathcal {X}}}$) which is cut out from an ambient smooth space ${\displaystyle Y}$ by a section ${\displaystyle s}$ of a rank-${\displaystyle r}$ vector bundle ${\displaystyle E\to Y}$. Then ${\displaystyle X}$ has "virtual dimension" ${\displaystyle (n-r)}$ (where ${\displaystyle n}$ is the dimension of ${\displaystyle Y}$). This is the case if ${\displaystyle s}$ is a transverse section, but if ${\displaystyle s}$ is not, and it lies within a sub-bundle ${\displaystyle E'\subset E}$ where it is transverse, then we can get a homology cycle by looking at the Euler class of the cokernel bundle ${\displaystyle E/E'}$ over ${\displaystyle X}$. This bundle acts as the normal bundle of ${\displaystyle X}$ in ${\displaystyle Y}$.

Now, this situation dealt with in Fulton-MacPherson intersection theory by looking at the induced cone ${\displaystyle E|_{X}}$ and looking at the intersection of the induced section ${\displaystyle s}$ on the induced cone and the zero section, giving a cycle on ${\displaystyle X}$. If there is no obvious ambient space ${\displaystyle Y}$ for which there is an embedding, we must rely upon deformation theory techniques to construct this cycle on the moduli space representing the fundamental class. Now in the case where we have the section ${\displaystyle s:Y\to E}$ cutting out ${\displaystyle X}$, there is a four term exact sequence

${\displaystyle 0\to T_{X}\to T_{Y}|_{X}\xrightarrow {ds} E|_{X}\to {\text{ob}}\to 0}$

where the last term represents the "obstruction sheaf". For the general case there is an exact sequence

${\displaystyle 0\to {\mathcal {T}}_{1}\to E_{1}\to E_{2}\to {\mathcal {T}}_{2}\to 0}$

where ${\displaystyle E_{1},E_{2}}$ act similarly to ${\displaystyle T_{Y}|_{X},E|_{X}}$ and ${\displaystyle {\mathcal {T}}_{1},{\mathcal {T}}_{2}}$ act as the tangent and obstruction sheaves. Note the construction of Behrend-Fantechi is a dualization of the exact sequence given from the concrete example above[6]^{pg 44}.

There are multiple definitions of virtual fundamental classes,[2][7][8][9] all of which are subsumed by the definition for morphisms of Deligne-Mumford stacks using the intrinsic normal cone and a perfect obstruction theory, but the first definitions are more amenable for constructing lower-brow examples for certain kinds of schemes, such as ones with components of varying dimension. In this way, the structure of the virtual fundamental classes becomes more transparent, giving more intuition for their behavior and structure.

One of the first definitions of a virtual fundamental class[2]^{pg 10} is for the following case: suppose we have an embedding of a scheme ${\displaystyle X}$ into a smooth scheme ${\displaystyle Y}$

${\displaystyle i:X\hookrightarrow Y}$

and a vector bundle (called the obstruction bundle)

${\displaystyle \pi :E_{X/Y}\to X}$

such that the normal cone ${\displaystyle C_{X/Y}}$ embeds into ${\displaystyle E_{X/Y}}$ over ${\displaystyle X}$. One natural candidate for such an obstruction bundle if given by

${\displaystyle E_{X/Y}=\bigoplus _{j=1}^{r}i^{*}{\mathcal {O}}_{Y}(-D_{j})}$

for the divisors associated to a non-zero set of generators ${\displaystyle f_{1},\ldots ,f_{r}}$ for the ideal ${\displaystyle {\mathcal {I}}_{X/Y}}$. Then, we can construct the virtual fundamental class of ${\displaystyle X}$ using the generalized Gysin morphism given by the composition

${\displaystyle A_{*}(Y)\xrightarrow {\sigma } A_{*}(C_{X/Y})\xrightarrow {i_{*}} A_{*}(E_{X/Y})\xrightarrow {0_{E_{X/Y}}^{!}} A_{*-r}(X)}$

denoted ${\displaystyle f_{E_{X/Y}}^{!}}$, where ${\displaystyle \sigma }$ is the map given by

${\displaystyle \sigma ([V])=[C_{V\cap X}V]}$

and ${\displaystyle 0_{E_{X/Y}}^{!}}$is the inverse of the flat pullback isomorphism

${\displaystyle \pi ^{*}:A_{k-r}(X)\to A_{k}(E_{X/Y})}$.

Here we use the ${\displaystyle 0}$ in the map since it corresponds to the zero section of vector bundle. Then, the virtual fundamental class of the previous setup is defined as

${\displaystyle [X]_{E_{X/Y}}^{\text{vir}}:=f_{E_{X/Y}}^{!}([Y])}$

which is just the generalized Gysin morphism of the fundamental class of ${\displaystyle Y}$.

• Chow group of a stack

• Virtual fundamental classes, global normal cones and Fulton's canonical classes