This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations.(September 2010) (Learn how and when to remove this template message)
In algebraic topology the cap product is a method of adjoining a chain of degree p with a cochain of degree q, such that q ≤ p, to form a composite chain of degree p − q. It was introduced by Eduard Čech in 1936, and independently by Hassler Whitney in 1938.
defined by contracting a singular chain with a singular cochain by the formula :
Here, the notation indicates the restriction of the simplicial map to its face spanned by the vectors of the base, see Simplex.
Interpretation[]
In analogy with the interpretation of the cup product in terms of the Künneth formula, we can explain the existence of the cap product in the following way. Using CW approximation we may assume that is a CW-complex and (and ) is the complex of its cellular chains (or cochains, respectively). Consider then the composition
on the chain complex, and is the evaluation map (always 0 except for ).
This composition then passes to the quotient to define the cap product , and looking carefully at the above composition shows that it indeed takes the form of maps , which is always zero for .
The slant product[]
If in the above discussion one replaces by , the construction can be (partially) replicated starting from the mappings
and
to get, respectively, slant products:
and
In case X = Y, the first one is related to the cap product by the diagonal map: .
These ‘products’ are in some ways more like division than multiplication, which is reflected in their notation.