nLab
rational homotopy equivalence

Contents

Idea

A rational homotopy equivalence is the notion of equivalence of topological spaces as used in rational homotopy theory. Where a weak homotopy equivalence in ordinary homotopy theory identifies spaces under morphisms that induce isomorphisms on all homotopy groups, rational homotopy equivalences identify spaces under morphisms that induce isomorphisms on all rationalized homotopy groups.

Definition

For XX and YY be simply connected topological spaces and f:XYf : X \to Y a continuous map between them, ff is called a rational homotopy equivalence if the following equivalent conditions are satisfied:

  1. it induces an isomorphism on rationalized homotopy groups: π *(f):π *(X)π *(X)\pi_*(f) : \pi_*(X) \stackrel{\simeq}{\to} \pi_*(X);

  2. it induces an isomorphism on rational homology groups: H *(f,):H *(X,)H *(X,)H_*(f,\mathbb{Q}) : H_*(X,\mathbb{Q}) \stackrel{\simeq}{\to} H_*(X,\mathbb{Q});

  3. it induces an isomorphism on rational cohomology groups: H *(f,):H *(X,)H *(X,)H^*(f,\mathbb{Q}) : H^*(X,\mathbb{Q}) \stackrel{\simeq}{\to} H^*(X,\mathbb{Q});

  4. it induces a weak homotopy equivalence on the rationalizations X raX_{ra} and Y raY_{ra} : f_{ra} : X_{ra} \stackrel{\simeq_{whe}{\to} Y_{ra}.

References

This appears as definition 1.17 in the review

Revised on March 8, 2010 18:31:29 by Urs Schreiber (192.76.7.139)