Intersection cohomology

From Wikipedia, the free encyclopedia

In mathematics, intersection cohomology is a theory from algebraic topology, initially developed by Goresky and MacPherson, to apply to spaces with singularities.

The cohomology groups of an oriented closed manifold have a fundamental symmetry called Poincaré duality. In says in that particular,

H^k (X) and H_n−k (X) are isomorphic,

where n is the dimension of the manifold.

Many interesting spaces do have singularities; that is, places where manifold structure breaks down, and the space does not look like Rⁿ. Intersection cohomology is a modified definition of cohomology which recovers the property of Poincaré duality for a much larger category of spaces, Witt spaces; this includes all algebraic varieties.

1 Verdier duality approach
2 See also

[edit] Verdier duality approach

One way to understand intersection cohomology starts from the pairing between cohomology with compact support

H_c

and ordinary cohomology: the notion of Verdier duality.

[edit] Verdier duality

The Verdier dual of the space X is an object

D_X

in the derived category of sheaves on X, that represents the functor of taking cohomology with compact support and taking the dual over the base ring (taken in the right derived sense). It is easiest to explain when cohomology is taken over a field F. In the derived category, cohomology can be interpreted as chain homotopy classes of maps

H^k (X, F) = [F[−k],F] = [F, F[k]]

where F[−k] is the complex with the constant sheaf F concentrated in degree k, and [—, —] denote the chain homotopy classes of maps. The Verdier dual allows us to interpret homology in the derived category as well:

[F[−k], D_X] = H_k (X, F).

The left hand side is by definition the dual of the cohomology with compact support, so this equation says that homology is dual to cohomology with compact support.

It also follows that for an oriented manifold M, the Verdier dual is given by

D_M = F[−n].

[edit] Poincaré duality

Ordinary Poincaré duality of a manifold can then be interpreted as the perfect pairing

[F[−k], F] ⊗ [F[k−n], F[−n]] → [F[−n], F[−n]] → F.

Intersection cohomology can now be understood as choosing a "root" IC(X) of the Verdier dual in the sense that in the derived category

IC(X) ⊗ IC(X) ≅ D_X.

[edit] Interpretation

The factual accuracy of this article or section is disputed.
Please see the relevant discussion on the talk page.

IC(X) is thus conceptually similar to a theta characteristic of an algebraic curve. There is an algorithm for constructing IC(X) from Deligne given that X is an even-dimensional manifold outside a set of real codimension 2, starting from the ansatz

IC(U) = F[dim (U)/2]

on the manifold part U of X. The intersection cohomology of X is then defined as

IHC^k(X) = [F[−k], IC(X)].