|analytic integration||cohomological integration|
|measurable space||Poincaré duality|
|measure||orientation in generalized cohomology|
|volume form||(virtual) fundamental class|
|Riemann/Lebesgue integration of differential forms||push-forward in generalized cohomology/in differential cohomology|
derived smooth geometry
The notion of virtual fundamental class is a generalization of that of 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.
Given a locally Noetherian derived scheme, with underlying scheme , coherent, and for , the virtual fundamental class is defined by first constructing a class in (the K-theory of coherent sheaves) and then using this to produce an element of the Chow homology of . 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 the manifold itself. We can use this idea once we have the following theorem:
The -theory virtual fundamental class of a derived scheme is the unique element in such that where is the natural map.
If you trace through the definition of and the identification of the heart of with , you can show that .
To get from here to a virtual fundamental class in cohomology we need some more assumptions on . For example, let’s assume is finitely-presented over a field and that is concentrated in degrees and , locally up to quasi-isomorphism, and a perfect complex. Then is a perfect complex over and the dual is called the virtual tangent sheaf .
With the above assumptions and notation, the virtual fundamental class of is the evaluation of the inverse of the Todd class on , where is as in def. 1 and is the Grothendieck-Riemann-Roch transformation.
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 . It ought to be a compactification of the space of degree-3 maps from genus-1 curves to , and indeed one of its components has a Zariski open subset birational to the 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 , while the 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 component contracts, and finally there is 1 paramenter for the j-invariant for the 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 , where is a moduli point (with normal bundle ) such that (this is to say that the first order 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 , 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 tensored with the tangent bundle from .
(The Hodge bundle is the direct image bundle of the canonical bundle of the universal curve, hence of rank , 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, , and the obstruction bundle has rank , 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 (no bar needed for this argument) where is a quintic three-fold. Let’s say , so we are talking about conics on the quintic three-fold. Since 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, is a space of maps, not a space of curves, and for every one of the famous 2875 lines on there is a 2-dimensional family of double covers of the line, which clearly count as stable degree-2 maps, so contains 2875 components of dimension 2, in contrast to the virtual dimension 0.
Virtual fundamental classes play a central role in the theory of Gromov-Witten invariants.
The idea of virtual fundamental classes and corresponding picture of derived moduli spaces comes from
A quick overview of virtual fundamental classes for algebraic stacks is in section 4.4.3 of
A more detailed overview with many pointers to the literature is in section 8 “Introduction to the virtual fundamental class” of
Virtual fundamental classs of derived manifolds are discussed in section 13.2 of
Specifically for applications to Gromov-Witten theory see for instance
The definition and description above for derived schemes derives from p.23 of
The devissage result needed is proven as Proposition 8.2 here: