The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
2answers
225 views

CW 4 manifolds with single 4 cell

Let $M$ be a connected compact closed 4 manifold. Then $H_4(M)=\mathbb{Z}$. If we assume it is smooth, from Morse theory we know that $M$ has a CW structure. But can we find a CW structure of $M$ with ...
3
votes
0answers
63 views

SImple homotopy type of a mapping cone

Consider two CW complexes A and B. Let f be a continuous map from A to B. Take a cone of f and denote it by Cone(f). If homology complex of Cone(f) is acyclic, one can identify homologies of A and B. ...
6
votes
1answer
93 views

Regular CW complex arising from a Morse decomposition

Suppose $(M,g)$ is a Riemannian manifold equipped with a Morse function $f: M \rightarrow \mathbb R$. It's been shown that $f$ gives rise to a CW decomposition homeomorphic to $M$ under the generic ...
5
votes
1answer
244 views

Factorization of a certain map through a CW-complex

Suppose that $X$ is a paracompact Hausdorff space (e.g. a metric space) with $\dim X=n$ (the Lebesgue covering dimension). I want to find a proof (or a reference) that any (continuous) map $f: X \to ...
2
votes
0answers
115 views

Acyclicity of covering space

Suppose we have some 2-dimensional non-aspherical finite CW-complex $K$ with $\pi_1(K)=G$. Is there any sufficient condition on $H\leq G$ (and maybe on the group $G$ itself) which allows to conclude ...
3
votes
2answers
250 views

rational cohomology of symmetric groups

Let $\Sigma_k$ be the $k$-th symmetric group and $B\Sigma_k$ be its classifying space. How to prove: for any $n\geq 1$ and the $n$-skeleton $sk_n (B\Sigma_k)$, there exists a finite dimensional ...
0
votes
0answers
96 views

Does anyone know any applications of CW-complexes in graph theory?

As everyone knows :P, a graph is a CW-complex of dimension 1. Knowing that, are there any interesting results in graph theory that arise from working with CW-complexes? And more specifically, in ...
1
vote
1answer
187 views

Different model structures on Top

There is at least 3 model structures on the category of topological spaces, the Quillen Model structure, the Storm model structure and the Mixed model structure. In the Mixed model structure ...
14
votes
1answer
306 views

Multiplicative cohomology theories and smash products

In his student guide on page 154, Adams gives a construction of products for cohomology using "pairings" of spectra (now known as maps from $E\wedge E\to E$). But then he says However, G. W. ...
3
votes
1answer
163 views

Universal covering and double cover functors

Initially posted on MSE Let $\mathsf{CW}$ be the category of CW-complexes and $\mathsf{CW}_*$ that of pointed CW-complexes (possibly disconnected, one basepoint in each component). I would like to ...
14
votes
2answers
747 views

Counterexamples for strengthening Whitehead's theorem?

Let $f:X\to Y$ be a pointed map of pointed connected $n$-dimensional CW complexes. Whitehead's theorem says that if $f_*:\pi_qX\to \pi_qY$ is an isomorphism for $q\le n$ and a surjection for $q=n+1$, ...
4
votes
0answers
147 views

Contractibility of regular CW sphere minus open star

Let $S$ be any regular CW decomposition of (a space homeomorphic to) the $n$-sphere, and consider a cell $\sigma$ of dimension $d \in \{0,\ldots,n\}$. Let $S'$ be the regular CW complex which remains ...
4
votes
1answer
252 views

Is the infinity-groupoid of a finite CW complex finitely-presented?

An infinity-groupoid is finitely-presented when it is equivalent to the free infinity-groupoid on a finite family of generators, possibly of different dimensions. Is the infinity-groupoid of a finite ...
1
vote
0answers
108 views

Explicit calculation of G-CW(V) structure of a G-space

I know explicitly the $Z/6$-CW($ξ^2$)-complex structure of $D(ξ^2)$, where $ξ$ is the non-trivial irreducible representation of $Z/6$ without fixed points. I am looking for an explicit calculation of ...
4
votes
1answer
495 views

Classifying spaces of topological groups whose underlying spaces are homotopy equivalent

Let $G$, $H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism which happens to be a homotopy equivalence of the underlying topological spaces. Let us assume that $G$, $H$ ...
2
votes
0answers
30 views

Conditions for monotone function to take maximal chains to maximal chains surjectively

Suppose that $P$ and $Q$ are graded posets (with rank function $r$) and suppose that all maximal chains of $P$ and $Q$ have length $n$. Let $f:P \to Q$ be a surjective monotone function such that ...
2
votes
1answer
182 views

Two-bridge knots and CW-complex

