Induced homomorphism (algebraic topology)

In mathematics, especially in the area of topology known as algebraic topology, an induced homomorphism is a way of relating the algebraic invariants of topological spaces which are already related by a continuous function.^[1] Such homomorphisms exist whenever the algebraic invariants are functorial. For example, they exist for fundamental groups, higher homotopy groups, singular homology, and De Rham cohomology. For the more categorical approach, see induced homomorphism, and for the specific case of fundamental groups, see induced homomorphism (fundamental group).

Definitions

Given some category of topological spaces (possibly with some additional structure) such as the category of all topological spaces Top or the category of pointed topological spaces, that is, topological spaces with a distinguished base point, and a functor from that category into some category of algebraic structures such as the category of groups Grp or of abelian groups Ab which then associates such an algebraic structure to every topological space, then for every morphism of (which is usually a continuous map, possibly preserving some other structure such as the base point) this functor induces an induced morphism in (which is a group homomorphism if is a category of groups) between the algebraic structures and associated to and , respectively.

Examples

A useful example is the induced homomorphism of fundamental groups. Likewise there are induced homomorphisms of higher homotopy groups and homology groups.

Any homology theory comes with induced homomorphisms. For instance, simplicial homology, singular homology, and Borel-Moore homology all have induced homomorphisms. Similarly, any cohomology comes induced homomorphisms. For instance, Čech cohomology, de Rham cohomology, and singular cohomology all have induced homomorphisms. Generalizations such as cobordism also have induced homomorphisms.

References