Your American History Reference Guide!
- Cup product

HistoryMania Information Site on Cup product American History American History Search        American History Browse welcome to our free resource site for all enthusiasts!

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 Grassmann's exterior product.

Contents

Definition

In cohomology theory, the cup product is a construction giving a product on the graded cohomology ring H^{\bull}(X) of an object X. In the singular 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 \beta^q = (-1)^{pq}(\beta^q \smile \alpha^p)

so that the corresponding multiplication is anticommutative.

The coboundary of the cup product \alpha^p \smile \beta^q of cocycles αp and βq is given by

\delta(\alpha^p \smile \beta^q) = \delta{\alpha^p} \smile \beta^q + (-1)^p(\alpha^p \smile \delta{\beta^q})

Examples

As singular spaces, the 2-sphere S2 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

Last updated: 05-23-2005 21:19:08
The contents of this article are licensed from Wikipedia.org under the
GNU Free Documentation License. How to see transparent copy
Search | Browse | Contact | Legal info