2002arXiv (Cornell University)Open access

Topological model categories generated by finite complexes

Alex Chigogidze, A. Karasev

Open full text 0 citations

Abstract

Our main result states that for each finite complex L the category ${\bf TOP}$ 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 = \{{\rm point}\}$. The other -- describing n-homomotopy equivalences between at most $(n+1)$-dimensional CW-complexes as maps inducing isomorophisms of k-dimensional homotopy groups with $k \leq n$ -- by letting $L = S^{n+1}$, $n \geq 0$.

Open-access reader

About this research paper

What this paper is about

Our main result states that for each finite complex L the category ${\bf TOP}$ 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 = \{{\rm point}\}$. The other -- describing n-homomotopy equivalences between at most $(n+1)$-dimensional CW-complexes as maps inducing isomorophisms of k-dimensional homotopy groups with $k \leq n$ -- by letting $L = S^{n+1}$, $n \geq 0$.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Our main result states that for each finite complex L the category ${\bf TOP}$ 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 = \{{\rm point}\}$. The other -- describing n-homomotopy equivalences between at most $(n+1)$-dimensional CW-complexes as maps inducing isomorophisms of k-dimensional homotopy groups with $k \leq n$ -- by letting $L = S^{n+1}$, $n \geq 0$.

Key concepts: Topology (electrical circuits), Computer science, Mathematics, Combinatorics

Related papers

Back to paper searchBrowse research topicsOriginal source
Topological model categories generated by finite complexes — Research Paper | ScholarLens