Detecting homotopy equivalences in base-point-free homotopy

DOI10.1016/0166-8641(86)90027-1MaRDI QIDQ1077004zbMATH OpenOpenAlexFDO

Authors J. Dydak, Ross Geoghegan

Publication date 1986

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-8641(86)90027-1

zbMATH Keywords

finite dimensional complexfundamental grouphomotopy equivalenceintegral homology group of the universal coverpre-homotopy equivalence

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Braid groups; Artin groups (20F36) Homotopy equivalences in algebraic topology (55P10) Fundamental group, presentations, free differential calculus (57M05)

Review text

This paper is related to the authors' other papers [ibid. 13, 239-253 (1982; Zbl 0481.55007); 22, 297-299 (1986; Zbl 0594.55008)]. A map f: (X,x)\(\to (Y,y)\) of connected CW-complexes is called a pre-homotopy equivalence if the induced map \(f_{\#}: [K,X]\to [K,Y]\) is a bijection for every finite complex K where [K,X] denotes the set of homotopy classes of maps where the base points are not necessarily held fixed during homotopy. This paper studies the question whether a pre-homotopy equivalence is a homotopy equivalence. Although the answer to this question, in general, is known to be no, an example is given, an affirmative answer is conjectured when Y is homotopy equivalent to a finite dimensional complex. The following results supporting this conjecture are proved: A pre- homotopy equivalence f: (X,x)\(\to (Y,y)\) is a homotopy equivalence provided (A) or (B) given below are satisfied. (A) Y has finite dimension n and the n-th integral homology group of the universal cover of Y is nonvanishing. (B) The fundamental group of Y is free. Moreover, a necessary and sufficient condition for f, as above, to be a homotopy equivalence is given and it is shown that this condition involves the fundamental group of Y and comes fairly close to being satisfied when Y is finite dimensional.

Recommendations

• The behavior on fundamental group of a free pro-homotopy equivalence. II
• On the spaces of self homotopy equivalences of certain CW complexes
• On the set of free homotopy classes and Brown's construction
• When homology equivalence implies homotopy equivalence for 2-complexes
• THE STABLE GROUP OF HOMOTOPY EQUIVALENCES

Cites work

• Completions in Abstract Homotopy Theory
• scientific article; zbMATH DE number 3658019 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• The behavior on fundamental group of a free pro-homotopy equivalence
• The behavior on fundamental group of a free pro-homotopy equivalence. II

Cited in

(4)

• The behavior on fundamental group of a free pro-homotopy equivalence. II
• On weak homotopy equivalences between mapping spaces
• On the set of free homotopy classes and Brown's construction
• Semigroup structures on derived limits

This page was built for publication: Detecting homotopy equivalences in base-point-free homotopy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1077004)