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

13
votes
0answers
276 views

Closed model categories in the sense of Quillen [1969] vs the modern sense

The modern definition of (closed) model category differs in two ways from Quillen's 1969 definition: Model categories are now required to be complete and cocomplete, whereas Quillen only asked for ...
9
votes
0answers
580 views

Mapping cylinder is a CW complex

If you read the question entirely, it is not a duplicate. The first time I asked the question, I already gave the link to the similar question and explained why the answer is not satisfying. If you ...
8
votes
0answers
287 views

The status of $\mathbb{R}$ in homotopy theory.

The definition of a path as a continuous map $I \rightarrow X$ is a completely natural one. But this raises two questions in my mind. First, what properties of the interval give rise to useful ...
7
votes
0answers
97 views

History of the term “anodyne” in homotopy theory

There is a notion of an anodyne morphism (usually of simplicial sets). This type of morphisms is used, for instance, to establish basic properties of quasicategories. But the name is quite mysterious. ...
7
votes
0answers
87 views

Bousfield–Kan spectral sequence for homotopy colimits

Let $\mathcal{J}$ be a small category and let $X : \mathcal{J} \to \mathbf{sSet}$ be a diagram. We define its homotopy colimit $\newcommand{\hocolim}{\mathop{\mathrm{ho}{\varinjlim}}}\hocolim X$ ...
7
votes
0answers
142 views

If a thread is pulled out of a floating blob of water, must the thread be tangent to the surface of the blob at some point?

My motivation is the recent question I just answered, and my answer use too many hypothesis that I considered superfluous: Always "one double root" between "no root" and "at ...
7
votes
0answers
141 views

How strong is the analogy between spectra and abelian groups?

I am led to understand that spectra are some kind of $\infty$-analogue of (discrete) abelian groups, or perhaps more accurately, some kind of generalisation of chain complexes of abelian groups. How ...
7
votes
0answers
371 views

Good Reference for Large Cardinals/Homotopy Theory

I'm planning on attending a conference in Barcelona in September called "Large Cardinal Methods in Homotopy Theory" and want to try to be as prepared as I possibly can. Are there good references for ...
6
votes
0answers
130 views

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

I am interested in the following question. How to find three two-dimensional CW complexes $K_1, K_2, K_3$ with non-trivial $\pi_2$ and injective embeddings $f:K_1\rightarrow K_2, g:K_2\rightarrow ...
5
votes
0answers
84 views

Homotopy type vs. weak homotopy type, and repercussions for EG

This is another basic question. I'm aware that weak homotopy equivalence is strictly weaker than homotopy equivalence. For one thing, there is a weak homotopy equivalence from $S^1$ to a four-point ...
5
votes
0answers
201 views

Homotopy equivalence in the category of arrows.

I'm reading Jeff Strom's book on Homotopy Theory and I am trying to make some sense of a certain exercise. On page 91, "Homotopy in Mapping Categories" we consider the category of arrows of ...
4
votes
0answers
36 views

For any smooth n-manifold $M$, construct a smooth map $f:M\to S^n$ which is not null-homotopic

PROBLEM: For any smooth n-manifold $M$, construct a smooth map $f:M\to S^n$ which is not null-homotopic ,or even of degree 1 The following is my idea: First, choosing an arbitrary open coordinate ...
4
votes
0answers
36 views

Is the sphere with a diameter homotopy equivalent to a surface?

This is for a homework problem: Take the unit sphere $\mathbb{S}^2$ and join the north and south poles with a line segment. Is the resulting space homotopy equivalent to a surface? Intuitively, ...
4
votes
0answers
37 views

Transversality and homotopic maps

I'm trying to solve some problems in differential topology, and I came across the following: suppose $f:M\times [0,1]\rightarrow N$ is a homotopy, where $M$ is a compact manifold, such that $f_0$ and ...
4
votes
0answers
71 views

What is this relation on the set of paths called in graph theory?

Suppose I have a directed simple graph $\Gamma$ (no edge loops or multi-edges) and a directed path $v_0v_1\cdots v_k$ joining vertex $s=v_0$ to vertex $t=v_k$. By directed path I mean that each pair ...
4
votes
0answers
116 views

Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?

First of all, I don't want to restrict to any kind of "nice spaces" since I am interested in the most general situation. Especially I do not work in any "convenient" category of spaces. Wikipedia ...
4
votes
0answers
43 views

