nLab rational homotopy equivalence




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.



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) \otimes \mathbb{Q} : \pi_*(X) \otimes \mathbb{Q} \stackrel{\simeq}{\to} \pi_*(X) \otimes \mathbb{Q};

  2. it induces an isomorphism on ordinary homology groups with rational coefficients: 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 wheY raf_{ra} : X_{ra} \stackrel{\simeq_{whe}}{\to} Y_{ra}.

That (the first two of) these conditions are equivalent is due to Serre 53


The concept is due to

  • Jean-Pierre Serre, Groupes d’homotopy et classes de groupes abelians, Ann. of Math. 58 (1953) 258-294

Review includes

Last revised on February 20, 2017 at 13:16:06. See the history of this page for a list of all contributions to it.