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

0
votes
1answer
28 views

Proving homotopy equivalence of a torus with points removed

Suppose I'd like to show that a Torus with $n$ points removed is homotopy equivalent to a wedge sum of $n+1$ circles. I depict it in a usual way - as a rectangle with $n$ points removed inside. Now it ...
2
votes
0answers
29 views

geometric realization of a simplicial complex

Let $K$ be a simplicial complex and let $|K|$ be the geometric realization of $K$. Suppose that the vertices ($0$-simplices) of $K$ are $v_0,v_1,\cdots,v_k$, $k$ finite. Let $\Delta^n$ be the standard ...
1
vote
1answer
40 views

A deformation retract that is not a strong deformation retract

In Lee's Introduction to Topological Manifolds, problem 7-12 asks to show that $\{(1,0)\}$ is a deformation retract, but not a strong deformation retract of the subspace of the plane $$ X = \bigcup_{...
1
vote
1answer
41 views

Can't see why particular homotopy is continuous

I'm checking the group laws for the fundamental group of $(X,x_{0})$: in particular I'm trying to show that $\gamma \simeq \gamma \cdot e$ , where $\gamma$ is a loop based at $x_{0}$, $e$ is the ...
0
votes
0answers
23 views

Hopf fibration and exact sequence in homotopy

I have encountered the Hopf fibration $S^1\hookrightarrow S^3\twoheadrightarrow S^2$ when studying smooth principal $G$-bundles. Whenever I google the Hopf fibration, I encounter a remark which boils ...
4
votes
1answer
499 views

Definition of the algebraic intersection number of oriented closed curves.

Can anyone point me to a reference (book/paper) where I can read up on the the algebraic intersection number of closed curves on an orientable surface? In this paper by John Franks it is used to ...
1
vote
1answer
37 views

tom Diecks's proof of $H_1(X)\cong \pi_1(X,x_0)^{ab}$

My question is about tom Dieck's proof of Theorem 9.2.1 on page 227, which states that if $X$ is path connected, then the induced map $$h:\pi_1(X,x_0)^{ab}\to H_1(X)$$ is an isomorphism. Specifically,...
6
votes
2answers
80 views

Infinite sequence of distinct spaces, all with same homology

Using the following fact, we get infinitely many non-homotopic maps $f_k:S^{2n-1}\to S^n\vee S^n$. Fact: $\pi_{2n-1}(S^n\vee S^n)$ contains a $\Bbb Z$-summand. So we can consider the spaces $X_k=...
1
vote
2answers
41 views

How to construct a homotopy equivalence between a mobius band and a circle?

A mobius band is homotopic equivalent to a circle because the mobius band can deformation retract onto a circle. I am wondering how could we understand this fact from the definition of being ...
1
vote
0answers
62 views

Chain Homotopy in abelian category

When dealing with complexes of modules or groups, the following lemma is pretty easy: If $f,g :E\rightarrow E'$ are homotopic, i.e. $f-g=d'h+hd$ for some h, then $f,g$ induce the same homomorphism ...
3
votes
0answers
46 views

Obstruction for extending a map along a CW-inclusion: sufficient conditions?

I'm looking for a clarification of the highlighted comment taken from "A User's Guide to Algebraic Topology" by Dodson & Parker. In order to make the setting clear, I uploaded definition $8.1.6$ ...
0
votes
1answer
50 views

How to prove that the Lefschetz number is invariante under homotopy?

How to prove that the Lefschetz number is invariante under homotopy? We define the Lefschetz number as the number of $f : M \to M$ as the number of intersection of the map $g(x) = (x,f(x))$ with the ...
3
votes
0answers
41 views

Let $\gamma_1, \gamma_2 : I \to M$ two homotopic curves, $M$ a $C^{\infty}$ manifold. If $\omega$ is a closed $1-$form then:

