Making CW-complexes metrizable - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T07:57:41Z http://mathoverflow.net/feeds/question/118833 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/118833/making-cw-complexes-metrizable Making CW-complexes metrizable Jeremy Brazas 2013-01-13T17:24:50Z 2013-03-09T20:04:16Z <p>It is a basic topological fact that CW-complexes aren't typically metrizable (they must satisfy a certain local finiteness condition) and the quotient topology is to blame.</p> <p>Suppose $X$ is a finite dimensional CW-complex with countably many cells in each dimension. Is it possible weaken the topology of $X$, without changing homotopy type, so the resulting space is metrizable?</p> http://mathoverflow.net/questions/118833/making-cw-complexes-metrizable/124038#124038 Answer by Sergey Melikhov for Making CW-complexes metrizable Sergey Melikhov 2013-03-09T02:30:53Z 2013-03-09T20:04:16Z <p>This addresses the modified question in Jeremy's comments, on keeping the preferred CW-structure.</p> <p>1) If the CW complex happens to be regular and PL (i.e. the attaching maps are injective and piecewise-linear), its barycentric subdivision is a simplicial complex (namely, the order complex of the poset of nonempty faces of the CW complex), which can be endowed with the usual barycentric metric. The identity map will then be a homotopy equivalence (proofs can be found in some old textbooks, including the Appendix of Dold's Algebraic topology, or "Theory of retracts" by Hu Sze-Tsen). </p> <p>2) For a general (countable) CW complex, one can inductively homotop the attaching maps of $(n+1)$-cells by a homotopy with values in the $n$-skeleton so that the modified CW complex $K$ admits a barycentric subdivision $K'$ that is a regular simplicial set, in the sense that cells of $K$ are identified with the unions of simplices of $K'$ whose first vertex is a fixed $0$-simplex of $K'$. (Regular means that the representing map of every non-degenerate simplex only makes identifications along the last facet of the simplex.) The geometric realization of a regular simplicial set is a regular CW-complex, so the previous construction applies. (In more detail, the order complex $K''$ of the poset of nonempty nondegenerage simplices of $K'$, ordered by inclusion, is a simplicial complex.) An enlightening overview of subdivisions of simplicial sets can be found <a href="http://mathoverflow.net/questions/46827/number-of-subdivisions-needed-to-compare-simplicial-sets-to-simplicial-complexes/116867#116867" rel="nofollow">here</a>.</p> <p>The homotopies of attaching maps can be constructed using <a href="http://en.wikipedia.org/wiki/Simplicial_approximation_theorem" rel="nofollow">Brouwer's simplicial approximation theorem</a>, which implies that any continuous map $|L|\to |X|$ between geometric realizations of finite simplicial sets is homotopic, upon precomposing with the geometric realization of an iterate $L^{(n)}\to L$ of the last vertex map $L'\to L$, to the geometric realization of a morphism $f:L^{(n)}\to X$ of simplicial sets (see Corollary 3.2 <a href="http://www.tac.mta.ca/tac/volumes/12/2/12-02abs.html" rel="nofollow">here</a>). Here $L$ is any triangulation $S^n$ by a non-singular simplicial set (i.e. a subcomplex of the order complex of a poset), and $X$ is the $n$-skeleton of $K'$, which is a regular simplicial set. Then the mapping cone of $f$ is again a regular simplical set.</p> <p>In light of the <a href="http://mathoverflow.net/questions/61948/are-there-two-non-homeomorphic-finite-regular-cw-complexes-with-isomorphic-face-p/61961#61961" rel="nofollow">combinatorial view</a> of regular PL CW complexes, one could try to homotop the attaching maps of a general CW complex so as to achieve a more rigid combinatorial structure of the simplicial set $K'$. However, a homotopy class is not generally representable by a non-degenerate map (in the sense of collapsing no simplices). Because of this, $K'$ cannot be generally chosen to be the nerve of a category, nor even a quasi-category. </p> <p>3) One drawback of the metric topology on simplicial complexes is that it indeed is incompatible with quotients (they are non-metrizable, unless each equivalence class is compact). This difficulty <a href="http://arxiv.org/abs/1106.3249" rel="nofollow">can be avoided</a> by endowing the simplicial complexes with a <a href="http://arxiv.org/abs/1109.0346" rel="nofollow">"cubical" l_infty metric</a> and working uniformly. This applies to regular PL CW complexes, as well as to those CW complexes whose attaching maps are jointly uniformly continuous (using iterates of canonical, rather than barycentric, subdivision and Theorem 7.4 <a href="http://arxiv.org/abs/1109.0346v2" rel="nofollow">here</a>).</p>