A continuous map $d:X\to A$ is called domination if there exists a map $u:A\to X$ so that $d\circ u\simeq 1_A$.

Is there a domination map $d:P\to P$ of a finite polyhedron $P$ so that $d$ is not a homotopy equivalence?

MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question

Anybody can answer

The best answers are voted up and rise to the top

$\begingroup$
$\endgroup$

A continuous map $d:X\to A$ is called domination if there exists a map $u:A\to X$ so that $d\circ u\simeq 1_A$.

Is there a domination map $d:P\to P$ of a finite polyhedron $P$ so that $d$ is not a homotopy equivalence?

$\begingroup$
$\endgroup$

This question apparently goes back to Karol Borsuk, at least in spirit. An interesting discussion together with a history of the problem can be found in a paper of Danuta Kołodziejczyk, *Polyhedra for which every homotopy domination over itself is a homotopy equivalence*, arxiv:1411.1032.

For instance, if $P$ is a manifold [Bernstein-Ganea, 1959] or, more generally, a Poincaré complex [Kwasik, 1984], then every domination of $P$ is a homotopy equivalence. The same is true for polyhedra $P$ with polycyclic-by-finite fundamental group [Kołodziejczyk, 2005].