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

5
votes
0answers
48 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 ...
1
vote
0answers
29 views

Geometric realization of function complexes of simplicial sets

Let $\operatorname{sSet}$ be the category of simplicial sets and $\operatorname{Top}$ the category of (say, compactly generated) topological spaces. There is a pair of adjoint functors called ...
0
votes
1answer
59 views

Fundamental Group equaling 0

Let $X$ be a space for which $\pi(X,x)=0$. If $f,g$ are two paths in $X$ with $f(0)=g(0)=x$ and $f(1)=g(1)$, why is $f$ equivalent to $g$?
0
votes
2answers
43 views

Proving homotopy of paths

Let $f$ be a path in $X$ and $h:[0,1] \mapsto [0,1]$ a continuous mapping with $h(0)=0$ and $h(1)=1$. How can I prove that $f$ and $fh$ are homotopic relative to the endpoints?
0
votes
1answer
47 views

A certain homotopy equivalence…

A few friends and I have been stuck on this old qualifying question for quite some time now... Let $D$ be the diagonal subspace of $\Bbb S^2 \times \Bbb S^2$. Show that the projection onto the first ...
3
votes
1answer
70 views

Why do we ask that condition in Kan complex?

Let $\{X_n\}_{n=0}^\infty$ be simplicial set with faces $d_i:X_n\to X_{n-1} $, a simplicial set is called a Kan Complex if for any $x_0,...,x_{k-1},x_{k+1},...,x_{n+1}$ if $d_i(x_j)=d_{j-1}(x_i)$ for ...
0
votes
1answer
45 views

Homotopy equivalences

If $x\in X$, let $C(x)$ the path component of $x$ (the biggest path connected set containing $x$), and similarly if $y\in Y$. Let $C(X)$ and $C(Y)$ the family of all path components of $X$ and $Y$. ...
0
votes
0answers
10 views

Proof: The dual of the Homology $(H_{n-k})^{*}$= Homology $H_{n-k}$ over the reals?

Proof: The dual of the Homology $(H_{n-k})^{*}$= Homology $H_{n-k}$ over the reals ? So by dual, I mean the linear maps on $H_{k}$. I need this to understand the Poincare duality i.e. $H_{k}\cong ...
1
vote
2answers
56 views

Proving the existence of some deformation retract

I am trying to find out if the set $ S ^n \times S^n \setminus \left\lbrace (x,x) \mid x \in S^n \right\rbrace$ deformation retracts onto the subspace $\left\lbrace (x,-x) \mid x \in S^n ...
2
votes
1answer
110 views

Solving an exercise in Milnor-stasheff's “characteristic classes”

