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

3
votes
1answer
68 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
109 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
92 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
166 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
168 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
38 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
95 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
47 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
132 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 ...
0
votes
1answer
27 views

Regarding an arbitary fibration as an inclusion

I'm reading through Allen Hatcher's Algebraic Topology, and he mentions that, given a Postnikov tower, the fibration $X_n \rightarrow X_{n-1}$, where $X_n$ and $X_{n-1}$ are CW complexes, can be ...
3
votes
1answer
51 views

Trivial Cohomology Group->Lower-Dimensional Homotopy?

Calculating the (de-Rham) cohomology of a tee connector (Picture), I got $H^0=R,H^1=R^2,H^2=0$. Furthermore, just from looking at it, I assume the tee connector is homotopic to a circle with an arc ...
3
votes
0answers
56 views

Injective model structure

I equip the category of presheaves $[\mathcal{D}^{op},\text{Gpd}]$ with the injective model structure ($\mathcal{D}$ is just any small category). In this structure, weak equivalences and cofibrations ...
2
votes
1answer
63 views

Are diffeomorphic sets smoothly deformable into each other?

Given connected, bounded and open sets $U, V\subset \mathbb{R}^n$ and an orientation preserving diffeomorphism $F:U\to V$, is there always an isotopy $H:[0,1]\times \mathbb{R}^n\to\mathbb{R}^n$, s.t. ...
4
votes
1answer
99 views

Topology of space of continuous functions

Let $X,Y$ be topological spaces and let $C^0(X,Y)$ be the set of continuous functions between them, endowed with the compact-open topology. I am interested in the following kind of questions: What ...