The fundamental group of any two-bridge knot K in $\mathbb{S}^3$ has a presentation with two generators and one relation. On the other hand, it's possible to provide a CW-complex with only one 0-cell ...
30
votes
2answers
1k views

Maps which induce the same homomorphism on homotopy and homology groups are homotopic

I am interested in the following question. Are maps which induce the same homomorphism on homotopy and homology groups homotopic? I am sure the answer is no, however I cannot imagine how to construct ...
6
votes
1answer
246 views

Dual cell structures on manifolds

Suppose that $M$ is a compact manifold without boundary (smooth if you like), and suppose further that $M$ is equipped with a regular CW-complex structure. Denote the face poset of this CW-complex by ...
15
votes
1answer
282 views

Embedding of two-dimensional CW complexes which induces a zero homomorphism on second homotopy groups

I am interested in the following question which I asked at MSE and did not get any clues. How to find three two-dimensional CW complexes $K_1, K_2, K_3$ with non-trivial $\pi_2$ and injective ...
2
votes
1answer
177 views

Is barycentric subdivision of a collapsible, regular CW complex collapsible (non-evasive)?

Let $X$ be a finite, regular CW complex, and let $X'$ be its barycentric subdivision (i.e. the order complex of the face poset of $X$). Assume $X$ is collapsible. Is $X'$ collapsible? Is $X'$ ...
12
votes
2answers
597 views

“Economic” CW-structure for Eilenberg-MacLane spaces?

The only really "economic" cell structures for $K(\pi,n)$'s that I know is the one with a single cell in each dimension for $K(\mathbb Z/n\mathbb Z,1)$ and the one with a single cell in each even ...
4
votes
1answer
193 views

CW complex with generalized cells

In the definition of CW complexes, all cells are homeomorphic to closed balls. I search for a generalized notion of CW complexes. In my application, the complexes are in fact finite. Is there a ...
7
votes
2answers
314 views

Non-vanishing $\mathrm{lim}^1$-term for the cohomology of a CW-complex

Let $h$ be an additive cohomology theory. If we want to compute $h^*(X)$ for an infinite CW-complex $X$, a standard method is to use the Milnor sequence $$ 0 \to \mathrm{lim}^1_k h^{n-1}(X^{(k)}) \to ...
6
votes
2answers
573 views

All mapping space between CW complexes is a CW complex?

Let $\mathrm{Map}(X,Y)$ denote the (unbased) cellular mapping space from $X$ to $Y$. If $X$ and $Y$ are finite CW complexes, is $\mathrm{Map}(X,Y)$ a CW complex? Can we know the cell structure of ...
4
votes
2answers
379 views

Attaching cells of different dimensions at once in a CW-complex II

This question is related to Attaching cells of different dimensions at once in a CW-complex There, I didn't manage to formalize the idea I had in mind, and ended up with a question whose answer was ...
4
votes
2answers
260 views

Attaching cells of different dimensions at once in a CW-complex

Let $X$ be a CW-complex and $X^m$ it's $m$-skeleton. I think that for any $n\geq 2$ and $1\leq r\leq n-1$ it should be possible to obtain $X^{n+r}$ directly from $X^n$ via a homotopy push-out ...
5
votes
2answers
776 views

CW complex and group action

This is a general question and any reference or related result will be extremely helpful. Suppose $X$ is a Hausdorff topological space. Suppose G (a countable group) acts on it. Let $Y=X/G$ be the ...
2
votes
1answer
254 views

Extend Homeomorphism to Uniformly Continuous Function

I have a space $A$ which is homeomorphic to the open $n$-ball $B_n$. I'm trying to build a CW-complex with it, so I want a continuous function from the closed ball $\overline{B}_n$ to the closure ...
5
votes
0answers
132 views

In cell-decomposed manifolds, how easy is it to arrange for the tubular neighborhood of a diagonal to contract onto the diagonal?

Suppose that you have decomposed a manifold $M$ into cells (I care most, if it matters, about compact oriented smooth manifolds; but if my question can be solved in the PL category, all the better). ...
24
votes
4answers
1k views

Is the space of diffeomorphisms homotopy equivalent to a CW-complex?

Clarification: My question concerns the homotopy type of the space of $C^k$ diffeomorphisms with the compact-open $C^k$ topology, where $0< k \leq\infty$. I have stated my question below with $k=1$ ...
0
votes
0answers
66 views

A sufficient condition for attaching squares to a 1 skeleton so that the CW-complex is a 2 - manifold

Suppose we have a finite connected graph $G$, I want to add 2 -cells to $G$ so that the 2 cells have boundaries of length 4 (squares) and so that $G$ is the 1 skeleton of a surface (2-manifold) ...
3
votes
3answers
394 views

Conditions for a graph to be the 1- skeleton of a Surface

