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

0
votes
0answers
50 views

How to prove that an injection from a sphere into a Euclidean space is homotopic to a constant?

How to prove that the injection $i: S^{m-1}\rightarrow \mathbb{R}^m$ is homotopic to a constant ? Where $S^{m-1}=\{x\in \mathbb{R}^m, |x|=1\}$ Thank you.
2
votes
1answer
43 views

How do modern categories of spectra manage to avoid “cells now, maps later”?

In Adams' definition, a map $f: X \to Y$ of CW spectra consists of a cofinal subcomplex $X'\subseteq X$ and maps $f_n: X'_n \to Y_n$ that commute with the structure maps. This definition is reproduced ...
2
votes
0answers
47 views

Dual of path in a space.

Is there a notion dual to the notion of a path in a topological space? Given that a path in a space $X$ is a continuous function from the interval $[0, 1]$ to X, what would the dual of this notion be, ...
8
votes
1answer
50 views

Is this contour continuously deformable into a circle?

As an exam question, we had to solve the integral of $\frac{1}{z}$ over the following contour: (The contour is a sequence of straights arcs joining -1, -$\frac{i}{2}$, $\frac{1}{2}$, i, ...
4
votes
0answers
55 views
+150

Action of $\operatorname{Aut}(G)$ on the Borel construction

I am interested into the (say real) regular representation $\rho$ of $G=(\mathbb{Z}/p)^n$. Considering the universal vector bundle $EG\rightarrow BG$, the Borel construction with the regular ...
4
votes
0answers
76 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 ...
4
votes
1answer
69 views
+50

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 ...
3
votes
0answers
90 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 ...
2
votes
1answer
41 views

Understanding the Homotopy Invariance of Fiber Bundle

I'm trying to understand the proof of Theorem 2.1 in "The Topology of Fiber Bundles" found online at http://math.stanford.edu/~ralph/fiber.pdf. What I don't understand is how do we actually define ...
7
votes
0answers
77 views
+50

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. ...
4
votes
0answers
18 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 ...
0
votes
1answer
49 views

How to prove the Cone is contractible?

Let $\sim$ be an equivalence relation on a topological space $X$ with a subset $A ⊂ X$ such that the equivalence classes are: $A$ itself and Singletons $\{x\}$ such that $x ∉ A$. Then define $X/A$ ...
2
votes
1answer
38 views

Homology as Boundary of “Submanifold”

In the plane, imagine a horizonal figure eight, $\infty$. Let $\alpha$ be the curve which is convex from the leftmost point of the figure to its "middle", and concave from the middle until the ...
9
votes
2answers
184 views

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

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 ...
2
votes
1answer
31 views

Equivalence of unoriented knots by ambient isotopy

I'm trying to understand the equivalence of unoriented knots in oriented 3-manifolds for my thesis, and getting confused. I have not found a satisfactory definition of this equivalence. My ...
0
votes
1answer
65 views

what is a path that cover all of $S^n$?

Here is the meaning of "cover" which I can't understand: Prove that if $n\ge 2$, then $S^n$ is simply connected. hint: Use Exercise 2.5 to show that every loop in S" is homotopic to a loop that does ...
0
votes
3answers
50 views

Geometric Homotopy as Chain Homotopy

In Can we think of a chain homotopy as a homotopy, I learned that chain homotopy can be defined in an analogous fashion to homotopy, i.e from the product with an interval object etc. What about the ...
1
vote
0answers
26 views

Homology and Homotopy in the Plane II

This question arose from Homology and Homotopy in the Plane, where it was one of several questions asked (but not answered). I'm posting it separately so I could accept one of the answers there. Is ...
3
votes
3answers
69 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
59 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
37 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 ...
0
votes
1answer
18 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 ...
2
votes
1answer
39 views

What is a homotopy between bisimplicial maps

I am looking for the naive notion of homotopy. For maps $f, g: A\to B$ of simplicial sets $\Delta^{op}\to Sets$, a homotopy $H$ is a simplicial map $H:A\times\Delta^{1}\to B$ such that ...
5
votes
2answers
111 views

Model structure on sSet

Which is the model structure on $ \text{sSet} $ (category of simplicial sets) that makes $\text{sSet}$ Quillen equivalent to the category $ \text{Cat} $ (of small categories) by the adjunction ...
3
votes
1answer
272 views

local homology group

The question is: $X\in \mathbb{R}^{n}$ is the subspace ${(x_{1},...,x_{n}\mid x_{n}\geq 0)}$, and let $Y$ is the subspace with $x_{n}=0$. let $x\in Y$, calculate the local homology of $X$ at $x$. ...
0
votes
0answers
20 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 ...
3
votes
1answer
23 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
0answers
28 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]$. $ ...
2
votes
0answers
25 views

