\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{virtual fundamental class}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{integration_theory}{}\paragraph*{{Integration theory}}\label{integration_theory}

[[!include integration theory - contents]]

\hypertarget{higher_geometry}{}\paragraph*{{Higher geometry}}\label{higher_geometry}

[[!include higher geometry - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{for_derived_schemes}{For derived Schemes}\dotfill \pageref*{for_derived_schemes} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{ModuliSpaceOfStableMaps}{Moduli space of stable maps}\dotfill \pageref*{ModuliSpaceOfStableMaps} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The notion of \emph{virtual fundamental class} is a generalization of that of \emph{[[fundamental class]]} from [[manifolds]] to more general spaces in [[higher geometry]], notably to [[orbifolds]] and their equivalent incarnations as [[stacks]], as well as to [[derived manifolds]].

This plays a central role when these stacks serve as [[moduli stacks]] for certain structures on some space (certain maps into that space regarded as a [[target space]], notably) and one is interested in the relevant ``[[path integral]]'' over all these structures (to produce [[invariants]] of target space). This is manifestly so for instance in the application to [[Gromov-Witten invariants]]. In these cases the pairing of [[cocycles]] against the virtual fundamental class plays the role of [[integration]] over the given moduli stack.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

\hypertarget{for_derived_schemes}{}\subsubsection*{{For derived Schemes}}\label{for_derived_schemes}

Given a [[locally noetherian scheme|locally Noetherian]] [[derived scheme]], $(X, \mathcal{O}_X)$ with underlying [[scheme]] $t_0X$, $\pi_i\mathcal{O}_X$ [[coherent module|coherent]], and $\pi_i\mathcal{O}_X = 0$ for $i\gg0$, the \emph{virtual fundamental class} is defined by first constructing a class in $G_0(t_0X)$ (the [[K-theory]] of [[coherent sheaves]]) and then using this to produce an element of the [[Chow homology]] of $t_0X$. In our hearts we all know that the fundamental class should be something tautological, just like how the fundamental class of a triangulated manifold in simplicial homology is \emph{the manifold itself}. We can use this idea once we have the following theorem:

\begin{theorem}
\label{Devissage}\hypertarget{Devissage}{}
\textbf{(Devissage)}.

The natural map of [[derived schemes]] $j: t_0X \rightarrow X$ induces an [[isomorphism]] $j_*: G_0(t_0X) \rightarrow G_0(X)$.

\end{theorem}
A proof of this theorem and a definition of [[G-theory]] for derived schemes in (\hyperlink{Barwick}{Barwick}).

\begin{defn}
\label{KTheoryVirtualFundamentalClass}\hypertarget{KTheoryVirtualFundamentalClass}{}
The $K$-theory \emph{virtual fundamental class} of a derived scheme $(X, \mathcal{O}_X)$ is the unique element $[X]$ in $G_0(t_0X)$ such that $j_*[X] = [\mathcal{O}_X]$ where $j: t_0X \rightarrow X$ is the natural map.

\end{defn}
If you trace through the definition of $G_0$ and the identification of the [[heart]] of $Coh(X)$ with $Coh(t_0X)$, you can show that $[X] = \sum (-1)^i [\pi_i\mathcal{O}_X]$.

To get from here to a virtual fundamental class in cohomology we need some more assumptions on $X$. For example, let's assume $X$ is finitely-presented over a field $k$ and that $\mathbb{L}_{X/k}$ is concentrated in degrees $0$ and $-1$, locally up to quasi-isomorphism, and a perfect complex. Then $j^*\mathbb{L}_{X/k}$ is a perfect complex over $t_0X$ and the dual is called the virtual tangent sheaf $\mathbb{T}^{vir}$.

\begin{defn}
\label{}\hypertarget{}{}
With the above assumptions and notation, the \emph{virtual fundamental class} of $X$ is the evaluation of the inverse of the [[Todd class]] $Td(\mathbb{T}^{vir})$ on $\tau([X])$, where $[X]$ is as in def. \ref{KTheoryVirtualFundamentalClass} and $\tau$ is the [[Grothendieck-Riemann-Roch theorem|Grothendieck-Riemann-Roch transformation]].

\end{defn}
(\hyperlink{Toen14}{To\"e{}n 14, p. 23})

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\hypertarget{ModuliSpaceOfStableMaps}{}\subsubsection*{{Moduli space of stable maps}}\label{ModuliSpaceOfStableMaps}

Although the [[moduli space]] of [[stable maps]] is sometimes referred to as a compactifiaction of the space of maps, in analogy with the [[Deligne-Mumford compactification]] of the [[moduli space]] of curves, in fact it typically has boundary components of higher dimension than the space it was supposed to compactify!

Take for example $\bar M_{1,0}(P^2,3)$. It ought to be a compactification of the space of degree-3 maps from genus-1 curves to $P^2$, and indeed one of its components has a Zariski open subset birational to the $P^9$ of all plane cubics. But there is also a `boundary component' of higher dimension, namely the boundary component consisting of maps whose domain is a genus-1 curve glued to a nodal rational curve: the nodal curve maps to a rational cubic in $P^2$, while the $g=1$ component contracts to a point on that nodal cubic.

This boundary component has dimension 10: namely, there are 8 parameters to specify the image nodal cubic, 1 paramenter to determine the point to which the $g=1$ component contracts, and finally there is 1 paramenter for the [[j-invariant]] for the $g=1$ component. The topological fundamental class lives in dimension 10 so it is rather useless to integrate against if all your cohomology classes are codimension 9 --- which is the expected dimension.

The virtual fundamental class always lives in the expected dimension.

(The expected dimension is often the one you would expect(!) from naive counts like the above. More formally it can be computed as dim $H^0(C,N_f)$, where $f:C\to P^2$ is a moduli point (with [[normal bundle]] $N_f$) such that $H^1(C,N_f)=0$ (this is to say that the first order [[infinitesimal space|infinitesimal]] deformations are unobstructed).)

The situation is analogous (possibly in fact a special case of) the standard situation in [[intersection theory]] when a section of a [[vector bundle]] is not regular: its zero locus is then of too high dimension and is of little use to intersect against. The correct class to work with is then the top [[Chern class]] of the vector bundle (cf. Fulton ch.14), which could be called the virtual class of the zero locus.

In the example above, I don't know right now if the virtual class in fact appears as a top Chern class of a vector bundle --- I think it should, because the excess is just a variation of the standard example $\bart M_{1,1}(X,0)$, and in that example it is true that the virtual class appears as a top [[Chern class]]: there is a so-called [[obstruction bundle]] which in this case is the dual of the [[Hodge bundle]] from the factor $\bar M_{1,1}$ tensored with the [[tangent bundle]] from $X$.

(The Hodge bundle is the direct image bundle of the canonical bundle of the universal curve, hence of rank $g$, hence just a line bundle in this case.)

The virtual fundamental class is the top Chern class of the obstruction bundle (cap the topological fundamental class).

In this case, $dim \bar M_{1,1}(X,0) = 1 + dim X$, and the obstruction bundle has rank $dim X$, hence the virtual class has dimension 1.

Perhaps it should be mentioned also that the moduli space of maps can have components of too high dimension even before it is `compactified', and even without involving contracting curves. A famous example is $M_{0,0}(Q,d)$ (no bar needed for this argument) where $Q$ is a quintic three-fold. Let's say $d=2$, so we are talking about conics on the quintic three-fold. Since $Q$ has trivial [[canonical class]] it follows that the expected dimension is always 0 (i.e. in every degree there ought to be a finite number of rational curves on Q).

But now, $M_{0,0}(Q,2)$ is a space of maps, not a space of curves, and for every one of the famous 2875 lines on $Q$ there is a 2-dimensional family of double covers of the line, which clearly count as stable degree-2 maps, so $M_{0,0}(Q,2)$ contains 2875 components of dimension 2, in contrast to the virtual dimension 0.

\hypertarget{related_entries}{}\subsection*{{Related entries}}\label{related_entries}

\begin{itemize}%
\item [[fundamental class]]


\item [[Poincaré duality algebra]]


\item [[intersection theory]]


\item Virtual fundamental classes play a central role in the theory of [[Gromov-Witten invariants]].



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

The idea of virtual fundamental classes and corresponding picture of derived moduli spaces comes from

\begin{itemize}%
\item [[Maxim Kontsevich]], \emph{Enumeration of rational curves via torus actions}, in: The moduli space of curves (Texel Island, 1994), 335--368, Progr. Math. \textbf{129}, Birkh\"a{}user 1995. MR1363062 (97d:14077), \href{http://arxiv.org/abs/hep-th/9405035}{hep-th/9405035}

\end{itemize}
A quick overview of virtual fundamental classes for [[algebraic stacks]] is in section 4.4.3 of

\begin{itemize}%
\item [[Bertrand Toën]], \emph{Higher and derived stacks: a global overview} (\href{http://arxiv.org/abs/math/0604504}{arXiv:math/0604504})

\end{itemize}
A more detailed overview with many pointers to the literature is in section 8 ``Introduction to the virtual fundamental class'' of

\begin{itemize}%
\item Nicola Pagani, \emph{Introduction to Gromov-Witten theory and quantum cohomology} (\href{http://pcwww.liv.ac.uk/~pagani/DOC/corsogw.pdf}{pdf})

\end{itemize}
A review of virtual fundamental classes of [[orbifolds]] in [[differential geometry]] is around page 7 of

\begin{itemize}%
\item Andr\'e{}s Angel, \emph{When is a differentiable manifold the boundary of an orbifold?} (\href{http://ems.math.uni-bonn.de/people/aangel79/files/boundary.pdf}{pdf})

\end{itemize}
Detailed disucssion for the [[branched manifold]]-variant of [[orbifolds]] is in section 3.4 of

\begin{itemize}%
\item [[Dusa McDuff]], \emph{Groupoids, branched manifolds and multisections} (\href{http://arxiv.org/abs/math/0509664}{arXiv:math/0509664})

\end{itemize}
Virtual fundamental classs of [[derived manifolds]] are discussed in section 13.2 of

\begin{itemize}%
\item [[Dominic Joyce]], \emph{D-manifolds and d-orbifolds: a theory of derived differential geometry} (\href{http://people.maths.ox.ac.uk/joyce/dmbook.pdf}{pdf})

\end{itemize}
with applications to [[moduli spaces]] of coherent sheaves on [[Calabi-Yau space|Calabi-Yau 4-folds]] in

\begin{itemize}%
\item [[Dominic Joyce]], [[Dennis Borisov]], \emph{Virtual fundamental classes for moduli spaces of sheaves on Calabi--Yau four-folds} (2014) (\href{https://docs.google.com/file/d/0B4KuPQcvke9sOS1mTDBhNWxocnc/edit}{wev})

\end{itemize}
Specifically for applications to [[Gromov-Witten theory]] see for instance

\begin{itemize}%
\item Ch. Okonek, A. Teleman, \emph{Computing virtual fundamental classes: gauge theoretical Gromov-Witten invariants for toric varieties} (\href{http://arxiv.org/abs/math/0205137}{arXiv:math/0205137})

\end{itemize}
The material in \emph{\hyperlink{ModuliSpaceOfStableMaps}{Moduli space of stable maps}} above originates in a blog discussion \href{http://golem.ph.utexas.edu/category/2009/09/a_seminar_on_gromovwitten_theo.html#c027000}{here}

The definition and description above for derived schemes derives from p.23 of

\begin{itemize}%
\item [[Bertrand Toën]] Derived Algebraic Geometry, 2013. (\href{http://arxiv.org/pdf/1401.1044v1.pdf}{http://arxiv.org/pdf/1401.1044v1.pdf})

\end{itemize}
The devissage result needed is proven as Proposition 8.2 here:

\begin{itemize}%
\item [[Clark Barwick]] \emph{On Exact $\infty$-categories and the Theorem of the Heart (\href{http://dl.dropboxusercontent.com/u/1741495/papers/k2-1.pdf}{pdf})}

\end{itemize}
[[!redirects virtual fundamental classes]]



\end{document}