Given a connected finite graph G with degree at least 2 at each vertex, what are the conditions G needs to assume in order to attach 2-cells so that the CW- complex is a closed compact surface(2 - ...
7
votes
1answer
361 views

A description of cellular boundary maps in terms of a Morse function

I'm writing a paper on classical Morse Theory and I'm interested in applying Morse functions to the computation of homology groups of a compact manifold $M$. The standard way in which this is done is ...
27
votes
0answers
1k views

Manifolds admitting CW-structure with single n-cell

Let $M$ be a topological $n$-manifold, closed and connected (not necessarily oriented): When does $M$ not admit (up to homotopy-type) a CW-structure with a single $n$-cell? By classification of ...
3
votes
2answers
326 views

Second homotopy groups of 3-complexes and Fenn's spiders.

Let $X$ be a finite CW complex then with one zero cell. Then (up to homotopy) the two skeleton of X is the same as a group presentation, via the Cayley complex construction. For a while I had been ...
6
votes
1answer
303 views

State of knowledge on the Commutative W-spaces which appear in “Model Categories of Diagram Spectra”

This is a follow-up question to another question I asked last month. In MMSS's "Model Categories of Diagram Spectra," the authors consider many different models for spectra and prove monoidal Quillen ...
4
votes
3answers
601 views

Constructing a simplicial set homology-equivalent to a given CW complex

I would like to compute the homology of certain low dimensional CW complexes and I am hoping to take advantage of software that handles simplicial sets as input. Thus, I would like to convert a CW ...
15
votes
1answer
960 views

Is a finite CW complex minus a point still homotopy equivalent to a finite CW complex?

Let $X$ be a finite CW complex and $x_0$ a point in $X$. My question is then just: Is $X-\{x_0\}$ still homotopy equivalent to a finite CW complex?
18
votes
1answer
1k views

Can the Alexander horned sphere arise as a cell boundary in a finite CW-sphere?

Recently, I've been wondering to what extent certain types of pathologies can arise in finite CW complexes -- notice that I do not want to assume that I'm in the PL category or that the CW complexes ...
1
vote
1answer
552 views

Definition of CW complexes

In Spanier's Algebraic Topology, he defined CW complexes assumed an additional strange condition: the cell must have the coherent topology with the characteristic map and the inclusion map of its ...
10
votes
4answers
2k views

When is a finite cw-complex a compact topological manifold?

I think the statement of the question is pretty straightforward. Given a finite $n$-dimensional CW complex, are there necessary and sufficient conditions for determining that it is also a compact ...
3
votes
2answers
949 views

The definition of a CW complex and related notions

In the appendix of Allen Hatcher's book "Algebraic Topology", a CW complex is defined to be a space iteratively constructed by attaching $n$-cells onto an $(n-1)$ skeleton. There is a more general ...
6
votes
1answer
550 views

the homotopy type of the pointed loop space of a countable cw complex

I apologize in advance if this is too elementary for this forum. I have received some help but am still unsure about how to proceed. I am interested in a proof of the following result due to John ...
15
votes
2answers
691 views

Does the following condition imply the homotopy type of a wedge of spheres?

Let me preface this question by saying that I am not an algebraic topologist. Motivation. I was looking with a colleague at the homotopy type of a family of posets and we were able to show using ...
15
votes
3answers
1k views

The second homotopy group of a simple CW-complex

Let $X$ be a CW-complex with one 0-cell two 1-cells three 2-cells no cells in dimensions 3 or higher. Is it always true that $\pi_2(X)\ne 1$?
5
votes
2answers
534 views

Alexander duality theorem for CW-complexes and stable homotopy theory

In Adams, J.F. Infinite Loop Spaces Princ. Univ. Press. page 9 he states Alexander duality theorem Theorem:[Alexander Duality] $$ H^r(X,G)=H_{n-r+1}(S^n-X,G)$$ for finite CW-complexes with a "nice ...
6
votes
1answer
331 views

Increasing union of contractible CW complexes

Let X be CW complex. I'm trying to prove (using Zorn's lemma) that there is maximal contractible subcomplex. Problem is that I'm not able to show that increasing union of contractible subcomplexes has ...
36
votes
6answers
5k views

What does actually being a CW-complex provide in algebraic topology?

From time to time, I pretend to be an algebraic topologist. But I'm not really hard-core and some of the deeper mysteries of the subject are still ... mysterious. One that came up recently is the ...
22
votes
1answer
1k views

When is a compact topological 4-manifold a CW complex?

Freedman's $E_8$-manifold is nontriangulable, as proved on page (xvi) of the Akbulut-McCarthy 1990 Princeton Mathematical Notes "Casson's invariant for oriented homology 3-spheres". Kirby showed that ...