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

2
votes
1answer
207 views

Converse to the Eilenberg-Steenrod theorem?

For the purposes of this question, a homology theory is a covariant functor from the homotopy category of finite pointed CW complexes to graded abelian groups, and a collection of connecting ...
1
vote
0answers
59 views

If $X$ and $Y$ are homotopic and $X$ is contractible, so is $Y$

I want to show that if $X$ and $Y$ are homotopic and $X$ is contractible, so is $Y$. It feels like I'm missing something really obvious. $X$ is homotopic to $Y$, so there exists $f: X \to Y$ and $g: Y ...
4
votes
1answer
165 views

Reference Request: Thom Spectrum of a virtual vector bundle

Given a vector bundle $\xi$, one can construct a Thom spectrum $\mathbb{T}h(-\xi)$ associated to its additive inverse. I unsuccessfully browsed through literature to find a reference for an explicit ...
13
votes
2answers
678 views

What is the best path to learn Category theory and Type theory?

I have little background in Programming in functional languages and wanted to learn type theory. I started with taking Homotopy type theory class Online videos of Robert Harper. I thought rather ...
1
vote
2answers
47 views

How to search the set of papers whose references contain a given preprint?

I am reading a preprint titled Combinatorial Group Theory In Homotopy Theory I by Fred Cohen (available at Cohen's web page) Now I need to find all papers whose references contain this preprint. Is ...
0
votes
0answers
136 views

cohomology homomorphism between grassmannians induced by inclusion

Let $i:G_k(\mathbb{R}^n)\to G_k(\mathbb{R}^\infty)$ be inclusion of grassmannians. Then $H^*(G_k(\mathbb{R}^\infty);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]$. $ ...
4
votes
1answer
105 views

Does every elliptic cohomology theory represent a complex-orientable $E_\infty$-ring spectra and vice-versa?

The last paragraph in Two-Vector Bundles and Forms of Elliptic Cohomology remarks that neither the spectrum $K(ku)$ nor tmf is complex orientable. In the case of $K(ku)$: "...the unit map for $K(ku)$ ...
0
votes
1answer
72 views

homology of suspension

Let $\Sigma$ be suspension. For any CW-complex, or topological space, does the reduced homology satisfy $$ \tilde H_*(\Sigma^k X)=s^k\tilde H_*(X)? $$ Here $s^k H$ is a copy of $H$ such that an ...
0
votes
2answers
86 views

Mobius strip homotopically equivalent to filled out torus

Why is the Mobius strip homotopically equivalent to $S^1 \times D^2$? The latter is a filled out torus. How do we deform it to get the Mobius strip? Im not very familiar with homotopic equivalence, so ...
2
votes
1answer
62 views

Combining homotopies

I have two homotopies $H,G:D^n \times I \to Z$ with $H(x,0) = f(x)$, $H(x,1) = f'(x)$, $G(x,0) = f'(x)$, $G(x,1) = g(x)$ for some maps $f,f',g:D^n \to Z$. $G$ has the additionnal property of being ...
2
votes
0answers
57 views

Explicit expression for the topological invariant of O(n)

I learned that the fundamental group of $O(n)$ is $\Bbb{Z}/2\Bbb{Z}$ (for $n>2$). What is the explicit expression for its topological invariant? To be specific: Given a smooth path ...
3
votes
3answers
143 views

Homology and Homotopy in the Plane

Suppose we're living in the plane minus (possibly infinitely many) isolated points, which I'll call poles. Intuitively, the following two statements seem reasonable: Loops in the plane are homotopic ...
2
votes
1answer
56 views

cohomology monomorphism between grassmannians and product of projective spaces

Let $S^1\times\cdots \times S^1( n\text{ times })=\prod_n U(1)\to U(n)$ be the inclusion. This induces a map between classifying spaces $$ \prod_nBS^1\to BU(n).$$ i.e., $$ ...
3
votes
1answer
83 views

Postnikov towers for non-CW spaces

In the literature, Postnikov systems seem to be defined always in the setting of CW complexes. Looking at the proofs, it is not clear to me, why this assumption should be necessary. Question: Does ...
1
vote
1answer
89 views

homomorphism between cohomology induced by the multiplication of an H-space

Define the product on $\mathbb{C}P^\infty$ in the following way: \begin{eqnarray*} \phi:\mathbb{C}P\overset{\Delta}\longrightarrow(\mathbb{C}P^\infty)^k\overset{\mu}\longrightarrow ...
0
votes
1answer
44 views

Show that the cylinder is not ambient isotopic to the Mobius band.

Here is my definition for ambient isotopy: We say if there is an orientation preserving piecewise linear homeomorphism $f:\mathbb{R}^3\rightarrow\mathbb{R}^3$ (or replace $\mathbb{R}^3$ with $S^3$) ...
-1
votes
1answer
110 views

Homotopy Groups for Categories

With this observation in mind how far are we from defining $\forall \mathcal{C} \ \text{category}\ \pi_1(\mathcal{C})$? Let me be more clear. Let be $n$ the following category $0 \rightarrow 1 ...
2
votes
1answer
189 views

Functorial cofibrant replacement does not have to be fibration?

I'm new to model category theory, and I find myself confused about the different meanings of cofibrant replacement in literature. The usual definition is that we assign to every object $X$ in our ...
1
vote
0answers
87 views

Homotopy equivalence of pushouts of topological spaces

Let $h \colon A \to B$ and $r \colon S^{n-1} \to A$ be continuous maps. Assume that $h$ is an homotopy equivalence, prove that $$ D^n \cup_{r} A \simeq D^n \cup_{h \circ r} B$$ where $D^n ...
0
votes
0answers
34 views

Are $z^n$ and $p(z)/|p(z)|$ homotopic?

Let $p:\mathbb C\longrightarrow \mathbb C$ be a complex polynomial with no zeros and degree $n$. Is it true that the maps $f, g:S^1\longrightarrow S^1$ given by $$f(z)=z^n\quad \textrm{and}\quad ...
1
vote
1answer
59 views

Free loop space of classifying space as a disjoint union of classifying spaces of centralizer proof reference request.

I am looking for a reference for the proof or explanation of why for a discrete group $G$ we have that the free loop space of its classifying space is the disjoint union of centralizeers of $g$ where ...
2
votes
1answer
52 views

Fundamental group of sphere

To show that $S^3$ is not diffeomorphic to $S^2 \times S^1$, I'd like to say that their fundamental groups are not the same. So $\pi_1(S^3)= 0 $ but why is $\pi_1(S^2 \times S^1) = Z $ ?
2
votes
1answer
185 views

Are generalized cohomology theories, spectra, and infinite loop spaces all the same thing up to homotopy?

More specifically, John Baez mentions here that the following 3 things are equivalent (up to some technicalities). the isomorphism classes of complex line bundles over $X$ the homotopy classes of ...
3
votes
1answer
97 views

How to show that homotopy of chain maps respects composition?

Given the homotopic pairs of chain maps $f_1 \simeq f_2 : A_* \to B_*$ and $g_1 \simeq g_2 : B_* \to C_*$, show that $g_1 \circ f_1 \simeq g_2 \circ f_2: A_* \to C_*$. $f_1 \simeq f_2$ means that ...
1
vote
1answer
121 views

On chain homotopy equivalence

I just learnt the notion of chain map and have the following question. Let $C=(C_n,\partial_n^C)$ and $D=(D_n,\partial_n^D)$ be chain complexes of abelian groups with boundary maps $\partial_n^C$ and ...
2
votes
1answer
146 views

Question about homotopy equivalence

I have this proof but I don't understand why $i\circ j$ induces a homotopy equivalence, and how to see $j_*$ is injective at the level of homology? $X$ is a Banach space
0
votes
1answer
76 views

Proving that induced homomorphism is an isomorphism

Let $A \subset X$ and let $j: A \to X$ be the inclusion map. Let $f: X \to A$ be a continuous map. We suppose there is a homotopy between $j \circ f$ and the identity map on $X$. We are to show that ...
8
votes
0answers
143 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$ ...
2
votes
1answer
72 views

How old is the distinction of right homotopy from left homotopy?

Going into the 1960s it seems to me that topologists saw path spaces as an advanced idea, useful in come contexts but not fundamental. So they took homotopy of maps as basically what is now called ...
0
votes
1answer
97 views

turning a map into a fibration

In Allen Hatcher's book Spectral Sequence page 29 Example 1.18, What means "turning the map into a fibration" and convert a map into a fibration"? Given a map $f:X\to Y$, $f$ is not necessarily a ...
0
votes
1answer
53 views

Homotopy groups of pairs and homotopy fibration of inclusions

Let $(X,A)$ be a pair of topological spaces, where $X$ is path-connected and $A$ is a path-connected subespace of $X$ with a base point. So, we have a long exact sequence of homotopy groups $$... \to ...
0
votes
1answer
41 views

What is a thin loop?

I read one definition of a thin loop: $\gamma$ is a thin loop if there exists a homotopy of $\gamma$ to the trivial loop with the image of the homotopy lying entirely within the image of $\gamma$. ...
0
votes
0answers
58 views

Invertibility of suspension in spectra

I know that spectra are supposed to be designed so that suspension is invertible up to homotopy, but I'm having trouble articulating exactly why this is the case. If $E$ is a spectrum and $\Sigma E$ ...
3
votes
2answers
146 views

Homology of $n$-sheeted covering space

Let $X$ be the Klein bottle, that is $X=\mathbb{R}^2/G$ with $$G=\langle a,b\mid a^{-1}b ab=1\rangle,$$ acting via $a: \mathbb{R}^2\to \mathbb{R}^2, (x,y)\mapsto (x+1,y)$, $b: \mathbb{R}^2\to ...
0
votes
1answer
274 views

cohomology of suspension

Let $X$ be a topological space. Let $\Sigma$ be suspension. Does $H^n(X;\mathbb{Z})\cong H^{n+1}(\Sigma X;\mathbb{Z})$ isomorphic or not? Does $H^n(X;\mathbb{Z}_2)\cong H^{n+1}(\Sigma ...
3
votes
2answers
77 views

Does Homotopy Equivalence Lead to a Homeomorphism?

I've read online that "Intuitively, two spaces X and Y are homotopy equivalent if they can be transformed into one another (i.e., made homeomorphic) by bending, shrinking and expanding operations", ...
3
votes
1answer
170 views

homology of smash product of Eilenberg-Maclane spaces

Let $K_n=K(\mathbb{Z},n)$ be the Eilenberg-Maclane space. Prove: (1). $K_m\wedge K_n$ is $(m+n-1)$-connected. (2). $H_{m+n}(K_m\wedge k_n;\mathbb{Z})= H_{m+n}(K_m\times k_n;\mathbb{Z})$. How to ...
6
votes
2answers
104 views

Is $H^*(\mathbf{C} P^\infty)=R[X]$ or $R[[X]]$?

The first ring seems to be what one learns first: the underlying group is the cohomology of the total singular cochain complex $C^*(\mathbf{C} P^\infty)$, which is defined as $\oplus C^n(\mathbf{C} ...
2
votes
1answer
63 views

$E_{\infty}$ spaces are $A_{\infty}$ spaces

While studying the well-known "Geometry of Iterated Loop Spaces", I found this corollary which is not completely clear to me. (By $\mathcal{M}$ is meant the operad given by $\mathcal{M}(j):=\Sigma_j$, ...
0
votes
3answers
172 views

Homotopy equivalence for $S^n$ with finite k punctures

I need help determining to what $S^n/${k points}--the n-dimensional sphere missing a finite k number of points-- is homotopy equivalent. I tried envisioning the above for n=2: $S^2/${1 point} is ...
2
votes
1answer
237 views

Homotopy equivalences in pushout square with cofibration.

If following square is a pushout square, $g$ is a cofibration and $f$ is a homotopy equivalence then $i$ is also a homotopy equivalence. $$ \begin{matrix} A & \xrightarrow{f} & B \\ ...
3
votes
1answer
53 views

Theorem on space of maps to Eilenberg-Maclane space

I was reading the classic paper of Atiyah-Bott on Yang-Mills equations on Riemann surfaces. They mention a theorem attributed to Thom saying that if $X$ is a finite CW complex, then \begin{equation} ...
1
vote
0answers
41 views

Necessary condition for removing a simplex and changing homotopy type.

In a finite simplicial complex $K$, if the link of a simplex $\sigma$ is contractible then the two complexes $K$ and $K\setminus \text{Star}(\sigma)$ share the same homotopy type. I am wondering if ...
2
votes
1answer
89 views

Why the dual of some results are true while others are false?

In mathematics, many results have their "dual" versions. In many cases, if a result is true, then its dual is true as well. However, there are some examples while the dual of a true statement is ...
2
votes
1answer
178 views

Being contractible in homotopy theory vs. homotopy type theory

I'm trying to clarify the notion of being contractible in homotopy theory vs. homotopy type theory. Is the following right? "In homotopy theory the real interval $[0,1]$, considered as a subset ...
1
vote
1answer
56 views

Bijection of homotopy classes

I want to prove the following: given the (already proven) fact that the we have a bijection between (continuous maps) $f:X\rightarrow Y^K$ and $g:X\wedge K\rightarrow Y$ for pointed spaces $X$,$Y$ and ...
6
votes
1answer
82 views

Are $C^\infty$ exotic spheres $C^k$ exotic?

The only theory of exotic spheres that I know is of $C^\infty$ structures on them; that is, that there are plenty of spheres (in dimensions $n \geq 7$ that are homeomorphic but not diffeomorphic. To ...
1
vote
0answers
177 views

Homotopic attaching maps give Homotopy Equivalent spaces

I want to prove that if $f,g : S^{n-1} \to X$ are homotopic maps then the resulting spaces $X \cup_f D^n$ and $X \cup_g D^n$ are homotopy equivalent. I know this question has been asked before: ...
0
votes
1answer
63 views

Strong (trivial) cofibration in Lurie's HTT

in Lurie's book HTT in annexe A, proof of Proposition A.2.8.2 page 824, he mentions that a map is a "strong (trivial) cofibration" but I didn't succeed to find the definition of this notion that seems ...
1
vote
1answer
55 views

Illustration of homotopies

While there are many pictures path homotopies, I fail to find any that illustrate normal homotopies (in the event "a normal homotopy" is something else, I clarify that I mean given two continuous ...