Two functions are homotopic, if one of them can by continuously deformed to another. This gives rise to an equivalence relation. A group called homotopy group can be obtained from the equivalence classes. The simplest homotopy group is fundamental group. Homotopy groups are important invariants in ...

learn more… | top users | synonyms

1
vote
0answers
17 views

automorphisms of the torus bundle over the circle

Let us consider a $\mathbb{T}^2$-bundle $\xi$ over circle $S^1$. These bundles are completely determined by their monodromy matrix. A fiber-preserving homeomorphism of $\xi$ is called automorphism of ...
0
votes
2answers
29 views

Does the Seifert-van Kampen Theorem applied to loop spaces say anything about higher homotopy groups?

The Seifert-van Kampen tells us that $\pi_1$ preserves pushouts of the form $U \cap V \subseteq U, V$ (for $U \cap V$, $U$, $V$ open, path-connected). Can this information be used to say anything ...
1
vote
2answers
24 views

About homotopy groups of pairs

Suppose $A$ is a deformation retract of $X$, for $n\ge 2$ and for any $x_0\in A$, how to show $$\pi_n(X,x_0)=\pi_n(A,x_0)\oplus\pi_n(X,A,x_0)$$ I am not clear why the homotopy groups are not ...
1
vote
2answers
52 views

Maps that induces identity on fundamental groups are homotopic to identity?

Suppose $X$ is path connected, let $F:(X,x_0)\to (X,x_0)$ be a map such that $F_*: \Pi_1(X,x_0)\to \Pi_1(X,x_0)$ is identity, does it imply that $F$ is homotopic to identity? Let $y_0$ be arbitrary, ...
0
votes
1answer
34 views

classifying space of permutation groups

Given a group $G$, how to compute the classifying space of $G$? In particular, how to compute the classifying space $B\Sigma_n$ for a permutation group $\Sigma_n$?
2
votes
0answers
22 views

How can I prove that if for all $X \in \Bbb{Top_*}$ , $[X,W]_*$ has a natural group structure, then $W$ is an $H$-group?

I know that if $\enspace[X,W]_*$ has a natural group structure, in particular $\enspace[W \times W, W]_*$ has it. If $p_1,p_2:W \times W \to W$ are the projections, it seems that defining $ \mu : W ...
2
votes
2answers
25 views

Maps to Sn homotopic

At the moment I'm taking an algebraic topology course. In our current exercise we have to prove the following: Consider any topological space $X$ and any two maps $f, g : X \to S^n$, such that $f(x) ...
-2
votes
2answers
25 views

Homeomorphism between sets [on hold]

