# Tagged Questions

Questions about algebraic methods and invariants to study and classify topological spaces: homotopy groups, (co)-homology groups, and beyond.

27 views

### Requirements too stringent for singleton homotopy class [X,Y]?

I recently had a problem: Show that if $X$ is contractible, and $Y$ is path-connected, show that the homotopy class $[X,Y]$ has a single element. I have been able to prove this (I think) in a fairly ...
67 views

21 views

### $H^*(X,A;R)\cong H^*(X',A';R)\; \Rightarrow H^*(X\times Y ,A\times Y;R)\cong H^*(X'\times Y,A'\times Y;R)?$

I have a quastion about product spaces in singular cohomology. I only know a formula for sinugular homology for product spaces from lecture, the universal coefficient theorem. Let $R$ be a ...
22 views

### Extend a map over a $n+1$-cell IFF $f_nϕ$ is nullhomotopic.

Prove: If the map $f_n$ is defined on the $n$-skeleton $X_n$ and you want to define it on an $n+1$-cell with attaching map $ϕ:S_n→X_n$, then you can do so if and only if $f_nϕ$ is nullhomotopic. I ...
40 views

### Is there any result on the “counting” of minimal atlas?

Take a differentiable manifold $M$. Define $\eta(M)$ as $\min\{\#\mathfrak{A} \mid \mathfrak{A} \text{ is an atlas for$M$}\}$. For example, if $M=S^n$, we have that $\eta(M)=2$, since $S^n$ is ...
369 views

### covering space of $2$-genus surface

I'm trying to build $2:1$ covering space for $2$- genus surface by $3$-genus surface. I can see that if I take a cut of $3$-genus surface in the middle (along the mid hole) I get $2$ surfaces each one ...
517 views

### Local homology group: a homeomorphism takes the boundary to the boundary

Let $X \subset \mathbb{R}^{n}$ be the subspace $\{ x_{1},...,x_{n} \mid x_{n}\geq 0 \}$, and let $Y$ is the subspace with $x_{n}=0$. Let $x\in Y$, calculate the local homology of $X$ at ...
69 views
+50

### Codimension $1$ Embedding into $\mathbb{R}^{n+1}$

I am trying to determine which homotopy types can be realized by $n$-manifolds that have codimension one embeddings into $\mathbb{R}^{n+1}$. Suppose I have $X^n \subset \mathbb{R}^{n+1}$ and an ...
31 views

### A fibre bundle of n-tuples of vectors

The question is: does the surjective, multilinear map $\pi: (\mathbb R^\infty)^n\to \Lambda^n(\mathbb R^\infty)$ defined by $(v_1,\cdots,v_n)\mapsto v_1\wedge \cdots \wedge v_n,$ define a fibre ...
32 views

### Is $[N]^\#([N])$ congruent to $w_n(\nu_N)([N])$ mod $2$, where $\nu_N$ is the normal bundle of the embedding of $N$ in $M$?

Let $M$ be a closed, smooth, orientable $2n$-manifold, and let $N$ be a closed, smooth, orientable $n$-submanifold. Let $[N]^\#$ denote the cohomology class (Poincaré) dual to the homology class ...
33 views

47 views

### Example of Spherical Element (Simplicial Homotopy)

Definition: An element $x\in X_n$ is said to be spherical if $d_i x=*$ for all $0\leq i\leq n$. $X$ is a pointed fibrant simplicial set. I am puzzling over this definition. For instance, if ...
183 views
+50

### Hatcher 2.1.10…

Hatcher asked a question in chapter $2$ (a) Show the quotient space of a finite collection of disjoint $2$-simplices obtained by identifying pairs of edges is always a surface,locally homeomorphic ...
36 views

### A remark about the map $\partial^*:H^{*}(A;V)\to H^{*+1}(X,A)$ of the l.e.S. in cohomology

My question is about a remark from lecture about the connecting-homomorphism of the long exact sequence in homology of a pair $(X,A)$. Let $(X,A)$ a pair of topological spaces, $V$ be an abelian ...
759 views

### Does the homology, homotopy, and geometric realization functors of a simplicial group preserve colimits?

Given a based simplicial group, you can find its reduced homology with coefficients in a field, homotopy, and geometric realization. These are functors. If I have a free product of based simplicial ...
32 views

### $K(G,1)$ for a torsion-free group $G$

It is known that if a finite CW complex $X$ is a $K(G,1)$, then the group $G$ must be torsion-free. see proposition 2.45 of Hatcher Now my question is If $G$ is a torsion-free group, then is ...