Topological model categories generated by finite complexes

DOI10.1007/S00605-002-0532-XMaRDI QIDQ1404216zbMATH OpenOpenAlexFDO

Authors Alex Chigogidze, A. Karassev

Publication date 20 August 2003

Published in Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0205014, http://libres.uncg.edu/ir/uncg/f/A_Chigogidze_Topological_2002.pdf

zbMATH Keywords

[L-complex][L-homotopy]model category

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: Our main result states that for each finite complex L the category $$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all [L]-homotopy groups. The concept of [L]-homotopy has earlier been introduced by the first author and is based on Dranishnikov's notion of extension dimension. As a corollary we obtain an algebraic characterization of [L]-homotopy equivalences between [L]-complexes. This result extends two classical theorems of J. H. C. Whitehead. One of them -- describing homotopy equivalences between CW-complexes as maps inducing isomorphisms of all homotopy groups -- is obtained by letting $L=mpoint$. The other -- describing n-homomotopy equivalences between at most $(n+1)$-dimensional CW-complexes as maps inducing isomorophisms of k-dimensional homotopy groups with $kleqn$ -- by letting $L=S^{n+1}$, $ngeq0$.

Review text

Let \(L\) be a finite complex. There are notions of \([L]\)-homotopy equivalence and of \([L]\)-homotopy group introduced by the first author in [Daverman, R. J. (ed.) et al., Handbook of geometric topology (Elsevier, Amsterdam), 307-371 (2002; Zbl 0994.57002)]. For example, if \(L\) is the \((n+1)\)-sphere, then \([L]\)-homotopy equivalence is \(n\)-homotopy equivalence. In this paper the authors obtain a model category structure for topological spaces such that the weak equivalences are the maps inducing isomorphisms of \([L]\)-homotopy groups. They also characterise weak equivalences between certain spaces in terms of \([L]\)-homotopy groups, generalising the result that a map between CW complexes of dimension at most \(n\) is an \(n\)-homotopy equivalence if and only if it induces isomorphisms of homotopy groups in dimension less than \(n\).

Recommendations

• scientific article; zbMATH DE number 1129149
• scientific article; zbMATH DE number 1749799
• Closed model categories for the n-type of spaces and simplicial sets
• A closed model category for (𝑛-1)-connected spaces
• The homotopy category of \(N\)-complexes is a homotopy category

Cited in

(4)

• Dimension of maps, universal spaces, and homotopy
• scientific article; zbMATH DE number 1749799 (Why is no real title available?)
• Characterization and topological rigidity of Nöbeling manifolds
• Minimal finite models

This page was built for publication: Topological model categories generated by finite complexes

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