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

7
votes
3answers
444 views

Homotopy equivalence of two different gluings of $B^n$ and an arbitrary space $X$

Let $f, g: S^{n-1} \to X$ be a pair of homotopic continuous maps. Let $X \cup_f B^n$ and $X \cup_g B^n$ be the respective adjunction spaces (pushouts of $B^n \hookleftarrow S^{n-1} \rightarrow X$). I ...
2
votes
1answer
252 views

What's stopping me from choosing the nth Eilenberg Mac Lane space to be the following simplicial abelian group?

Given an abelian group $X$, let $F_n(X)$ denote the simplicial abelian group defined as follows: $F_n(X)_j=0$ for all $j<n$ and $F_n(X)_j=X$ for all $j\geq n$ with the appropriate zero and ...
2
votes
0answers
91 views

Local injective model structure for simplicial presheaves

The category of simplicial presheaves on a small Grothendieck site $\mathcal{C}$ can be given a model structure by defining weak equivalences and cofibrations sectionwise. It's called the (global) ...
3
votes
4answers
322 views

Chromatic Filtration of Burnside Ring

I just attended a seminar on the chromatic filtration of the Burnside ring. I understood it relatively well, but at no point did anyone give an explicit definition of what a chromatic filtration ...
13
votes
3answers
508 views

How to prove a manifold is simply connected?… using geometry

I was Looking at another questions title, and given the tag of DG, I thought it would read a little more like this one. Or at least that answers to this question would be answers to that question. ...
9
votes
2answers
688 views

Why is Top a model category?

Recall that a model category is a complete and cocomplete category with classes of morphisms called cofibrations, fibrations, and weak equivalences. These are closed under composition and satisfy ...
8
votes
1answer
282 views

How does hocolim relate to Hom?

In a usual category $\mathcal{C}$ one can pull the colim out of the Hom like ...
3
votes
2answers
269 views

Does noncompact manifold or orbifold have the homotopy type,of CW complex?

I forget for a while, we don't need the compactness condition here right?
5
votes
1answer
217 views

Does contractibility imply contractibility with a basepoint?

Let $X$ be a contractible space. If $x_0 \in X$, it is not necessarily true that the pointed space $(X,x_0)$ is contractible (i.e., it is possible that any contracting homotopy will move $x_0$). An ...
5
votes
4answers
3k views

Fundamental group of the double torus

In May's "A Concise Course in Algebraic Topology" I am supposed to calculate the fundamental group of the double torus. Can this be done using van Kampen's theorem and the fact that for (based) spaces ...
12
votes
7answers
1k views

Real world uses of homotopy theory

I covered homotopy theory in a recent maths course. However I was never presented with any reasons as to why (or even if) it is useful. Is there any good examples of its use outside academia?