pseudonatural vs natural

By a general result of steve lack's article, I know that there is a nice adjunction between the 2-category of 2-functors (and 2-natural transformations) and the 2-category of 2-functors and ...
1
vote
0answers
41 views

2-natural equivalences

This is probably a trivial question. Let D be a 2-category. Consider a model category X. When is it possible to consider a 2-categorical structure in X such that the equivalences of 2-Fun (D, X) are ...
2
votes
1answer
84 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 ...
0
votes
0answers
17 views

Configuration space of product spaces

Let $M,N$ be manifolds. Let $F(M,n)$, $F(N,n)$ be ordered configuration spaces of order $n$. Let $F(M,n)/\Sigma_n$, $F(N,n)/\Sigma_n$ be the unordered configuration spaces of order $n$, for ...
0
votes
0answers
23 views

maps between suspension of complex projective spaces and special unitary groups

How to do the following question? I get totally lost... this question is given by the professor in our final exam paper.
2
votes
1answer
47 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 ...
5
votes
4answers
742 views

Homotopy composition Hatcher exercise

Show that composition of paths satisfies the following cancellation property: if $f_0 \cdot g_0 \simeq f_1 \cdot g_1 $ and $g_0 \simeq g_1$, then $f_0 \simeq f_1$. So I have two homotopies. So say ...
0
votes
2answers
46 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
0answers
51 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 ...
2
votes
1answer
33 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., $$ ...
7
votes
2answers
174 views

Understanding Hatcher's proof of Borsuk-Ulam theorem for $n=2$

I am trying to understand the proof of the Borsuk-Ulam theorem for $S^2$ given in Hatcher's "Algebraic Topology" (Th. 1.10), as another person does here, but we are stuck at different places, so I ...
3
votes
1answer
48 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
35 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
0answers
20 views

fibration sequence of projective spaces

Question~1: How to construct a fibration sequence $$ S^3\to S^2 \to \mathbb{C}P^\infty\to \mathbb{H}P^\infty ? $$ Does $$S^3\simeq \Omega \mathbb{H}P^\infty ? $$ (Since $\mathbb{C}P^\infty\simeq ...
3
votes
1answer
100 views

Are cofibrant/fibrant replacements homotopically unique?

Let $\mathcal{M}$ be a model category in the old sense, i.e. with factorisations that are not necessarily functorial, and let $X$ be an object in $\mathcal{M}$. The category of cofibrant replacements ...
1
vote
2answers
158 views

Proof that a continuous map to $S^n$ whose image is a proper subset of $S^n$ is null-homotopic

I am attempting to prove the following: If $g:X \to S^n$, $n \ge 1$, is a continuous map whose image $g(X)$ is a proper subset of $S^n$, then $g$ is null-homotopic. Just before this I proved that if ...
0
votes
0answers
12 views

Proof that $ X \times I$ is a CW complex

I am trying to prove that the mapping cylinder is a CW complex and to start, I need to show that $ X \times I$ is a CW complex, where $X$ is a CW complex . I haven't seem the proof that the product of ...
0
votes
1answer
27 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
83 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 ...
1
vote
0answers
35 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
28 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
25 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 ...