Homotopic properties of the Spin group from geometric algebra

There are two possible ways to define the $\mathrm{Spin}(n)$ group of Euclidean $n$-space from $\mathrm{Pin}(n)$. First is that $\mathrm{Spin}(n)$ is the identity component of $\mathrm{Pin}(n)$. ...
4
votes
0answers
55 views

representatives of $\pi_n(U(n))$

I know that $\pi_n(U(n)) \cong \mathbb{Z}$ for $n$ odd. I am looking for a description of an explicit map $S^n \rightarrow U(n)$ that represents the generator in this group. By precomposing with maps ...
4
votes
0answers
107 views

The Seifert-Van Kampen theorem as a push-out

My question concerns the proof of the Seifert-Van Kampen theorem. The version of such a statement that interests me is the following. Let $X$ be a topological space, and $U, V\subseteq X$ two ...
4
votes
0answers
23 views

Viewing Homotopies as Paths in $\mathcal{C}^0(X,Y)$

When I think intuitively about homotopies, I think about them as paths between two functions. This is more comfortable and suggestive than any categorical talk about "morphisms between morphisms", so ...
4
votes
0answers
165 views

Higher homotopy groups: Basepoint independence.

Let $f,g: [0,1]^n=I^n \rightarrow X$ be contiuous maps s.t. $f(\partial I^n)=g(\partial I^n)=x_1$. If $\gamma:I \rightarrow X$ is a path joining $x_0$ and $x_1$ ...
4
votes
0answers
236 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 ...
4
votes
0answers
102 views

Contractible Subspace and Homotopy Equivalence

It is known that if pair $(X,A)$ has the homotopy extension property and $A$ is contractible, then the quotient map $q:X\to X/A$ is a homotopy equivalence. I am wondering what if the homotopy ...
4
votes
0answers
60 views

Group structure on pointed homotopy classes [X,S^1]

Let $[X,S^1]$ denote the set of pointed homotopy classes of maps $f:X\to S^1$. I need to show that, when $S^1$ is viewed as a subset of $\mathbb{C}$, complex multiplication induces a group structure ...
4
votes
0answers
66 views

what can you say about the degree of $f:\mathbb{C}P^n \to \mathbb{C}P^n$

Any thoughts on this problem: If $M$ and $N$ are simply-connected, $n$-dimensional manifolds, then $H^n(M;\mathbb{Z}) \cong \mathbb{Z} \cong H^n(N;\mathbb{Z})$. A map $f:M \to N$ induces a map ...
4
votes
0answers
477 views

Fundamental group of CW-Complex only depends on 2-Skeleton

I was just about to write down my answer to an exercise in algebraic topology and I wanted to use the fact that $\pi_1 (X)$ only depends on the $2$-Skeleton of $X$ for any $CW$-Complex $X$. I am very ...
4
votes
0answers
72 views

Understanding J homomorphism

