nLab
intersection theory

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Higher geometry

Contents

Idea

Intersection theory studies literally the intersection of pairs of sub-spaces inside an ambient space. Historically Bézout's theorem described the signed (integer-valued) number of points at which two algebraic curves meet transversally inside an ambient algebraic surface. Dually, under Poincaré duality, this integer is the evaluation of the cup product of the duals of the two fundamental classes of the curves on that of the ambient spaces, and hence the cup product on mid-degree cohomology classes is also called the intersection product and is one central aspect of intersection theory.

However, if the sub-spaces do not intersect sufficiently transversally, then their plain set-theoretic number of intersection points will not agree with the cohomological intersection product thus defined. Historically Serre's intersection formula was a first step to remedy this by replacing the plain tensor product of structure sheaves (which is what dually describes the intersection of the varieties) is replaced by a Tor, hence by its derived functor.

In the modern version of the theory (as indicated e.g. in the introduction of (Lurie-Spaces)) this is interpreted as saying that the intersection is to be taken in derived algebraic geometry (and the fundamental classes are to be taken to be virtual fundamental classes).

With intersection theory interpreted in (infinity,1)-topos theory this way then the nature of Bézout’s original statement should hold in full generality essentially without further assumptions and this would be the central statement of intersection theory:

the cup product of two virtual fundamental classes of mid-dimensional subspaces equals the fundamental class of their derived intersection.

References

Introductions and surveys include

The perspective in derived algebraic geometry was clearly articulated in the introduction of

See also

  • David Mumford, Towards an enumerative geometry of the moduli space of curves, Arithmetic and geometry, Vol. II, Birkhäuser Boston, Boston, MA, 1983, pp. 271–328, MR85j:14046

  • Maxim Kontsevich, Intersection theory on the moduli spaces of curves and the matrix. Airy function, Comm.Math.Phys.,vol.147(1992),1-23, pdf; Intersection theory on the moduli spaces of curves, Functional.Anal.Appl.,25:2(1991) pdf

Revised on May 31, 2014 07:40:41 by Urs Schreiber (89.204.135.200)