Let $D^2 = \{(x, y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 \}$. Is $D^2 \setminus \{p\}$ homeomorphic to $D^2 \setminus \{p, q\}$ such that $p \neq q$? Please explain your answer.
0
votes
1answer
23 views

Mapping Cylinder.

I don't understand the following fact I've read: Any map $f:X \rightarrow Y$ can be written as composition $X \stackrel{i}{\hookrightarrow} M_f \stackrel{j}{\rightarrow} Y$, where $i$ is the ...
0
votes
1answer
50 views

CW complexes - An algebraic Topology Question

This question regards a particular exercise regarding Algebraic Topology, CW complexes and homotopy. I am trying to prove that the Klein Bottle is homotopic to $S^2 \vee S^1 \vee S^1 $, where $\vee $ ...
1
vote
1answer
43 views

invariance of integrals for homotopy equivalent spaces

I just wanted to know whether the integral of a closed n-form is invariant if we integrate it over homotopy equivalent spaces. This seems like a generalization of "Homotopy invariance of line integral ...
1
vote
0answers
38 views

Is nerve theorem always true?

Is the nerve theorem true for not paracompact spaces? Background: Nerve theorem states that if $U$ is an open cover of a paracompact space $X$ such that every nonempty intersection of finitely many ...
1
vote
1answer
57 views

Every Group is a Fundamental Group

I am studying elementary Algebraic Topology recently. I have seen that a topological space is identified with a group. We are telling the group as Fundamental Group. So every topological space $X$ and ...
0
votes
1answer
37 views

What is the map $\Sigma K(G,n) \to K(G,n+1)$?

Since $\Omega K(G, n+1)$ is a $K(G,n)$, we have a CW approximation/homotopy equivalence $K(G,n) \xrightarrow{\sim} \Omega K(G,n+1)$. The adjoint of this map is a map $\Sigma K(G,n) \to K(G,n+1)$. ...
3
votes
0answers
48 views

Definition of the triad homotopy groups

Let $ \ n \in \mathbb{N}$, $n \geqslant 2$. Equip $\mathbb{R}^n$ with the usual euclidean norm $ \ \Vert . \Vert : \mathbb{R}^n \to \mathbb{R}$, metric and topology. Consider $ \ p_0 = (1,0,0,...,0,0) ...
0
votes
0answers
24 views

n-connected pair (X,A) implies that the inclusion A to X is an n equivalence

I apologize if this is a novice question but I wanted to get some details on this concept. The algebraic topology book I am reading says that a relative CW complex $(X,A)$ is n-connected when ...
1
vote
0answers
20 views

Injectivity of a map from a homotopy set to a homology group

Let $\Sigma$ be a closed Riemann surface and $X$ a 1-connected topological space. I would like to prove the following fact. (A) The map $[\Sigma,X] \to H_2(X;\mathbb Z)$ defined by $[f] \mapsto ...
3
votes
1answer
45 views

Understanding Hatcher's proof of Borsuk-Ulam theorem for $n=2$

I am trying to understand the proof of the Borsuk-Ulam theorem for $S^2$ given in Hatcher's "Algebraic Topology" (Th. 1.10), as another person does here, but we are stuck at different places, so I ...
0
votes
1answer
37 views

homotopy type not constant during a homotopy

What is a possibly easy example of a topological space $X$ and a homotopy $H:X\times I\to X$, $H(x,0)=x$ for all $x\in X$, such that the homotopy type of the subspace $h_t(X)=H(X,t)$ is not constant ...
2
votes
0answers
39 views

Difference between two concepts of homotopy for simplicial maps?

I learn from Gelfand and Manin's Methods of Homological Algebra, Exercise 2 for I.4 that two maps $f,g\colon X\to Y$ between simplicial sets $X,Y$ are simply homotopic (maybe usually called simplicial ...
1
vote
1answer
33 views

Fundamental crossed square of a square of spaces

I am a newbie at Topology and I didn't took the homotopy theory course. Sorry for that, but I need to know some facts about this paper ("Van Kampen Theorems for Diagrams of Spaces", authors R. Brown ...
3
votes
0answers
53 views

About homotopy fiber at Hatcher's book

What is the meaning of the statement: In this case a map $(I^{i+1},∂I^{i+1},J^i) \to (B,A,x_0)$ is the same as a map $(I^i,∂I^i) \to (F_f, \gamma_0)$ where $\gamma_0$ is the constant path at ...
1
vote
1answer
54 views

$S^{n-1}$ is not a deformation retract of $\mathbb{P}^n(\mathbb{R})/ B(0,1)$.

Let $n$ be $\geq 2$, $$\mathbb{P}^n(\mathbb{R}) \supset S^{n-1}= \lbrace [1,x_1,...,x_n] | x_1^2+...+x_n^2=1 \rbrace$$ and $B(0,1)= \lbrace [1,x_1,...,x_n] | x_1^2+...x_n^2<1\rbrace $. Show that ...
0
votes
0answers
22 views

Homotopy fixed points in terms of a homotopy limit

Let G be some nice group. Let X be a G-space (topological space, simplicial set, spectra - adjusting G accordingly). Can $X^{hG}$ be stated in terms of a holim? For example, if G is seen as a ...
0
votes
0answers
11 views

smoothing a triple point by 1-handle addition

Given a surface diagram of a surface knot, we can attach 1-handle between the bottom and the middle sheet or the top and the middle sheets, in both cases a triple point is smoothed. My question is ...
2
votes
0answers
27 views

Why aren't *weak* test categories enough?

Short version : What is the motivation behind the local condition in the definition of a test category ? Why do we want the slice categories $A/a$ to be weak test ? Long version : I start ...
2
votes
1answer
55 views

A question on finite non-contractible CW complexes

The algebraic topology book I am reading recently covered the following theorem named after Whitehead and corresponding direct consequence. THEOREM. If X is a CW complex of dimension less than n and ...
4
votes
2answers
112 views

Lifting cohomology-killing maps through the 3-sphere

In his first answer to this question, Jason deVito claimed that a map $f:X\to S^2$ kills $H^2$ if and only if it factors through the Hopf fibration $\pi:S^3\to S^2$. What's the justification for this ...
1
vote
1answer
65 views

Is an configuration space contractible?

Let $\mathbb{R}^\infty$ be the union $\cup \mathbb{R}^n$(with inclusions). Let $F(\mathbb{R}^\infty,k)$ denote the $k$-th configuration space of $\mathbb{R}^\infty$, i.e., the subspace of ...
13
votes
4answers
178 views

Are there nontrivial continuous maps between complex projective spaces?

Are there maps $f: \Bbb{CP}^n \rightarrow \Bbb{CP}^m$, with $n>m$, that are not null-homotopic? In particular, is there some non-null-homotopic map $\Bbb{CP}^n \rightarrow S^2$ for $n>1$? Can we ...
5
votes
1answer
57 views

Homotopical classes of mappings $\mathbb{CP}^n \to \mathbb{CP}^m$

Which are homotopy classes of mappings $\mathbb{CP}^n \to \mathbb{CP}^m$ for $n < m$? In real case, even for any cellular complex $X$ with $\dim X<m$ homotopy classes of mappings $X \to ...
3
votes
0answers
30 views

Can one prove that $\Bbb{CP}^\infty$ is a $K(\Bbb Z, 2)$ without invoking the long exact sequence of a fibration?

In trying to remind myself why $\Bbb{CP}^\infty$ is a $K(\Bbb Z, 2)$, the natural argument that comes to mind is to take the long exact sequence associated to the fibration $S^1 \rightarrow S^\infty ...
0
votes
1answer
31 views

cells of quotient CW complex

Let $X$ be a CW complex and $Y$ a CW subcomplex. If $X$ has no cell of dimension $n$, for some $n>0$, then $X/Y$ has no cell of dimension $n$. Is it true? Why?
0
votes
1answer
29 views

smash product of Eilenberg-Maclane spaces

Let $G$ be an abelian group and $K_n=K(G,n)$ be the Eilenberg-Maclane space. How to obtain $K_m\wedge K_n$ is $(m+n-1)$-connected? (Hatcher's book page 404)
2
votes
1answer
45 views

Is the homology theory given by Eilenberg Maclane spectrum equal to ordinary homology?

(I think I'm missing something very simple). Let $R$ be a ring and $HR$ the associated Eilenberg-Maclane spectrum, defined by $$[\Sigma^\infty_+ X,HR]_{-*}={H}^*(X; R)$$ for any CW-complex $X$, and ...
2
votes
3answers
53 views

homotopy groups of wedge sum

Let $X_\alpha$ be connected CW-complexes. Then from Hatcher's book, $$\pi_{n}(\prod_{\alpha} X_{\alpha})=\prod_{\alpha}\pi_{n}(X_{\alpha}).$$ Is it true in general $$\pi_{n}(\bigvee_{\alpha} ...
1
vote
2answers
48 views

$X$ is contractible and $Y$ is path connected then $[X,Y]$ has a single point

Im trying to show that: for $X,Y$ topological spaces $X$ is contractible and $Y$ is path connected then $[X,Y]$ has a single point while $[X,Y]$ denote the set of homotopy classes of maps of $X$ ...
0
votes
0answers
27 views

Homotopy product

Sorry if this is a trivial question. Let $ \mathfrak{X} $ be a model category such that all objects of $ \mathfrak{X} $ are fibrant. Then we have a total derived functor of the product $ ...
0
votes
2answers
66 views

Are there any stable $(\infty,1)$-topoi?

Can a stable $(\infty,1)$-category be an $(\infty,1)$-topos?
2
votes
3answers
61 views

Hatcher, p.35, $\mathbb{R^{n}} - \{x\}$ is homeomorphic to $S^{n-1} \times \mathbb{R}$

Could some help me understand how $\mathbb{R^{n}} - \{x\}$ is homeomorphic to $S^{n-1} \times \mathbb{R}$. Also, if the one point set is replaced by any finite set, how does the argument work. This ...
2
votes
1answer
55 views

Motivation for the proof of the associativity of multiplication of equivalence classes of paths

After having defined the equivalence classes of paths in a topological space in chapter two of the book A Basic Course in Algebraic Topology, William S. Massey proves the lemma The multiplication ...
2
votes
0answers
22 views

When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?

Suppose $D$ is a small category and $F\colon D\to sSets$ a functor. I want to calculate the simplicial set $$\operatorname{hocolim}F$$ via the bar construction: $\operatorname{hocolim}F$ is the ...
2
votes
2answers
67 views

prove that the identity map $i:S^n\to S^n$ is not nullhomotopic.

Using the fact that: For all $n\in \mathbb{N}$ there is no retraction $r:B^{n+1} \to S^n$, prove that the identity map $i:S^n\to S^n$ is not nullhomotopic. This is a problem in section 56 of Munkres' ...
1
vote
1answer
12 views

Skeletality of a simplicial set $X$ vs. highest degree of a non-degenerate simplex

Let $X$ be a simplicial set with a non-degenetate simplex in degree $n$ and suppose that all simplices in higher degrees are degenerate. Is $X$ an $n$-skeletal simplicial set and not ...
2
votes
4answers
27 views

$X$ is contained in an annulus containing a circle in the annulus.Show that $\pi_1(X)$ contains a subgroup isomorphic to $\mathbb{Z}$.

In $\mathbb{R^2}$ let $C=\{|x|=2\}$ and $A=\{1<|x|<3\}$, let $X$ be a path connected set such that $C \subset X \subset A$. Show that $\pi_1(X)$ contains a subgroup isomorphic to $\mathbb{Z}$. ...
2
votes
2answers
68 views

Homotopy direct limit versus direct limit

Let $X_1\to X_2\to \cdots$ be an infinite sequence of maps. Then, as I understand, the homotopy direct limit of this sequence is the space formed by taking the disjoint union of the $X_i\times I$ and ...
3
votes
1answer
41 views

Does the $\Omega$-spectrum functor send exact triangles to homotopy cofiber sequences?

The functor $\Omega^\infty\colon Spectra\to Spaces$ which takes a spectrum, replaces it by the associated $\Omega$-spectrum and then takes its $0$th space sends exact triangles to homotopy fiber ...
0
votes
0answers
32 views

A curve not homotopic to constant path but index of every point is zero.

I want to find a curve which is not homotopic to constant path but the index of every point not on the curve is zero. Here the domain is an open subset of Complex Plane.I was unable to find any such ...
0
votes
0answers
30 views

Homotopic maps of a compact polyhedron

My friend and I are trying to solve the following exercise. Problem: Let $X \subset \mathbb{R}^n$ be a compact polyhedron. Show that there exists $\alpha > 0$ such that for any pair of maps $f, g ...
2
votes
1answer
37 views

Extending a homeomorphism of the open disk to the boundary.

Let $D^2 = \{x \in \mathbb{R}^2 : ||x||\leq 1\}$ denote the closed disk and $int(D^2)$ denote its interior. If I have a homeomorphism $\ f: int(D^2) \rightarrow int(D^2)$ it is clear that it is not ...