I was trying to understand J homomorphism $J:\pi_r(SO(q)\rightarrow \pi_{r+q}(S^q)$from the Wikipedia page http://en.wikipedia.org/wiki/J-homomorphism. It's clear that an element of $\pi_r(SO(q)$ ...
4
votes
0answers
68 views

Does an equivariant weak equivalence induce weak equivalences on all orbits?

This question arose from another, which was not well formulated and completely answered by this MO thread as pointed out by the user roman. Let $G$ be a discrete group, $X$ and $Y$ be $G$-spaces (and ...
4
votes
0answers
62 views

$J$-homomorphism and homotopy

We have Bott periodicity theorem for unitary group $U(n)$: $$ \pi_{i-1}^{s}(U) = \pi_{i-1}(U(m)) \simeq \pi_{i}(Gr_m(\mathbb{C}^{2m})) \simeq \pi_{i+1}(SU(2m)) \simeq \pi_{i+1}^{s}(U) .$$ So we can ...
4
votes
0answers
144 views

algebraic or homotopical proof for Kakutani fixed point theorem

As Kakutani fixed point theorem is a genral case of Brouwer fixed point theorem, and one can read the proof from homotopy theory books. I wonder if there is any proof for the Kakutani using homotopy ...
4
votes
0answers
85 views

Is there any relation between homotopy pushout and mapping cone?

Given two maps $f:A \to B$ and $g:A \to C$, we can have the homotopy push out square \begin{array}{rcl}A& \stackrel{f}{\rightarrow} &B\\ {\tiny g}\downarrow&& {\tiny b}\downarrow\\ ...
4
votes
0answers
78 views

Contractible and Compact space can be contained in an open set after time $t_0$?

$X$ is a topological space that is contractible and compact. Show that if $U$ is an open set in $X$ containing $x_0$ then there exists $t_0<1$ so that $H(x,t)∈U$, for all $x∈X$, and all $t_0≤t≤1$. ...
4
votes
0answers
92 views

What is an “absolute, equational pushout”?

I was leafing through Joyal and Tierney's Notes on simplicial homotopy theory. In the first few lines of the section on the skeleton of a simplicial set they display the simplicial identities as a ...
4
votes
0answers
110 views

A fibrant-objects structure on $\bf Top$

One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological spaces $\bf Top$, called the $\pi_0$-fibrant structure: A ...
4
votes
0answers
73 views

homotopy type of the closure of a subset

Let $X$ be a topological space and $N$ a subset of $X$. Is it true that the closure of $N$ in $X$ is homotopy equivalent to $N$. I think it is not. take for example $N=\mathbb Q\subset \mathbb ...
4
votes
0answers
127 views

Why is $\pi_2(S^1 \vee S^2)$ not finitely generated?

This is an exercise following a discussion of fibrations. preceding that there was a discussion of cofibrations and the long exact sequence of homotopy groups of a pair. Any hints would be greatly ...
4
votes
0answers
151 views

Can the disk bundle associated to a vector bundle over a finite CW-complex be obtained by attaching cells?

Let $V$ be a vector bundle (with a chosen metric) over a finite CW-complex $X$ and $B(V), S(V)$ the associated (unit) disk resp. sphere bundles. In the paper Clifford-Modules the authors remark that ...
3
votes
0answers
43 views

The relation between homotopy equivalence and contractible mapping cone?

In this MO thread, the OP claimed that it is obvious that homotopy equivalence implies the mapping cone contractible, whereas the converse proposition is wrong. I hate to admit that it's not obvious ...
3
votes
0answers
75 views

Criterion for homotopy equivalence in the category of pair of spaces

I am trying to prove the following statement : Let $\{ * \} \subset A \subset B \subset X$ be a chain of topological spaces (all subsets have the subspace topology). It is given that $A \to X$ ...
3
votes
0answers
146 views

A construction with homotopy colimits and homotopy pullbacks for descent.

I have some troubles in trying to give a meaningful interpretation to the following property which is stated in this preprint by professor Rezk (see Definition 6.5) as part of the requirement for a ...
3
votes
0answers
66 views

The set of homotopy classes of maps is in bijection with homomorphisms between homotopy groups

My question comes from the fact that $\langle K(G,n),K(H,n)\rangle = \text{Hom}(G,H)$. The only proof of this fact that I know uses $\langle X,K(H,n)\rangle = H^n(X,H)$. However, this way of ...
3
votes
0answers
42 views

Direct way to show that 2-out-of-6 holds for weak equivalences in a model category?

In a model category, when weak equivalences are inverted, nothing else gets inverted. It follows that weak equivalences satsify 2-out-of-6. But the first sentence takes some work to show. Is there a ...
3
votes
0answers
34 views

The images of two non homotopic to identity maps intersect

How could one prove that images two maps $f,g:\mathbb RP^4 \to \mathbb RP^7$ which are not homotopic to trivial map have nonempty intersection.
3
votes
0answers
105 views

Maximum diameter for the preimage of a point when the degree is not 1 or -1

When the degree of a map $S^n \rightarrow S^n$ isn't 1 or -1, are there always two points that map to the same point and whose distance from each other can be bounded below by a function of the ...
3
votes
0answers
67 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) ...
3
votes
0answers
63 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 ...
3
votes
0answers
38 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 ...
3
votes
0answers
48 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 ...
3
votes
0answers
118 views

Role of the Thom space in the Pontryagin-Thom construction

I am trying to understand the Pontryagin-Thom theorem; especially how the Thom space comes into play. Just to bring everyone on the same page: I am specifically talking about the construction of an ...
3
votes
0answers
41 views

$\pi_0$ of $M(2) \wedge M(2)$

My motivation is trying to understand Tom Goodwillie's argument here: http://mathoverflow.net/questions/87919/difficulties-with-the-mod-2-moore-spectrum and the only thing I don't get is why ...