I am trying to solve the following exercise (which is an exercise in Milnor-Stasheff's book). It basically says the following: Let $ M =S^n $ be the $n$-sphere and let $TM$ be its tangent ...
3
votes
1answer
60 views

Relating Ext groups of abelian groups and group cohomology

One can define $\mathrm{Ext}$-groups in the category of abelian groups (not $\mathbb{Z}[G]$-modules) and group cohomology in very similar ways. The second, group cohomology, can be computed in the ...
2
votes
0answers
22 views

simplicial commutive rings as algebra objects in a symmetric monoidal category

Do simplicial commutative rings arise as the commutative algebra objects in some symmetric monoidal infinity category? If I understand correctly, I think $E_\infty$ rings are the commutative algebra ...
1
vote
0answers
21 views

homotopy - maintaining curvature signs

I have the following dilemma! Say, $f_1=\sqrt{1-x^2}$, and $f_2=-\sqrt{1-x^2}$ are two continuous functions on $[-1,1]$ Lets define another function by $F = tf_1 + (1-t)f_2$ where $t=[0,1]$ ...
6
votes
1answer
94 views

Cohomological Whitehead theorem

Let $X$ and $Y$ be CW complexes (resp. Kan complexes) and let $f : X \to Y$ be a continuous map (resp. morphism of simplicial sets). The following seems to be a folklore result: Theorem. The ...
3
votes
1answer
57 views

Does $\pi_0$ preserve infinite products?

The functor $\pi_0\colon \operatorname{sSets}\to \operatorname{Sets}$ has value on a simplicial set $X$ the coequalizer of the two boundary morphisms $d_0,d_1\colon X_1\to X_0$. It is easy to see ...
0
votes
1answer
36 views

“Homotopy theory” on finite topological spaces?

My question concerns finite sets carrying a not-necessarily-discrete topology. I'm wondering if there's an analogue for homotopy theory where the role of $S^n$ is played by some other, finite set. (My ...
0
votes
1answer
33 views

Homotopy between two homomorphisms and homology

If I have two chain complexes $C$ and $D$ and I suppose that there is a homotopy between $\phi, \psi:C \rightarrow D$ (i.e there is a sequence of homomorphisms $(K_n: C_n\rightarrow D_{n+1})$ such ...
1
vote
0answers
42 views

existence of a cofiber sequence

can anyone help me with this problem. thanx. Show that there are cofiber sequence $S^{n+3} \to S^{n+2} \to \sum^{n}\mathbb{C}P^2$ for each $n \in \mathbb{Z}^+$. Conclude that a space of the form ...
7
votes
1answer
168 views

Explanation for a line from a MathOverflow answer

Sometimes I see questions answered on MathOverflow in such a way that I don't really understand the answers. Sometimes I work out what they mean, and other times I can't. I'd like to ask for more ...
1
vote
1answer
41 views

Eilenberg-Mac Lane and classifying spaces

What can we say about An Eilenberg-Mac Lane space $K(G,n)$ is a classifying space $BG$. When it could be true? For what kind of $G$? For what values of $n$? References are welcomed.
2
votes
2answers
90 views

homotopy between two functions

Let us discuss this problem: Let $A=\{a_{1},a_{2},\ldots,a_{n}\}$, $B=\{b_{1},b_{2},\ldots,b_{n}\}$ and $C=\{c_{1},c_{2},\ldots,c_{n-1}\}$ be discrete finite sets embedded in a unit sphere ...
3
votes
2answers
169 views

Why is $\pi_1(X,x_0)$ a group?

I want to show that $\pi_1(X,x_0)$ is a group. I am told that $e(t) := x_0$ is the identity element. Now, I am struggling to show that it is an identity element, and also that the inverse of an ...
3
votes
0answers
42 views

Path-homotopic definition.

Given two paths $f,g: [0,1] \mapsto X $ Then their product is defined by $f\cdot g := \begin{cases} f(2t) , \space 0\leq t \leq \frac{1}{2}\\ g(2t-1) ,\space \frac{1}{2} \leq t \leq 1\\ \end{cases} ...
0
votes
1answer
35 views

Is there any standard terminology for the quotient of a topological group by the connected component of the identity?

If $G$ is any topological group, then the connected component of its identity is a closed normal subgroup $H$. It follows that $G/H$ is a totally disconnected topological group. Often, $G$ will be ...
2
votes
1answer
51 views

Example for a space that is contractible to precisely one of its points

Give an example for a space that is contractible to one of its points and is not contractible to another of its points. I am really curious about that space, I have thought about tree with $n$ ...
0
votes
1answer
49 views

Why is a spectrum $X$ with only $\pi_0X\neq 0$ equivalent to an Eilenberg-MacLane spectrum?

For an abelian group $G$, the Eilenberg-MacLane spaces $K(G,k)$ assemble to a spectrum $HG$ with $HG_k=K(G,k)$. This spectrum has the property that $\pi_0 HG=G$ and $\pi_{n}HG=0$ for $n\neq 0$ where ...
0
votes
1answer
25 views

Lowest norm solution to a system of polynomial equations

I have a system of cubic equations: $$0=A_0+A_1 x+A_2 ( x \otimes x ) + A_3( x \otimes x \otimes x )$$ where $\dim A_0 = \dim x$ (so there are as many equations as unknowns). You may assume that the ...
1
vote
2answers
108 views

What is the difference between multiplication and direct sum on homotopy groups of spheres?

In Allen Hatcher's book Algebraic topology he states that factoring out 2-torsion $\pi_{i}(S^{2n})\cong\pi_{i-1}(S^{2n-1})\times\pi_{i}(S^{4n-1})\:\forall n$ but in his book Spectral Sequences in ...
0
votes
2answers
86 views

Quasi circle is not contractible

I'm trying to show that the quasi circle (picture below) doesn't have the homotopy type of a CW complex. I proved that all homotopy groups are zero. Now I need to show that it is not contractible to ...
3
votes
3answers
153 views

how should I show that it is wedge of infinite circles?

I know that the shape that we see it below is homotopy equivalent of wedge of infinite circles,so the fundamental group of it is $\prod _{1}(\vee _{\alpha \in A}S^{1})=\ast _{\alpha \in A ...
1
vote
2answers
80 views

Spaces with different homotopy type

I want to show that the spaces $ S^1 \vee S^1 \vee S^2$ and $S^1 \times S^1 $ do not have the same homotopy type. I calculated their homologies and cohomologies and they turn out to be equal. So I ...
3
votes
1answer
57 views

Question on the uniqueness of a homotopy colimit up to unique isomorphism

Let me first give an abstract definition of the homotopy colimit. Let $C$ be a cofibrantly generated model category and let $D$ be a small category. There is an adjunction $$ ...
0
votes
0answers
39 views

Book of Pullbacks and Pushouts

what books can I consult for properties of pullback and pushouts in algebraic topology? I need to understand the theory of homotopy in algebraic topology and I started to study pullbacks and push ...
1
vote
0answers
15 views

Terminology for homotopies which stay inside some finite stage of a union

Sometimes it happens that you have a sequence of topological spaces each contained in the next $$ X_1 \subset X_2 \subset X_3 \subset \ldots$$ and you want to talk about things like homotopy in the ...
3
votes
1answer
96 views

Fibrations induced by deformation retractions

Given a map $f: A \to B$ and a homotopy equivalence $g: C \to A$, I wish to show that $E_f \to B$ and $E_{fg} \to B$ are fiber homotopy equivalent, where, given a function $f: A \to B$, $E_f$ is the ...
3
votes
0answers
35 views

Derived pseudo-functor

Let $ \mathfrak {X}\to \mathfrak{Y} $ be a pseudofunctor (in which $\mathfrak{X} $ is a model category and $\mathfrak{Y} $ is a bicategory). I would like to understand when there is a derived functor ...
3
votes
0answers
66 views

Integral Homology of $BU$

We know that the integral cohomology of $BU$, $H^*(BU) = Z[c_1,c_2,...]$ where $|c_i| = 2i$ is the $i$th Chern class, with coproduct $\Delta c_i = \Sigma c_j\otimes c_{i-j}$. And at almost ...
2
votes
0answers
31 views

map to product of eilenberg-maclane spaces

Given a space $X$, and an Eilenberg-MacLane space $K(G,n)$ (hereafter referred to as $K$), and two maps $f: X \to K$ and $g:X \to K$, let $f \times g:X \to K \times K$ map $x \in X$ to $(f(x),g(x))$. ...
2
votes
1answer
36 views

Multiplication on a K(G,n)

Suppose that, given an abelian group $G$, there is a multiplication map $\mu:K(G,n)\times K(G,n) \to K(G,n)$ defined such that the induced map on the homotopy group $\mu_*:\pi_n(K(G,n) \times K(G,n)) ...
3
votes
0answers
36 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 ...
7
votes
1answer
99 views

Is dualizablility of an object equivalent to tensoring with that object having a left adjoint?

Let $C$ be a closed symmetric monidal category. There is hence an adjunction $$ -\otimes X\colon C\leftrightarrows C\colon Map(X,-) $$ involving the internal Hom $Map(-,-)$ for every object $X$ of $C$ ...
4
votes
0answers
43 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 ...
0
votes
0answers
50 views

additive isomorphism from $H^*(S^2 \times S^4 ; \mathbb{Z})$ to $H^*(\mathbb{C}P^3 ; \mathbb(Z))$

I need help in solving this problem: show that there is an additive isomorphism from $H^*(S^2 \times S^4 ; \mathbb{Z})$ to $H^*(\mathbb{C}P^3 ; \mathbb(Z))$. Then determine whether or not $S^2 \times ...
2
votes
0answers
30 views

isomorphic cohomology rings for the spaces $(S^1 \times \mathbb{C}P^{\infty})/(S^1 \times *)$ and $(S^3 \times \mathbb{C}P^{\infty})$

I need to show that the spaces $(S^1 \times \mathbb{C}P^{\infty})/(S^1 \times *)$ and $(S^3 \times \mathbb{C}P^{\infty})$ have isomorphic cohomology rings. any ideas ..... thanx!
1
vote
0answers
49 views

Torsors for 2-groups

Let $\mathbb{G}$ be a 2-group, by which I mean a strict monoidal category in which all objects are invertible (up to coherent isomorphisms) and all morphisms are invertible (strictly). What is the ...
5
votes
2answers
98 views

Is there an analogue of the universal cover for higher homotopy groups?

The universal cover $U$ of a topological space $X$ is a simply-connected covering space of $X$. As the 'universal' moniker implies, this space is universal in the category of covering spaces of $X$ ...
0
votes
1answer
93 views

Showing that two spaces are homotopy equivalent

Let $x_0 \in S^1 \times S^1$. I want to show that $(S^1 \times S^1) - \{x_0\}$ and $S^1 \vee S^1$ are homotopy equivalent. We have to show that $\exists$ maps $f: X \rightarrow Y$ and $g: Y ...
2
votes
2answers
136 views

How to prove “Homotopy is an Equivalence Relation”

Reading Allen Hatchers book (available online via this link) on Algebraic Topology, it states on page 3 that homotopy type defines an equivalence relation. The symmetry and reflexiveness are ...
1
vote
1answer
56 views

Covering spaces and homotopical equivalence

I have this simple question: if $X$ and $Y$ are two topological spaces homotopically equivalents, have they the "same" covering spaces? (and if yes, in which sense?) This question derive from an ...
1
vote
1answer
75 views

Prove fundamental group is the direct product

Suppose that $A$ is a retract of $X$ with retraction $r : X \rightarrow A$. Also suppose that $i_*(\pi(A,a))$ is a normal subgroup of $\pi(X,a)$. Prove that $\pi(X,a)$ is the direct product of the ...