English

Are two finite $H$-spaces homotopy equivalent?

Algebraic Topology 2024-11-18 v5

Abstract

This paper proposes an algorithm that decides if two simply connected spaces represented by finite simplicial sets of finite kk-type and finite dimension dd are homotopy equivalent. If the spaces are homotopy equivalent, the algorithm finds a homotopy equivalence between their Postnikov stages in dimension dd. As a consequence, we get an algorithm deciding if two spaces represented by finite simplicial sets are stably homotopy equivalent.

Keywords

Cite

@article{arxiv.2203.00895,
  title  = {Are two finite $H$-spaces homotopy equivalent?},
  author = {Mária Šimková},
  journal= {arXiv preprint arXiv:2203.00895},
  year   = {2024}
}

Comments

Minor changes. Accepted in JTA. arXiv admin note: substantial text overlap with arXiv:2105.10443

R2 v1 2026-06-24T09:58:51.901Z