Let $\gamma_1, \gamma_2 : I \to M$ two homotopic curves, $M$ a $C^{\infty}$ manifold. If $\omega$ is a closed $1-$form then: $$\int_{\gamma_1(I)} \omega = \int_{\gamma_2(I)}\omega.$$ Then, conclude ...
15
votes
3answers
3k views

An intuitive idea about fundamental group of $\mathbb{RP}^2$

Someone can explain me with an example, what is the meaning of $\pi(\mathbb{RP}^2,x_0) \cong \mathbb{Z}_2$? We consider the real projective plane as a quotient of the disk. I don't receive and ...
1
vote
1answer
17 views

How do I see if the induced homomorphism from the inclusion map $S^{1'}\to S^1\times S^3$ is injective

Let $S^1\times S^3$ be parametrised as $\{(\alpha,\beta, \gamma)\in \mathbb{C}^3||\alpha|^2+|\beta|^2=1, |\gamma|=1\}$ and let $S^{1'}=\{e^{i\theta}(1,0,1)|\theta\in [0,2\pi]\}$. I would like to see ...
0
votes
1answer
18 views

Proving weak homotopy equivalence of a map

This is a modification of the question I previously asked here. Consider the category of pointed topological spaces $C$. Suppose objects $a,b,c,d,e,f,g,h \in C$. Suppose we also have the commuting ...
0
votes
1answer
39 views

Which theorem of homotopy theory states that if two objects have different genus then they are not homotopy equivalent?

I'm quite new inexperienced in the field but from what I see two objects with different genus are not homotopy equivalent. Question: Which theorem of homotopy theory states that if two objects have ...
5
votes
2answers
160 views

$\pi_n(X^n)$ free Abelian?

I have encountered a problem which states that denote $X$ as an Eilenberg-MacLane space $K(G,1)$ and is a CW complex, show that $\pi_n(X^n)$ is free Abelian for $n \geqslant 2$. However, I think I ...
2
votes
0answers
103 views

Question on the coskeleton functor $\mathbf{coskel}'$ for pointed simplicial sets

There is an abstract construction of the coskeleton functor for simplicial set as follows: Fix an integer $n\geq 0$ and take the inclusion of the full subcategory $i_n\colon\Delta_{\leq n}\...
0
votes
0answers
17 views

Isomorphism of Homotopy groups across a filtration

Let $X$ and $Y$ be CW complexes. Let $sk_{\bullet}(X)$ and $sk_{\bullet}(Y)$ denote the canonical skeleta filtrations of $X$ and $Y$, respectively. Suppose that we have isomorphisms on homotopy groups ...
2
votes
2answers
32 views

Compositions of homotopic maps are homotopic

I'm reading some lecture notes on homotopy, and the author has just proved the theorem: If $f_{0} \simeq f_{1}$ and $g_{0} \simeq g_{1}$, then $g_{0} \circ f_{0} \simeq g_{1} \circ f_{1}$ ...
1
vote
0answers
70 views

How can we assume the first homology group of the complement is zero when constructing a Casson handle?

I am currently working through Scorpan's Wild World of 4-Manifolds specifically the section on Casson Handles. On page 78, he says if $D$ is the core of the handle after $n$ stages we may assume $\...
1
vote
0answers
56 views

Proving a function isn't homotopic to a map to the boundary

Let $X$ be a compact Hausdorff space and $S$ a finite dimensional, convex, Hausdorff space. Moreover, let $f:X \to S$ be a closed, surjective map with $\tilde{H}^q(f^{-1}(s))=0$ for all $q\ge 0$ and $...
3
votes
2answers
869 views

fibre of a fibration is homotopy equivalent to its homotopy fibre

Can someone give me a hint on proving that the fibre of a fibration $f: Y \to X$ is homotopy equivalent to its homotopy fibre $Y \times_X X^I$?
2
votes
1answer
40 views

Proving that a map is a weak homotopy equivalence

Consider the category of pointed topological spaces $C$. Suppose objects $a,b,c,d,e,f,g,h \in C$. Suppose we also have the commuting diagrams where all the morphisms are serre fibrations $$\begin{...
2
votes
1answer
72 views

The identification $G=\Omega^\infty \Sigma^\infty S_0$ of the stable group of self homotopy equivalences of spheres with the suspension spectrum

My topology professor told me in a discussion that the suspension spectrum $colim \Omega_n \Sigma_n S_0$ is the same as the monoid $G$ where $G=colim G_n$ where $G_n$ are self homotopy equivalences of ...
0
votes
1answer
18 views

What is special about retraction mapping?

What is special about the retraction mapping? Can't we always find such a mapping, namely identity map of $X$. Then every space $A$ will be a retract of $X$. EDIT: Do we need retraction to be ...
0
votes
1answer
46 views

A modern approach to homotopy theory in $\mathbf{SSet}$

I'm currently trying to understand the basics of homotopy theory for simplicial sets. However, my current sources (Peter Mays "Simplicial objects in algebraic topology" and Kans original "on c.s.s. ...
2
votes
0answers
33 views

Proving that Emb($D^m,N$) is homotopy equivalent to $V_m(TN)$

I am reading online lecture notes by John Francis on h-principle. I want to prove that Emb($D^m,N$) is homotopy equivalent to $V_m(TN)$ where $V_m(TN)$ is stiefel bundle of the tangent bundle on $N$....
4
votes
0answers
69 views

Topology on $\mathcal{C}(X,Y)$ to work with homotopy.

We know that the compact open topology on $\mathcal{C}(X,Y)$ is a good choice for topology on the set of continuous maps, but this seems really efficient, both naively and with respect to existence of ...
0
votes
0answers
26 views

Derived functors in abelian categories and homotopy theory

For two Abelian categories $\mathcal A,\mathcal B$ and a right exact additive function $F\colon\mathcal A\to\mathcal B$, there is a left derived functor $LF$ acts on chain complexes $K_+(\mathcal A)$ ...
0
votes
1answer
51 views

Inversion of Sphere

I was reading about inversion of sphere. Wikipedia defines it as: Let $f: S^2\to R^3$ be the standard embedding; then there is a regular homotopy of immersions $f_t\colon S^2\to R^3$ such that $...
1
vote
1answer
27 views

Proving that a map is Null Homotopic

Suppose $X$ is a manifold of dimension $n$ and $f:Y \to Z$ is an $n-$connected map. Then I want to show that given any map from $g:X \to Y$, the composite map $f \circ g$ is nullhomotopic. Definition ...
12
votes
2answers
305 views

Can Path Connectedness be Defined without Using the Unit Interval?

Can path connectedness be defined without using the unit interval or more generally the real numbers? I.e., do we need Dedekind cuts or Cauchy convergence equivalence classes of the rational ...
3
votes
2answers
155 views

Relation between the definition of homotopy of two functions and the homotopy of two morphisms of chain complexes

What is the relation between the definition of homotopy of two functions "A homotopy between two continuous functions $f$ and $g$ from a topological space $X$ to a topological space $Y$ is defined ...
3
votes
2answers
55 views

Is every map between connected CW-complexes homotopic to a map sending $x$ to $y$?

Let $f \colon X \to Y$ be a continuous map between connected CW-complexes $X$ and $Y$. Choose points $x \in X$ and $y \in Y$. Is $f$ homotopic to a map sending $x$ to $y$?
1
vote
0answers
11 views

Fundamental group of a topological group [duplicate]

Given $(G,\cdot)$ a topological group with identity $e$, is it always true that $\pi_1(G,e)$ is abelian? For what it's worth: I have already shown that if $f,g\in\Omega(X,e)$, then $[f \times g]=[f\...
0
votes
0answers
19 views

Equivalent definitions for simple connectivity

For a path connected space $X$, it is simply connected iff any two paths sharing endpoints are homotopically equivalent. Here simple connectivity means it has trivial fundamental group. I'm doing ...
0
votes
0answers
38 views

The complement $\mathbb{R^3}-A$ of a single circle $A$ deformation retracts onto the wedge of a Circle and a sphere. 2$

Here is my intuitive idea. We can pull all the points lying outside a sphere of some fixed radius containing the circle onto the sphere without disturbing the points inside the sphere. Now we have a ...
2
votes
0answers
34 views

Hopf map visualization (animation request)

Let $\phi:D^3\to S^2$ be the composition $D^3\to S^3\to S^2$, the first map being the quotient by the boundary and the second map being the Hopf map. Then: $$f_t:x\mapsto(1-t)x+t\phi(x)$$ is a ...
5
votes
0answers
194 views

Homotopy of space of immersions, Smale-Hirsch theorem

If $M$ and $N$ are simply connected manifolds with $\dim M< \dim N$, we denote by $Imm\left(M,N\right)$ the space of immersions of $M$ in $N$. Let $M$ and $M'$ manifolds of dimensions $m>0$. ...
0
votes
1answer
31 views

Every continuous function $\mathbb{R}^n\rightarrow X$ is null-homotopic

Let $f:\mathbb{R}^n\rightarrow X$ be continuous and $g:\mathbb{R}^n\rightarrow X$ a constant map with image $\{x_0\}$. For the proof, I thought that we can define $F:[0,1]\times\mathbb{R}^n$ with $F(s,...
5
votes
0answers
69 views

when a space is a product of eilenberg mclane spaces for $\pi_1(X)$ is not abelian

In When is $\Pi_{i\leq n} K(\pi_i(X), i)$ the nth base for a postnikov tower on $X$. , I discuss in my answer when an Abelian cw complex $X$ is a product of Eilenberg-Maclane spaces, and show that it ...
0
votes
1answer
42 views

Vector field on n-manifold whose sum of indexes is equal to Euler charasteristic

For 2-manifolds and 3-manifolds such a tangent field (whose singular points indexes sum to manifold's Euler chracteristic) construction can be done visually. For example, for triangulated 2-manifold ...
1
vote
1answer
71 views

functors with a morphism lifting property

By analogy to the familiar situation in homotopy theory (i.e., (unique) path lifting in covering spaces), it is natural to consider the following. Let $P:C\to D$ be a functor. Say that $P$ has (unique)...
1
vote
1answer
63 views

When is $\Pi_{i\leq n} K(\pi_i(X), i)$ the nth base for a postnikov tower on $X$.

Let $X$ be a connected CW complex. Let $X_n$ fit into a commutative postnikov diagram for $X$ and let the fibrations $K(\pi_n(X),n) \hookrightarrow X_n \xrightarrow{\mathscr p} X_{n-1}$ be given. ...
13
votes
2answers
259 views

Is wedge sum for finite CW complexes cancellative in the homotopy category?

Let $X,Y,Z$ be finite pointed CW complexes. Is it possible that $X\vee Z$ and $Y\vee Z$ are homotopy equivalent, but $X$ and $Y$ are not? Remark 1: Without the finiteness assumption on $Z$, there are ...
2
votes
1answer
57 views

Does the homotopy category functor $\mathsf{Top}_\ast\rightarrow \mathsf{hTop}_\ast$ create products?

Does the homotopy category functor $\mathsf{Top}_\ast\rightarrow \mathsf{hTop}_\ast$ create products? I know it preserves products, but it seems to actually create them.
9
votes
1answer
409 views

Why is the homotopy category actually important?

Since the homotopy category (of whatever) generally has very few limits and colimits, and these don't coincide with homotopy limits and colimits in the lifted model structure, why do we care about the ...
5
votes
2answers
104 views

What is wrong with this proof that the identity map of $S^1$ is nullhomotopic?

I have read that the identity map of the unit circle $S^1$ is not nullhomotopic. In fact, I am very new to the subject, so I wonder what is wrong with the following reasoning (that seems to suggest ...