Cup product

In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree p and q to form a composite cocycle of degree p + q . In de Rham cohomology, the cup product is also known as the wedge product and in this sense is a special case of Hermann Grassmann s exterior product.

=Definition=

In cohomology theory, the cup product is a construction giving a product on the graded ring cohomology ring H^{ull}(X) of an object X . In the singular cohomology theory, this takes the form of a product of cocycle classes: if c^p , ! and d^q , ! are cocycle classes in H^p(X) , ! and H^q(X) , !, respectively, then the cup product is defined by

:(c^p smile d^q)(sigma) = c^p(sigma)(d_0, ..., d_p) circ d^q(sigma)(d_p, ..., d_{p + q})

where sigma , ! is a (p + q) , !-simplex and (d_0, ..., d_p) , ! and (d_p, ..., d_{p + q}) , ! are the natural injections into sigma , !.

=Equations=

The cup product satisfies the identity

:alpha^p smile eta^q = (-1)^{pq}(eta^q smile alpha^p)

so that the corresponding multiplication is anticommutative.

The coboundary of the cup product alpha^p smile eta^q of cocycles alpha^p and eta^q is given by

:delta(alpha^p smile eta^q) = delta{alpha^p} smile eta^q + (-1)^p(alpha^p smile delta{eta^q})

=Examples=

As singular spaces, the 2-sphere S 2 with two disjoint 1-dimensional loops attached by their endpoints to the surface and the torus T have identical cohomology groups in all dimensions, but the multiplication of the cup product distinguishes the associated cohomology rings. In the former case the multiplication of the cochains associated to the loops is degenerate, whereas in the latter case multiplication in the first cohomology group can be used to decompose the torus as a 2-cell diagram, thus having product equal to Z (more generally M where this is the base module).

=See also=

*cohomology ring *singular homology *homology theory